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-3687764-1337873851/watcher-3687764-1337873851 -o /tmp/evaluation-result-3687764-1337873851/solver-3687764-1337873851 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687764-1337873851.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: 3.43 3.04 2.59 3/197 24732
/proc/meminfo: memFree=28865504/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24732/stat : 24732 (java) D 24730 24732 23987 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 253509598 9515008 175 33554432000 1073741824 1073778376 140734921030880 140734921013608 225444709264 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/24732/statm: 2323 175 133 9 0 71 0
[startup+0.047422 s]
/proc/loadavg: 3.43 3.04 2.59 3/197 24732
/proc/meminfo: memFree=28865504/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 3072 0 1 0 2 0 0 0 20 0 13 0 253509598 9446973440 3259 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2306390 3259 1696 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100275 s]
/proc/loadavg: 3.43 3.04 2.59 3/197 24732
/proc/meminfo: memFree=28865504/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 4334 0 1 0 8 1 0 0 20 0 18 0 253509598 9787813888 5020 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2389603 5020 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300314 s]
/proc/loadavg: 3.43 3.04 2.59 3/197 24732
/proc/meminfo: memFree=28865504/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 5821 0 1 0 46 2 0 0 20 0 18 0 253509598 9787813888 7897 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2389603 7897 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700209 s]
/proc/loadavg: 3.43 3.04 2.59 3/197 24732
/proc/meminfo: memFree=28865504/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 14187 0 1 0 177 4 0 0 20 0 22 0 253509598 10060460032 22069 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2456167 22069 2255 9 0 2446860 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9824668
[startup+1.50089 s]
/proc/loadavg: 3.47 3.06 2.60 4/219 24754
/proc/meminfo: memFree=28740584/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9824668 CPUtime=4.09 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 15286 0 1 0 401 8 0 0 20 0 22 0 253509598 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2456167 48353 2282 9 0 2446860 0
[pid=24732/tid=24734] ppid=24730 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/24732/task/24734/stat : 24734 (java) S 24730 24732 23987 0 -1 4202560 2526 0 1 0 46 2 0 0 20 0 22 0 253509599 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758631855096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24735] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24735/stat : 24735 (java) S 24730 24732 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758475885096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24736] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24736/stat : 24736 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758474832296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24737] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24737/stat : 24737 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758473779496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24738] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24738/stat : 24738 (java) S 24730 24732 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758472726696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24739] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24739/stat : 24739 (java) S 24730 24732 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758471674920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24740] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24740/stat : 24740 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758470622120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24741] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24741/stat : 24741 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758469569320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24742] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24742/stat : 24742 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758468516520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24743] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24743/stat : 24743 (java) S 24730 24732 23987 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 253509601 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758456105448 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24744] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24744/stat : 24744 (java) S 24730 24732 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253509602 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758455051512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24745] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24745/stat : 24745 (java) S 24730 24732 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253509602 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758453998600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24746] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24746/stat : 24746 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509604 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758452947088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24747] ppid=24730 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/24732/task/24747/stat : 24747 (java) S 24730 24732 23987 0 -1 4202560 5432 0 0 0 86 2 0 0 20 0 22 0 253509604 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758451895224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24748] ppid=24730 vsize=9824668 CPUtime=0.76 cores=1,3,5,7
/proc/24732/task/24748/stat : 24748 (java) S 24730 24732 23987 0 -1 4202560 5912 0 0 0 74 2 0 0 20 0 22 0 253509604 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758450842424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24749] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24749/stat : 24749 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509604 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758449789816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24750] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24750/stat : 24750 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509604 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758448737224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24751] ppid=24730 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/24732/task/24751/stat : 24751 (java) R 24730 24732 23987 0 -1 4202560 25 0 0 0 91 0 0 0 20 0 22 0 253509650 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758447682136 139758572478042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24752] ppid=24730 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/24732/task/24752/stat : 24752 (java) R 24730 24732 23987 0 -1 4202560 121 0 0 0 89 2 0 0 20 0 22 0 253509650 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758446627440 139758572433638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24753] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24753/stat : 24753 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253509656 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758445577128 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24754] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24754/stat : 24754 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253509656 10060460032 48353 33554432000 1073741824 1073778376 140735440037024 139758444524328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9824668
[startup+3.10081 s]
/proc/loadavg: 3.47 3.06 2.60 5/219 24754
/proc/meminfo: memFree=28675236/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9824668 CPUtime=7.61 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 20006 0 1 0 751 10 0 0 20 0 22 0 253509598 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2456167 49486 2282 9 0 2446860 0
[pid=24732/tid=24734] ppid=24730 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/24732/task/24734/stat : 24734 (java) S 24730 24732 23987 0 -1 4202560 2526 0 1 0 46 2 0 0 20 0 22 0 253509599 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758631855096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24735] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24735/stat : 24735 (java) S 24730 24732 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758475885096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24736] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24736/stat : 24736 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758474832296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24737] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24737/stat : 24737 (java) S 24730 24732 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758473779496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24738] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24738/stat : 24738 (java) S 24730 24732 23987 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253509600 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758472726696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24739] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24739/stat : 24739 (java) S 24730 24732 23987 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253509600 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758471674920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24740] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24740/stat : 24740 (java) S 24730 24732 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758470622120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24741] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24741/stat : 24741 (java) S 24730 24732 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758469569320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24742] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24742/stat : 24742 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253509600 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758468516520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24743] ppid=24730 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/24732/task/24743/stat : 24743 (java) S 24730 24732 23987 0 -1 4202560 34 0 0 0 11 0 0 0 20 0 22 0 253509601 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758456105448 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24744] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24744/stat : 24744 (java) S 24730 24732 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253509602 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758455051512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24745] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24745/stat : 24745 (java) S 24730 24732 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253509602 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758453998600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24746] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24746/stat : 24746 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509604 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758452947088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24747] ppid=24730 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/24732/task/24747/stat : 24747 (java) S 24730 24732 23987 0 -1 4202560 5432 0 0 0 92 2 0 0 20 0 22 0 253509604 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758451895224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24748] ppid=24730 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/24732/task/24748/stat : 24748 (java) S 24730 24732 23987 0 -1 4202560 10612 0 0 0 109 3 0 0 20 0 22 0 253509604 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758450842424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24749] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24749/stat : 24749 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509604 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758449789816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24750] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24750/stat : 24750 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253509604 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758448737224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24751] ppid=24730 vsize=9824668 CPUtime=2.39 cores=1,3,5,7
/proc/24732/task/24751/stat : 24751 (java) R 24730 24732 23987 0 -1 4202560 28 0 0 0 239 0 0 0 20 0 22 0 253509650 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758447682016 139758572478260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24752] ppid=24730 vsize=9824668 CPUtime=2.38 cores=1,3,5,7
/proc/24732/task/24752/stat : 24752 (java) R 24730 24732 23987 0 -1 4202560 124 0 0 0 236 2 0 0 20 0 22 0 253509650 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758446627640 139758572108723 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24753] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24753/stat : 24753 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253509656 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758445577128 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24754] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24754/stat : 24754 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253509656 10060460032 49486 33554432000 1073741824 1073778376 140735440037024 139758444524328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+3.50083 s]
/proc/loadavg: 3.47 3.06 2.60 4/219 24754
/proc/meminfo: memFree=28673188/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9824668 CPUtime=8.16 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 20010 0 1 0 804 12 0 0 20 0 19 0 253509598 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2456167 49476 2283 9 0 2446860 0
[pid=24732/tid=24734] ppid=24730 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/24732/task/24734/stat : 24734 (java) S 24730 24732 23987 0 -1 4202560 2526 0 1 0 46 2 0 0 20 0 19 0 253509599 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758631855096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24735] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24735/stat : 24735 (java) S 24730 24732 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758475885096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24736] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24736/stat : 24736 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758474832296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24737] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24737/stat : 24737 (java) S 24730 24732 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758473779496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24738] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24738/stat : 24738 (java) S 24730 24732 23987 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253509600 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758472726696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24739] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24739/stat : 24739 (java) S 24730 24732 23987 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253509600 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758471674920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24740] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24740/stat : 24740 (java) S 24730 24732 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758470622120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24741] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24741/stat : 24741 (java) S 24730 24732 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758469569320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24742] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24742/stat : 24742 (java) S 24730 24732 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758468516520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24743] ppid=24730 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/24732/task/24743/stat : 24743 (java) S 24730 24732 23987 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 253509601 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758456105448 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24744] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24744/stat : 24744 (java) S 24730 24732 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253509602 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758455051512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24745] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24745/stat : 24745 (java) S 24730 24732 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253509602 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758453998600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24746] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24746/stat : 24746 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758452947088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24747] ppid=24730 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/24732/task/24747/stat : 24747 (java) S 24730 24732 23987 0 -1 4202560 5432 0 0 0 92 2 0 0 20 0 19 0 253509604 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758451895224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24748] ppid=24730 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/24732/task/24748/stat : 24748 (java) S 24730 24732 23987 0 -1 4202560 10612 0 0 0 109 3 0 0 20 0 19 0 253509604 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758450842424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24749] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24749/stat : 24749 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758449789816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24750] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24750/stat : 24750 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758448737224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24754] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24754/stat : 24754 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253509656 10060460032 49476 33554432000 1073741824 1073778376 140735440037024 139758444524328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 9824668
[startup+3.90075 s]
/proc/loadavg: 3.47 3.06 2.60 4/219 24754
/proc/meminfo: memFree=28673188/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9824668 CPUtime=8.75 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 21034 0 1 0 861 14 0 0 20 0 19 0 253509598 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2456167 49477 2283 9 0 2446860 0
[pid=24732/tid=24734] ppid=24730 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/24732/task/24734/stat : 24734 (java) S 24730 24732 23987 0 -1 4202560 2526 0 1 0 47 2 0 0 20 0 19 0 253509599 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758631855096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24735] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24735/stat : 24735 (java) S 24730 24732 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758475885096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24736] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24736/stat : 24736 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758474832296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24737] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24737/stat : 24737 (java) S 24730 24732 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758473779496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24738] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24738/stat : 24738 (java) S 24730 24732 23987 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758472726696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24739] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24739/stat : 24739 (java) S 24730 24732 23987 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758471674920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24740] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24740/stat : 24740 (java) S 24730 24732 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758470622120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24741] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24741/stat : 24741 (java) S 24730 24732 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758469569320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24742] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24742/stat : 24742 (java) S 24730 24732 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758468516520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24743] ppid=24730 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/24732/task/24743/stat : 24743 (java) S 24730 24732 23987 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 253509601 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758456105448 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24744] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24744/stat : 24744 (java) S 24730 24732 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253509602 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758455051512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24745] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24745/stat : 24745 (java) S 24730 24732 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253509602 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758453998600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24746] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24746/stat : 24746 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758452947088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24747] ppid=24730 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/24732/task/24747/stat : 24747 (java) S 24730 24732 23987 0 -1 4202560 5432 0 0 0 98 2 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758451895224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24748] ppid=24730 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/24732/task/24748/stat : 24748 (java) S 24730 24732 23987 0 -1 4202560 11629 0 0 0 123 3 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758450842424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24749] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24749/stat : 24749 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758449789816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24750] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24750/stat : 24750 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758448737224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24754] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24754/stat : 24754 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253509656 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758444524328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 9824668
[startup+4.00067 s]
/proc/loadavg: 3.47 3.06 2.60 4/219 24754
/proc/meminfo: memFree=28673188/32873844 swapFree=7900/7900
[pid=24732] ppid=24730 vsize=9824668 CPUtime=8.75 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24730 24732 23987 0 -1 4202496 21034 0 1 0 861 14 0 0 20 0 19 0 253509598 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 140735440028160 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24732/statm: 2456167 49477 2283 9 0 2446860 0
[pid=24732/tid=24734] ppid=24730 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/24732/task/24734/stat : 24734 (java) S 24730 24732 23987 0 -1 4202560 2526 0 1 0 47 2 0 0 20 0 19 0 253509599 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758631855096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24735] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24735/stat : 24735 (java) S 24730 24732 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758475885096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24736] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24736/stat : 24736 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758474832296 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24737] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24737/stat : 24737 (java) S 24730 24732 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758473779496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24738] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24738/stat : 24738 (java) S 24730 24732 23987 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758472726696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24739] ppid=24730 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24732/task/24739/stat : 24739 (java) S 24730 24732 23987 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758471674920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24740] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24740/stat : 24740 (java) S 24730 24732 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758470622120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24741] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24741/stat : 24741 (java) S 24730 24732 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758469569320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24742] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24742/stat : 24742 (java) S 24730 24732 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253509600 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758468516520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24732/tid=24743] ppid=24730 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/24732/task/24743/stat : 24743 (java) S 24730 24732 23987 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 253509601 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758456105448 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24744] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24744/stat : 24744 (java) S 24730 24732 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253509602 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758455051512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24745] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24745/stat : 24745 (java) S 24730 24732 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253509602 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758453998600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24746] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24746/stat : 24746 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758452947088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24747] ppid=24730 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/24732/task/24747/stat : 24747 (java) S 24730 24732 23987 0 -1 4202560 5432 0 0 0 98 2 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758451895224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24732/tid=24748] ppid=24730 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/24732/task/24748/stat : 24748 (java) S 24730 24732 23987 0 -1 4202560 11629 0 0 0 123 3 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758450842424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24749] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24749/stat : 24749 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758449789816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24732/tid=24750] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24750/stat : 24750 (java) S 24730 24732 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253509604 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758448737224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24732/tid=24754] ppid=24730 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24732/task/24754/stat : 24754 (java) S 24730 24732 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253509656 10060460032 49477 33554432000 1073741824 1073778376 140735440037024 139758444524328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 4.0747
CPU time (s): 8.90364
CPU user time (s): 8.65168
CPU system time (s): 0.251961
CPU usage (%): 218.511
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.65168
system time used= 0.251961
maximum resident set size= 202468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21046
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 861
involuntary context switches= 403
runsolver used 0.001999 second user time and 0.045993 second system time
The end