runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand992.cudf.dudf-random.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-random//rand992.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand992.cudf.dudf-random.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.15 1.12 1.11 5/35 26273
/proc/meminfo: memFree=325272/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2568 CPUtime=0
/proc/26272/stat : 26272 (p2cudf) R 26271 26271 1511 34817 1511 4202496 347 0 0 0 0 0 0 0 25 0 1 0 4814264 2629632 272 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/26272/statm: 642 272 231 194 0 29 0
[pid=26273] ppid=26272 vsize=2568 CPUtime=0
/proc/26273/stat : 26273 (p2cudf) R 26272 26271 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4814264 2629632 41 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/26273/statm: 642 41 0 194 0 29 0

[startup+0.165624 s]
/proc/loadavg: 1.15 1.12 1.11 5/35 26273
/proc/meminfo: memFree=325272/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.205619 s]
/proc/loadavg: 1.15 1.12 1.11 5/35 26273
/proc/meminfo: memFree=325272/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.305634 s]
/proc/loadavg: 1.15 1.12 1.11 5/35 26273
/proc/meminfo: memFree=325272/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.7057 s]
/proc/loadavg: 1.15 1.12 1.11 5/35 26273
/proc/meminfo: memFree=325272/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.50588 s]
/proc/loadavg: 1.30 1.15 1.12 4/45 26294
/proc/meminfo: memFree=291020/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
[pid=26285] ppid=26272 vsize=881300 CPUtime=1.46
/proc/26285/stat : 26285 (java) S 26272 26271 1511 34817 1511 4202496 21117 0 1 0 134 12 0 0 25 0 10 0 4814267 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26285/statm: 220325 18338 1724 10 0 217416 0
[pid=26285/tid=26286] ppid=26272 vsize=881300 CPUtime=0.77
/proc/26285/task/26286/stat : 26286 (java) R 26272 26271 1511 34817 1511 4202560 10962 0 1 0 71 6 0 0 25 0 10 0 4814268 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4148817337 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26285/tid=26287] ppid=26272 vsize=881300 CPUtime=0
/proc/26285/task/26287/stat : 26287 (java) S 26272 26271 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 4814270 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26288] ppid=26272 vsize=881300 CPUtime=0
/proc/26285/task/26288/stat : 26288 (java) S 26272 26271 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4814270 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26289] ppid=26272 vsize=881300 CPUtime=0
/proc/26285/task/26289/stat : 26289 (java) S 26272 26271 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4814270 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26290] ppid=26272 vsize=881300 CPUtime=0
/proc/26285/task/26290/stat : 26290 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4814273 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26291] ppid=26272 vsize=881300 CPUtime=0.56
/proc/26285/task/26291/stat : 26291 (java) R 26272 26271 1511 34817 1511 4202560 8725 0 0 0 50 6 0 0 22 0 10 0 4814273 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4149843701 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26285/tid=26292] ppid=26272 vsize=881300 CPUtime=0.12
/proc/26285/task/26292/stat : 26292 (java) S 26272 26271 1511 34817 1511 4202560 351 0 0 0 12 0 0 0 20 0 10 0 4814273 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26293] ppid=26272 vsize=881300 CPUtime=0
/proc/26285/task/26293/stat : 26293 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4814273 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26294] ppid=26272 vsize=881300 CPUtime=0
/proc/26285/task/26294/stat : 26294 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4814273 902451200 18338 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 886444

[startup+3.10624 s]
/proc/loadavg: 1.30 1.15 1.12 2/45 26294
/proc/meminfo: memFree=156232/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
[pid=26285] ppid=26272 vsize=879824 CPUtime=3.06
/proc/26285/stat : 26285 (java) S 26272 26271 1511 34817 1511 4202496 71442 0 1 0 273 33 0 0 25 0 10 0 4814267 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26285/statm: 219956 68307 1743 10 0 217047 0
[pid=26285/tid=26286] ppid=26272 vsize=879824 CPUtime=1.87
/proc/26285/task/26286/stat : 26286 (java) R 26272 26271 1511 34817 1511 4202560 50091 0 1 0 162 25 0 0 25 0 10 0 4814268 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4094943622 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26285/tid=26287] ppid=26272 vsize=879824 CPUtime=0.21
/proc/26285/task/26287/stat : 26287 (java) S 26272 26271 1511 34817 1511 4202560 10976 0 0 0 19 2 0 0 16 0 10 0 4814270 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26288] ppid=26272 vsize=879824 CPUtime=0
/proc/26285/task/26288/stat : 26288 (java) S 26272 26271 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 4814270 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26289] ppid=26272 vsize=879824 CPUtime=0
/proc/26285/task/26289/stat : 26289 (java) S 26272 26271 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4814270 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26290] ppid=26272 vsize=879824 CPUtime=0
/proc/26285/task/26290/stat : 26290 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4814273 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26291] ppid=26272 vsize=879824 CPUtime=0.84
/proc/26285/task/26291/stat : 26291 (java) S 26272 26271 1511 34817 1511 4202560 8949 0 0 0 78 6 0 0 15 0 10 0 4814273 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26292] ppid=26272 vsize=879824 CPUtime=0.12
/proc/26285/task/26292/stat : 26292 (java) S 26272 26271 1511 34817 1511 4202560 351 0 0 0 12 0 0 0 20 0 10 0 4814273 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26293] ppid=26272 vsize=879824 CPUtime=0
/proc/26285/task/26293/stat : 26293 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4814273 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26294] ppid=26272 vsize=879824 CPUtime=0
/proc/26285/task/26294/stat : 26294 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4814273 900939776 68307 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 884968

