runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454072-1307195726/watcher-3454072-1307195726 -o /tmp/evaluation-result-3454072-1307195726/solver-3454072-1307195726 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454072-1307195726.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: 1.68 1.77 2.34 2/417 13938
/proc/meminfo: memFree=29963048/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 2687 0 1 0 0 0 0 0 25 0 2 0 831172367 10681323520 2390 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2607745 2404 906 9 0 2598901 0
[pid=13938/tid=13939] ppid=13936 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) R 13936 13938 13883 0 -1 4202560 5094 0 1 0 0 0 0 0 25 0 2 0 831172367 10694979584 5910 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0935269 s]
/proc/loadavg: 1.68 1.77 2.34 2/417 13938
/proc/meminfo: memFree=29963048/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10539568 CPUtime=0.1 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 13004 0 1 0 9 1 0 0 25 0 18 0 831172367 10792517632 12670 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2634892 12671 2092 9 0 2625626 0
[pid=13938/tid=13939] ppid=13936 vsize=10539568 CPUtime=0.08 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) R 13936 13938 13883 0 -1 4202560 11075 0 1 0 7 1 0 0 25 0 18 0 831172367 10792517632 12671 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 47571140594182 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539568
[startup+0.100524 s]
/proc/loadavg: 1.68 1.77 2.34 2/417 13938
/proc/meminfo: memFree=29963048/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10539700 CPUtime=0.1 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 13115 0 1 0 9 1 0 0 25 0 18 0 831172367 10792652800 12781 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2634925 12781 2092 9 0 2625659 0
[pid=13938/tid=13939] ppid=13936 vsize=10539700 CPUtime=0.09 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) R 13936 13938 13883 0 -1 4202560 11185 0 1 0 8 1 0 0 25 0 18 0 831172367 10792652800 12781 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 47571143894207 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539700
[startup+0.300492 s]
/proc/loadavg: 1.68 1.77 2.34 2/417 13938
/proc/meminfo: memFree=29963048/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10539700 CPUtime=0.48 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 16226 0 1 0 46 2 0 0 25 0 18 0 831172367 10792652800 15355 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2634925 15356 2207 9 0 2625659 0
[pid=13938/tid=13939] ppid=13936 vsize=10539700 CPUtime=0.28 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) R 13936 13938 13883 0 -1 4202560 13068 0 1 0 27 1 0 0 25 0 18 0 831172367 10792652800 15356 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912505592895 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10539700
[startup+0.700424 s]
/proc/loadavg: 1.68 1.77 2.34 2/417 13938
/proc/meminfo: memFree=29963048/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10552176 CPUtime=1.6 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 37609 0 1 0 156 4 0 0 25 0 18 0 831172367 10805428224 32633 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2638044 32636 2226 9 0 2628778 0
[pid=13938/tid=13939] ppid=13936 vsize=10552176 CPUtime=0.68 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) R 13936 13938 13883 0 -1 4202560 25673 0 1 0 66 2 0 0 25 0 18 0 831172367 10805428224 32638 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912505546378 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10552176
[startup+1.50128 s]
/proc/loadavg: 1.86 1.81 2.35 6/439 13960
/proc/meminfo: memFree=29399548/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10552176 CPUtime=2.5 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 238426 0 1 0 221 29 0 0 25 0 18 0 831172367 10805428224 233449 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2638044 233451 2229 9 0 2628778 0
[pid=13938/tid=13939] ppid=13936 vsize=10552176 CPUtime=1.48 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) R 13936 13938 13883 0 -1 4202560 226474 0 1 0 121 27 0 0 25 0 18 0 831172367 10805428224 233453 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912505763012 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172369 10805428224 233455 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13883 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831172369 10805428224 233457 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172369 10805428224 233460 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172369 10805428224 233463 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172369 10805428224 233468 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172369 10805428224 233486 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172369 10805428224 233502 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172369 10805428224 233518 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13883 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 831172370 10805428224 233536 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 0 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13883 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831172371 10805428224 233552 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831172371 10805428224 233569 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172373 10805428224 233585 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290703281 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=10552176 CPUtime=0.51 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13883 0 -1 4202560 5570 0 0 0 51 0 0 0 19 0 18 0 831172373 10805428224 233601 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=10552176 CPUtime=0.47 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13883 0 -1 4202560 5233 0 0 0 47 0 0 0 25 0 18 0 831172373 10805428224 233611 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831172373 10805428224 233613 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=10552176 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831172373 10805428224 233614 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 10552176
[startup+3.10105 s]
/proc/loadavg: 1.86 1.81 2.35 4/440 13970
/proc/meminfo: memFree=28284588/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10556480 CPUtime=6.2 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 393800 0 1 0 573 47 0 0 25 0 22 0 831172367 10809835520 387179 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2639120 387182 2240 9 0 2629854 0
[pid=13938/tid=13939] ppid=13936 vsize=10556480 CPUtime=1.73 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) S 13936 13938 13883 0 -1 4202560 313121 0 1 0 136 37 0 0 15 0 22 0 831172367 10809835520 387183 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 387184 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13883 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 387186 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 387187 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 387189 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 387190 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 387191 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 387193 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 387194 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13883 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 22 0 831172370 10809835520 387195 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 0 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13883 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831172371 10809835520 387197 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831172371 10809835520 387199 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 387200 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290703281 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=10556480 CPUtime=0.8 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13883 0 -1 4202560 5765 0 0 0 80 0 0 0 16 0 22 0 831172373 10809835520 387201 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=10556480 CPUtime=0.94 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13883 0 -1 4202560 6883 0 0 0 94 0 0 0 16 0 22 0 831172373 10809835520 387203 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 387204 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831172373 10809835520 387206 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13964] ppid=13936 vsize=10556480 CPUtime=1.34 cores=1,3,5,7
/proc/13938/task/13964/stat : 13964 (java) R 13936 13938 13883 0 -1 4202560 1589 0 0 0 134 0 0 0 25 0 22 0 831172542 10809835520 387207 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912506038076 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13938/tid=13965] ppid=13936 vsize=10556480 CPUtime=1.34 cores=1,3,5,7
/proc/13938/task/13965/stat : 13965 (java) R 13936 13938 13883 0 -1 4202560 65303 0 0 0 127 7 0 0 25 0 22 0 831172542 10809835520 387208 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912505980043 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13938/tid=13966] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13966/stat : 13966 (java) S 13936 13938 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831172546 10809835520 387210 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13967] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13967/stat : 13967 (java) S 13936 13938 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831172546 10809835520 387211 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 10556480
[startup+6.30143 s]
/proc/loadavg: 2.11 1.86 2.36 6/443 13994
/proc/meminfo: memFree=27213080/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10556480 CPUtime=12.3 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 564239 0 1 0 1164 66 0 0 25 0 22 0 831172367 10809835520 557599 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2639120 557601 2243 9 0 2629854 0
[pid=13938/tid=13939] ppid=13936 vsize=10556480 CPUtime=1.79 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) S 13936 13938 13883 0 -1 4202560 313409 0 1 0 142 37 0 0 15 0 22 0 831172367 10809835520 557602 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 557603 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13883 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 557604 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 557605 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 557605 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 557606 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 557608 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 557608 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172369 10809835520 557609 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13883 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831172370 10809835520 557609 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 0 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13883 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831172371 10809835520 557610 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831172371 10809835520 557611 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 557612 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290703281 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=23637680/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10556480 CPUtime=1634.01 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 877056 0 1 0 163297 104 0 0 25 0 22 0 831172367 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2639120 870229 2269 9 0 2629854 0
[pid=13938/tid=13939] ppid=13936 vsize=10556480 CPUtime=2.21 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) S 13936 13938 13883 0 -1 4202560 313424 0 1 0 184 37 0 0 15 0 22 0 831172367 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=10556480 CPUtime=0.41 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13883 0 -1 4202560 17248 0 0 0 39 2 0 0 16 0 22 0 831172369 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=10556480 CPUtime=0.51 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13883 0 -1 4202560 10843 0 0 0 50 1 0 0 15 0 22 0 831172369 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=10556480 CPUtime=0.22 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13883 0 -1 4202560 9662 0 0 0 21 1 0 0 16 0 22 0 831172369 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=10556480 CPUtime=0.44 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13883 0 -1 4202560 8675 0 0 0 44 0 0 0 16 0 22 0 831172369 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=10556480 CPUtime=0.47 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13883 0 -1 4202560 12034 0 0 0 46 1 0 0 15 0 22 0 831172369 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=10556480 CPUtime=0.46 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13883 0 -1 4202560 8032 0 0 0 46 0 0 0 16 0 22 0 831172369 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=10556480 CPUtime=0.12 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13883 0 -1 4202560 195 0 0 0 12 0 0 0 15 0 22 0 831172369 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=10556480 CPUtime=0.38 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13883 0 -1 4202560 8301 0 0 0 38 0 0 0 15 0 22 0 831172369 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=10556480 CPUtime=5.4 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13883 0 -1 4202560 62115 0 0 0 534 6 0 0 15 0 22 0 831172370 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 0 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13883 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831172371 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13883 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 831172371 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290703281 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=10556480 CPUtime=1.3 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13883 0 -1 4202560 5820 0 0 0 130 0 0 0 15 0 22 0 831172373 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=10556480 CPUtime=1.31 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13883 0 -1 4202560 6930 0 0 0 131 0 0 0 15 0 22 0 831172373 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13883 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831172373 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=14046] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/14046/stat : 14046 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831175203 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=14094] ppid=13936 vsize=10556480 CPUtime=247.81 cores=1,3,5,7
/proc/13938/task/14094/stat : 14094 (java) R 13936 13938 13883 0 -1 4202560 1 0 0 0 24781 0 0 0 25 0 22 0 831229665 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912505845833 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13938/tid=14095] ppid=13936 vsize=10556480 CPUtime=247.81 cores=1,3,5,7
/proc/13938/task/14095/stat : 14095 (java) R 13936 13938 13883 0 -1 4202560 2 0 0 0 24781 0 0 0 25 0 22 0 831229665 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912506072224 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13938/tid=14096] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/14096/stat : 14096 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831229665 10809835520 870229 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1634.01
Current children cumulated vsize (KiB) 10556480
[startup+882.302 s]
/proc/loadavg: 4.00 3.90 3.35 5/443 14104
/proc/meminfo: memFree=22872792/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10556480 CPUtime=1753.36 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 885976 0 1 0 175231 105 0 0 25 0 22 0 831172367 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2639120 879041 2269 9 0 2629854 0
[pid=13938/tid=13939] ppid=13936 vsize=10556480 CPUtime=2.21 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) S 13936 13938 13883 0 -1 4202560 313425 0 1 0 184 37 0 0 15 0 22 0 831172367 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=10556480 CPUtime=0.43 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13883 0 -1 4202560 18234 0 0 0 41 2 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=10556480 CPUtime=0.52 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13883 0 -1 4202560 10874 0 0 0 51 1 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=10556480 CPUtime=0.23 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13883 0 -1 4202560 9893 0 0 0 22 1 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=10556480 CPUtime=0.44 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13883 0 -1 4202560 8675 0 0 0 44 0 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=10556480 CPUtime=0.47 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13883 0 -1 4202560 12248 0 0 0 46 1 0 0 15 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=10556480 CPUtime=0.47 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13883 0 -1 4202560 8070 0 0 0 47 0 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=10556480 CPUtime=0.16 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13883 0 -1 4202560 1487 0 0 0 16 0 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=10556480 CPUtime=0.41 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13883 0 -1 4202560 9287 0 0 0 41 0 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=10556480 CPUtime=6.1 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13883 0 -1 4202560 67252 0 0 0 604 6 0 0 15 0 22 0 831172370 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 0 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13883 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831172371 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13883 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 831172371 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290703281 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=10556480 CPUtime=1.3 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13883 0 -1 4202560 5820 0 0 0 130 0 0 0 15 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=10556480 CPUtime=1.31 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13883 0 -1 4202560 6930 0 0 0 131 0 0 0 15 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13883 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=14046] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/14046/stat : 14046 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831175203 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=14094] ppid=13936 vsize=10556480 CPUtime=307.07 cores=1,3,5,7
/proc/13938/task/14094/stat : 14094 (java) R 13936 13938 13883 0 -1 4202560 1 0 0 0 30707 0 0 0 25 0 22 0 831229665 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912506138402 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13938/tid=14095] ppid=13936 vsize=10556480 CPUtime=307.07 cores=1,3,5,7
/proc/13938/task/14095/stat : 14095 (java) R 13936 13938 13883 0 -1 4202560 2 0 0 0 30707 0 0 0 25 0 22 0 831229665 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912506072265 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13938/tid=14096] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/14096/stat : 14096 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831229665 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1753.36
Current children cumulated vsize (KiB) 10556480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.701 s]
/proc/loadavg: 4.00 3.90 3.37 5/443 14105
/proc/meminfo: memFree=22872900/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=10556480 CPUtime=1800.18 cores=1,3,5,7
/proc/13938/stat : 13938 (java) S 13936 13938 13883 0 -1 4202496 885976 0 1 0 179913 105 0 0 25 0 22 0 831172367 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 2639120 879041 2269 9 0 2629854 0
[pid=13938/tid=13939] ppid=13936 vsize=10556480 CPUtime=2.21 cores=1,3,5,7
/proc/13938/task/13939/stat : 13939 (java) S 13936 13938 13883 0 -1 4202560 313425 0 1 0 184 37 0 0 15 0 22 0 831172367 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13941] ppid=13936 vsize=10556480 CPUtime=0.43 cores=1,3,5,7
/proc/13938/task/13941/stat : 13941 (java) S 13936 13938 13883 0 -1 4202560 18234 0 0 0 41 2 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13942] ppid=13936 vsize=10556480 CPUtime=0.52 cores=1,3,5,7
/proc/13938/task/13942/stat : 13942 (java) S 13936 13938 13883 0 -1 4202560 10874 0 0 0 51 1 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13943] ppid=13936 vsize=10556480 CPUtime=0.23 cores=1,3,5,7
/proc/13938/task/13943/stat : 13943 (java) S 13936 13938 13883 0 -1 4202560 9893 0 0 0 22 1 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13944] ppid=13936 vsize=10556480 CPUtime=0.44 cores=1,3,5,7
/proc/13938/task/13944/stat : 13944 (java) S 13936 13938 13883 0 -1 4202560 8675 0 0 0 44 0 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13945] ppid=13936 vsize=10556480 CPUtime=0.47 cores=1,3,5,7
/proc/13938/task/13945/stat : 13945 (java) S 13936 13938 13883 0 -1 4202560 12248 0 0 0 46 1 0 0 15 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13946] ppid=13936 vsize=10556480 CPUtime=0.47 cores=1,3,5,7
/proc/13938/task/13946/stat : 13946 (java) S 13936 13938 13883 0 -1 4202560 8070 0 0 0 47 0 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13947] ppid=13936 vsize=10556480 CPUtime=0.16 cores=1,3,5,7
/proc/13938/task/13947/stat : 13947 (java) S 13936 13938 13883 0 -1 4202560 1487 0 0 0 16 0 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13948] ppid=13936 vsize=10556480 CPUtime=0.41 cores=1,3,5,7
/proc/13938/task/13948/stat : 13948 (java) S 13936 13938 13883 0 -1 4202560 9287 0 0 0 41 0 0 0 16 0 22 0 831172369 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13949] ppid=13936 vsize=10556480 CPUtime=6.1 cores=1,3,5,7
/proc/13938/task/13949/stat : 13949 (java) S 13936 13938 13883 0 -1 4202560 67252 0 0 0 604 6 0 0 15 0 22 0 831172370 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 0 0 16800975 18446604455423578240 0 0 -1 5 0 0 0
[pid=13938/tid=13950] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13950/stat : 13950 (java) S 13936 13938 13883 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831172371 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13951] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13951/stat : 13951 (java) S 13936 13938 13883 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 831172371 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
[pid=13938/tid=13952] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13952/stat : 13952 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290703281 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13953] ppid=13936 vsize=10556480 CPUtime=1.3 cores=1,3,5,7
/proc/13938/task/13953/stat : 13953 (java) S 13936 13938 13883 0 -1 4202560 5820 0 0 0 130 0 0 0 15 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 7 0 0 0
[pid=13938/tid=13954] ppid=13936 vsize=10556480 CPUtime=1.31 cores=1,3,5,7
/proc/13938/task/13954/stat : 13954 (java) S 13936 13938 13883 0 -1 4202560 6930 0 0 0 131 0 0 0 15 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13955] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13955/stat : 13955 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290695577 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=13956] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/13956/stat : 13956 (java) S 13936 13938 13883 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831172373 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=14046] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/14046/stat : 14046 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831175203 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 3 0 0 0
[pid=13938/tid=14094] ppid=13936 vsize=10556480 CPUtime=330.49 cores=1,3,5,7
/proc/13938/task/14094/stat : 14094 (java) R 13936 13938 13883 0 -1 4202560 1 0 0 0 33049 0 0 0 25 0 22 0 831229665 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912505845786 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13938/tid=14095] ppid=13936 vsize=10556480 CPUtime=330.48 cores=1,3,5,7
/proc/13938/task/14095/stat : 14095 (java) R 13936 13938 13883 0 -1 4202560 2 0 0 0 33048 0 0 0 25 0 22 0 831229665 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 46912506151421 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13938/tid=14096] ppid=13936 vsize=10556480 CPUtime=0 cores=1,3,5,7
/proc/13938/task/14096/stat : 14096 (java) S 13936 13938 13883 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831229665 10809835520 879041 33554432000 1073741824 1073778376 140734411372464 18446744073709551615 237290696192 0 4 0 16800975 18446604455423578240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10556480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.821 s]
/proc/loadavg: 4.00 3.90 3.37 5/443 14105
/proc/meminfo: memFree=22872900/32950904 swapFree=56615552/67111528
[pid=13938] ppid=13936 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/13938/stat : 13938 (java) Z 13936 13938 13883 0 -1 4203548 886009 0 1 0 179926 112 0 0 17 0 2 0 831172367 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13938/statm: 0 0 0 0 0 0 0
[pid=13938/tid=14095] ppid=13936 vsize=0 CPUtime=330.58 cores=1,3,5,7
/proc/13938/task/14095/stat : 14095 (java) R 13936 13938 13883 0 -1 4203588 2 0 0 0 33052 6 0 0 25 0 2 0 831229665 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 905.891
CPU time (s): 1800.46
CPU user time (s): 1799.27
CPU system time (s): 1.19182
CPU usage (%): 198.75
Max. virtual memory (cumulated for all children) (KiB): 10558920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 1.19182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886009
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21774
involuntary context switches= 19204
runsolver used 3.60845 second user time and 8.78066 second system time
The end