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-4259743-1501643205/watcher-4259743-1501643205 -o /tmp/evaluation-result-4259743-1501643205/solver-4259743-1501643205 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259743-1501643205.xml
pid=30972
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.75 1.71 1.78 3/199 30975
/proc/meminfo: memFree=29135608/32770624 swapFree=0/239028
[pid=30975] ppid=30972 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/30975/stat : 30975 (runsolver) D 30972 30975 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6231095 24240128 106 18446744073709551615 4194304 4338465 140731499808384 140731499806024 140130721931991 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11866112 140731499811025 140731499811399 140731499811399 140731499814858 0
/proc/30975/statm: 5918 106 53 36 0 2156 0
[startup+0.100159 s]
/proc/loadavg: 1.75 1.71 1.78 3/199 30975
/proc/meminfo: memFree=29135608/32770624 swapFree=0/239028
[pid=30975] ppid=30972 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/30975/stat : 30975 (bash) S 30972 30975 3187 0 -1 4202496 683 1544 0 0 0 0 0 0 20 0 1 0 6231095 9736192 351 18446744073709551615 4194304 5098028 140723884265872 140723884263512 139731952454656 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 13430784 140723884270098 140723884270183 140723884270183 140723884273642 0
/proc/30975/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200453 s]
/proc/loadavg: 1.75 1.71 1.78 3/199 30975
/proc/meminfo: memFree=29135608/32770624 swapFree=0/239028
[pid=30975] ppid=30972 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/30975/stat : 30975 (bash) S 30972 30975 3187 0 -1 4202496 892 6489 0 0 0 0 0 1 20 0 1 0 6231095 9867264 377 18446744073709551615 4194304 5098028 140723884265872 140723884259880 139731952454656 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 13430784 140723884270098 140723884270183 140723884270183 140723884273642 0
/proc/30975/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300279 s]
/proc/loadavg: 1.75 1.71 1.78 3/199 30975
/proc/meminfo: memFree=29135608/32770624 swapFree=0/239028
[pid=30975] ppid=30972 vsize=13973872 CPUtime=0.13 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 5500 12463 0 0 5 1 4 3 20 0 15 0 6231095 14309244928 5162 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3493468 5162 2551 1 0 3482973 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13973872
[startup+0.700248 s]
/proc/loadavg: 1.75 1.71 1.78 3/199 30975
/proc/meminfo: memFree=29135608/32770624 swapFree=0/239028
[pid=30975] ppid=30972 vsize=13974784 CPUtime=0.69 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 13919 12463 0 0 57 5 4 3 20 0 15 0 6231095 14310178816 14790 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3493696 14790 3094 1 0 3482973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784
[startup+1.50133 s]
/proc/loadavg: 1.75 1.71 1.78 4/214 31038
/proc/meminfo: memFree=29038556/32770624 swapFree=0/239496
[pid=30975] ppid=30972 vsize=13985408 CPUtime=1.91 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 29565 12463 0 0 174 10 4 3 20 0 15 0 6231095 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3496352 43167 3361 1 0 3485533 0
[pid=30975/tid=31025] ppid=30972 vsize=13985408 CPUtime=1.28 cores=0,2,4,6
/proc/30975/task/31025/stat : 31025 (java) R 30972 30975 3187 0 -1 4202560 22401 12463 0 0 115 6 4 3 20 0 15 0 6231116 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139685107237552 139685103039066 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31026] ppid=30972 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/30975/task/31026/stat : 31026 (java) S 30972 30975 3187 0 -1 1077944384 220 12463 0 0 1 0 4 3 20 0 15 0 6231117 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139685022431504 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31027] ppid=30972 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/30975/task/31027/stat : 31027 (java) S 30972 30975 3187 0 -1 1077944384 59 12463 0 0 1 0 4 3 20 0 15 0 6231117 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139685021378960 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31028] ppid=30972 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31028/stat : 31028 (java) S 30972 30975 3187 0 -1 1077944384 13 12463 0 0 0 0 4 3 20 0 15 0 6231117 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684701268496 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31029] ppid=30972 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31029/stat : 31029 (java) S 30972 30975 3187 0 -1 1077944384 74 12463 0 0 0 0 4 3 20 0 15 0 6231117 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684700215952 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31030] ppid=30972 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/30975/task/31030/stat : 31030 (java) S 30972 30975 3187 0 -1 1077944384 1347 12463 0 0 1 0 4 3 20 0 15 0 6231118 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684581546480 139685103028866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31031] ppid=30972 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31031/stat : 31031 (java) S 30972 30975 3187 0 -1 1077944384 55 12463 0 0 0 0 4 3 20 0 15 0 6231118 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684580492768 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31032] ppid=30972 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31032/stat : 31032 (java) R 30972 30975 3187 0 -1 4202560 43 12463 0 0 0 0 4 3 20 0 15 0 6231119 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684579438688 139685103029654 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31033] ppid=30972 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31033/stat : 31033 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684578388688 139685103036315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31034] ppid=30972 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/30975/task/31034/stat : 31034 (java) S 30972 30975 3187 0 -1 1077944384 1236 12463 0 0 17 0 4 3 20 0 15 0 6231121 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684577335280 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31035] ppid=30972 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/30975/task/31035/stat : 31035 (java) R 30972 30975 3187 0 -1 1077944384 518 12463 0 0 12 0 4 3 20 0 15 0 6231121 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684576282736 139685103028866 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31036] ppid=30972 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/30975/task/31036/stat : 31036 (java) R 30972 30975 3187 0 -1 4202560 1433 12463 0 0 23 0 4 3 20 0 15 0 6231121 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684575229376 139685083260496 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31037] ppid=30972 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31037/stat : 31037 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684574177888 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31038] ppid=30972 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31038/stat : 31038 (java) S 30972 30975 3187 0 -1 1077944384 10 12463 0 0 0 0 4 3 20 0 15 0 6231125 14321057792 43167 18446744073709551615 4194304 4196468 140730042990656 139684573125424 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408
[startup+3.1024 s]
/proc/loadavg: 1.93 1.75 1.79 4/214 31038
/proc/meminfo: memFree=28955604/32770624 swapFree=0/239496
[pid=30975] ppid=30972 vsize=13997884 CPUtime=6.25 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 45484 12463 0 0 602 16 4 3 20 0 15 0 6231095 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3499471 55601 3437 1 0 3488093 0
[pid=30975/tid=31025] ppid=30972 vsize=13997884 CPUtime=2.87 cores=0,2,4,6
/proc/30975/task/31025/stat : 31025 (java) R 30972 30975 3187 0 -1 4202560 29247 12463 0 0 271 9 4 3 20 0 15 0 6231116 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139685107247968 139685087061349 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31026] ppid=30972 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/30975/task/31026/stat : 31026 (java) S 30972 30975 3187 0 -1 1077944384 220 12463 0 0 1 0 4 3 20 0 15 0 6231117 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139685022431504 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31027] ppid=30972 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/30975/task/31027/stat : 31027 (java) S 30972 30975 3187 0 -1 1077944384 59 12463 0 0 1 0 4 3 20 0 15 0 6231117 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139685021378960 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31028] ppid=30972 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31028/stat : 31028 (java) S 30972 30975 3187 0 -1 1077944384 13 12463 0 0 0 0 4 3 20 0 15 0 6231117 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684701268496 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31029] ppid=30972 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31029/stat : 31029 (java) S 30972 30975 3187 0 -1 1077944384 74 12463 0 0 0 0 4 3 20 0 15 0 6231117 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684700215952 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31030] ppid=30972 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/30975/task/31030/stat : 31030 (java) S 30972 30975 3187 0 -1 1077944384 1362 12463 0 0 1 0 4 3 20 0 15 0 6231118 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684581546480 139685103028866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31031] ppid=30972 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31031/stat : 31031 (java) S 30972 30975 3187 0 -1 1077944384 55 12463 0 0 0 0 4 3 20 0 15 0 6231118 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684580492768 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31032] ppid=30972 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31032/stat : 31032 (java) S 30972 30975 3187 0 -1 1077944384 43 12463 0 0 0 0 4 3 20 0 15 0 6231119 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684579440112 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31033] ppid=30972 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31033/stat : 31033 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684578388688 139685103036315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31034] ppid=30972 vsize=13997884 CPUtime=1.28 cores=0,2,4,6
/proc/30975/task/31034/stat : 31034 (java) R 30972 30975 3187 0 -1 4202560 5051 12463 0 0 120 1 4 3 20 0 15 0 6231121 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684577325072 139685086404303 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31035] ppid=30972 vsize=13997884 CPUtime=0.97 cores=0,2,4,6
/proc/30975/task/31035/stat : 31035 (java) R 30972 30975 3187 0 -1 1077944384 2252 12463 0 0 90 0 4 3 20 0 15 0 6231121 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684576282736 139685103028866 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31036] ppid=30972 vsize=13997884 CPUtime=1.2 cores=0,2,4,6
/proc/30975/task/31036/stat : 31036 (java) S 30972 30975 3187 0 -1 1077944384 4938 12463 0 0 112 1 4 3 20 0 15 0 6231121 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684575230320 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31037] ppid=30972 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31037/stat : 31037 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684574177888 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31038] ppid=30972 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31038/stat : 31038 (java) S 30972 30975 3187 0 -1 1077944384 13 12463 0 0 0 0 4 3 20 0 15 0 6231125 14333833216 55601 18446744073709551615 4194304 4196468 140730042990656 139684573125424 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 13997884
[startup+6.30073 s]
/proc/loadavg: 1.93 1.75 1.79 7/214 31038
/proc/meminfo: memFree=28747564/32770624 swapFree=0/239500
[pid=30975] ppid=30972 vsize=13999932 CPUtime=15.56 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 71923 12463 0 0 1517 32 4 3 20 0 15 0 6231095 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3499983 108361 3457 1 0 3488605 0
[pid=30975/tid=31025] ppid=30972 vsize=13999932 CPUtime=5.84 cores=0,2,4,6
/proc/30975/task/31025/stat : 31025 (java) R 30972 30975 3187 0 -1 4202560 33418 12463 0 0 566 11 4 3 20 0 15 0 6231116 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139685107247664 139684702582781 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31026] ppid=30972 vsize=13999932 CPUtime=0.25 cores=0,2,4,6
/proc/30975/task/31026/stat : 31026 (java) S 30972 30975 3187 0 -1 1077944384 471 12463 0 0 15 3 4 3 20 0 15 0 6231117 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139685022431504 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31027] ppid=30972 vsize=13999932 CPUtime=0.25 cores=0,2,4,6
/proc/30975/task/31027/stat : 31027 (java) S 30972 30975 3187 0 -1 1077944384 735 12463 0 0 15 3 4 3 20 0 15 0 6231117 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139685021378960 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31028] ppid=30972 vsize=13999932 CPUtime=0.25 cores=0,2,4,6
/proc/30975/task/31028/stat : 31028 (java) S 30972 30975 3187 0 -1 1077944384 329 12463 0 0 15 3 4 3 20 0 15 0 6231117 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684701268496 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31029] ppid=30972 vsize=13999932 CPUtime=0.26 cores=0,2,4,6
/proc/30975/task/31029/stat : 31029 (java) S 30972 30975 3187 0 -1 1077944384 486 12463 0 0 16 3 4 3 20 0 15 0 6231117 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684700215952 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31030] ppid=30972 vsize=13999932 CPUtime=0.12 cores=0,2,4,6
/proc/30975/task/31030/stat : 31030 (java) S 30972 30975 3187 0 -1 1077944384 5620 12463 0 0 5 0 4 3 20 0 15 0 6231118 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684581546480 139685103028866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31031] ppid=30972 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31031/stat : 31031 (java) S 30972 30975 3187 0 -1 1077944384 58 12463 0 0 0 0 4 3 20 0 15 0 6231118 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684580492768 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31032] ppid=30972 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31032/stat : 31032 (java) S 30972 30975 3187 0 -1 1077944384 45 12463 0 0 0 0 4 3 20 0 15 0 6231119 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684579440128 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31033] ppid=30972 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31033/stat : 31033 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684578388688 139685103036315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31034] ppid=30972 vsize=13999932 CPUtime=3.74 cores=0,2,4,6
/proc/30975/task/31034/stat : 31034 (java) R 30972 30975 3187 0 -1 4202560 13886 12463 0 0 365 2 4 3 20 0 15 0 6231121 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684577321376 139685080909697 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31035] ppid=30972 vsize=13999932 CPUtime=3.52 cores=0,2,4,6
/proc/30975/task/31035/stat : 31035 (java) R 30972 30975 3187 0 -1 4202560 7086 12463 0 0 344 1 4 3 20 0 15 0 6231121 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684576282736 139685082319501 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31036] ppid=30972 vsize=13999932 CPUtime=1.81 cores=0,2,4,6
/proc/30975/task/31036/stat : 31036 (java) S 30972 30975 3187 0 -1 1077944384 7515 12463 0 0 172 2 4 3 20 0 15 0 6231121 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684575230192 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31037] ppid=30972 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31037/stat : 31037 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684574177888 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31038] ppid=30972 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31038/stat : 31038 (java) S 30972 30975 3187 0 -1 1077944384 117 12463 0 0 0 0 4 3 20 0 15 0 6231125 14335930368 108361 18446744073709551615 4194304 4196468 140730042990656 139684573125424 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
Current children cumulated CPU time (s) 15.56
Current children cumulated vsize (KiB) 13999932
[startup+12.7008 s]
/proc/loadavg: 2.24 1.82 1.81 3/214 31038
/proc/meminfo: memFree=28170212/32770624 swapFree=0/239508
[pid=30975] ppid=30972 vsize=14069564 CPUtime=26.94 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 99643 12463 0 0 2636 51 4 3 20 0 15 0 6231095 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3517391 240713 3471 1 0 3506013 0
[pid=30975/tid=31025] ppid=30972 vsize=14069564 CPUtime=12.15 cores=0,2,4,6
/proc/30975/task/31025/stat : 31025 (java) R 30972 30975 3187 0 -1 4202560 50347 12463 0 0 1189 19 4 3 20 0 15 0 6231116 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139685107251488 139684721215429 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31026] ppid=30972 vsize=14069564 CPUtime=0.31 cores=0,2,4,6
/proc/30975/task/31026/stat : 31026 (java) S 30972 30975 3187 0 -1 1077944384 617 12463 0 0 19 5 4 3 20 0 15 0 6231117 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139685022431504 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31027] ppid=30972 vsize=14069564 CPUtime=0.32 cores=0,2,4,6
/proc/30975/task/31027/stat : 31027 (java) S 30972 30975 3187 0 -1 1077944384 1634 12463 0 0 20 5 4 3 20 0 15 0 6231117 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139685021378960 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31028] ppid=30972 vsize=14069564 CPUtime=0.31 cores=0,2,4,6
/proc/30975/task/31028/stat : 31028 (java) S 30972 30975 3187 0 -1 1077944384 417 12463 0 0 19 5 4 3 20 0 15 0 6231117 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139684701268496 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31029] ppid=30972 vsize=14069564 CPUtime=0.33 cores=0,2,4,6
/proc/30975/task/31029/stat : 31029 (java) S 30972 30975 3187 0 -1 1077944384 580 12463 0 0 21 5 4 3 20 0 15 0 6231117 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139684700215952 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31030] ppid=30972 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/30975/task/31030/stat : 31030 (java) S 30972 30975 3187 0 -1 1077944384 5946 12463 0 0 6 0 4 3 20 0 15 0 6231118 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139684581546480 139685103028866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31031] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31031/stat : 31031 (java) S 30972 30975 3187 0 -1 1077944384 59 12463 0 0 0 0 4 3 20 0 15 0 6231118 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139684580492832 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31032] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31032/stat : 31032 (java) S 30972 30975 3187 0 -1 1077944384 46 12463 0 0 0 0 4 3 20 0 15 0 6231119 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139684579440128 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31033] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31033/stat : 31033 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14407233536 240713 18446744073709551615 4194304 4196468 140730042990656 139684578388688 139685103036315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
################
# More data... #
################
/proc/30975/task/31037/stat : 31037 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14407233536 481021 18446744073709551615 4194304 4196468 140730042990656 139684574177888 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31038] ppid=30972 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/30975/task/31038/stat : 31038 (java) S 30972 30975 3187 0 -1 1077944384 1103 12463 0 0 3 3 4 3 20 0 15 0 6231125 14407233536 481021 18446744073709551615 4194304 4196468 140730042990656 139684573125424 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
Current children cumulated CPU time (s) 117.55
Current children cumulated vsize (KiB) 14069564
[startup+162.301 s]
/proc/loadavg: 1.31 1.62 1.74 3/214 31043
/proc/meminfo: memFree=26926140/32770624 swapFree=0/239584
[pid=30975] ppid=30972 vsize=14069564 CPUtime=178.16 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 128828 12463 0 0 17728 81 4 3 20 0 15 0 6231095 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3517391 464346 3473 1 0 3506013 0
[pid=30975/tid=31025] ppid=30972 vsize=14069564 CPUtime=161.21 cores=0,2,4,6
/proc/30975/task/31025/stat : 31025 (java) R 30972 30975 3187 0 -1 4202560 59066 12463 0 0 16080 34 4 3 20 0 15 0 6231116 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139685107251856 139684702759334 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31026] ppid=30972 vsize=14069564 CPUtime=0.61 cores=0,2,4,6
/proc/30975/task/31026/stat : 31026 (java) S 30972 30975 3187 0 -1 1077944384 1217 12463 0 0 46 8 4 3 20 0 15 0 6231117 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139685022431504 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31027] ppid=30972 vsize=14069564 CPUtime=0.61 cores=0,2,4,6
/proc/30975/task/31027/stat : 31027 (java) S 30972 30975 3187 0 -1 1077944384 3457 12463 0 0 47 7 4 3 20 0 15 0 6231117 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139685021378960 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31028] ppid=30972 vsize=14069564 CPUtime=0.6 cores=0,2,4,6
/proc/30975/task/31028/stat : 31028 (java) S 30972 30975 3187 0 -1 1077944384 778 12463 0 0 46 7 4 3 20 0 15 0 6231117 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684701268496 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31029] ppid=30972 vsize=14069564 CPUtime=0.62 cores=0,2,4,6
/proc/30975/task/31029/stat : 31029 (java) S 30972 30975 3187 0 -1 1077944384 2051 12463 0 0 48 7 4 3 20 0 15 0 6231117 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684700215952 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31030] ppid=30972 vsize=14069564 CPUtime=0.3 cores=0,2,4,6
/proc/30975/task/31030/stat : 31030 (java) S 30972 30975 3187 0 -1 1077944384 7295 12463 0 0 21 2 4 3 20 0 15 0 6231118 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684581546480 139685103028866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31031] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31031/stat : 31031 (java) S 30972 30975 3187 0 -1 1077944384 59 12463 0 0 0 0 4 3 20 0 15 0 6231118 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684580492832 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31032] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31032/stat : 31032 (java) S 30972 30975 3187 0 -1 1077944384 46 12463 0 0 0 0 4 3 20 0 15 0 6231119 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684579440128 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31033] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31033/stat : 31033 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684578388688 139685103036315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31034] ppid=30972 vsize=14069564 CPUtime=6.54 cores=0,2,4,6
/proc/30975/task/31034/stat : 31034 (java) S 30972 30975 3187 0 -1 1077944384 23509 12463 0 0 644 3 4 3 20 0 15 0 6231121 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684577335280 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31035] ppid=30972 vsize=14069564 CPUtime=5.63 cores=0,2,4,6
/proc/30975/task/31035/stat : 31035 (java) S 30972 30975 3187 0 -1 1077944384 14443 12463 0 0 554 2 4 3 20 0 15 0 6231121 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684576282736 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31036] ppid=30972 vsize=14069564 CPUtime=2.38 cores=0,2,4,6
/proc/30975/task/31036/stat : 31036 (java) S 30972 30975 3187 0 -1 1077944384 13611 12463 0 0 228 3 4 3 20 0 15 0 6231121 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684575230192 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31037] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31037/stat : 31037 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684574177888 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31038] ppid=30972 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/30975/task/31038/stat : 31038 (java) S 30972 30975 3187 0 -1 1077944384 1139 12463 0 0 4 6 4 3 20 0 15 0 6231125 14407233536 464346 18446744073709551615 4194304 4196468 140730042990656 139684573125424 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
Current children cumulated CPU time (s) 178.16
Current children cumulated vsize (KiB) 14069564
[startup+222.307 s]
/proc/loadavg: 1.74 1.69 1.76 3/212 31170
/proc/meminfo: memFree=28723588/32770624 swapFree=0/239668
[pid=30975] ppid=30972 vsize=14069564 CPUtime=238.97 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 135649 12463 0 0 23803 87 4 3 20 0 15 0 6231095 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3517391 460241 3473 1 0 3506013 0
[pid=30975/tid=31025] ppid=30972 vsize=14069564 CPUtime=220.67 cores=0,2,4,6
/proc/30975/task/31025/stat : 31025 (java) R 30972 30975 3187 0 -1 4202560 61111 12463 0 0 22024 36 4 3 20 0 15 0 6231116 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139685107251440 139684704804815 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31026] ppid=30972 vsize=14069564 CPUtime=0.89 cores=0,2,4,6
/proc/30975/task/31026/stat : 31026 (java) S 30972 30975 3187 0 -1 1077944384 1518 12463 0 0 73 9 4 3 20 0 15 0 6231117 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139685022431504 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31027] ppid=30972 vsize=14069564 CPUtime=0.9 cores=0,2,4,6
/proc/30975/task/31027/stat : 31027 (java) S 30972 30975 3187 0 -1 1077944384 5215 12463 0 0 74 9 4 3 20 0 15 0 6231117 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139685021378960 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31028] ppid=30972 vsize=14069564 CPUtime=0.89 cores=0,2,4,6
/proc/30975/task/31028/stat : 31028 (java) S 30972 30975 3187 0 -1 1077944384 2638 12463 0 0 73 9 4 3 20 0 15 0 6231117 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684701268496 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31029] ppid=30972 vsize=14069564 CPUtime=0.91 cores=0,2,4,6
/proc/30975/task/31029/stat : 31029 (java) S 30972 30975 3187 0 -1 1077944384 2198 12463 0 0 77 7 4 3 20 0 15 0 6231117 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684700215952 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31030] ppid=30972 vsize=14069564 CPUtime=0.5 cores=0,2,4,6
/proc/30975/task/31030/stat : 31030 (java) S 30972 30975 3187 0 -1 1077944384 7951 12463 0 0 39 4 4 3 20 0 15 0 6231118 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684581546480 139685103028866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31031] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31031/stat : 31031 (java) S 30972 30975 3187 0 -1 1077944384 59 12463 0 0 0 0 4 3 20 0 15 0 6231118 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684580492832 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31032] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31032/stat : 31032 (java) S 30972 30975 3187 0 -1 1077944384 46 12463 0 0 0 0 4 3 20 0 15 0 6231119 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684579440128 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31033] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31033/stat : 31033 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684578388688 139685103036315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31034] ppid=30972 vsize=14069564 CPUtime=6.54 cores=0,2,4,6
/proc/30975/task/31034/stat : 31034 (java) S 30972 30975 3187 0 -1 1077944384 23515 12463 0 0 644 3 4 3 20 0 15 0 6231121 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684577335280 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31035] ppid=30972 vsize=14069564 CPUtime=5.63 cores=0,2,4,6
/proc/30975/task/31035/stat : 31035 (java) S 30972 30975 3187 0 -1 1077944384 14447 12463 0 0 554 2 4 3 20 0 15 0 6231121 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684576282736 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31036] ppid=30972 vsize=14069564 CPUtime=2.38 cores=0,2,4,6
/proc/30975/task/31036/stat : 31036 (java) S 30972 30975 3187 0 -1 1077944384 13615 12463 0 0 228 3 4 3 20 0 15 0 6231121 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684575230192 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31037] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31037/stat : 31037 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684574177888 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31038] ppid=30972 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/30975/task/31038/stat : 31038 (java) S 30972 30975 3187 0 -1 1077944384 1179 12463 0 0 6 7 4 3 20 0 15 0 6231125 14407233536 460241 18446744073709551615 4194304 4196468 140730042990656 139684573125424 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
Current children cumulated CPU time (s) 238.97
Current children cumulated vsize (KiB) 14069564
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.73 1.69 1.76 3/212 31171
/proc/meminfo: memFree=28511780/32770624 swapFree=0/239672
[pid=30975] ppid=30972 vsize=14069564 CPUtime=256.94 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 140461 12463 0 0 25597 90 4 3 20 0 15 0 6231095 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3517391 458701 3473 1 0 3506013 0
[pid=30975/tid=31025] ppid=30972 vsize=14069564 CPUtime=238.19 cores=0,2,4,6
/proc/30975/task/31025/stat : 31025 (java) R 30972 30975 3187 0 -1 4202560 62516 12463 0 0 23776 36 4 3 20 0 15 0 6231116 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139685107251680 139684721131366 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31026] ppid=30972 vsize=14069564 CPUtime=0.98 cores=0,2,4,6
/proc/30975/task/31026/stat : 31026 (java) S 30972 30975 3187 0 -1 1077944384 1586 12463 0 0 82 9 4 3 20 0 15 0 6231117 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139685022431504 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31027] ppid=30972 vsize=14069564 CPUtime=0.99 cores=0,2,4,6
/proc/30975/task/31027/stat : 31027 (java) S 30972 30975 3187 0 -1 1077944384 6804 12463 0 0 83 9 4 3 20 0 15 0 6231117 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139685021378960 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31028] ppid=30972 vsize=14069564 CPUtime=0.97 cores=0,2,4,6
/proc/30975/task/31028/stat : 31028 (java) S 30972 30975 3187 0 -1 1077944384 2746 12463 0 0 81 9 4 3 20 0 15 0 6231117 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684701268496 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31029] ppid=30972 vsize=14069564 CPUtime=1 cores=0,2,4,6
/proc/30975/task/31029/stat : 31029 (java) S 30972 30975 3187 0 -1 1077944384 2468 12463 0 0 85 8 4 3 20 0 15 0 6231117 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684700215952 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31030] ppid=30972 vsize=14069564 CPUtime=0.56 cores=0,2,4,6
/proc/30975/task/31030/stat : 31030 (java) S 30972 30975 3187 0 -1 1077944384 8274 12463 0 0 45 4 4 3 20 0 15 0 6231118 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684581546480 139685103028866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31031] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31031/stat : 31031 (java) S 30972 30975 3187 0 -1 1077944384 59 12463 0 0 0 0 4 3 20 0 15 0 6231118 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684580492832 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31032] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31032/stat : 31032 (java) S 30972 30975 3187 0 -1 1077944384 46 12463 0 0 0 0 4 3 20 0 15 0 6231119 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684579440128 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31033] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31033/stat : 31033 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684578388688 139685103036315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31034] ppid=30972 vsize=14069564 CPUtime=6.54 cores=0,2,4,6
/proc/30975/task/31034/stat : 31034 (java) S 30972 30975 3187 0 -1 1077944384 23518 12463 0 0 644 3 4 3 20 0 15 0 6231121 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684577335280 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31035] ppid=30972 vsize=14069564 CPUtime=5.63 cores=0,2,4,6
/proc/30975/task/31035/stat : 31035 (java) S 30972 30975 3187 0 -1 1077944384 14449 12463 0 0 554 2 4 3 20 0 15 0 6231121 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684576282736 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31036] ppid=30972 vsize=14069564 CPUtime=2.38 cores=0,2,4,6
/proc/30975/task/31036/stat : 31036 (java) S 30972 30975 3187 0 -1 1077944384 14640 12463 0 0 228 3 4 3 20 0 15 0 6231121 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684575230192 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31037] ppid=30972 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31037/stat : 31037 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 15 0 6231121 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684574177888 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31038] ppid=30972 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/30975/task/31038/stat : 31038 (java) S 30972 30975 3187 0 -1 1077944384 1198 12463 0 0 7 8 4 3 20 0 15 0 6231125 14407233536 458701 18446744073709551615 4194304 4196468 140730042990656 139684573125424 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
Current children cumulated CPU time (s) 256.94
Current children cumulated vsize (KiB) 14069564
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 30975 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.41 s]
/proc/loadavg: 1.73 1.69 1.76 3/212 31171
/proc/meminfo: memFree=28511780/32770624 swapFree=0/239672
[pid=30975] ppid=30972 vsize=14202692 CPUtime=258.27 cores=0,2,4,6
/proc/30975/stat : 30975 (java) S 30972 30975 3187 0 -1 1077944320 152548 12463 0 0 25728 92 4 3 20 0 17 0 6231095 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 140730042973200 139685103017719 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
/proc/30975/statm: 3550673 460100 3474 1 0 3539295 0
[pid=30975/tid=31025] ppid=30972 vsize=14202692 CPUtime=238.2 cores=0,2,4,6
/proc/30975/task/31025/stat : 31025 (java) S 30972 30975 3187 0 -1 1077944384 63199 12463 0 0 23777 36 4 3 20 0 17 0 6231116 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139685107255264 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31026] ppid=30972 vsize=14202692 CPUtime=1.28 cores=0,2,4,6
/proc/30975/task/31026/stat : 31026 (java) R 30972 30975 3187 0 -1 4202560 1678 12463 0 0 112 9 4 3 20 0 17 0 6231117 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139685022431504 139685084614742 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31027] ppid=30972 vsize=14202692 CPUtime=1.3 cores=0,2,4,6
/proc/30975/task/31027/stat : 31027 (java) R 30972 30975 3187 0 -1 4202560 6903 12463 0 0 114 9 4 3 20 0 17 0 6231117 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139685021378960 139685084613676 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31028] ppid=30972 vsize=14202692 CPUtime=1.28 cores=0,2,4,6
/proc/30975/task/31028/stat : 31028 (java) R 30972 30975 3187 0 -1 4202560 2801 12463 0 0 112 9 4 3 20 0 17 0 6231117 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684701268696 139685084614173 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31029] ppid=30972 vsize=14202692 CPUtime=1.31 cores=0,2,4,6
/proc/30975/task/31029/stat : 31029 (java) R 30972 30975 3187 0 -1 4202560 2570 12463 0 0 116 8 4 3 20 0 17 0 6231117 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684700215952 139685087968324 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31030] ppid=30972 vsize=14202692 CPUtime=0.65 cores=0,2,4,6
/proc/30975/task/31030/stat : 31030 (java) S 30972 30975 3187 0 -1 1077944384 18780 12463 0 0 53 5 4 3 20 0 17 0 6231118 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684581544880 139685103027925 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31031] ppid=30972 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31031/stat : 31031 (java) S 30972 30975 3187 0 -1 1077944384 62 12463 0 0 0 0 4 3 20 0 17 0 6231118 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684580492336 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31032] ppid=30972 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31032/stat : 31032 (java) S 30972 30975 3187 0 -1 1077944384 46 12463 0 0 0 0 4 3 20 0 17 0 6231119 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684579440128 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31033] ppid=30972 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31033/stat : 31033 (java) S 30972 30975 3187 0 -1 1077944384 193 12463 0 0 0 0 4 3 20 0 17 0 6231121 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684578388688 139685103036315 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31034] ppid=30972 vsize=14202692 CPUtime=6.54 cores=0,2,4,6
/proc/30975/task/31034/stat : 31034 (java) S 30972 30975 3187 0 -1 1077944384 23518 12463 0 0 644 3 4 3 20 0 17 0 6231121 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684577335280 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31035] ppid=30972 vsize=14202692 CPUtime=5.63 cores=0,2,4,6
/proc/30975/task/31035/stat : 31035 (java) S 30972 30975 3187 0 -1 1077944384 14449 12463 0 0 554 2 4 3 20 0 17 0 6231121 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684576282736 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31036] ppid=30972 vsize=14202692 CPUtime=2.38 cores=0,2,4,6
/proc/30975/task/31036/stat : 31036 (java) S 30972 30975 3187 0 -1 1077944384 14640 12463 0 0 228 3 4 3 20 0 17 0 6231121 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684575230192 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31037] ppid=30972 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/30975/task/31037/stat : 31037 (java) S 30972 30975 3187 0 -1 1077944384 3 12463 0 0 0 0 4 3 20 0 17 0 6231121 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684574177888 139685103027925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
[pid=30975/tid=31038] ppid=30972 vsize=14202692 CPUtime=0.22 cores=0,2,4,6
/proc/30975/task/31038/stat : 31038 (java) S 30972 30975 3187 0 -1 1077944384 1198 12463 0 0 7 8 4 3 20 0 17 0 6231125 14543556608 460100 18446744073709551615 4194304 4196468 140730042990656 139684573125424 139685103028866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140730042996686 140730042999471 140730042999471 140730043002831 0
Current children cumulated CPU time (s) 258.27
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 240.488
CPU time (s): 258.464
CPU user time (s): 257.49
CPU system time (s): 0.973882
CPU usage (%): 107.475
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.49
system time used= 0.973882
maximum resident set size= 1988188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22195
involuntary context switches= 645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.989607 second user time and 1.62153 second system time
The end