[startup+6.3068 s]
/proc/loadavg: 1.28 1.15 1.12 2/45 26294
/proc/meminfo: memFree=5884/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
[pid=26285] ppid=26272 vsize=880148 CPUtime=6.26
/proc/26285/stat : 26285 (java) S 26272 26271 1511 34817 1511 4202496 86143 0 1 0 589 37 0 0 25 0 11 0 4814267 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26285/statm: 220037 82308 1774 10 0 217128 0
[pid=26285/tid=26286] ppid=26272 vsize=880148 CPUtime=3.42
/proc/26285/task/26286/stat : 26286 (java) R 26272 26271 1511 34817 1511 4202560 50272 0 1 0 316 26 0 0 25 0 11 0 4814268 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4095988872 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26285/tid=26287] ppid=26272 vsize=880148 CPUtime=0.52
/proc/26285/task/26287/stat : 26287 (java) S 26272 26271 1511 34817 1511 4202560 24557 0 0 0 48 4 0 0 16 0 11 0 4814270 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26288] ppid=26272 vsize=880148 CPUtime=0
/proc/26285/task/26288/stat : 26288 (java) S 26272 26271 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4814270 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26289] ppid=26272 vsize=880148 CPUtime=0
/proc/26285/task/26289/stat : 26289 (java) S 26272 26271 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4814270 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26290] ppid=26272 vsize=880148 CPUtime=0
/proc/26285/task/26290/stat : 26290 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26291] ppid=26272 vsize=880148 CPUtime=2.18
/proc/26285/task/26291/stat : 26291 (java) S 26272 26271 1511 34817 1511 4202560 9884 0 0 0 211 7 0 0 15 0 11 0 4814273 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26292] ppid=26272 vsize=880148 CPUtime=0.12
/proc/26285/task/26292/stat : 26292 (java) S 26272 26271 1511 34817 1511 4202560 351 0 0 0 12 0 0 0 20 0 11 0 4814273 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26293] ppid=26272 vsize=880148 CPUtime=0
/proc/26285/task/26293/stat : 26293 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26294] ppid=26272 vsize=880148 CPUtime=0
/proc/26285/task/26294/stat : 26294 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4814273 901271552 82308 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 885292

[startup+12.7077 s]
/proc/loadavg: 1.25 1.14 1.12 2/46 26295
/proc/meminfo: memFree=5760/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
[pid=26285] ppid=26272 vsize=879308 CPUtime=12.66
/proc/26285/stat : 26285 (java) S 26272 26271 1511 34817 1511 4202496 86206 0 1 0 1228 38 0 0 25 0 11 0 4814267 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26285/statm: 219827 82193 1784 10 0 216918 0
[pid=26285/tid=26286] ppid=26272 vsize=879308 CPUtime=9.31
/proc/26285/task/26286/stat : 26286 (java) R 26272 26271 1511 34817 1511 4202560 50281 0 1 0 905 26 0 0 25 0 11 0 4814268 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4095923796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26285/tid=26287] ppid=26272 vsize=879308 CPUtime=0.52
/proc/26285/task/26287/stat : 26287 (java) S 26272 26271 1511 34817 1511 4202560 24557 0 0 0 48 4 0 0 16 0 11 0 4814270 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26288] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26288/stat : 26288 (java) S 26272 26271 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4814270 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26289] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26289/stat : 26289 (java) S 26272 26271 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4814270 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26290] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26290/stat : 26290 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26291] ppid=26272 vsize=879308 CPUtime=2.7
/proc/26285/task/26291/stat : 26291 (java) S 26272 26271 1511 34817 1511 4202560 9938 0 0 0 262 8 0 0 15 0 11 0 4814273 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26292] ppid=26272 vsize=879308 CPUtime=0.12
/proc/26285/task/26292/stat : 26292 (java) S 26272 26271 1511 34817 1511 4202560 351 0 0 0 12 0 0 0 20 0 11 0 4814273 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26293] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26293/stat : 26293 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26294] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26294/stat : 26294 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4814273 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26295] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26295/stat : 26295 (java) S 26272 26271 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4814809 900411392 82193 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884452

