runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4117460-1467212714/watcher-4117460-1467212714 -o /tmp/evaluation-result-4117460-1467212714/solver-4117460-1467212714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4306 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4117460-1467212714.opb
pid=4722
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: 2.02 2.07 2.00 3/194 4725
/proc/meminfo: memFree=30508020/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 2377770 98570240 978 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 24065 978 744 9 0 16771 0
[pid=4725/tid=4726] ppid=4722 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 2377770 98578432 979 33554432000 1073741824 1073778376 140734909209008 140412802256424 140412808823328 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100062 s]
/proc/loadavg: 2.02 2.07 2.00 3/194 4725
/proc/meminfo: memFree=30508020/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 4512 0 1 0 10 1 0 0 20 0 18 0 2377770 9787879424 6137 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2389619 6137 2157 9 0 2380296 0
[pid=4725/tid=4726] ppid=4722 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2381 0 1 0 8 0 0 0 20 0 18 0 2377770 9787879424 6137 33554432000 1073741824 1073778376 140734909209008 140412802259872 247063874595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200341 s]
/proc/loadavg: 2.02 2.07 2.00 3/194 4725
/proc/meminfo: memFree=30508020/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 6066 0 1 0 28 1 0 0 20 0 19 0 2377770 9856040960 8167 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 8168 2235 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2412 0 1 0 18 0 0 0 20 0 19 0 2377770 9856040960 8181 33554432000 1073741824 1073778376 140734909209008 140412802261632 140412631207160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040
[startup+0.300338 s]
/proc/loadavg: 2.02 2.07 2.00 3/194 4725
/proc/meminfo: memFree=30508020/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 6452 0 1 0 52 1 0 0 20 0 19 0 2377770 9856040960 8383 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 8383 2243 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2412 0 1 0 28 0 0 0 20 0 19 0 2377770 9856040960 8383 33554432000 1073741824 1073778376 140734909209008 140412802261632 140412631145780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040
[startup+0.700291 s]
/proc/loadavg: 2.02 2.07 2.00 3/194 4725
/proc/meminfo: memFree=30508020/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 13530 0 1 0 119 3 0 0 20 0 19 0 2377770 9856040960 12983 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 12983 2255 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2413 0 1 0 68 0 0 0 20 0 19 0 2377770 9856040960 12983 33554432000 1073741824 1073778376 140734909209008 140412802261632 140412631352839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9625040
[startup+1.50072 s]
/proc/loadavg: 2.02 2.07 2.00 4/213 4744
/proc/meminfo: memFree=30462172/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 13645 0 1 0 203 3 0 0 20 0 19 0 2377770 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 13842 2257 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2416 0 1 0 147 0 0 0 20 0 19 0 2377770 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412802261224 140412631627687 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4728] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4728/stat : 4728 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412763752872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4729] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4729/stat : 4729 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412762700328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4730] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4730/stat : 4730 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412761647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4725/tid=4731] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4731/stat : 4731 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412760594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4732] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4732/stat : 4732 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412759542696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4733] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4733/stat : 4733 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412758490152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4734] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4734/stat : 4734 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412757437096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4735] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4735/stat : 4735 (java) S 4722 4725 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412756384552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4736] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4736/stat : 4736 (java) S 4722 4725 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412625852776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4737] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4737/stat : 4737 (java) S 4722 4725 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412624799096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4738] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4738/stat : 4738 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412623745928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4739] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4739/stat : 4739 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412622694672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4740] ppid=4722 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/4725/task/4740/stat : 4740 (java) S 4722 4725 4289 0 -1 4202560 3600 0 0 0 27 0 0 0 20 0 19 0 2377774 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412621642552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4741] ppid=4722 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/4725/task/4741/stat : 4741 (java) S 4722 4725 4289 0 -1 4202560 6356 0 0 0 26 2 0 0 20 0 19 0 2377774 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412620590008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4742] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4742/stat : 4742 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412619537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4743] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4743/stat : 4743 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412618484808 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4744] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4744/stat : 4744 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377786 9856040960 13842 33554432000 1073741824 1073778376 140734909209008 140412617430056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9625040
[startup+3.10079 s]
/proc/loadavg: 2.01 2.07 2.00 3/213 4744
/proc/meminfo: memFree=30453360/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=3.67 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 13679 0 1 0 364 3 0 0 20 0 19 0 2377770 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 15920 2257 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2420 0 1 0 306 1 0 0 20 0 19 0 2377770 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412802252464 140412631606672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4728] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4728/stat : 4728 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412763752872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4729] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4729/stat : 4729 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412762700328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4730] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4730/stat : 4730 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412761647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4725/tid=4731] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4731/stat : 4731 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412760594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4732] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4732/stat : 4732 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412759542696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4733] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4733/stat : 4733 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412758490152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4734] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4734/stat : 4734 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412757437096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4735] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4735/stat : 4735 (java) S 4722 4725 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412756384552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4736] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4736/stat : 4736 (java) S 4722 4725 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412625852776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4737] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4737/stat : 4737 (java) S 4722 4725 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412624799096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4738] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4738/stat : 4738 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412623745928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4739] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4739/stat : 4739 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412622694672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4740] ppid=4722 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/4725/task/4740/stat : 4740 (java) S 4722 4725 4289 0 -1 4202560 3600 0 0 0 27 0 0 0 20 0 19 0 2377774 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412621642552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4741] ppid=4722 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/4725/task/4741/stat : 4741 (java) S 4722 4725 4289 0 -1 4202560 6386 0 0 0 28 2 0 0 20 0 19 0 2377774 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412620590008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4742] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4742/stat : 4742 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412619537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4743] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4743/stat : 4743 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412618484808 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4744] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4744/stat : 4744 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377786 9856040960 15920 33554432000 1073741824 1073778376 140734909209008 140412617430056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 9625040
[startup+6.30074 s]
/proc/loadavg: 2.01 2.07 2.00 3/213 4744
/proc/meminfo: memFree=30436624/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=6.87 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 13686 0 1 0 684 3 0 0 20 0 19 0 2377770 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 17981 2258 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=6.28 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2426 0 1 0 626 2 0 0 20 0 19 0 2377770 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412802252464 140412631580677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4728] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4728/stat : 4728 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412763752872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4729] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4729/stat : 4729 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412762700328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4730] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4730/stat : 4730 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412761647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4725/tid=4731] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4731/stat : 4731 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412760594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4732] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4732/stat : 4732 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412759542696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4733] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4733/stat : 4733 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412758490152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4734] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4734/stat : 4734 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412757437096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4735] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4735/stat : 4735 (java) S 4722 4725 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2377771 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412756384552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4736] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4736/stat : 4736 (java) S 4722 4725 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412625852776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4737] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4737/stat : 4737 (java) S 4722 4725 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412624799096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4738] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4738/stat : 4738 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412623745928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4739] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4739/stat : 4739 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412622694672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4740] ppid=4722 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/4725/task/4740/stat : 4740 (java) S 4722 4725 4289 0 -1 4202560 3600 0 0 0 27 0 0 0 20 0 19 0 2377774 9856040960 17981 33554432000 1073741824 1073778376 140734909209008 140412621642552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4741] ppid=4722 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
################
# More data... #
################
[pid=4725/tid=4737] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4737/stat : 4737 (java) S 4722 4725 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412624799096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4738] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4738/stat : 4738 (java) S 4722 4725 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412623745928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4739] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4739/stat : 4739 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412622694672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4740] ppid=4722 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/4725/task/4740/stat : 4740 (java) S 4722 4725 4289 0 -1 4202560 3600 0 0 0 27 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412621642552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4741] ppid=4722 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/4725/task/4741/stat : 4741 (java) S 4722 4725 4289 0 -1 4202560 6390 0 0 0 32 2 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412620590008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4725/tid=4742] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4742/stat : 4742 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412619537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4743] ppid=4722 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/4725/task/4743/stat : 4743 (java) S 4722 4725 4289 0 -1 4202560 100 0 0 0 27 41 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412618484808 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4744] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4744/stat : 4744 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377786 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412617430056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.4
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 4854
/proc/meminfo: memFree=29874852/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=1784.42 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 15680 0 1 0 178358 84 0 0 20 0 19 0 2377770 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 121383 2272 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=1781.66 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2493 0 1 0 178133 33 0 0 20 0 19 0 2377770 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412802252464 140412631352862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4728] ppid=4722 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/4725/task/4728/stat : 4728 (java) S 4722 4725 4289 0 -1 4202560 140 0 0 0 17 5 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412763752872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4729] ppid=4722 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/4725/task/4729/stat : 4729 (java) S 4722 4725 4289 0 -1 4202560 255 0 0 0 16 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412762700328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4730] ppid=4722 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/4725/task/4730/stat : 4730 (java) S 4722 4725 4289 0 -1 4202560 212 0 0 0 15 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412761647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4731] ppid=4722 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/4725/task/4731/stat : 4731 (java) S 4722 4725 4289 0 -1 4202560 259 0 0 0 14 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412760594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4732] ppid=4722 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4725/task/4732/stat : 4732 (java) S 4722 4725 4289 0 -1 4202560 109 0 0 0 16 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412759542696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4733] ppid=4722 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/4725/task/4733/stat : 4733 (java) S 4722 4725 4289 0 -1 4202560 215 0 0 0 13 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412758490152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4734] ppid=4722 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/4725/task/4734/stat : 4734 (java) S 4722 4725 4289 0 -1 4202560 267 0 0 0 19 5 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412757437096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4735] ppid=4722 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/4725/task/4735/stat : 4735 (java) S 4722 4725 4289 0 -1 4202560 293 0 0 0 18 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412756384552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4736] ppid=4722 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/4725/task/4736/stat : 4736 (java) S 4722 4725 4289 0 -1 4202560 83 0 0 0 0 2 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412625852776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4737] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4737/stat : 4737 (java) S 4722 4725 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412624799096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4738] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4738/stat : 4738 (java) S 4722 4725 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412623745928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4739] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4739/stat : 4739 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412622694672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4740] ppid=4722 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/4725/task/4740/stat : 4740 (java) S 4722 4725 4289 0 -1 4202560 3600 0 0 0 27 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412621642552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4741] ppid=4722 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/4725/task/4741/stat : 4741 (java) S 4722 4725 4289 0 -1 4202560 6390 0 0 0 32 2 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412620590008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4725/tid=4742] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4742/stat : 4742 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412619537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4743] ppid=4722 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/4725/task/4743/stat : 4743 (java) S 4722 4725 4289 0 -1 4202560 104 0 0 0 29 42 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412618484808 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4744] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4744/stat : 4744 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377786 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412617430056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 4854
/proc/meminfo: memFree=29874976/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 15680 0 1 0 179918 85 0 0 20 0 19 0 2377770 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 121383 2272 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=1797.26 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2493 0 1 0 179693 33 0 0 20 0 19 0 2377770 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412802252464 140412631606686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4728] ppid=4722 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/4725/task/4728/stat : 4728 (java) S 4722 4725 4289 0 -1 4202560 140 0 0 0 17 5 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412763752872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4729] ppid=4722 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/4725/task/4729/stat : 4729 (java) S 4722 4725 4289 0 -1 4202560 255 0 0 0 16 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412762700328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4730] ppid=4722 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/4725/task/4730/stat : 4730 (java) S 4722 4725 4289 0 -1 4202560 212 0 0 0 15 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412761647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4731] ppid=4722 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/4725/task/4731/stat : 4731 (java) S 4722 4725 4289 0 -1 4202560 259 0 0 0 14 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412760594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4732] ppid=4722 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4725/task/4732/stat : 4732 (java) S 4722 4725 4289 0 -1 4202560 109 0 0 0 16 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412759542696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4733] ppid=4722 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/4725/task/4733/stat : 4733 (java) S 4722 4725 4289 0 -1 4202560 215 0 0 0 13 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412758490152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4734] ppid=4722 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/4725/task/4734/stat : 4734 (java) S 4722 4725 4289 0 -1 4202560 267 0 0 0 19 5 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412757437096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4735] ppid=4722 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/4725/task/4735/stat : 4735 (java) S 4722 4725 4289 0 -1 4202560 293 0 0 0 18 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412756384552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4736] ppid=4722 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/4725/task/4736/stat : 4736 (java) S 4722 4725 4289 0 -1 4202560 83 0 0 0 0 2 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412625852776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4737] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4737/stat : 4737 (java) S 4722 4725 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412624799096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4738] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4738/stat : 4738 (java) S 4722 4725 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412623745928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4739] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4739/stat : 4739 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412622694672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4740] ppid=4722 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/4725/task/4740/stat : 4740 (java) S 4722 4725 4289 0 -1 4202560 3600 0 0 0 27 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412621642552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4741] ppid=4722 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/4725/task/4741/stat : 4741 (java) S 4722 4725 4289 0 -1 4202560 6390 0 0 0 32 2 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412620590008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4725/tid=4742] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4742/stat : 4742 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412619537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4743] ppid=4722 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/4725/task/4743/stat : 4743 (java) S 4722 4725 4289 0 -1 4202560 104 0 0 0 30 43 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412618484808 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4744] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4744/stat : 4744 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377786 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412617430056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4725 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 4854
/proc/meminfo: memFree=29874976/32872528 swapFree=242912/249044
[pid=4725] ppid=4722 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/4725/stat : 4725 (java) S 4722 4725 4289 0 -1 4202496 15680 0 1 0 179918 85 0 0 20 0 19 0 2377770 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140734909200144 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4725/statm: 2406260 121383 2272 9 0 2396937 0
[pid=4725/tid=4726] ppid=4722 vsize=9625040 CPUtime=1797.26 cores=1,3,5,7
/proc/4725/task/4726/stat : 4726 (java) R 4722 4725 4289 0 -1 4202560 2493 0 1 0 179693 33 0 0 20 0 19 0 2377770 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412802252464 140412631606686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4728] ppid=4722 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/4725/task/4728/stat : 4728 (java) S 4722 4725 4289 0 -1 4202560 140 0 0 0 17 5 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412763752872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4729] ppid=4722 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/4725/task/4729/stat : 4729 (java) S 4722 4725 4289 0 -1 4202560 255 0 0 0 16 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412762700328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4730] ppid=4722 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/4725/task/4730/stat : 4730 (java) S 4722 4725 4289 0 -1 4202560 212 0 0 0 15 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412761647272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4731] ppid=4722 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/4725/task/4731/stat : 4731 (java) S 4722 4725 4289 0 -1 4202560 259 0 0 0 14 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412760594728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4732] ppid=4722 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/4725/task/4732/stat : 4732 (java) S 4722 4725 4289 0 -1 4202560 109 0 0 0 16 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412759542696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4733] ppid=4722 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/4725/task/4733/stat : 4733 (java) S 4722 4725 4289 0 -1 4202560 215 0 0 0 13 4 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412758490152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4734] ppid=4722 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/4725/task/4734/stat : 4734 (java) S 4722 4725 4289 0 -1 4202560 267 0 0 0 19 5 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412757437096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4735] ppid=4722 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/4725/task/4735/stat : 4735 (java) S 4722 4725 4289 0 -1 4202560 293 0 0 0 18 3 0 0 20 0 19 0 2377771 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412756384552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4736] ppid=4722 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/4725/task/4736/stat : 4736 (java) S 4722 4725 4289 0 -1 4202560 83 0 0 0 0 2 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412625852776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4725/tid=4737] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4737/stat : 4737 (java) S 4722 4725 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412624799096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4738] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4738/stat : 4738 (java) S 4722 4725 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2377772 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412623745928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4739] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4739/stat : 4739 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412622694672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4740] ppid=4722 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/4725/task/4740/stat : 4740 (java) S 4722 4725 4289 0 -1 4202560 3600 0 0 0 27 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412621642552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4741] ppid=4722 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/4725/task/4741/stat : 4741 (java) S 4722 4725 4289 0 -1 4202560 6390 0 0 0 32 2 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412620590008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4725/tid=4742] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4742/stat : 4742 (java) S 4722 4725 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412619537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4725/tid=4743] ppid=4722 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/4725/task/4743/stat : 4743 (java) S 4722 4725 4289 0 -1 4202560 104 0 0 0 30 43 0 0 20 0 19 0 2377774 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412618484808 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4725/tid=4744] ppid=4722 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4725/task/4744/stat : 4744 (java) S 4722 4725 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2377786 9856040960 121383 33554432000 1073741824 1073778376 140734909209008 140412617430056 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1797.94
CPU time (s): 1800.57
CPU user time (s): 1799.31
CPU system time (s): 1.26281
CPU usage (%): 100.146
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 1.26281
maximum resident set size= 485704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15729
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38286
involuntary context switches= 15152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5916 second user time and 8.89365 second system time
The end