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-3689590-1337883383/watcher-3689590-1337883383 -o /tmp/evaluation-result-3689590-1337883383/solver-3689590-1337883383 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689590-1337883383.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.32 3.67 3.76 4/197 25596
/proc/meminfo: memFree=25730964/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25596/stat : 25596 (java) D 25594 25596 22059 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254465237 9515008 182 33554432000 1073741824 1073778376 140733328524896 140733328515928 233411788469 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/25596/statm: 2323 182 140 9 0 71 0
[startup+0.103688 s]
/proc/loadavg: 3.32 3.67 3.76 4/197 25596
/proc/meminfo: memFree=25730964/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 4180 0 1 0 8 1 0 0 20 0 18 0 254465237 9787813888 5375 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2389603 5375 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.200389 s]
/proc/loadavg: 3.32 3.67 3.76 4/197 25596
/proc/meminfo: memFree=25730964/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9558412 CPUtime=0.25 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 4693 0 1 0 24 1 0 0 20 0 18 0 254465237 9787813888 6793 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2389603 6793 2187 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558412
[startup+0.300355 s]
/proc/loadavg: 3.32 3.67 3.76 4/197 25596
/proc/meminfo: memFree=25730964/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9558412 CPUtime=0.53 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 7073 0 1 0 51 2 0 0 20 0 18 0 254465237 9787813888 9863 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2389603 9863 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412
[startup+0.700262 s]
/proc/loadavg: 3.32 3.67 3.76 4/197 25596
/proc/meminfo: memFree=25730964/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 14528 0 1 0 179 5 0 0 20 0 22 0 254465237 10060460032 23939 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2456167 23939 2250 9 0 2446860 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824668
[startup+1.50077 s]
/proc/loadavg: 3.32 3.67 3.76 8/218 25618
/proc/meminfo: memFree=25624988/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9824668 CPUtime=4.28 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 15968 0 1 0 419 9 0 0 20 0 22 0 254465237 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2456167 46588 2274 9 0 2446860 0
[pid=25596/tid=25598] ppid=25594 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/25596/task/25598/stat : 25598 (java) S 25594 25596 22059 0 -1 4202560 2503 0 1 0 45 2 0 0 20 0 22 0 254465238 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139730055775224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25599] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25599/stat : 25599 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465240 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729899825704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25600] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25600/stat : 25600 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465240 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729898772904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25601] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25601/stat : 25601 (java) S 25594 25596 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254465240 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729897720104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25602] ppid=25594 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25596/task/25602/stat : 25602 (java) S 25594 25596 22059 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254465240 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729896667304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25603] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25603/stat : 25603 (java) S 25594 25596 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254465240 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729895615528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25604] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25604/stat : 25604 (java) S 25594 25596 22059 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254465240 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729894562728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25605] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25605/stat : 25605 (java) S 25594 25596 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254465240 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729893509928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25606] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25606/stat : 25606 (java) S 25594 25596 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254465240 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729892457128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25607] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25607/stat : 25607 (java) S 25594 25596 22059 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254465241 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729880046056 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25608] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25608/stat : 25608 (java) S 25594 25596 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729878992120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25609] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25609/stat : 25609 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729877939208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25610] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25610/stat : 25610 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729876887696 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25611] ppid=25594 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/25596/task/25611/stat : 25611 (java) S 25594 25596 22059 0 -1 4202560 6483 0 0 0 78 2 0 0 20 0 22 0 254465244 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729875835832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25612] ppid=25594 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/25596/task/25612/stat : 25612 (java) S 25594 25596 22059 0 -1 4202560 5528 0 0 0 94 2 0 0 20 0 22 0 254465244 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729874783032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25613] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25613/stat : 25613 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729873730424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25614] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25614/stat : 25614 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729872677832 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25615] ppid=25594 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/25596/task/25615/stat : 25615 (java) R 25594 25596 22059 0 -1 4202560 28 0 0 0 93 0 0 0 20 0 22 0 254465288 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729871622984 139729929117228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25616] ppid=25594 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/25596/task/25616/stat : 25616 (java) R 25594 25596 22059 0 -1 4202560 118 0 0 0 92 2 0 0 20 0 22 0 254465288 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729870568872 139729929501366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25617] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25617/stat : 25617 (java) S 25594 25596 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729869517736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25618] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25618/stat : 25618 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 46588 33554432000 1073741824 1073778376 140734728352768 139729868464936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9824668
[startup+3.10092 s]
/proc/loadavg: 3.37 3.67 3.76 6/218 25618
/proc/meminfo: memFree=25523396/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9824668 CPUtime=7.76 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 16418 0 1 0 761 15 0 0 20 0 22 0 254465237 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2456167 89282 2286 9 0 2446860 0
[pid=25596/tid=25598] ppid=25594 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/25596/task/25598/stat : 25598 (java) S 25594 25596 22059 0 -1 4202560 2503 0 1 0 45 2 0 0 20 0 22 0 254465238 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139730055775224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25599] ppid=25594 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25596/task/25599/stat : 25599 (java) S 25594 25596 22059 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 22 0 254465240 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729899825704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25600] ppid=25594 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25596/task/25600/stat : 25600 (java) S 25594 25596 22059 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254465240 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729898772904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25601] ppid=25594 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25596/task/25601/stat : 25601 (java) S 25594 25596 22059 0 -1 4202560 3 0 0 0 2 0 0 0 20 0 22 0 254465240 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729897720104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25602] ppid=25594 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25596/task/25602/stat : 25602 (java) S 25594 25596 22059 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 22 0 254465240 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729896667304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25603] ppid=25594 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25596/task/25603/stat : 25603 (java) S 25594 25596 22059 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254465240 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729895615528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25604] ppid=25594 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25596/task/25604/stat : 25604 (java) S 25594 25596 22059 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254465240 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729894562728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25605] ppid=25594 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25596/task/25605/stat : 25605 (java) S 25594 25596 22059 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 254465240 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729893509928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25606] ppid=25594 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25596/task/25606/stat : 25606 (java) S 25594 25596 22059 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 254465240 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729892457128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25607] ppid=25594 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/25596/task/25607/stat : 25607 (java) S 25594 25596 22059 0 -1 4202560 229 0 0 0 10 0 0 0 20 0 22 0 254465241 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729880046056 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25608] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25608/stat : 25608 (java) S 25594 25596 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729878992120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25609] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25609/stat : 25609 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729877939208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25610] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25610/stat : 25610 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729876887696 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25611] ppid=25594 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/25596/task/25611/stat : 25611 (java) S 25594 25596 22059 0 -1 4202560 6613 0 0 0 89 2 0 0 20 0 22 0 254465244 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729875835832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25612] ppid=25594 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/25596/task/25612/stat : 25612 (java) S 25594 25596 22059 0 -1 4202560 5562 0 0 0 115 2 0 0 20 0 22 0 254465244 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729874783032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25613] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25613/stat : 25613 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729873730424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25614] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25614/stat : 25614 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729872677832 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25615] ppid=25594 vsize=9824668 CPUtime=2.34 cores=1,3,5,7
/proc/25596/task/25615/stat : 25615 (java) R 25594 25596 22059 0 -1 4202560 29 0 0 0 234 0 0 0 20 0 22 0 254465288 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729871622744 139729928958208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25616] ppid=25594 vsize=9824668 CPUtime=2.36 cores=1,3,5,7
/proc/25596/task/25616/stat : 25616 (java) R 25594 25596 22059 0 -1 4202560 176 0 0 0 232 4 0 0 20 0 22 0 254465288 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729870567936 139729929424679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25617] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25617/stat : 25617 (java) S 25594 25596 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729869517736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25618] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25618/stat : 25618 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 89282 33554432000 1073741824 1073778376 140734728352768 139729868464936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 9824668
[startup+6.30096 s]
/proc/loadavg: 3.37 3.67 3.76 5/218 25618
/proc/meminfo: memFree=25276768/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9824668 CPUtime=14.21 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 17546 0 1 0 1400 21 0 0 20 0 22 0 254465237 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2456167 127641 2286 9 0 2446860 0
[pid=25596/tid=25598] ppid=25594 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/25596/task/25598/stat : 25598 (java) S 25594 25596 22059 0 -1 4202560 2503 0 1 0 45 2 0 0 20 0 22 0 254465238 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139730055775224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25599] ppid=25594 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25596/task/25599/stat : 25599 (java) S 25594 25596 22059 0 -1 4202560 21 0 0 0 4 2 0 0 20 0 22 0 254465240 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729899825704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25600] ppid=25594 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25596/task/25600/stat : 25600 (java) S 25594 25596 22059 0 -1 4202560 19 0 0 0 4 2 0 0 20 0 22 0 254465240 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729898772904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25601] ppid=25594 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25596/task/25601/stat : 25601 (java) S 25594 25596 22059 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 22 0 254465240 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729897720104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25602] ppid=25594 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25596/task/25602/stat : 25602 (java) S 25594 25596 22059 0 -1 4202560 24 0 0 0 5 1 0 0 20 0 22 0 254465240 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729896667304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25603] ppid=25594 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25596/task/25603/stat : 25603 (java) S 25594 25596 22059 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 22 0 254465240 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729895615528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25604] ppid=25594 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25596/task/25604/stat : 25604 (java) S 25594 25596 22059 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 22 0 254465240 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729894562728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25605] ppid=25594 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25596/task/25605/stat : 25605 (java) S 25594 25596 22059 0 -1 4202560 27 0 0 0 5 2 0 0 20 0 22 0 254465240 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729893509928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25606] ppid=25594 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25596/task/25606/stat : 25606 (java) S 25594 25596 22059 0 -1 4202560 23 0 0 0 5 1 0 0 20 0 22 0 254465240 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729892457128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25607] ppid=25594 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/25596/task/25607/stat : 25607 (java) S 25594 25596 22059 0 -1 4202560 258 0 0 0 36 0 0 0 20 0 22 0 254465241 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729880046056 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25608] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25608/stat : 25608 (java) S 25594 25596 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729878992120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25609] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25609/stat : 25609 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729877939208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25610] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25610/stat : 25610 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729876887696 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25611] ppid=25594 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25596/task/25611/stat : 25611 (java) S 25594 25596 22059 0 -1 4202560 7604 0 0 0 105 2 0 0 20 0 22 0 254465244 10060460032 127641 33554432000 1073741824 1073778376 140734728352768 139729875835832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=25596/tid=25616] ppid=25594 vsize=9824668 CPUtime=759 cores=1,3,5,7
/proc/25596/task/25616/stat : 25616 (java) S 25594 25596 22059 0 -1 4202560 1372 0 0 0 75843 57 0 0 20 0 22 0 254465288 10060460032 881982 33554432000 1073741824 1073778376 140734728352768 139729870568056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25617] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25617/stat : 25617 (java) S 25594 25596 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 881982 33554432000 1073741824 1073778376 140734728352768 139729869517736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25618] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25618/stat : 25618 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 881982 33554432000 1073741824 1073778376 140734728352768 139729868464936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1594.78
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 3.99 3.92 3.83 5/219 25689
/proc/meminfo: memFree=22554916/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9824668 CPUtime=1713.79 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 32748 0 1 0 171214 165 0 0 20 0 22 0 254465237 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2456167 886249 2287 9 0 2446860 0
[pid=25596/tid=25598] ppid=25594 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/25596/task/25598/stat : 25598 (java) S 25594 25596 22059 0 -1 4202560 2547 0 1 0 49 3 0 0 20 0 22 0 254465238 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139730055775224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25599] ppid=25594 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/25596/task/25599/stat : 25599 (java) S 25594 25596 22059 0 -1 4202560 575 0 0 0 160 10 0 0 20 0 22 0 254465240 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729899825704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25600] ppid=25594 vsize=9824668 CPUtime=1.98 cores=1,3,5,7
/proc/25596/task/25600/stat : 25600 (java) S 25594 25596 22059 0 -1 4202560 1790 0 0 0 186 12 0 0 20 0 22 0 254465240 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729898772904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25601] ppid=25594 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/25596/task/25601/stat : 25601 (java) S 25594 25596 22059 0 -1 4202560 1385 0 0 0 192 11 0 0 20 0 22 0 254465240 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729897720104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25602] ppid=25594 vsize=9824668 CPUtime=1.7 cores=1,3,5,7
/proc/25596/task/25602/stat : 25602 (java) S 25594 25596 22059 0 -1 4202560 1559 0 0 0 161 9 0 0 20 0 22 0 254465240 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729896667304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25603] ppid=25594 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/25596/task/25603/stat : 25603 (java) S 25594 25596 22059 0 -1 4202560 733 0 0 0 172 9 0 0 20 0 22 0 254465240 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729895615528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25604] ppid=25594 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/25596/task/25604/stat : 25604 (java) S 25594 25596 22059 0 -1 4202560 552 0 0 0 198 11 0 0 20 0 22 0 254465240 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729894562728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25605] ppid=25594 vsize=9824668 CPUtime=2.07 cores=1,3,5,7
/proc/25596/task/25605/stat : 25605 (java) S 25594 25596 22059 0 -1 4202560 1013 0 0 0 196 11 0 0 20 0 22 0 254465240 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729893509928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25606] ppid=25594 vsize=9824668 CPUtime=1.98 cores=1,3,5,7
/proc/25596/task/25606/stat : 25606 (java) S 25594 25596 22059 0 -1 4202560 1152 0 0 0 189 9 0 0 20 0 22 0 254465240 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729892457128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25607] ppid=25594 vsize=9824668 CPUtime=60.25 cores=1,3,5,7
/proc/25596/task/25607/stat : 25607 (java) S 25594 25596 22059 0 -1 4202560 3328 0 0 0 6008 17 0 0 20 0 22 0 254465241 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729880046056 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25608] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25608/stat : 25608 (java) S 25594 25596 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729878992120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25609] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25609/stat : 25609 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729877939208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25610] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25610/stat : 25610 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729876887696 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25611] ppid=25594 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/25596/task/25611/stat : 25611 (java) S 25594 25596 22059 0 -1 4202560 7626 0 0 0 116 2 0 0 20 0 22 0 254465244 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729875835832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25612] ppid=25594 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/25596/task/25612/stat : 25612 (java) S 25594 25596 22059 0 -1 4202560 7771 0 0 0 152 2 0 0 20 0 22 0 254465244 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729874783032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25613] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25613/stat : 25613 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729873730424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25614] ppid=25594 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/25596/task/25614/stat : 25614 (java) S 25594 25596 22059 0 -1 4202560 51 0 0 0 26 17 0 0 20 0 22 0 254465244 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729872677832 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25615] ppid=25594 vsize=9824668 CPUtime=817.38 cores=1,3,5,7
/proc/25596/task/25615/stat : 25615 (java) R 25594 25596 22059 0 -1 4202560 104 0 0 0 81722 16 0 0 20 0 22 0 254465288 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729871620624 139729929214400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25616] ppid=25594 vsize=9824668 CPUtime=817.28 cores=1,3,5,7
/proc/25596/task/25616/stat : 25616 (java) R 25594 25596 22059 0 -1 4202560 1375 0 0 0 81670 58 0 0 20 0 22 0 254465288 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729870568752 139729929522574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25617] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25617/stat : 25617 (java) S 25594 25596 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729869517736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25618] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25618/stat : 25618 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 886249 33554432000 1073741824 1073778376 140734728352768 139729868464936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1713.79
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+926.401 s]
/proc/loadavg: 3.95 3.91 3.83 5/219 25690
/proc/meminfo: memFree=22627824/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 33314 0 1 0 179844 169 0 0 20 0 22 0 254465237 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2456167 894721 2287 9 0 2446860 0
[pid=25596/tid=25598] ppid=25594 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/25596/task/25598/stat : 25598 (java) S 25594 25596 22059 0 -1 4202560 2548 0 1 0 49 3 0 0 20 0 22 0 254465238 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139730055775224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25599] ppid=25594 vsize=9824668 CPUtime=1.87 cores=1,3,5,7
/proc/25596/task/25599/stat : 25599 (java) S 25594 25596 22059 0 -1 4202560 616 0 0 0 177 10 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729899825704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25600] ppid=25594 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/25596/task/25600/stat : 25600 (java) S 25594 25596 22059 0 -1 4202560 1888 0 0 0 197 12 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729898772904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25601] ppid=25594 vsize=9824668 CPUtime=2.19 cores=1,3,5,7
/proc/25596/task/25601/stat : 25601 (java) S 25594 25596 22059 0 -1 4202560 1424 0 0 0 208 11 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729897720104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25602] ppid=25594 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/25596/task/25602/stat : 25602 (java) S 25594 25596 22059 0 -1 4202560 1718 0 0 0 181 10 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729896667304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25603] ppid=25594 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/25596/task/25603/stat : 25603 (java) S 25594 25596 22059 0 -1 4202560 745 0 0 0 182 9 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729895615528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25604] ppid=25594 vsize=9824668 CPUtime=2.22 cores=1,3,5,7
/proc/25596/task/25604/stat : 25604 (java) S 25594 25596 22059 0 -1 4202560 555 0 0 0 211 11 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729894562728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25605] ppid=25594 vsize=9824668 CPUtime=2.29 cores=1,3,5,7
/proc/25596/task/25605/stat : 25605 (java) S 25594 25596 22059 0 -1 4202560 1035 0 0 0 218 11 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729893509928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25606] ppid=25594 vsize=9824668 CPUtime=2.21 cores=1,3,5,7
/proc/25596/task/25606/stat : 25606 (java) S 25594 25596 22059 0 -1 4202560 1312 0 0 0 211 10 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729892457128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25607] ppid=25594 vsize=9824668 CPUtime=62.74 cores=1,3,5,7
/proc/25596/task/25607/stat : 25607 (java) S 25594 25596 22059 0 -1 4202560 3354 0 0 0 6257 17 0 0 20 0 22 0 254465241 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729880046056 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25608] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25608/stat : 25608 (java) S 25594 25596 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729878992120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25609] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25609/stat : 25609 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729877939208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25610] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25610/stat : 25610 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729876887696 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25611] ppid=25594 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/25596/task/25611/stat : 25611 (java) S 25594 25596 22059 0 -1 4202560 7626 0 0 0 116 2 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729875835832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25612] ppid=25594 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/25596/task/25612/stat : 25612 (java) S 25594 25596 22059 0 -1 4202560 7771 0 0 0 152 2 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729874783032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25613] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25613/stat : 25613 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729873730424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25614] ppid=25594 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/25596/task/25614/stat : 25614 (java) S 25594 25596 22059 0 -1 4202560 53 0 0 0 27 18 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729872677832 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25615] ppid=25594 vsize=9824668 CPUtime=858.65 cores=1,3,5,7
/proc/25596/task/25615/stat : 25615 (java) R 25594 25596 22059 0 -1 4202560 104 0 0 0 85848 17 0 0 20 0 22 0 254465288 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729871620848 139729929182487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25616] ppid=25594 vsize=9824668 CPUtime=858.56 cores=1,3,5,7
/proc/25596/task/25616/stat : 25616 (java) R 25594 25596 22059 0 -1 4202560 1378 0 0 0 85797 59 0 0 20 0 22 0 254465288 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729870568736 139729929501349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25617] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25617/stat : 25617 (java) S 25594 25596 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729869517736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25618] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25618/stat : 25618 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729868464936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+926.401 s]
/proc/loadavg: 3.95 3.91 3.83 5/219 25690
/proc/meminfo: memFree=22627824/32873844 swapFree=7100/7100
[pid=25596] ppid=25594 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7
/proc/25596/stat : 25596 (java) S 25594 25596 22059 0 -1 4202496 33314 0 1 0 179844 169 0 0 20 0 22 0 254465237 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 140734728343904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25596/statm: 2456167 894721 2287 9 0 2446860 0
[pid=25596/tid=25598] ppid=25594 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/25596/task/25598/stat : 25598 (java) S 25594 25596 22059 0 -1 4202560 2548 0 1 0 49 3 0 0 20 0 22 0 254465238 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139730055775224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25599] ppid=25594 vsize=9824668 CPUtime=1.87 cores=1,3,5,7
/proc/25596/task/25599/stat : 25599 (java) S 25594 25596 22059 0 -1 4202560 616 0 0 0 177 10 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729899825704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25600] ppid=25594 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/25596/task/25600/stat : 25600 (java) S 25594 25596 22059 0 -1 4202560 1888 0 0 0 197 12 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729898772904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25601] ppid=25594 vsize=9824668 CPUtime=2.19 cores=1,3,5,7
/proc/25596/task/25601/stat : 25601 (java) S 25594 25596 22059 0 -1 4202560 1424 0 0 0 208 11 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729897720104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25602] ppid=25594 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/25596/task/25602/stat : 25602 (java) S 25594 25596 22059 0 -1 4202560 1718 0 0 0 181 10 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729896667304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25603] ppid=25594 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/25596/task/25603/stat : 25603 (java) S 25594 25596 22059 0 -1 4202560 745 0 0 0 182 9 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729895615528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25604] ppid=25594 vsize=9824668 CPUtime=2.22 cores=1,3,5,7
/proc/25596/task/25604/stat : 25604 (java) S 25594 25596 22059 0 -1 4202560 555 0 0 0 211 11 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729894562728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25605] ppid=25594 vsize=9824668 CPUtime=2.29 cores=1,3,5,7
/proc/25596/task/25605/stat : 25605 (java) S 25594 25596 22059 0 -1 4202560 1035 0 0 0 218 11 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729893509928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25606] ppid=25594 vsize=9824668 CPUtime=2.21 cores=1,3,5,7
/proc/25596/task/25606/stat : 25606 (java) S 25594 25596 22059 0 -1 4202560 1312 0 0 0 211 10 0 0 20 0 22 0 254465240 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729892457128 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25607] ppid=25594 vsize=9824668 CPUtime=62.74 cores=1,3,5,7
/proc/25596/task/25607/stat : 25607 (java) S 25594 25596 22059 0 -1 4202560 3354 0 0 0 6257 17 0 0 20 0 22 0 254465241 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729880046056 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25608] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25608/stat : 25608 (java) S 25594 25596 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729878992120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25609] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25609/stat : 25609 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465242 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729877939208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25610] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25610/stat : 25610 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729876887696 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25611] ppid=25594 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/25596/task/25611/stat : 25611 (java) S 25594 25596 22059 0 -1 4202560 7626 0 0 0 116 2 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729875835832 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25596/tid=25612] ppid=25594 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/25596/task/25612/stat : 25612 (java) S 25594 25596 22059 0 -1 4202560 7771 0 0 0 152 2 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729874783032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25613] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25613/stat : 25613 (java) S 25594 25596 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729873730424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25614] ppid=25594 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/25596/task/25614/stat : 25614 (java) S 25594 25596 22059 0 -1 4202560 53 0 0 0 27 18 0 0 20 0 22 0 254465244 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729872677832 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25615] ppid=25594 vsize=9824668 CPUtime=858.65 cores=1,3,5,7
/proc/25596/task/25615/stat : 25615 (java) R 25594 25596 22059 0 -1 4202560 104 0 0 0 85848 17 0 0 20 0 22 0 254465288 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729871620848 139729929182487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25596/tid=25616] ppid=25594 vsize=9824668 CPUtime=858.56 cores=1,3,5,7
/proc/25596/task/25616/stat : 25616 (java) R 25594 25596 22059 0 -1 4202560 1378 0 0 0 85797 59 0 0 20 0 22 0 254465288 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729870568736 139729929501349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25596/tid=25617] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25617/stat : 25617 (java) S 25594 25596 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729869517736 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25596/tid=25618] ppid=25594 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25596/task/25618/stat : 25618 (java) S 25594 25596 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254465291 10060460032 894721 33554432000 1073741824 1073778376 140734728352768 139729868464936 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 926.481
CPU time (s): 1800.83
CPU user time (s): 1798.63
CPU system time (s): 2.20167
CPU usage (%): 194.373
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 2.20167
maximum resident set size= 3587796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33345
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24472
involuntary context switches= 27420
runsolver used 4.15137 second user time and 8.28274 second system time
The end