[startup+25.511 s]
/proc/loadavg: 1.21 1.14 1.11 2/46 26295
/proc/meminfo: memFree=5684/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
[pid=26285] ppid=26272 vsize=879308 CPUtime=25.46
/proc/26285/stat : 26285 (java) S 26272 26271 1511 34817 1511 4202496 95694 0 1 0 2504 42 0 0 25 0 11 0 4814267 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26285/statm: 219827 91681 1788 10 0 216918 0
[pid=26285/tid=26286] ppid=26272 vsize=879308 CPUtime=21.15
/proc/26285/task/26286/stat : 26286 (java) R 26272 26271 1511 34817 1511 4202560 50282 0 1 0 2089 26 0 0 25 0 11 0 4814268 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4095923598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26285/tid=26287] ppid=26272 vsize=879308 CPUtime=1.32
/proc/26285/task/26287/stat : 26287 (java) S 26272 26271 1511 34817 1511 4202560 34034 0 0 0 124 8 0 0 15 0 11 0 4814270 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26288] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26288/stat : 26288 (java) S 26272 26271 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4814270 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26289] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26289/stat : 26289 (java) S 26272 26271 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4814270 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26290] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26290/stat : 26290 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26291] ppid=26272 vsize=879308 CPUtime=2.86
/proc/26285/task/26291/stat : 26291 (java) S 26272 26271 1511 34817 1511 4202560 9948 0 0 0 278 8 0 0 15 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26292] ppid=26272 vsize=879308 CPUtime=0.12
/proc/26285/task/26292/stat : 26292 (java) S 26272 26271 1511 34817 1511 4202560 351 0 0 0 12 0 0 0 20 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26293] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26293/stat : 26293 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26294] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26294/stat : 26294 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26295] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26295/stat : 26295 (java) S 26272 26271 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4814809 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 884452

Solver just ended. Dumping a history of the last processes samples

[startup+26.3112 s]
/proc/loadavg: 1.20 1.14 1.11 2/46 26295
/proc/meminfo: memFree=5684/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
[pid=26285] ppid=26272 vsize=879308 CPUtime=26.26
/proc/26285/stat : 26285 (java) S 26272 26271 1511 34817 1511 4202496 95694 0 1 0 2584 42 0 0 25 0 11 0 4814267 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26285/statm: 219827 91681 1788 10 0 216918 0
[pid=26285/tid=26286] ppid=26272 vsize=879308 CPUtime=21.92
/proc/26285/task/26286/stat : 26286 (java) R 26272 26271 1511 34817 1511 4202560 50282 0 1 0 2166 26 0 0 25 0 11 0 4814268 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4095203503 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26285/tid=26287] ppid=26272 vsize=879308 CPUtime=1.32
/proc/26285/task/26287/stat : 26287 (java) S 26272 26271 1511 34817 1511 4202560 34034 0 0 0 124 8 0 0 15 0 11 0 4814270 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26288] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26288/stat : 26288 (java) S 26272 26271 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4814270 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26289] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26289/stat : 26289 (java) S 26272 26271 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4814270 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26290] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26290/stat : 26290 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26291] ppid=26272 vsize=879308 CPUtime=2.88
/proc/26285/task/26291/stat : 26291 (java) S 26272 26271 1511 34817 1511 4202560 9948 0 0 0 280 8 0 0 15 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26292] ppid=26272 vsize=879308 CPUtime=0.12
/proc/26285/task/26292/stat : 26292 (java) S 26272 26271 1511 34817 1511 4202560 351 0 0 0 12 0 0 0 20 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26293] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26293/stat : 26293 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26294] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26294/stat : 26294 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4814273 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26295] ppid=26272 vsize=879308 CPUtime=0
/proc/26285/task/26295/stat : 26295 (java) S 26272 26271 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4814809 900411392 91681 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.29
Current children cumulated vsize (KiB) 884452

