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-4101309-1466222225/watcher-4101309-1466222225 -o /tmp/evaluation-result-4101309-1466222225/solver-4101309-1466222225 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101309-1466222225.opb
pid=14568
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.39 2.26 2.20 3/194 14571
/proc/meminfo: memFree=30147892/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14571/stat : 14571 (java) R 14568 14571 10680 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 24268187 9515008 175 33554432000 1073741824 1073778376 140734371384176 140734371381304 248790205328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14571/statm: 2323 175 133 9 0 71 0
[startup+0.100116 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 14571
/proc/meminfo: memFree=30147892/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 3987 0 1 0 6 1 0 0 20 0 18 0 24268187 9787879424 5114 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2389619 5117 2046 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200297 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 14571
/proc/meminfo: memFree=30147892/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 4986 0 1 0 25 1 0 0 20 0 18 0 24268187 9787879424 6970 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2389619 6970 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300278 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 14571
/proc/meminfo: memFree=30147892/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 5403 0 1 0 45 1 0 0 20 0 18 0 24268187 9787879424 9704 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2389619 9704 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700185 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 14571
/proc/meminfo: memFree=30147892/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 10717 0 1 0 144 3 0 0 20 0 19 0 24268187 9856040960 21684 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2406260 21684 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.39 2.26 2.20 4/213 14590
/proc/meminfo: memFree=30063708/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 10932 0 1 0 239 3 0 0 20 0 19 0 24268187 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2406260 24278 2272 9 0 2396937 0
[pid=14571/tid=14573] ppid=14568 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/14571/task/14573/stat : 14573 (java) R 14568 14571 10680 0 -1 4202560 2437 0 1 0 144 2 0 0 20 0 19 0 24268189 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140657016663400 140656840988016 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14574] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14574/stat : 14574 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656978156200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14575] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14575/stat : 14575 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656977103656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14576] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14576/stat : 14576 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656976051112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14577] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14577/stat : 14577 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656974998568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14578] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14578/stat : 14578 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656973945000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14579] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14579/stat : 14579 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656972892456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14580] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14580/stat : 14580 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656971839912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14581] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14581/stat : 14581 (java) S 14568 14571 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656970787368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14582] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14582/stat : 14582 (java) S 14568 14571 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656840272488 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14583] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14583/stat : 14583 (java) S 14568 14571 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656839218808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14584] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14584/stat : 14584 (java) S 14568 14571 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656838166152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14585] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14585/stat : 14585 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656837114896 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14586] ppid=14568 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/14571/task/14586/stat : 14586 (java) S 14568 14571 10680 0 -1 4202560 4333 0 0 0 44 0 0 0 20 0 19 0 24268195 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656836061240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14587] ppid=14568 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/14571/task/14587/stat : 14587 (java) S 14568 14571 10680 0 -1 4202560 2885 0 0 0 49 0 0 0 20 0 19 0 24268195 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656835008696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14588] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14588/stat : 14588 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656833956344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14589] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14589/stat : 14589 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656832904008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14590] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14590/stat : 14590 (java) S 14568 14571 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24268243 9856040960 24278 33554432000 1073741824 1073778376 140734736357168 140656831849768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9625040
[startup+3.10084 s]
/proc/loadavg: 2.36 2.25 2.20 3/213 14590
/proc/meminfo: memFree=30052100/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9625040 CPUtime=4.09 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 10942 0 1 0 406 3 0 0 20 0 19 0 24268187 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2406260 28886 2272 9 0 2396937 0
[pid=14571/tid=14573] ppid=14568 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/14571/task/14573/stat : 14573 (java) R 14568 14571 10680 0 -1 4202560 2447 0 1 0 303 2 0 0 20 0 19 0 24268189 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140657016655584 140656841078766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14574] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14574/stat : 14574 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656978156200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14575] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14575/stat : 14575 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656977103656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14576] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14576/stat : 14576 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656976051112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14577] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14577/stat : 14577 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656974998568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14578] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14578/stat : 14578 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656973945000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14579] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14579/stat : 14579 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656972892456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14580] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14580/stat : 14580 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656971839912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14581] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14581/stat : 14581 (java) S 14568 14571 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656970787368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14582] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14582/stat : 14582 (java) S 14568 14571 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656840272488 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14583] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14583/stat : 14583 (java) S 14568 14571 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656839218808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14584] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14584/stat : 14584 (java) S 14568 14571 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656838166152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14585] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14585/stat : 14585 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656837114896 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14586] ppid=14568 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/14571/task/14586/stat : 14586 (java) S 14568 14571 10680 0 -1 4202560 4333 0 0 0 46 0 0 0 20 0 19 0 24268195 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656836061240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14587] ppid=14568 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/14571/task/14587/stat : 14587 (java) S 14568 14571 10680 0 -1 4202560 2885 0 0 0 54 0 0 0 20 0 19 0 24268195 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656835008696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14588] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14588/stat : 14588 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656833956344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14589] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14589/stat : 14589 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656832904008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14590] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14590/stat : 14590 (java) S 14568 14571 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24268243 9856040960 28886 33554432000 1073741824 1073778376 140734736357168 140656831849768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9625040
[startup+6.30079 s]
/proc/loadavg: 2.36 2.25 2.20 3/213 14590
/proc/meminfo: memFree=30022436/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9625040 CPUtime=7.3 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 10958 0 1 0 726 4 0 0 20 0 19 0 24268187 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2406260 35861 2273 9 0 2396937 0
[pid=14571/tid=14573] ppid=14568 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/14571/task/14573/stat : 14573 (java) R 14568 14571 10680 0 -1 4202560 2462 0 1 0 623 2 0 0 20 0 19 0 24268189 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140657016655568 140656840988148 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14574] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14574/stat : 14574 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656978156200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14575] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14575/stat : 14575 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656977103656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14576] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14576/stat : 14576 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656976051112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14577] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14577/stat : 14577 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656974998568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14578] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14578/stat : 14578 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656973945000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14579] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14579/stat : 14579 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656972892456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14580] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14580/stat : 14580 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656971839912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14581] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14581/stat : 14581 (java) S 14568 14571 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24268190 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656970787368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14582] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14582/stat : 14582 (java) S 14568 14571 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656840272488 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14583] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14583/stat : 14583 (java) S 14568 14571 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656839218808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14584] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14584/stat : 14584 (java) S 14568 14571 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656838166152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14585] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14585/stat : 14585 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656837114896 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14586] ppid=14568 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/14571/task/14586/stat : 14586 (java) S 14568 14571 10680 0 -1 4202560 4333 0 0 0 46 0 0 0 20 0 19 0 24268195 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656836061240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14587] ppid=14568 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/14571/task/14587/stat : 14587 (java) S 14568 14571 10680 0 -1 4202560 2885 0 0 0 54 0 0 0 20 0 19 0 24268195 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656835008696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14588] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14588/stat : 14588 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656833956344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14589] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14589/stat : 14589 (java) S 14568 14571 10680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656832904008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14590] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14590/stat : 14590 (java) S 14568 14571 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24268243 9856040960 35861 33554432000 1073741824 1073778376 140734736357168 140656831849768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=14571/tid=14583] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14583/stat : 14583 (java) S 14568 14571 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656839218808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14584] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14584/stat : 14584 (java) S 14568 14571 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656838166152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14585] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14585/stat : 14585 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656837114896 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14586] ppid=14568 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/14571/task/14586/stat : 14586 (java) S 14568 14571 10680 0 -1 4202560 9778 0 0 0 83 1 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656836061240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14587] ppid=14568 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/14571/task/14587/stat : 14587 (java) S 14568 14571 10680 0 -1 4202560 2905 0 0 0 62 0 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656835008696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14588] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14588/stat : 14588 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656833956344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14589] ppid=14568 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/14571/task/14589/stat : 14589 (java) S 14568 14571 10680 0 -1 4202560 98 0 0 0 25 29 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656832904008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14590] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14590/stat : 14590 (java) S 14568 14571 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24268243 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656831849768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.42
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.41 2.34 2.27 4/213 14655
/proc/meminfo: memFree=29529488/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9625040 CPUtime=1725.42 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 18527 0 1 0 172482 60 0 0 20 0 19 0 24268187 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2406260 139900 2287 9 0 2396937 0
[pid=14571/tid=14573] ppid=14568 vsize=9625040 CPUtime=1721.68 cores=0,2,4,6
/proc/14571/task/14573/stat : 14573 (java) R 14568 14571 10680 0 -1 4202560 2497 0 1 0 172137 31 0 0 20 0 19 0 24268189 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140657016655552 140656840815378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14574] ppid=14568 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/14571/task/14574/stat : 14574 (java) S 14568 14571 10680 0 -1 4202560 308 0 0 0 23 6 0 0 20 0 19 0 24268190 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656978156200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14575] ppid=14568 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/14571/task/14575/stat : 14575 (java) S 14568 14571 10680 0 -1 4202560 264 0 0 0 22 4 0 0 20 0 19 0 24268190 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656977103656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14576] ppid=14568 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/14571/task/14576/stat : 14576 (java) S 14568 14571 10680 0 -1 4202560 167 0 0 0 20 5 0 0 20 0 19 0 24268190 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656976051112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14577] ppid=14568 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/14571/task/14577/stat : 14577 (java) S 14568 14571 10680 0 -1 4202560 230 0 0 0 24 4 0 0 20 0 19 0 24268190 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656974998568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14578] ppid=14568 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/14571/task/14578/stat : 14578 (java) S 14568 14571 10680 0 -1 4202560 322 0 0 0 21 5 0 0 20 0 19 0 24268190 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656973945000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14579] ppid=14568 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14571/task/14579/stat : 14579 (java) S 14568 14571 10680 0 -1 4202560 120 0 0 0 24 3 0 0 20 0 19 0 24268190 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656972892456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14580] ppid=14568 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14571/task/14580/stat : 14580 (java) S 14568 14571 10680 0 -1 4202560 125 0 0 0 18 3 0 0 20 0 19 0 24268190 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656971839912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14581] ppid=14568 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14571/task/14581/stat : 14581 (java) S 14568 14571 10680 0 -1 4202560 354 0 0 0 21 6 0 0 20 0 19 0 24268190 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656970787368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14582] ppid=14568 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14571/task/14582/stat : 14582 (java) S 14568 14571 10680 0 -1 4202560 94 0 0 0 1 1 0 0 20 0 19 0 24268192 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656840272488 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14583] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14583/stat : 14583 (java) S 14568 14571 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656839218808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14584] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14584/stat : 14584 (java) S 14568 14571 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656838166152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14585] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14585/stat : 14585 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656837114896 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14586] ppid=14568 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/14571/task/14586/stat : 14586 (java) S 14568 14571 10680 0 -1 4202560 9778 0 0 0 83 1 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656836061240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14587] ppid=14568 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/14571/task/14587/stat : 14587 (java) S 14568 14571 10680 0 -1 4202560 2905 0 0 0 62 0 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656835008696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14588] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14588/stat : 14588 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656833956344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14589] ppid=14568 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/14571/task/14589/stat : 14589 (java) S 14568 14571 10680 0 -1 4202560 100 0 0 0 27 30 0 0 20 0 19 0 24268195 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656832904008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14590] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14590/stat : 14590 (java) S 14568 14571 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24268243 9856040960 139900 33554432000 1073741824 1073778376 140734736357168 140656831849768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.42
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.23 2.30 2.26 3/213 14722
/proc/meminfo: memFree=29653948/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9625040 CPUtime=1785.51 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 18550 0 1 0 178489 62 0 0 20 0 19 0 24268187 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2406260 140399 2287 9 0 2396937 0
[pid=14571/tid=14573] ppid=14568 vsize=9625040 CPUtime=1781.64 cores=0,2,4,6
/proc/14571/task/14573/stat : 14573 (java) R 14568 14571 10680 0 -1 4202560 2498 0 1 0 178132 32 0 0 20 0 19 0 24268189 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140657016655552 140656841236258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14574] ppid=14568 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/14571/task/14574/stat : 14574 (java) S 14568 14571 10680 0 -1 4202560 309 0 0 0 25 6 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656978156200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14575] ppid=14568 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/14571/task/14575/stat : 14575 (java) S 14568 14571 10680 0 -1 4202560 272 0 0 0 24 4 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656977103656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14576] ppid=14568 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14571/task/14576/stat : 14576 (java) S 14568 14571 10680 0 -1 4202560 168 0 0 0 22 5 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656976051112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14577] ppid=14568 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/14571/task/14577/stat : 14577 (java) S 14568 14571 10680 0 -1 4202560 232 0 0 0 26 4 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656974998568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14578] ppid=14568 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14571/task/14578/stat : 14578 (java) S 14568 14571 10680 0 -1 4202560 324 0 0 0 22 5 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656973945000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14579] ppid=14568 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/14571/task/14579/stat : 14579 (java) S 14568 14571 10680 0 -1 4202560 121 0 0 0 25 3 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656972892456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14580] ppid=14568 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/14571/task/14580/stat : 14580 (java) S 14568 14571 10680 0 -1 4202560 125 0 0 0 19 3 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656971839912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14581] ppid=14568 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/14571/task/14581/stat : 14581 (java) S 14568 14571 10680 0 -1 4202560 355 0 0 0 22 6 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656970787368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14582] ppid=14568 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14571/task/14582/stat : 14582 (java) S 14568 14571 10680 0 -1 4202560 96 0 0 0 1 1 0 0 20 0 19 0 24268192 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656840272488 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14583] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14583/stat : 14583 (java) S 14568 14571 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656839218808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14584] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14584/stat : 14584 (java) S 14568 14571 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656838166152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14585] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14585/stat : 14585 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656837114896 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14586] ppid=14568 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/14571/task/14586/stat : 14586 (java) S 14568 14571 10680 0 -1 4202560 9778 0 0 0 83 1 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656836061240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14587] ppid=14568 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/14571/task/14587/stat : 14587 (java) S 14568 14571 10680 0 -1 4202560 2905 0 0 0 62 0 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656835008696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14588] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14588/stat : 14588 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656833956344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14589] ppid=14568 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/14571/task/14589/stat : 14589 (java) S 14568 14571 10680 0 -1 4202560 104 0 0 0 28 31 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656832904008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14590] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14590/stat : 14590 (java) S 14568 14571 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24268243 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656831849768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.8 s]
/proc/loadavg: 2.26 2.30 2.26 4/213 14723
/proc/meminfo: memFree=29641548/32872528 swapFree=1402776/1580604
[pid=14571] ppid=14568 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/14571/stat : 14571 (java) S 14568 14571 10680 0 -1 4202496 18552 0 1 0 179939 62 0 0 20 0 19 0 24268187 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140734736348304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14571/statm: 2406260 140399 2287 9 0 2396937 0
[pid=14571/tid=14573] ppid=14568 vsize=9625040 CPUtime=1796.14 cores=0,2,4,6
/proc/14571/task/14573/stat : 14573 (java) R 14568 14571 10680 0 -1 4202560 2498 0 1 0 179582 32 0 0 20 0 19 0 24268189 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140657016655552 140656841078691 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14574] ppid=14568 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/14571/task/14574/stat : 14574 (java) S 14568 14571 10680 0 -1 4202560 309 0 0 0 25 6 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656978156200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14575] ppid=14568 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/14571/task/14575/stat : 14575 (java) S 14568 14571 10680 0 -1 4202560 272 0 0 0 24 4 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656977103656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14576] ppid=14568 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14571/task/14576/stat : 14576 (java) S 14568 14571 10680 0 -1 4202560 168 0 0 0 22 5 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656976051112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14577] ppid=14568 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/14571/task/14577/stat : 14577 (java) S 14568 14571 10680 0 -1 4202560 232 0 0 0 26 4 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656974998568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14578] ppid=14568 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14571/task/14578/stat : 14578 (java) S 14568 14571 10680 0 -1 4202560 324 0 0 0 22 5 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656973945000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14579] ppid=14568 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/14571/task/14579/stat : 14579 (java) S 14568 14571 10680 0 -1 4202560 121 0 0 0 25 3 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656972892456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14580] ppid=14568 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/14571/task/14580/stat : 14580 (java) S 14568 14571 10680 0 -1 4202560 125 0 0 0 19 3 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656971839912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14581] ppid=14568 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/14571/task/14581/stat : 14581 (java) S 14568 14571 10680 0 -1 4202560 355 0 0 0 22 6 0 0 20 0 19 0 24268190 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656970787368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14582] ppid=14568 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/14571/task/14582/stat : 14582 (java) S 14568 14571 10680 0 -1 4202560 96 0 0 0 1 1 0 0 20 0 19 0 24268192 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656840272488 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14583] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14583/stat : 14583 (java) S 14568 14571 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656839218808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14584] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14584/stat : 14584 (java) S 14568 14571 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24268192 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656838166152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14585] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14585/stat : 14585 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656837114896 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14586] ppid=14568 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/14571/task/14586/stat : 14586 (java) S 14568 14571 10680 0 -1 4202560 9778 0 0 0 83 1 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656836061240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14571/tid=14587] ppid=14568 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/14571/task/14587/stat : 14587 (java) S 14568 14571 10680 0 -1 4202560 2905 0 0 0 62 0 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656835008696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14571/tid=14588] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14588/stat : 14588 (java) S 14568 14571 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656833956344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14571/tid=14589] ppid=14568 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/14571/task/14589/stat : 14589 (java) S 14568 14571 10680 0 -1 4202560 106 0 0 0 28 32 0 0 20 0 19 0 24268195 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656832904008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14571/tid=14590] ppid=14568 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14571/task/14590/stat : 14590 (java) S 14568 14571 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24268243 9856040960 140399 33554432000 1073741824 1073778376 140734736357168 140656831849768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 14571 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.84
CPU time (s): 1800.76
CPU user time (s): 1799.58
CPU system time (s): 1.18182
CPU usage (%): 100.218
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 1.18182
maximum resident set size= 569868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18586
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38538
involuntary context switches= 7074
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5614 second user time and 13.383 second system time
The end