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-4100189-1466211477/watcher-4100189-1466211477 -o /tmp/evaluation-result-4100189-1466211477/solver-4100189-1466211477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100189-1466211477.opb
pid=13112
running on 4 cores: 0,2,4,6
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.26 2.28 2.22 3/194 13115
/proc/meminfo: memFree=28783724/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 23193438 95129600 927 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 23225 927 703 9 0 16769 0
[pid=13115/tid=13116] ppid=13112 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) D 13112 13115 10680 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 23193439 95129600 927 33554432000 1073741824 1073778376 140733574661664 139989074337320 248781040935 0 0 4096 0 18446744072100588836 0 0 -1 0 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 2.26 2.28 2.22 3/194 13115
/proc/meminfo: memFree=28783724/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 4399 0 1 0 9 1 0 0 20 0 18 0 23193438 9787879424 6035 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2389619 6035 2125 9 0 2380296 0
[pid=13115/tid=13116] ppid=13112 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2374 0 1 0 6 1 0 0 20 0 18 0 23193439 9787879424 6035 33554432000 1073741824 1073778376 140733574661664 139989074340952 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200306 s]
/proc/loadavg: 2.26 2.28 2.22 3/194 13115
/proc/meminfo: memFree=28783724/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 4937 0 1 0 27 1 0 0 20 0 18 0 23193438 9787879424 6943 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2389619 6943 2216 9 0 2380296 0
[pid=13115/tid=13116] ppid=13112 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2392 0 1 0 16 1 0 0 20 0 18 0 23193439 9787879424 6943 33554432000 1073741824 1073778376 140733574661664 139989074340952 139989082106449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300319 s]
/proc/loadavg: 2.26 2.28 2.22 3/194 13115
/proc/meminfo: memFree=28783724/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 8002 0 1 0 50 2 0 0 20 0 18 0 23193438 9787879424 11355 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2389619 11355 2235 9 0 2380296 0
[pid=13115/tid=13116] ppid=13112 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2400 0 1 0 26 1 0 0 20 0 18 0 23193439 9787879424 11355 33554432000 1073741824 1073778376 140733574661664 139989074340952 139988906163888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700262 s]
/proc/loadavg: 2.26 2.28 2.22 3/194 13115
/proc/meminfo: memFree=28783724/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 12439 0 1 0 149 3 0 0 20 0 19 0 23193438 9856040960 23347 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2406260 23347 2265 9 0 2396937 0
[pid=13115/tid=13116] ppid=13112 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2429 0 1 0 65 2 0 0 20 0 19 0 23193439 9856040960 23347 33554432000 1073741824 1073778376 140733574661664 139989074342528 139988906492179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9625040
[startup+1.50076 s]
/proc/loadavg: 2.26 2.28 2.22 5/212 13134
/proc/meminfo: memFree=28694848/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 12485 0 1 0 245 3 0 0 20 0 19 0 23193438 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2406260 25435 2273 9 0 2396937 0
[pid=13115/tid=13116] ppid=13112 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2434 0 1 0 145 2 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989074342184 139988906569344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13118] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13118/stat : 13118 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989035834024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13119] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13119/stat : 13119 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989034781480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13120] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13120/stat : 13120 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989033728936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13121] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13121/stat : 13121 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989032676392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13122] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13122/stat : 13122 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989031622824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13123] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13123/stat : 13123 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989030570280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13124] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13124/stat : 13124 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989029517736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13125] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13125/stat : 13125 (java) S 13112 13115 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139989028465192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13126] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13126/stat : 13126 (java) S 13112 13115 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139988898380392 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13127] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13127/stat : 13127 (java) S 13112 13115 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139988897326712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13128] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13128/stat : 13128 (java) S 13112 13115 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139988896274056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13129] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13129/stat : 13129 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193443 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139988895222800 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13130] ppid=13112 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/13115/task/13130/stat : 13130 (java) S 13112 13115 10680 0 -1 4202560 3904 0 0 0 47 0 0 0 20 0 19 0 23193443 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139988894169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13131] ppid=13112 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/13115/task/13131/stat : 13131 (java) S 13112 13115 10680 0 -1 4202560 4870 0 0 0 50 0 0 0 20 0 19 0 23193443 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139988893116600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13132] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13132/stat : 13132 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193444 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139988892064248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13133] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13133/stat : 13133 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193444 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139988891011912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13134] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13134/stat : 13134 (java) S 13112 13115 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23193491 9856040960 25435 33554432000 1073741824 1073778376 140733574661664 139987882337576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.32 2.29 2.22 4/212 13134
/proc/meminfo: memFree=28682072/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 12493 0 1 0 408 4 0 0 20 0 19 0 23193438 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2406260 29531 2273 9 0 2396937 0
[pid=13115/tid=13116] ppid=13112 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2442 0 1 0 304 3 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989074333376 139988906022850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13118] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13118/stat : 13118 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989035834024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13119] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13119/stat : 13119 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989034781480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13120] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13120/stat : 13120 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989033728936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13121] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13121/stat : 13121 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989032676392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13122] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13122/stat : 13122 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989031622824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13123] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13123/stat : 13123 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989030570280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13124] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13124/stat : 13124 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989029517736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13125] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13125/stat : 13125 (java) S 13112 13115 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139989028465192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13126] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13126/stat : 13126 (java) S 13112 13115 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139988898380392 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13127] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13127/stat : 13127 (java) S 13112 13115 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139988897326712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13128] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13128/stat : 13128 (java) S 13112 13115 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139988896274056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13129] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13129/stat : 13129 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193443 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139988895222800 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13130] ppid=13112 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/13115/task/13130/stat : 13130 (java) S 13112 13115 10680 0 -1 4202560 3904 0 0 0 51 0 0 0 20 0 19 0 23193443 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139988894169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13131] ppid=13112 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/13115/task/13131/stat : 13131 (java) S 13112 13115 10680 0 -1 4202560 4870 0 0 0 50 0 0 0 20 0 19 0 23193443 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139988893116600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13132] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13132/stat : 13132 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193444 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139988892064248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13133] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13133/stat : 13133 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193444 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139988891011912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13134] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13134/stat : 13134 (java) S 13112 13115 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23193491 9856040960 29531 33554432000 1073741824 1073778376 140733574661664 139987882337576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 2.32 2.29 2.22 3/212 13134
/proc/meminfo: memFree=28650996/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9625040 CPUtime=7.31 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 12508 0 1 0 727 4 0 0 20 0 19 0 23193438 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2406260 36138 2274 9 0 2396937 0
[pid=13115/tid=13116] ppid=13112 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2456 0 1 0 624 3 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989074333360 139988906479463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13118] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13118/stat : 13118 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989035834024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13119] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13119/stat : 13119 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989034781480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13120] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13120/stat : 13120 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989033728936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13121] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13121/stat : 13121 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989032676392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13122] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13122/stat : 13122 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989031622824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13123] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13123/stat : 13123 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989030570280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13124] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13124/stat : 13124 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989029517736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13125] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13125/stat : 13125 (java) S 13112 13115 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23193439 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139989028465192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13126] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13126/stat : 13126 (java) S 13112 13115 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139988898380392 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13127] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13127/stat : 13127 (java) S 13112 13115 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139988897326712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13128] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13128/stat : 13128 (java) S 13112 13115 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139988896274056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13129] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13129/stat : 13129 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193443 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139988895222800 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13130] ppid=13112 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/13115/task/13130/stat : 13130 (java) S 13112 13115 10680 0 -1 4202560 3904 0 0 0 51 0 0 0 20 0 19 0 23193443 9856040960 36138 33554432000 1073741824 1073778376 140733574661664 139988894169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13131] ppid=13112 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
################
# More data... #
################
[pid=13115/tid=13127] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13127/stat : 13127 (java) S 13112 13115 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 108523 33554432000 1073741824 1073778376 140733574661664 139988897326712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13128] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13128/stat : 13128 (java) S 13112 13115 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 108523 33554432000 1073741824 1073778376 140733574661664 139988896274056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13129] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13129/stat : 13129 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193443 9856040960 108523 33554432000 1073741824 1073778376 140733574661664 139988895222800 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13130] ppid=13112 vsize=9625040 CPUtime=1.21 cores=0,2,4,6
/proc/13115/task/13130/stat : 13130 (java) S 13112 13115 10680 0 -1 4202560 11262 0 0 0 119 2 0 0 20 0 19 0 23193443 9856040960 108523 33554432000 1073741824 1073778376 140733574661664 139988894169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13131] ppid=13112 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/13115/task/13131/stat : 13131 (java) S 13112 13115 10680 0 -1 4202560 13394 0 0 0 136 2 0 0 20 0 19 0 23193443 9856040960 108523 33554432000 1073741824 1073778376 140733574661664 139988893116600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13132] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13132/stat : 13132 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193444 9856040960 108523 33554432000 1073741824 1073778376 140733574661664 139988892064248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13133] ppid=13112 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/13115/task/13133/stat : 13133 (java) S 13112 13115 10680 0 -1 4202560 98 0 0 0 28 23 0 0 20 0 19 0 23193444 9856040960 108523 33554432000 1073741824 1073778376 140733574661664 139988891011912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13134] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13134/stat : 13134 (java) S 13112 13115 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23193491 9856040960 108523 33554432000 1073741824 1073778376 140733574661664 139987882337576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1667.46
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.51 2.49 2.37 3/213 13404
/proc/meminfo: memFree=25184676/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9625040 CPUtime=1727.52 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 31458 0 1 0 172689 63 0 0 20 0 19 0 23193438 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2406260 108874 2288 9 0 2396937 0
[pid=13115/tid=13116] ppid=13112 vsize=9625040 CPUtime=1721.32 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2514 0 1 0 172094 38 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989074341008 139988906663458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13118] ppid=13112 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/13115/task/13118/stat : 13118 (java) S 13112 13115 10680 0 -1 4202560 391 0 0 0 38 5 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989035834024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13119] ppid=13112 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13115/task/13119/stat : 13119 (java) S 13112 13115 10680 0 -1 4202560 440 0 0 0 36 4 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989034781480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13120] ppid=13112 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/13115/task/13120/stat : 13120 (java) S 13112 13115 10680 0 -1 4202560 250 0 0 0 36 3 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989033728936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13121] ppid=13112 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13115/task/13121/stat : 13121 (java) S 13112 13115 10680 0 -1 4202560 377 0 0 0 37 5 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989032676392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13122] ppid=13112 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/13115/task/13122/stat : 13122 (java) S 13112 13115 10680 0 -1 4202560 449 0 0 0 45 6 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989031622824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13123] ppid=13112 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/13115/task/13123/stat : 13123 (java) S 13112 13115 10680 0 -1 4202560 187 0 0 0 44 4 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989030570280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13124] ppid=13112 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/13115/task/13124/stat : 13124 (java) S 13112 13115 10680 0 -1 4202560 336 0 0 0 36 3 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989029517736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13125] ppid=13112 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/13115/task/13125/stat : 13125 (java) S 13112 13115 10680 0 -1 4202560 402 0 0 0 34 3 0 0 20 0 19 0 23193439 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139989028465192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13126] ppid=13112 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13115/task/13126/stat : 13126 (java) S 13112 13115 10680 0 -1 4202560 93 0 0 0 1 1 0 0 20 0 19 0 23193441 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139988898380392 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13127] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13127/stat : 13127 (java) S 13112 13115 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139988897326712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13128] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13128/stat : 13128 (java) S 13112 13115 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139988896274056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13129] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13129/stat : 13129 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193443 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139988895222800 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13130] ppid=13112 vsize=9625040 CPUtime=1.21 cores=0,2,4,6
/proc/13115/task/13130/stat : 13130 (java) S 13112 13115 10680 0 -1 4202560 11262 0 0 0 119 2 0 0 20 0 19 0 23193443 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139988894169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13131] ppid=13112 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/13115/task/13131/stat : 13131 (java) S 13112 13115 10680 0 -1 4202560 13394 0 0 0 136 2 0 0 20 0 19 0 23193443 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139988893116600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13132] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13132/stat : 13132 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193444 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139988892064248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13133] ppid=13112 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/13115/task/13133/stat : 13133 (java) S 13112 13115 10680 0 -1 4202560 100 0 0 0 30 24 0 0 20 0 19 0 23193444 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139988891011912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13134] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13134/stat : 13134 (java) S 13112 13115 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23193491 9856040960 108874 33554432000 1073741824 1073778376 140733574661664 139987882337576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.52
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.30 2.43 2.35 4/213 13471
/proc/meminfo: memFree=29668488/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9625040 CPUtime=1787.57 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 31527 0 1 0 178693 64 0 0 20 0 19 0 23193438 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2406260 109283 2288 9 0 2396937 0
[pid=13115/tid=13116] ppid=13112 vsize=9625040 CPUtime=1781.3 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2515 0 1 0 178091 39 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989074341040 139988906746800 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13118] ppid=13112 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/13115/task/13118/stat : 13118 (java) S 13112 13115 10680 0 -1 4202560 392 0 0 0 40 5 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989035834024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13119] ppid=13112 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/13115/task/13119/stat : 13119 (java) S 13112 13115 10680 0 -1 4202560 440 0 0 0 37 4 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989034781480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13120] ppid=13112 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13115/task/13120/stat : 13120 (java) S 13112 13115 10680 0 -1 4202560 308 0 0 0 37 3 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989033728936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13121] ppid=13112 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13115/task/13121/stat : 13121 (java) S 13112 13115 10680 0 -1 4202560 377 0 0 0 37 5 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989032676392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13122] ppid=13112 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/13115/task/13122/stat : 13122 (java) S 13112 13115 10680 0 -1 4202560 450 0 0 0 46 6 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989031622824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13123] ppid=13112 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/13115/task/13123/stat : 13123 (java) S 13112 13115 10680 0 -1 4202560 188 0 0 0 45 4 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989030570280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13124] ppid=13112 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13115/task/13124/stat : 13124 (java) S 13112 13115 10680 0 -1 4202560 337 0 0 0 37 3 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989029517736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13125] ppid=13112 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/13115/task/13125/stat : 13125 (java) S 13112 13115 10680 0 -1 4202560 402 0 0 0 35 3 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989028465192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13126] ppid=13112 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13115/task/13126/stat : 13126 (java) S 13112 13115 10680 0 -1 4202560 95 0 0 0 1 1 0 0 20 0 19 0 23193441 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988898380392 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13127] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13127/stat : 13127 (java) S 13112 13115 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988897326712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13128] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13128/stat : 13128 (java) S 13112 13115 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988896274056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13129] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13129/stat : 13129 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193443 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988895222800 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13130] ppid=13112 vsize=9625040 CPUtime=1.21 cores=0,2,4,6
/proc/13115/task/13130/stat : 13130 (java) S 13112 13115 10680 0 -1 4202560 11262 0 0 0 119 2 0 0 20 0 19 0 23193443 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988894169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13131] ppid=13112 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/13115/task/13131/stat : 13131 (java) S 13112 13115 10680 0 -1 4202560 13394 0 0 0 136 2 0 0 20 0 19 0 23193443 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988893116600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13132] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13132/stat : 13132 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193444 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988892064248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13133] ppid=13112 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13115/task/13133/stat : 13133 (java) S 13112 13115 10680 0 -1 4202560 104 0 0 0 31 25 0 0 20 0 19 0 23193444 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988891011912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13134] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13134/stat : 13134 (java) S 13112 13115 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23193491 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139987882337576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 2.30 2.43 2.35 3/213 13471
/proc/meminfo: memFree=29486528/32872528 swapFree=1402776/1580604
[pid=13115] ppid=13112 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/13115/stat : 13115 (java) S 13112 13115 10680 0 -1 4202496 31527 0 1 0 179943 64 0 0 20 0 19 0 23193438 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 140733574652800 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13115/statm: 2406260 109283 2288 9 0 2396937 0
[pid=13115/tid=13116] ppid=13112 vsize=9625040 CPUtime=1793.79 cores=0,2,4,6
/proc/13115/task/13116/stat : 13116 (java) R 13112 13115 10680 0 -1 4202560 2515 0 1 0 179340 39 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989074341040 139988906746539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13118] ppid=13112 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/13115/task/13118/stat : 13118 (java) S 13112 13115 10680 0 -1 4202560 392 0 0 0 40 5 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989035834024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13119] ppid=13112 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/13115/task/13119/stat : 13119 (java) S 13112 13115 10680 0 -1 4202560 440 0 0 0 37 4 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989034781480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13120] ppid=13112 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13115/task/13120/stat : 13120 (java) S 13112 13115 10680 0 -1 4202560 308 0 0 0 37 3 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989033728936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13121] ppid=13112 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13115/task/13121/stat : 13121 (java) S 13112 13115 10680 0 -1 4202560 377 0 0 0 37 5 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989032676392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13122] ppid=13112 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/13115/task/13122/stat : 13122 (java) S 13112 13115 10680 0 -1 4202560 450 0 0 0 46 6 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989031622824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13123] ppid=13112 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/13115/task/13123/stat : 13123 (java) S 13112 13115 10680 0 -1 4202560 188 0 0 0 45 4 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989030570280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13124] ppid=13112 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13115/task/13124/stat : 13124 (java) S 13112 13115 10680 0 -1 4202560 337 0 0 0 37 3 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989029517736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13115/tid=13125] ppid=13112 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/13115/task/13125/stat : 13125 (java) S 13112 13115 10680 0 -1 4202560 402 0 0 0 35 3 0 0 20 0 19 0 23193439 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139989028465192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13126] ppid=13112 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13115/task/13126/stat : 13126 (java) S 13112 13115 10680 0 -1 4202560 95 0 0 0 1 1 0 0 20 0 19 0 23193441 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988898380392 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13115/tid=13127] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13127/stat : 13127 (java) S 13112 13115 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988897326712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13128] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13128/stat : 13128 (java) S 13112 13115 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23193441 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988896274056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13129] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13129/stat : 13129 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193443 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988895222800 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13130] ppid=13112 vsize=9625040 CPUtime=1.21 cores=0,2,4,6
/proc/13115/task/13130/stat : 13130 (java) S 13112 13115 10680 0 -1 4202560 11262 0 0 0 119 2 0 0 20 0 19 0 23193443 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988894169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13131] ppid=13112 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/13115/task/13131/stat : 13131 (java) S 13112 13115 10680 0 -1 4202560 13394 0 0 0 136 2 0 0 20 0 19 0 23193443 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988893116600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13132] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13132/stat : 13132 (java) S 13112 13115 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23193444 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988892064248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13115/tid=13133] ppid=13112 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13115/task/13133/stat : 13133 (java) S 13112 13115 10680 0 -1 4202560 104 0 0 0 31 25 0 0 20 0 19 0 23193444 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139988891011912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13115/tid=13134] ppid=13112 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13115/task/13134/stat : 13134 (java) S 13112 13115 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23193491 9856040960 109283 33554432000 1073741824 1073778376 140733574661664 139987882337576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 13115 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1794.84
CPU time (s): 1800.76
CPU user time (s): 1799.59
CPU system time (s): 1.17282
CPU usage (%): 100.33
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 1.17282
maximum resident set size= 439824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31559
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39234
involuntary context switches= 10989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2033 second user time and 12.4831 second system time
The end