runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687168-1337871870/watcher-3687168-1337871870 -o /tmp/evaluation-result-3687168-1337871870/solver-3687168-1337871870 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687168-1337871870.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 25461
/proc/meminfo: memFree=29303640/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/25461/stat : 25461 (runsolver) D 25457 25461 25418 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 253311601 12095488 55 33554432000 4194304 5436572 140734399514416 140734399510296 5057063 0 0 4096 24578 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/25461/statm: 2953 55 36 304 0 2645 0
[startup+0.0953611 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 25461
/proc/meminfo: memFree=29303640/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/25461/stat : 25461 (java) D 25457 25461 25418 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 253311601 3653632 48 33554432000 1073741824 1073778376 140736736992960 140736736990056 212064108176 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 3 0 0
/proc/25461/statm: 892 48 37 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568
[startup+0.100196 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 25461
/proc/meminfo: memFree=29303640/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/25461/stat : 25461 (java) D 25457 25461 25418 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 253311601 3653632 48 33554432000 1073741824 1073778376 140736736992960 140736736990056 212064108176 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 3 0 0
/proc/25461/statm: 892 48 37 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568
[startup+0.300251 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 25461
/proc/meminfo: memFree=29303640/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25461/stat : 25461 (java) D 25457 25461 25418 0 -1 4202496 716 0 3 0 0 0 0 0 20 0 1 0 253311601 23793664 446 33554432000 1073741824 1073778376 140734977029760 140734977019752 212064057921 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 20 0 0
/proc/25461/statm: 5809 446 340 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.700242 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 25461
/proc/meminfo: memFree=29303640/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25461/stat : 25461 (java) D 25457 25461 25418 0 -1 4202496 1069 0 16 0 0 0 0 0 20 0 1 0 253311601 23793664 812 33554432000 1073741824 1073778376 140734977029760 140734977019752 140301130695504 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 59 0 0
/proc/25461/statm: 5809 812 606 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+1.50036 s]
/proc/loadavg: 0.16 0.03 0.01 2/195 25481
/proc/meminfo: memFree=29281080/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/25461/stat : 25461 (java) S 25457 25461 25418 0 -1 4202496 3149 0 25 0 4 1 0 0 20 0 18 0 253311601 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140734977020896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 65 0 0
/proc/25461/statm: 2389603 4381 1754 9 0 2380296 0
[pid=25461/tid=25464] ppid=25457 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/25461/task/25464/stat : 25464 (java) D 25457 25461 25418 0 -1 4202560 1957 0 7 0 3 0 0 0 20 0 18 0 253311676 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140301125946640 212076651789 0 4 0 16800975 18446744071579943789 0 0 -1 1 0 0 60 0 0
[pid=25461/tid=25470] ppid=25457 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25470/stat : 25470 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253311699 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140301087439272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25472] ppid=25457 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25472/stat : 25472 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253311699 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140301086386728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25474] ppid=25457 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25474/stat : 25474 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253311699 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140301085333672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25476] ppid=25457 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25476/stat : 25476 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253311699 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140301084281128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25478] ppid=25457 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25478/stat : 25478 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253311699 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140301083229096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25479] ppid=25457 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25479/stat : 25479 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253311699 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140301082176552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25480] ppid=25457 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25480/stat : 25480 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253311699 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140301081123496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25481] ppid=25457 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25481/stat : 25481 (java) S 25457 25461 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 253311699 9787813888 4381 33554432000 1073741824 1073778376 140734977029760 140300961966888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+3.10063 s]
/proc/loadavg: 0.16 0.03 0.01 5/211 25497
/proc/meminfo: memFree=29231060/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=9824668 CPUtime=4.2 cores=1,3,5,7
/proc/25461/stat : 25461 (java) S 25457 25461 25418 0 -1 4202496 23942 0 27 0 414 6 0 0 20 0 22 0 253311601 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140734977020896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 65 0 0
/proc/25461/statm: 2456167 42386 2257 9 0 2446860 0
[pid=25461/tid=25464] ppid=25457 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/25461/task/25464/stat : 25464 (java) S 25457 25461 25418 0 -1 4202560 2467 0 7 0 33 3 0 0 20 0 22 0 253311676 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140301125948408 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 98 0 0
[pid=25461/tid=25470] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25470/stat : 25470 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140301087439272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25472] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25472/stat : 25472 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140301086386728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25474] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25474/stat : 25474 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140301085333672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25476] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25476/stat : 25476 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140301084281128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25478] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25478/stat : 25478 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140301083229096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25479] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25479/stat : 25479 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140301082176552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25480] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25480/stat : 25480 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140301081123496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25481] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25481/stat : 25481 (java) S 25457 25461 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300961966888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25482] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25482/stat : 25482 (java) S 25457 25461 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253311722 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300949768552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25485] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25485/stat : 25485 (java) S 25457 25461 25418 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300948714872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25487] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25487/stat : 25487 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300947661704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25489] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25489/stat : 25489 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300946610448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25491] ppid=25457 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/25461/task/25491/stat : 25491 (java) S 25457 25461 25418 0 -1 4202560 11536 0 1 0 97 2 0 0 20 0 22 0 253311748 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300206992184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25493] ppid=25457 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/25461/task/25493/stat : 25493 (java) S 25457 25461 25418 0 -1 4202560 8631 0 1 0 101 2 0 0 20 0 22 0 253311748 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300205939640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25495] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25495/stat : 25495 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300204886776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25497] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25497/stat : 25497 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 42386 33554432000 1073741824 1073778376 140734977029760 140300203834440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9824668
[startup+6.30084 s]
/proc/loadavg: 0.16 0.03 0.01 3/193 25530
/proc/meminfo: memFree=29058892/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=9824668 CPUtime=10.67 cores=1,3,5,7
/proc/25461/stat : 25461 (java) S 25457 25461 25418 0 -1 4202496 24557 0 27 0 1056 11 0 0 20 0 22 0 253311601 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140734977020896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 65 0 0
/proc/25461/statm: 2456167 59804 2283 9 0 2446860 0
[pid=25461/tid=25464] ppid=25457 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/25461/task/25464/stat : 25464 (java) S 25457 25461 25418 0 -1 4202560 2467 0 7 0 33 3 0 0 20 0 22 0 253311676 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140301125948408 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 98 0 0
[pid=25461/tid=25470] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25470/stat : 25470 (java) S 25457 25461 25418 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140301087439272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25472] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25472/stat : 25472 (java) S 25457 25461 25418 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140301086386728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25474] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25474/stat : 25474 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140301085333672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25476] ppid=25457 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25461/task/25476/stat : 25476 (java) S 25457 25461 25418 0 -1 4202560 125 0 0 0 1 1 0 0 20 0 22 0 253311699 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140301084281128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25478] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25478/stat : 25478 (java) S 25457 25461 25418 0 -1 4202560 108 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140301083229096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25479] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25479/stat : 25479 (java) S 25457 25461 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140301082176552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25480] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25480/stat : 25480 (java) S 25457 25461 25418 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140301081123496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25481] ppid=25457 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25461/task/25481/stat : 25481 (java) S 25457 25461 25418 0 -1 4202560 120 0 0 0 2 0 0 0 20 0 22 0 253311699 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300961966888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25482] ppid=25457 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/25461/task/25482/stat : 25482 (java) S 25457 25461 25418 0 -1 4202560 40 0 0 0 13 0 0 0 20 0 22 0 253311722 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300949768552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25485] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25485/stat : 25485 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300948714872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25487] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25487/stat : 25487 (java) S 25457 25461 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300947661704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25489] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25489/stat : 25489 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300946610448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25491] ppid=25457 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/25461/task/25491/stat : 25491 (java) S 25457 25461 25418 0 -1 4202560 11539 0 1 0 106 2 0 0 20 0 22 0 253311748 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300206992184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25493] ppid=25457 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/25461/task/25493/stat : 25493 (java) S 25457 25461 25418 0 -1 4202560 8636 0 1 0 106 2 0 0 20 0 22 0 253311748 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300205939640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25495] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25495/stat : 25495 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300204886776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25497] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25497/stat : 25497 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300203834440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25502] ppid=25457 vsize=9824668 CPUtime=3.88 cores=1,3,5,7
/proc/25461/task/25502/stat : 25502 (java) R 25457 25461 25418 0 -1 4202560 39 0 0 0 388 0 0 0 20 0 22 0 253311821 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300202779160 140300962660000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25503] ppid=25457 vsize=9824668 CPUtime=3.87 cores=1,3,5,7
/proc/25461/task/25503/stat : 25503 (java) R 25457 25461 25418 0 -1 4202560 95 0 0 0 387 0 0 0 20 0 22 0 253311821 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300201724080 140300962814936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25504] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25504/stat : 25504 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311822 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300200674088 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25505] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25505/stat : 25505 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311822 10060460032 59804 33554432000 1073741824 1073778376 140734977029760 140300199621544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+7.10073 s]
/proc/loadavg: 0.31 0.07 0.02 3/193 25530
/proc/meminfo: memFree=29060380/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=9824668 CPUtime=12.22 cores=1,3,5,7
/proc/25461/stat : 25461 (java) S 25457 25461 25418 0 -1 4202496 24621 0 27 0 1211 11 0 0 20 0 22 0 253311601 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140734977020896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 65 0 0
/proc/25461/statm: 2456167 59887 2283 9 0 2446860 0
[pid=25461/tid=25464] ppid=25457 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/25461/task/25464/stat : 25464 (java) S 25457 25461 25418 0 -1 4202560 2467 0 7 0 33 3 0 0 20 0 22 0 253311676 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140301125948408 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 98 0 0
[pid=25461/tid=25470] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25470/stat : 25470 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140301087439272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25472] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25472/stat : 25472 (java) S 25457 25461 25418 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140301086386728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25474] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25461/task/25485/stat : 25485 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300948714872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25487] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25487/stat : 25487 (java) S 25457 25461 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300947661704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25489] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25489/stat : 25489 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300946610448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25491] ppid=25457 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/25461/task/25491/stat : 25491 (java) S 25457 25461 25418 0 -1 4202560 11546 0 1 0 110 2 0 0 20 0 22 0 253311748 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300206992184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25493] ppid=25457 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/25461/task/25493/stat : 25493 (java) S 25457 25461 25418 0 -1 4202560 8637 0 1 0 106 2 0 0 20 0 22 0 253311748 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300205939640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25495] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25495/stat : 25495 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300204886776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25497] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25497/stat : 25497 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300203834440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25502] ppid=25457 vsize=9824668 CPUtime=4.57 cores=1,3,5,7
/proc/25461/task/25502/stat : 25502 (java) R 25457 25461 25418 0 -1 4202560 39 0 0 0 457 0 0 0 20 0 22 0 253311821 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300202778976 140300962617834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25503] ppid=25457 vsize=9824668 CPUtime=4.56 cores=1,3,5,7
/proc/25461/task/25503/stat : 25503 (java) R 25457 25461 25418 0 -1 4202560 95 0 0 0 456 0 0 0 20 0 22 0 253311821 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300201724536 140300962814774 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25504] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25504/stat : 25504 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311822 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300200674088 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25505] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25505/stat : 25505 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311822 10060460032 59887 33554432000 1073741824 1073778376 140734977029760 140300199621544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 9824668
[startup+7.90084 s]
/proc/loadavg: 0.31 0.07 0.02 3/193 25530
/proc/meminfo: memFree=29058340/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=9824668 CPUtime=13.81 cores=1,3,5,7
/proc/25461/stat : 25461 (java) S 25457 25461 25418 0 -1 4202496 24622 0 27 0 1370 11 0 0 20 0 22 0 253311601 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140734977020896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 65 0 0
/proc/25461/statm: 2456167 59888 2284 9 0 2446860 0
[pid=25461/tid=25464] ppid=25457 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/25461/task/25464/stat : 25464 (java) S 25457 25461 25418 0 -1 4202560 2467 0 7 0 33 3 0 0 20 0 22 0 253311676 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301125948408 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 98 0 0
[pid=25461/tid=25470] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25470/stat : 25470 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301087439272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25472] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25472/stat : 25472 (java) S 25457 25461 25418 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301086386728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25474] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25474/stat : 25474 (java) S 25457 25461 25418 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301085333672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25476] ppid=25457 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25461/task/25476/stat : 25476 (java) S 25457 25461 25418 0 -1 4202560 125 0 0 0 1 1 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301084281128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25478] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25478/stat : 25478 (java) S 25457 25461 25418 0 -1 4202560 108 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301083229096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25479] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25479/stat : 25479 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301082176552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25480] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25480/stat : 25480 (java) S 25457 25461 25418 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301081123496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25481] ppid=25457 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25461/task/25481/stat : 25481 (java) S 25457 25461 25418 0 -1 4202560 120 0 0 0 2 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300961966888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25482] ppid=25457 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/25461/task/25482/stat : 25482 (java) S 25457 25461 25418 0 -1 4202560 70 0 0 0 23 0 0 0 20 0 22 0 253311722 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300949768552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25485] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25485/stat : 25485 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300948714872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25487] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25487/stat : 25487 (java) S 25457 25461 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300947661704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25489] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25489/stat : 25489 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300946610448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25491] ppid=25457 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/25461/task/25491/stat : 25491 (java) S 25457 25461 25418 0 -1 4202560 11547 0 1 0 110 2 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300206992184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25493] ppid=25457 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/25461/task/25493/stat : 25493 (java) S 25457 25461 25418 0 -1 4202560 8637 0 1 0 106 2 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300205939640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25495] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25495/stat : 25495 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300204886776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25497] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25497/stat : 25497 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300203834440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25502] ppid=25457 vsize=9824668 CPUtime=5.37 cores=1,3,5,7
/proc/25461/task/25502/stat : 25502 (java) R 25457 25461 25418 0 -1 4202560 39 0 0 0 537 0 0 0 20 0 22 0 253311821 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300202778976 140300962618424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25503] ppid=25457 vsize=9824668 CPUtime=5.35 cores=1,3,5,7
/proc/25461/task/25503/stat : 25503 (java) R 25457 25461 25418 0 -1 4202560 95 0 0 0 535 0 0 0 20 0 22 0 253311821 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300201726088 140300962814810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25504] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25504/stat : 25504 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311822 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300200674088 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25505] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25505/stat : 25505 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311822 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300199621544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 13.81
Current children cumulated vsize (KiB) 9824668
[startup+8.10084 s]
/proc/loadavg: 0.31 0.07 0.02 3/193 25530
/proc/meminfo: memFree=29058340/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=9824668 CPUtime=14.21 cores=1,3,5,7
/proc/25461/stat : 25461 (java) S 25457 25461 25418 0 -1 4202496 24622 0 27 0 1410 11 0 0 20 0 22 0 253311601 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140734977020896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 65 0 0
/proc/25461/statm: 2456167 59888 2284 9 0 2446860 0
[pid=25461/tid=25464] ppid=25457 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/25461/task/25464/stat : 25464 (java) S 25457 25461 25418 0 -1 4202560 2467 0 7 0 33 3 0 0 20 0 22 0 253311676 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301125948408 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 98 0 0
[pid=25461/tid=25470] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25470/stat : 25470 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301087439272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25472] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25472/stat : 25472 (java) S 25457 25461 25418 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301086386728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25474] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25474/stat : 25474 (java) S 25457 25461 25418 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301085333672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25476] ppid=25457 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25461/task/25476/stat : 25476 (java) S 25457 25461 25418 0 -1 4202560 125 0 0 0 1 1 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301084281128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25478] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25478/stat : 25478 (java) S 25457 25461 25418 0 -1 4202560 108 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301083229096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25479] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25479/stat : 25479 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301082176552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25480] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25480/stat : 25480 (java) S 25457 25461 25418 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140301081123496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25481] ppid=25457 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25461/task/25481/stat : 25481 (java) S 25457 25461 25418 0 -1 4202560 120 0 0 0 2 0 0 0 20 0 22 0 253311699 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300961966888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25482] ppid=25457 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/25461/task/25482/stat : 25482 (java) S 25457 25461 25418 0 -1 4202560 70 0 0 0 23 0 0 0 20 0 22 0 253311722 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300949768552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25485] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25485/stat : 25485 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300948714872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25487] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25487/stat : 25487 (java) S 25457 25461 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253311728 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300947661704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25489] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25489/stat : 25489 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300946610448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25491] ppid=25457 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/25461/task/25491/stat : 25491 (java) S 25457 25461 25418 0 -1 4202560 11547 0 1 0 110 2 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300206992184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25493] ppid=25457 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/25461/task/25493/stat : 25493 (java) S 25457 25461 25418 0 -1 4202560 8637 0 1 0 106 2 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300205939640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25495] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25495/stat : 25495 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300204886776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25497] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25497/stat : 25497 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253311748 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300203834440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25502] ppid=25457 vsize=9824668 CPUtime=5.57 cores=1,3,5,7
/proc/25461/task/25502/stat : 25502 (java) R 25457 25461 25418 0 -1 4202560 39 0 0 0 557 0 0 0 20 0 22 0 253311821 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300202778976 140300962618428 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25503] ppid=25457 vsize=9824668 CPUtime=5.55 cores=1,3,5,7
/proc/25461/task/25503/stat : 25503 (java) R 25457 25461 25418 0 -1 4202560 95 0 0 0 555 0 0 0 20 0 22 0 253311821 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300201726088 140300962815494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25504] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25504/stat : 25504 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311822 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300200674088 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25505] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25505/stat : 25505 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253311822 10060460032 59888 33554432000 1073741824 1073778376 140734977029760 140300199621544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 14.21
Current children cumulated vsize (KiB) 9824668
[startup+8.20083 s]
/proc/loadavg: 0.31 0.07 0.02 3/193 25530
/proc/meminfo: memFree=29058340/32873648 swapFree=6596/6596
[pid=25461] ppid=25457 vsize=9824668 CPUtime=14.25 cores=1,3,5,7
/proc/25461/stat : 25461 (java) S 25457 25461 25418 0 -1 4202496 24623 0 27 0 1413 12 0 0 20 0 19 0 253311601 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140734977020896 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 65 0 0
/proc/25461/statm: 2456167 59875 2285 9 0 2446860 0
[pid=25461/tid=25464] ppid=25457 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/25461/task/25464/stat : 25464 (java) R 25457 25461 25418 0 -1 4202560 2467 0 7 0 34 3 0 0 20 0 19 0 253311676 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140301125948408 212076641336 0 4 0 16800975 0 0 0 -1 1 0 0 98 0 0
[pid=25461/tid=25470] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25470/stat : 25470 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 253311699 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140301087439272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25472] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25472/stat : 25472 (java) S 25457 25461 25418 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 19 0 253311699 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140301086386728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25474] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25474/stat : 25474 (java) S 25457 25461 25418 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253311699 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140301085333672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25476] ppid=25457 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25461/task/25476/stat : 25476 (java) S 25457 25461 25418 0 -1 4202560 125 0 0 0 1 1 0 0 20 0 19 0 253311699 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140301084281128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25478] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25478/stat : 25478 (java) S 25457 25461 25418 0 -1 4202560 108 0 0 0 1 0 0 0 20 0 19 0 253311699 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140301083229096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25479] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25479/stat : 25479 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 253311699 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140301082176552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25480] ppid=25457 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25461/task/25480/stat : 25480 (java) S 25457 25461 25418 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 253311699 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140301081123496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25481] ppid=25457 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25461/task/25481/stat : 25481 (java) S 25457 25461 25418 0 -1 4202560 120 0 0 0 2 0 0 0 20 0 19 0 253311699 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300961966888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25482] ppid=25457 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/25461/task/25482/stat : 25482 (java) S 25457 25461 25418 0 -1 4202560 70 0 0 0 23 0 0 0 20 0 19 0 253311722 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300949768552 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25485] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25485/stat : 25485 (java) S 25457 25461 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253311728 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300948714872 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25487] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25487/stat : 25487 (java) S 25457 25461 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253311728 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300947661704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25461/tid=25489] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25489/stat : 25489 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253311748 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300946610448 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25491] ppid=25457 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/25461/task/25491/stat : 25491 (java) R 25457 25461 25418 0 -1 4202560 11547 0 1 0 110 2 0 0 20 0 19 0 253311748 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300206992184 212076641336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25493] ppid=25457 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/25461/task/25493/stat : 25493 (java) R 25457 25461 25418 0 -1 4202560 8637 0 1 0 106 2 0 0 20 0 19 0 253311748 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300205939640 212076650933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25461/tid=25495] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25495/stat : 25495 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253311748 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300204886776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25461/tid=25497] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25497/stat : 25497 (java) S 25457 25461 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253311748 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300203834440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25461/tid=25504] ppid=25457 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25461/task/25504/stat : 25504 (java) S 25457 25461 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253311822 10060460032 59875 33554432000 1073741824 1073778376 140734977029760 140300200674088 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 14.25
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 8.24272
CPU time (s): 14.4088
CPU user time (s): 14.1728
CPU system time (s): 0.235964
CPU usage (%): 174.806
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1728
system time used= 0.235964
maximum resident set size= 239556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24635
page faults= 27
swaps= 0
block input operations= 14664
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 965
involuntary context switches= 320
runsolver used 0.032994 second user time and 0.076988 second system time
The end