[startup+27.1073 s]
/proc/loadavg: 1.20 1.14 1.11 2/46 26295
/proc/meminfo: memFree=5684/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
[pid=26285] ppid=26272 vsize=879632 CPUtime=26.56
/proc/26285/stat : 26285 (java) S 26272 26271 1511 34817 1511 4202496 95708 0 1 0 2614 42 0 0 25 0 11 0 4814267 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26285/statm: 219908 91695 1789 10 0 216999 0
[pid=26285/tid=26286] ppid=26272 vsize=879632 CPUtime=22.16
/proc/26285/task/26286/stat : 26286 (java) S 26272 26271 1511 34817 1511 4202560 50290 0 1 0 2190 26 0 0 25 0 11 0 4814268 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26287] ppid=26272 vsize=879632 CPUtime=1.32
/proc/26285/task/26287/stat : 26287 (java) S 26272 26271 1511 34817 1511 4202560 34034 0 0 0 124 8 0 0 16 0 11 0 4814270 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26288] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26288/stat : 26288 (java) S 26272 26271 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4814270 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26289] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26289/stat : 26289 (java) S 26272 26271 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4814270 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26290] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26290/stat : 26290 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26291] ppid=26272 vsize=879632 CPUtime=2.94
/proc/26285/task/26291/stat : 26291 (java) S 26272 26271 1511 34817 1511 4202560 9948 0 0 0 286 8 0 0 16 0 11 0 4814273 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26292] ppid=26272 vsize=879632 CPUtime=0.12
/proc/26285/task/26292/stat : 26292 (java) S 26272 26271 1511 34817 1511 4202560 351 0 0 0 12 0 0 0 20 0 11 0 4814273 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26293] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26293/stat : 26293 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26294] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26294/stat : 26294 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4814273 900743168 91695 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.59
Current children cumulated vsize (KiB) 884776

[startup+27.3068 s]
/proc/loadavg: 1.20 1.14 1.11 2/46 26295
/proc/meminfo: memFree=5684/1048576 swapFree=0/0
[pid=26271] ppid=26270 vsize=2572 CPUtime=0
/proc/26271/stat : 26271 (p2cudf-trendy-1) S 26270 26271 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 18 0 1 0 4814264 2633728 271 1283457024 134512640 135304128 4290713104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26271/statm: 643 271 230 194 0 30 0
[pid=26272] ppid=26271 vsize=2572 CPUtime=0.03
/proc/26272/stat : 26272 (p2cudf) S 26271 26271 1511 34817 1511 4202496 394 3015 0 1 0 0 0 3 25 0 1 0 4814264 2633728 281 1283457024 134512640 135304128 4290553312 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26272/statm: 643 281 239 194 0 30 0
[pid=26285] ppid=26272 vsize=879632 CPUtime=26.74
/proc/26285/stat : 26285 (java) S 26272 26271 1511 34817 1511 4202496 95710 0 1 0 2628 46 0 0 25 0 11 0 4814267 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26285/statm: 219908 91697 1789 10 0 216999 0
[pid=26285/tid=26286] ppid=26272 vsize=879632 CPUtime=22.16
/proc/26285/task/26286/stat : 26286 (java) S 26272 26271 1511 34817 1511 4202560 50290 0 1 0 2190 26 0 0 25 0 11 0 4814268 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26287] ppid=26272 vsize=879632 CPUtime=1.32
/proc/26285/task/26287/stat : 26287 (java) S 26272 26271 1511 34817 1511 4202560 34034 0 0 0 124 8 0 0 16 0 11 0 4814270 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26288] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26288/stat : 26288 (java) S 26272 26271 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4814270 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26289] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26289/stat : 26289 (java) S 26272 26271 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4814270 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26290] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26290/stat : 26290 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26291] ppid=26272 vsize=879632 CPUtime=2.98
/proc/26285/task/26291/stat : 26291 (java) S 26272 26271 1511 34817 1511 4202560 9948 0 0 0 290 8 0 0 15 0 11 0 4814273 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26292] ppid=26272 vsize=879632 CPUtime=0.12
/proc/26285/task/26292/stat : 26292 (java) S 26272 26271 1511 34817 1511 4202560 351 0 0 0 12 0 0 0 20 0 11 0 4814273 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26293] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26293/stat : 26293 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4814273 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=26285/tid=26294] ppid=26272 vsize=879632 CPUtime=0
/proc/26285/task/26294/stat : 26294 (java) S 26272 26271 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4814273 900743168 91697 1283457024 134512640 134550932 4290368592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.77
Current children cumulated vsize (KiB) 884776

Child status: 0
Real time (s): 27.3634
CPU time (s): 26.8097
CPU user time (s): 26.2896
CPU system time (s): 0.520032
CPU usage (%): 97.9763
Max. virtual memory (cumulated for all children) (KiB): 886444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.2896
system time used= 0.520032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99516
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1470
involuntary context switches= 1684

runsolver used 0 second user time and 0 second system time

The end