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-4103125-1466232971/watcher-4103125-1466232971 -o /tmp/evaluation-result-4103125-1466232971/solver-4103125-1466232971 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103125-1466232971.opb
pid=16017
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.32 2.26 2.23 3/194 16020
/proc/meminfo: memFree=29350888/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/16020/stat : 16020 (java) D 16017 16020 10680 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 25342805 2560000 46 33554432000 1073741824 1073778376 140737080550624 140737080547752 248781040935 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/16020/statm: 625 46 37 9 0 29 0
[startup+0.100114 s]
/proc/loadavg: 2.32 2.26 2.23 3/194 16020
/proc/meminfo: memFree=29350888/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 3853 0 1 0 6 0 0 0 20 0 18 0 25342805 9787879424 4472 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2389619 4476 1950 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476
[startup+0.200335 s]
/proc/loadavg: 2.32 2.26 2.23 3/194 16020
/proc/meminfo: memFree=29350888/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 4719 0 1 0 20 1 0 0 20 0 18 0 25342805 9787879424 6306 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2389619 6306 2197 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300311 s]
/proc/loadavg: 2.32 2.26 2.23 3/194 16020
/proc/meminfo: memFree=29350888/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 5430 0 1 0 41 1 0 0 20 0 18 0 25342805 9787879424 7182 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2389619 7182 2229 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558476
[startup+0.700175 s]
/proc/loadavg: 2.32 2.26 2.23 3/194 16020
/proc/meminfo: memFree=29350888/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 13462 0 1 0 149 3 0 0 20 0 19 0 25342805 9856040960 22197 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2406260 22197 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9625040
[startup+1.5008 s]
/proc/loadavg: 2.32 2.26 2.23 3/213 16039
/proc/meminfo: memFree=29255908/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 13745 0 1 0 244 4 0 0 20 0 19 0 25342805 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2406260 27865 2270 9 0 2396937 0
[pid=16020/tid=16022] ppid=16017 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 10680 0 -1 4202560 2498 0 1 0 142 3 0 0 20 0 19 0 25342807 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723814095368 139723686892274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723657738792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723656685992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723655633192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723654580392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723653528616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723652475816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723651423016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723650370216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25342809 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723638172136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723637118200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723636065288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342812 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723635013776 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 10680 0 -1 4202560 5065 0 0 0 48 0 0 0 20 0 19 0 25342812 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723633961912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 10680 0 -1 4202560 4904 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723632909112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723631856504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723630803912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16039/stat : 16039 (java) S 16017 16020 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25342857 9856040960 27865 33554432000 1073741824 1073778376 140733489354736 139723629749416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9625040
[startup+3.1008 s]
/proc/loadavg: 2.32 2.26 2.23 3/213 16039
/proc/meminfo: memFree=29226988/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 13774 0 1 0 407 4 0 0 20 0 19 0 25342805 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2406260 38113 2270 9 0 2396937 0
[pid=16020/tid=16022] ppid=16017 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 10680 0 -1 4202560 2519 0 1 0 302 3 0 0 20 0 19 0 25342807 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723814097256 139723686908864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723657738792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723656685992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723655633192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723654580392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723653528616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723652475816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723651423016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723650370216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25342809 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723638172136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723637118200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723636065288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342812 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723635013776 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 10680 0 -1 4202560 5072 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723633961912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 10680 0 -1 4202560 4905 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723632909112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723631856504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723630803912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16039/stat : 16039 (java) S 16017 16020 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25342857 9856040960 38113 33554432000 1073741824 1073778376 140733489354736 139723629749416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9625040
[startup+6.30081 s]
/proc/loadavg: 2.29 2.26 2.23 3/213 16039
/proc/meminfo: memFree=29146704/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9625040 CPUtime=7.39 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 13875 0 1 0 730 9 0 0 20 0 19 0 25342805 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2406260 52381 2284 9 0 2396937 0
[pid=16020/tid=16022] ppid=16017 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 10680 0 -1 4202560 2532 0 1 0 618 4 0 0 20 0 19 0 25342807 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723814088384 139723686908527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 10680 0 -1 4202560 26 0 0 0 0 1 0 0 20 0 19 0 25342808 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723657738792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 10680 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723656685992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723655633192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 10680 0 -1 4202560 27 0 0 0 0 1 0 0 20 0 19 0 25342808 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723654580392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 10680 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723653528616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 10680 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723652475816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723651423016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25342808 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723650370216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25342809 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723638172136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723637118200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723636065288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342812 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723635013776 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 10680 0 -1 4202560 5072 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723633961912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 10680 0 -1 4202560 4905 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723632909112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723631856504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723630803912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16039/stat : 16039 (java) S 16017 16020 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25342857 9856040960 52381 33554432000 1073741824 1073778376 140733489354736 139723629749416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=16020/tid=16032] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 148446 33554432000 1073741824 1073778376 140733489354736 139723637118200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 148446 33554432000 1073741824 1073778376 140733489354736 139723636065288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342812 9856040960 148446 33554432000 1073741824 1073778376 140733489354736 139723635013776 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 10680 0 -1 4202560 5093 0 0 0 53 0 0 0 20 0 19 0 25342812 9856040960 148446 33554432000 1073741824 1073778376 140733489354736 139723633961912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 10680 0 -1 4202560 4905 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 148446 33554432000 1073741824 1073778376 140733489354736 139723632909112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 148446 33554432000 1073741824 1073778376 140733489354736 139723631856504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 10680 0 -1 4202560 95 0 0 0 29 31 0 0 20 0 19 0 25342813 9856040960 148446 33554432000 1073741824 1073778376 140733489354736 139723630803912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16039/stat : 16039 (java) S 16017 16020 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25342857 9856040960 148446 33554432000 1073741824 1073778376 140733489354736 139723629749416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1678.91
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.19 2.26 2.26 3/213 16105
/proc/meminfo: memFree=26663792/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9625040 CPUtime=1739.48 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 32973 0 1 0 173719 229 0 0 20 0 19 0 25342805 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2406260 126040 2293 9 0 2396937 0
[pid=16020/tid=16022] ppid=16017 vsize=9625040 CPUtime=1710.18 cores=0,2,4,6
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 10680 0 -1 4202560 2874 0 1 0 170988 30 0 0 20 0 19 0 25342807 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723814096080 139723686991492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9625040 CPUtime=2.78 cores=0,2,4,6
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 10680 0 -1 4202560 2499 0 0 0 254 24 0 0 20 0 19 0 25342808 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723657738792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 10680 0 -1 4202560 2261 0 0 0 265 27 0 0 20 0 19 0 25342808 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723656685992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9625040 CPUtime=2.89 cores=0,2,4,6
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 10680 0 -1 4202560 1835 0 0 0 265 24 0 0 20 0 19 0 25342808 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723655633192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9625040 CPUtime=2.85 cores=0,2,4,6
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 10680 0 -1 4202560 2813 0 0 0 258 27 0 0 20 0 19 0 25342808 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723654580392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9625040 CPUtime=2.99 cores=0,2,4,6
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 10680 0 -1 4202560 1945 0 0 0 277 22 0 0 20 0 19 0 25342808 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723653528616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9625040 CPUtime=2.83 cores=0,2,4,6
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 10680 0 -1 4202560 1499 0 0 0 261 22 0 0 20 0 19 0 25342808 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723652475816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9625040 CPUtime=2.68 cores=0,2,4,6
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 10680 0 -1 4202560 2067 0 0 0 244 24 0 0 20 0 19 0 25342808 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723651423016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 10680 0 -1 4202560 1963 0 0 0 249 23 0 0 20 0 19 0 25342808 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723650370216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9625040 CPUtime=5.42 cores=0,2,4,6
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 10680 0 -1 4202560 1856 0 0 0 535 7 0 0 20 0 19 0 25342809 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723638172136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723637118200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723636065288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342812 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723635013776 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 10680 0 -1 4202560 5093 0 0 0 53 0 0 0 20 0 19 0 25342812 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723633961912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 10680 0 -1 4202560 4905 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723632909112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723631856504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 10680 0 -1 4202560 99 0 0 0 30 32 0 0 20 0 19 0 25342813 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723630803912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16039/stat : 16039 (java) S 16017 16020 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25342857 9856040960 126040 33554432000 1073741824 1073778376 140733489354736 139723629749416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1739.48
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1782.11 s]
/proc/loadavg: 2.26 2.27 2.26 4/213 16171
/proc/meminfo: memFree=29517184/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 33429 0 1 0 179765 237 0 0 20 0 19 0 25342805 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2406260 135262 2293 9 0 2396937 0
[pid=16020/tid=16022] ppid=16017 vsize=9625040 CPUtime=1769.35 cores=0,2,4,6
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 10680 0 -1 4202560 2895 0 1 0 176903 32 0 0 20 0 19 0 25342807 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723814096216 139723686891683 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9625040 CPUtime=2.91 cores=0,2,4,6
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 10680 0 -1 4202560 2542 0 0 0 266 25 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723657738792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 10680 0 -1 4202560 2309 0 0 0 278 28 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723656685992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 10680 0 -1 4202560 1845 0 0 0 276 25 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723655633192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9625040 CPUtime=2.99 cores=0,2,4,6
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 10680 0 -1 4202560 2831 0 0 0 271 28 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723654580392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9625040 CPUtime=3.13 cores=0,2,4,6
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 10680 0 -1 4202560 2001 0 0 0 291 22 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723653528616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9625040 CPUtime=2.96 cores=0,2,4,6
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 10680 0 -1 4202560 1581 0 0 0 273 23 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723652475816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9625040 CPUtime=2.82 cores=0,2,4,6
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 10680 0 -1 4202560 2082 0 0 0 257 25 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723651423016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 10680 0 -1 4202560 2031 0 0 0 261 23 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723650370216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9625040 CPUtime=5.73 cores=0,2,4,6
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 10680 0 -1 4202560 1947 0 0 0 566 7 0 0 20 0 19 0 25342809 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723638172136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723637118200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723636065288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342812 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723635013776 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 10680 0 -1 4202560 5093 0 0 0 53 0 0 0 20 0 19 0 25342812 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723633961912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 10680 0 -1 4202560 4905 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723632909112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723631856504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 10680 0 -1 4202560 103 0 0 0 32 33 0 0 20 0 19 0 25342813 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723630803912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16039/stat : 16039 (java) S 16017 16020 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25342857 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723629749416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 16020 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1782.11 s]
/proc/loadavg: 2.26 2.27 2.26 4/213 16171
/proc/meminfo: memFree=29517184/32872528 swapFree=1402776/1580604
[pid=16020] ppid=16017 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/16020/stat : 16020 (java) S 16017 16020 10680 0 -1 4202496 33429 0 1 0 179765 237 0 0 20 0 19 0 25342805 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 140733489345872 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16020/statm: 2406260 135262 2293 9 0 2396937 0
[pid=16020/tid=16022] ppid=16017 vsize=9625040 CPUtime=1769.35 cores=0,2,4,6
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 10680 0 -1 4202560 2895 0 1 0 176903 32 0 0 20 0 19 0 25342807 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723814096216 139723686891683 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9625040 CPUtime=2.91 cores=0,2,4,6
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 10680 0 -1 4202560 2542 0 0 0 266 25 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723657738792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 10680 0 -1 4202560 2309 0 0 0 278 28 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723656685992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 10680 0 -1 4202560 1845 0 0 0 276 25 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723655633192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9625040 CPUtime=2.99 cores=0,2,4,6
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 10680 0 -1 4202560 2831 0 0 0 271 28 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723654580392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9625040 CPUtime=3.13 cores=0,2,4,6
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 10680 0 -1 4202560 2001 0 0 0 291 22 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723653528616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9625040 CPUtime=2.96 cores=0,2,4,6
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 10680 0 -1 4202560 1581 0 0 0 273 23 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723652475816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9625040 CPUtime=2.82 cores=0,2,4,6
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 10680 0 -1 4202560 2082 0 0 0 257 25 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723651423016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 10680 0 -1 4202560 2031 0 0 0 261 23 0 0 20 0 19 0 25342808 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723650370216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9625040 CPUtime=5.73 cores=0,2,4,6
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 10680 0 -1 4202560 1947 0 0 0 566 7 0 0 20 0 19 0 25342809 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723638172136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723637118200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25342810 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723636065288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342812 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723635013776 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 10680 0 -1 4202560 5093 0 0 0 53 0 0 0 20 0 19 0 25342812 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723633961912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 10680 0 -1 4202560 4905 0 0 0 51 0 0 0 20 0 19 0 25342812 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723632909112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25342813 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723631856504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 10680 0 -1 4202560 103 0 0 0 32 33 0 0 20 0 19 0 25342813 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723630803912 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16020/task/16039/stat : 16039 (java) S 16017 16020 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25342857 9856040960 135262 33554432000 1073741824 1073778376 140733489354736 139723629749416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1782.15
CPU time (s): 1800.83
CPU user time (s): 1797.98
CPU system time (s): 2.85057
CPU usage (%): 101.048
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.85057
maximum resident set size= 863688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33476
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49461
involuntary context switches= 45803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.61154 second user time and 14.3648 second system time
The end