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-4262784-1502417207/watcher-4262784-1502417207 -o /tmp/evaluation-result-4262784-1502417207/solver-4262784-1502417207 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502411413-16611 --watchdog 2580 bin/concrete HOME/instance-4262784-1502417207.xml
pid=17797
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.58 1.53 3/195 17800
/proc/meminfo: memFree=29082384/32770624 swapFree=0/296432
[pid=17800] ppid=17797 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17800/stat : 17800 (runsolver) D 17797 17800 16548 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 43916295 24240128 106 18446744073709551615 4194304 4338465 140737090705760 140737090703400 140363714138839 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 35012608 140737090711760 140737090712137 140737090712137 140737090715594 0
/proc/17800/statm: 5918 106 53 36 0 2156 0
[startup+0.100126 s]
/proc/loadavg: 1.75 1.58 1.53 3/195 17800
/proc/meminfo: memFree=29082384/32770624 swapFree=0/296432
[pid=17800] ppid=17797 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/17800/stat : 17800 (bash) S 17797 17800 16548 0 -1 4202496 898 6477 0 0 0 0 0 1 20 0 1 0 43916295 9867264 377 18446744073709551615 4194304 5098028 140723897395104 140723897389112 139855357197312 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 7 0 0 7196144 7232144 31744000 140723897397780 140723897397865 140723897397865 140723897401322 0
/proc/17800/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200322 s]
/proc/loadavg: 1.75 1.58 1.53 3/195 17800
/proc/meminfo: memFree=29082384/32770624 swapFree=0/296432
[pid=17800] ppid=17797 vsize=30192 CPUtime=0.08 cores=0,2,4,6
/proc/17800/stat : 17800 (java) R 17797 17800 16548 0 -1 4202496 1201 12599 0 0 0 0 5 3 20 0 1 0 43916295 30916608 201 18446744073709551615 4194304 4196468 140723050036000 140723050016696 140228635798010 0 0 1 0 0 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 7548 201 162 1 0 160 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30192
[startup+0.30026 s]
/proc/loadavg: 1.75 1.58 1.53 3/195 17800
/proc/meminfo: memFree=29082384/32770624 swapFree=0/296432
[pid=17800] ppid=17797 vsize=13973936 CPUtime=0.15 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 6198 12599 0 0 6 1 5 3 20 0 15 0 43916295 14309310464 6372 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3493484 6372 2683 1 0 3482965 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13973936
[startup+0.700261 s]
/proc/loadavg: 1.75 1.58 1.53 3/195 17800
/proc/meminfo: memFree=29082384/32770624 swapFree=0/296432
[pid=17800] ppid=17797 vsize=13974784 CPUtime=0.71 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 14117 12599 0 0 59 4 5 3 20 0 15 0 43916295 14310178816 14959 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3493696 14959 3086 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784
[startup+1.50139 s]
/proc/loadavg: 1.75 1.58 1.53 4/210 17863
/proc/meminfo: memFree=28974172/32770624 swapFree=0/296744
[pid=17800] ppid=17797 vsize=13985408 CPUtime=1.93 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 28074 12599 0 0 175 10 5 3 20 0 15 0 43916295 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3496352 43046 3373 1 0 3485525 0
[pid=17800/tid=17850] ppid=17797 vsize=13985408 CPUtime=1.31 cores=0,2,4,6
/proc/17800/task/17850/stat : 17850 (java) S 17797 17800 16548 0 -1 1077944384 21382 12599 0 0 116 7 5 3 20 0 15 0 43916315 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140228637741312 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17851] ppid=17797 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17851/stat : 17851 (java) R 17797 17800 16548 0 -1 1077944384 200 12599 0 0 0 0 5 3 20 0 15 0 43916316 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140228603231376 140228633528021 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17852] ppid=17797 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17800/task/17852/stat : 17852 (java) S 17797 17800 16548 0 -1 1077944384 33 12599 0 0 1 0 5 3 20 0 15 0 43916316 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140228232768528 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17853] ppid=17797 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17800/task/17853/stat : 17853 (java) S 17797 17800 16548 0 -1 1077944384 42 12599 0 0 1 0 5 3 20 0 15 0 43916316 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140228231715728 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17854] ppid=17797 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17800/task/17854/stat : 17854 (java) S 17797 17800 16548 0 -1 1077944384 56 12599 0 0 1 0 5 3 20 0 15 0 43916316 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140228230662928 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17855] ppid=17797 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17800/task/17855/stat : 17855 (java) S 17797 17800 16548 0 -1 1077944384 1435 12599 0 0 1 0 5 3 20 0 15 0 43916317 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227550329200 140228633528962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17856] ppid=17797 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17856/stat : 17856 (java) S 17797 17800 16548 0 -1 1077944384 55 12599 0 0 0 0 5 3 20 0 15 0 43916318 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227549275168 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17857] ppid=17797 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17857/stat : 17857 (java) R 17797 17800 16548 0 -1 4202560 43 12599 0 0 0 0 5 3 20 0 15 0 43916318 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227548222320 140228274393937 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17858] ppid=17797 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17858/stat : 17858 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227547170640 140228633536411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17859] ppid=17797 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/17800/task/17859/stat : 17859 (java) S 17797 17800 16548 0 -1 1077944384 1144 12599 0 0 15 0 5 3 20 0 15 0 43916321 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227546119024 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17860] ppid=17797 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/17800/task/17860/stat : 17860 (java) R 17797 17800 16548 0 -1 1077944384 633 12599 0 0 13 0 5 3 20 0 15 0 43916321 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227545066224 140228633528962 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17861] ppid=17797 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/17800/task/17861/stat : 17861 (java) R 17797 17800 16548 0 -1 4202560 907 12599 0 0 23 0 5 3 20 0 15 0 43916321 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227544008800 140228633529750 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17862] ppid=17797 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17862/stat : 17862 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227542960864 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17863] ppid=17797 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17863/stat : 17863 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916325 14321057792 43046 18446744073709551615 4194304 4196468 140723050036000 140227541908144 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13985408
[startup+3.10065 s]
/proc/loadavg: 1.75 1.58 1.53 6/210 17863
/proc/meminfo: memFree=28889228/32770624 swapFree=0/296744
[pid=17800] ppid=17797 vsize=13997884 CPUtime=5.21 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 39407 12599 0 0 496 17 5 3 20 0 15 0 43916295 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3499471 55450 3442 1 0 3488085 0
[pid=17800/tid=17850] ppid=17797 vsize=13997884 CPUtime=2.9 cores=0,2,4,6
/proc/17800/task/17850/stat : 17850 (java) R 17797 17800 16548 0 -1 4202560 29554 12599 0 0 272 10 5 3 20 0 15 0 43916315 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140228637748448 140228274394372 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17851] ppid=17797 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17851/stat : 17851 (java) S 17797 17800 16548 0 -1 1077944384 200 12599 0 0 0 0 5 3 20 0 15 0 43916316 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140228603231376 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17852] ppid=17797 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/17800/task/17852/stat : 17852 (java) S 17797 17800 16548 0 -1 1077944384 33 12599 0 0 1 0 5 3 20 0 15 0 43916316 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140228232768528 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17853] ppid=17797 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/17800/task/17853/stat : 17853 (java) S 17797 17800 16548 0 -1 1077944384 42 12599 0 0 1 0 5 3 20 0 15 0 43916316 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140228231715728 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17854] ppid=17797 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/17800/task/17854/stat : 17854 (java) S 17797 17800 16548 0 -1 1077944384 56 12599 0 0 1 0 5 3 20 0 15 0 43916316 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140228230662928 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17855] ppid=17797 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/17800/task/17855/stat : 17855 (java) S 17797 17800 16548 0 -1 1077944384 1437 12599 0 0 1 0 5 3 20 0 15 0 43916317 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227550329200 140228633528962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17856] ppid=17797 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17856/stat : 17856 (java) S 17797 17800 16548 0 -1 1077944384 55 12599 0 0 0 0 5 3 20 0 15 0 43916318 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227549275168 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17857] ppid=17797 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17857/stat : 17857 (java) S 17797 17800 16548 0 -1 1077944384 43 12599 0 0 0 0 5 3 20 0 15 0 43916318 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227548222320 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17858] ppid=17797 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17858/stat : 17858 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227547170640 140228633536411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17859] ppid=17797 vsize=13997884 CPUtime=0.67 cores=0,2,4,6
/proc/17800/task/17859/stat : 17859 (java) S 17797 17800 16548 0 -1 1077944384 1756 12599 0 0 58 1 5 3 20 0 15 0 43916321 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227546119024 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17860] ppid=17797 vsize=13997884 CPUtime=0.67 cores=0,2,4,6
/proc/17800/task/17860/stat : 17860 (java) R 17797 17800 16548 0 -1 4202560 1281 12599 0 0 58 1 5 3 20 0 15 0 43916321 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227545053600 140228615062201 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17861] ppid=17797 vsize=13997884 CPUtime=1.09 cores=0,2,4,6
/proc/17800/task/17861/stat : 17861 (java) S 17797 17800 16548 0 -1 1077944384 2785 12599 0 0 100 1 5 3 20 0 15 0 43916321 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227544013424 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17862] ppid=17797 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17862/stat : 17862 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227542960864 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17863] ppid=17797 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17863/stat : 17863 (java) S 17797 17800 16548 0 -1 1077944384 4 12599 0 0 0 0 5 3 20 0 15 0 43916325 14333833216 55450 18446744073709551615 4194304 4196468 140723050036000 140227541908144 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 13997884
[startup+6.30156 s]
/proc/loadavg: 1.85 1.60 1.54 6/210 17863
/proc/meminfo: memFree=28501188/32770624 swapFree=0/296744
[pid=17800] ppid=17797 vsize=14071612 CPUtime=15.28 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 90684 12599 0 0 1494 26 5 3 20 0 15 0 43916295 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3517903 102065 3475 1 0 3506517 0
[pid=17800/tid=17850] ppid=17797 vsize=14071612 CPUtime=6 cores=0,2,4,6
/proc/17800/task/17850/stat : 17850 (java) R 17797 17800 16548 0 -1 4202560 50329 12599 0 0 580 12 5 3 20 0 15 0 43916315 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140228637748960 140228278443856 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17851] ppid=17797 vsize=14071612 CPUtime=0.12 cores=0,2,4,6
/proc/17800/task/17851/stat : 17851 (java) S 17797 17800 16548 0 -1 1077944384 257 12599 0 0 4 0 5 3 20 0 15 0 43916316 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140228603231376 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17852] ppid=17797 vsize=14071612 CPUtime=0.14 cores=0,2,4,6
/proc/17800/task/17852/stat : 17852 (java) S 17797 17800 16548 0 -1 1077944384 115 12599 0 0 5 1 5 3 20 0 15 0 43916316 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140228232768528 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17853] ppid=17797 vsize=14071612 CPUtime=0.12 cores=0,2,4,6
/proc/17800/task/17853/stat : 17853 (java) S 17797 17800 16548 0 -1 1077944384 72 12599 0 0 4 0 5 3 20 0 15 0 43916316 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140228231715728 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17854] ppid=17797 vsize=14071612 CPUtime=0.14 cores=0,2,4,6
/proc/17800/task/17854/stat : 17854 (java) S 17797 17800 16548 0 -1 1077944384 906 12599 0 0 5 1 5 3 20 0 15 0 43916316 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140228230662928 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17855] ppid=17797 vsize=14071612 CPUtime=0.12 cores=0,2,4,6
/proc/17800/task/17855/stat : 17855 (java) S 17797 17800 16548 0 -1 1077944384 2799 12599 0 0 4 0 5 3 20 0 15 0 43916317 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227550329200 140228633528962 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17856] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17856/stat : 17856 (java) S 17797 17800 16548 0 -1 1077944384 61 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227549275232 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17857] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17857/stat : 17857 (java) S 17797 17800 16548 0 -1 1077944384 50 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227548222336 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17858] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17858/stat : 17858 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227547170640 140228633536411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17859] ppid=17797 vsize=14071612 CPUtime=3.45 cores=0,2,4,6
/proc/17800/task/17859/stat : 17859 (java) R 17797 17800 16548 0 -1 4202560 11921 12599 0 0 334 3 5 3 20 0 15 0 43916321 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227546106464 140228616855521 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17860] ppid=17797 vsize=14071612 CPUtime=3.39 cores=0,2,4,6
/proc/17800/task/17860/stat : 17860 (java) R 17797 17800 16548 0 -1 4202560 9527 12599 0 0 329 2 5 3 20 0 15 0 43916321 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227545052768 140228612763730 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17861] ppid=17797 vsize=14071612 CPUtime=2.32 cores=0,2,4,6
/proc/17800/task/17861/stat : 17861 (java) S 17797 17800 16548 0 -1 1077944384 11881 12599 0 0 222 2 5 3 20 0 15 0 43916321 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227544013424 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17862] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17862/stat : 17862 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227542960864 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17863] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17863/stat : 17863 (java) S 17797 17800 16548 0 -1 1077944384 605 12599 0 0 0 0 5 3 20 0 15 0 43916325 14409330688 102065 18446744073709551615 4194304 4196468 140723050036000 140227541908144 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
Current children cumulated CPU time (s) 15.28
Current children cumulated vsize (KiB) 14071612
[startup+12.7007 s]
/proc/loadavg: 1.86 1.61 1.54 3/210 17863
/proc/meminfo: memFree=28045680/32770624 swapFree=0/296748
[pid=17800] ppid=17797 vsize=14071612 CPUtime=23.76 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 99516 12599 0 0 2331 37 5 3 20 0 15 0 43916295 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3517903 209120 3479 1 0 3506517 0
[pid=17800/tid=17850] ppid=17797 vsize=14071612 CPUtime=12.32 cores=0,2,4,6
/proc/17800/task/17850/stat : 17850 (java) R 17797 17800 16548 0 -1 4202560 50674 12599 0 0 1207 17 5 3 20 0 15 0 43916315 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140228637752272 140228275648270 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17851] ppid=17797 vsize=14071612 CPUtime=0.19 cores=0,2,4,6
/proc/17800/task/17851/stat : 17851 (java) S 17797 17800 16548 0 -1 1077944384 299 12599 0 0 9 2 5 3 20 0 15 0 43916316 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140228603231376 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17852] ppid=17797 vsize=14071612 CPUtime=0.17 cores=0,2,4,6
/proc/17800/task/17852/stat : 17852 (java) S 17797 17800 16548 0 -1 1077944384 1177 12599 0 0 8 1 5 3 20 0 15 0 43916316 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140228232768528 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17853] ppid=17797 vsize=14071612 CPUtime=0.19 cores=0,2,4,6
/proc/17800/task/17853/stat : 17853 (java) S 17797 17800 16548 0 -1 1077944384 112 12599 0 0 9 2 5 3 20 0 15 0 43916316 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140228231715728 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17854] ppid=17797 vsize=14071612 CPUtime=0.2 cores=0,2,4,6
/proc/17800/task/17854/stat : 17854 (java) S 17797 17800 16548 0 -1 1077944384 972 12599 0 0 10 2 5 3 20 0 15 0 43916316 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140228230662928 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17855] ppid=17797 vsize=14071612 CPUtime=0.14 cores=0,2,4,6
/proc/17800/task/17855/stat : 17855 (java) S 17797 17800 16548 0 -1 1077944384 3268 12599 0 0 6 0 5 3 20 0 15 0 43916317 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140227550329200 140228633528962 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17856] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17856/stat : 17856 (java) S 17797 17800 16548 0 -1 1077944384 61 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140227549275232 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17857] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17857/stat : 17857 (java) S 17797 17800 16548 0 -1 1077944384 50 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140227548222336 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17858] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17858/stat : 17858 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 209120 18446744073709551615 4194304 4196468 140723050036000 140227547170640 140228633536411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
################
# More data... #
################
/proc/17800/task/17862/stat : 17862 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227542960864 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17863] ppid=17797 vsize=14071612 CPUtime=1.5 cores=0,2,4,6
/proc/17800/task/17863/stat : 17863 (java) S 17797 17800 16548 0 -1 1077944384 2231 12599 0 0 68 74 5 3 20 0 15 0 43916325 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227541908144 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
Current children cumulated CPU time (s) 2374.18
Current children cumulated vsize (KiB) 14071612
[startup+2382.3 s]
/proc/loadavg: 1.01 1.37 1.40 3/209 18030
/proc/meminfo: memFree=27489132/32770624 swapFree=0/297532
[pid=17800] ppid=17797 vsize=14071612 CPUtime=2435.28 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 345538 12599 0 0 243177 343 5 3 20 0 15 0 43916295 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3517903 330883 3481 1 0 3506517 0
[pid=17800/tid=17850] ppid=17797 vsize=14071612 CPUtime=2356.08 cores=0,2,4,6
/proc/17800/task/17850/stat : 17850 (java) R 17797 17800 16548 0 -1 4202560 121608 12599 0 0 235548 52 5 3 20 0 15 0 43916315 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140228637751696 140228293649227 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17851] ppid=17797 vsize=14071612 CPUtime=14.17 cores=0,2,4,6
/proc/17800/task/17851/stat : 17851 (java) S 17797 17800 16548 0 -1 1077944384 32002 12599 0 0 1358 51 5 3 20 0 15 0 43916316 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140228603231376 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17852] ppid=17797 vsize=14071612 CPUtime=14.17 cores=0,2,4,6
/proc/17800/task/17852/stat : 17852 (java) S 17797 17800 16548 0 -1 1077944384 33610 12599 0 0 1360 49 5 3 20 0 15 0 43916316 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140228232768528 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17853] ppid=17797 vsize=14071612 CPUtime=14.18 cores=0,2,4,6
/proc/17800/task/17853/stat : 17853 (java) S 17797 17800 16548 0 -1 1077944384 28433 12599 0 0 1359 51 5 3 20 0 15 0 43916316 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140228231715728 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17854] ppid=17797 vsize=14071612 CPUtime=14.17 cores=0,2,4,6
/proc/17800/task/17854/stat : 17854 (java) S 17797 17800 16548 0 -1 1077944384 24950 12599 0 0 1358 51 5 3 20 0 15 0 43916316 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140228230662928 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17855] ppid=17797 vsize=14071612 CPUtime=9.61 cores=0,2,4,6
/proc/17800/task/17855/stat : 17855 (java) S 17797 17800 16548 0 -1 1077944384 24522 12599 0 0 905 48 5 3 20 0 15 0 43916317 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227550329200 140228633528962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17856] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17856/stat : 17856 (java) S 17797 17800 16548 0 -1 1077944384 61 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227549275232 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17857] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17857/stat : 17857 (java) S 17797 17800 16548 0 -1 1077944384 50 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227548222336 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17858] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17858/stat : 17858 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227547170640 140228633536411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17859] ppid=17797 vsize=14071612 CPUtime=4.89 cores=0,2,4,6
/proc/17800/task/17859/stat : 17859 (java) S 17797 17800 16548 0 -1 1077944384 27053 12599 0 0 477 4 5 3 20 0 15 0 43916321 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227546119024 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17860] ppid=17797 vsize=14071612 CPUtime=4.59 cores=0,2,4,6
/proc/17800/task/17860/stat : 17860 (java) S 17797 17800 16548 0 -1 1077944384 21219 12599 0 0 447 4 5 3 20 0 15 0 43916321 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227545066224 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17861] ppid=17797 vsize=14071612 CPUtime=2.48 cores=0,2,4,6
/proc/17800/task/17861/stat : 17861 (java) S 17797 17800 16548 0 -1 1077944384 27598 12599 0 0 236 4 5 3 20 0 15 0 43916321 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227544013424 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17862] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17862/stat : 17862 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227542960864 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17863] ppid=17797 vsize=14071612 CPUtime=1.54 cores=0,2,4,6
/proc/17800/task/17863/stat : 17863 (java) S 17797 17800 16548 0 -1 1077944384 2271 12599 0 0 70 76 5 3 20 0 15 0 43916325 14409330688 330883 18446744073709551615 4194304 4196468 140723050036000 140227541908144 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
Current children cumulated CPU time (s) 2435.28
Current children cumulated vsize (KiB) 14071612
[startup+2442.3 s]
/proc/loadavg: 1.20 1.35 1.39 4/209 18158
/proc/meminfo: memFree=29627132/32770624 swapFree=0/297552
[pid=17800] ppid=17797 vsize=14071612 CPUtime=2496.37 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 349724 12599 0 0 249277 352 5 3 20 0 15 0 43916295 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3517903 329728 3481 1 0 3506517 0
[pid=17800/tid=17850] ppid=17797 vsize=14071612 CPUtime=2415.39 cores=0,2,4,6
/proc/17800/task/17850/stat : 17850 (java) R 17797 17800 16548 0 -1 4202560 123178 12599 0 0 241478 53 5 3 20 0 15 0 43916315 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228637752224 140228295353600 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17851] ppid=17797 vsize=14071612 CPUtime=14.54 cores=0,2,4,6
/proc/17800/task/17851/stat : 17851 (java) S 17797 17800 16548 0 -1 1077944384 32121 12599 0 0 1393 53 5 3 20 0 15 0 43916316 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228603231376 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17852] ppid=17797 vsize=14071612 CPUtime=14.54 cores=0,2,4,6
/proc/17800/task/17852/stat : 17852 (java) S 17797 17800 16548 0 -1 1077944384 35305 12599 0 0 1395 51 5 3 20 0 15 0 43916316 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228232768528 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17853] ppid=17797 vsize=14071612 CPUtime=14.56 cores=0,2,4,6
/proc/17800/task/17853/stat : 17853 (java) S 17797 17800 16548 0 -1 1077944384 28615 12599 0 0 1395 53 5 3 20 0 15 0 43916316 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228231715728 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17854] ppid=17797 vsize=14071612 CPUtime=14.54 cores=0,2,4,6
/proc/17800/task/17854/stat : 17854 (java) S 17797 17800 16548 0 -1 1077944384 25123 12599 0 0 1393 53 5 3 20 0 15 0 43916316 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228230662928 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17855] ppid=17797 vsize=14071612 CPUtime=9.88 cores=0,2,4,6
/proc/17800/task/17855/stat : 17855 (java) S 17797 17800 16548 0 -1 1077944384 24937 12599 0 0 931 49 5 3 20 0 15 0 43916317 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227550329200 140228633528962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17856] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17856/stat : 17856 (java) S 17797 17800 16548 0 -1 1077944384 61 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227549275232 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17857] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17857/stat : 17857 (java) S 17797 17800 16548 0 -1 1077944384 50 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227548222336 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17858] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17858/stat : 17858 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227547170640 140228633536411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17859] ppid=17797 vsize=14071612 CPUtime=4.89 cores=0,2,4,6
/proc/17800/task/17859/stat : 17859 (java) S 17797 17800 16548 0 -1 1077944384 27055 12599 0 0 477 4 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227546119024 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17860] ppid=17797 vsize=14071612 CPUtime=4.59 cores=0,2,4,6
/proc/17800/task/17860/stat : 17860 (java) S 17797 17800 16548 0 -1 1077944384 21222 12599 0 0 447 4 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227545066224 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17861] ppid=17797 vsize=14071612 CPUtime=2.48 cores=0,2,4,6
/proc/17800/task/17861/stat : 17861 (java) S 17797 17800 16548 0 -1 1077944384 27602 12599 0 0 236 4 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227544013424 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17862] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17862/stat : 17862 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227542960864 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17863] ppid=17797 vsize=14071612 CPUtime=1.58 cores=0,2,4,6
/proc/17800/task/17863/stat : 17863 (java) S 17797 17800 16548 0 -1 1077944384 2294 12599 0 0 72 78 5 3 20 0 15 0 43916325 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227541908144 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
Current children cumulated CPU time (s) 2496.37
Current children cumulated vsize (KiB) 14071612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.6 s]
/proc/loadavg: 1.29 1.36 1.39 4/209 18158
/proc/meminfo: memFree=29535732/32770624 swapFree=0/297540
[pid=17800] ppid=17797 vsize=14071612 CPUtime=2520.09 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 351423 12599 0 0 251646 355 5 3 20 0 15 0 43916295 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3517903 329728 3481 1 0 3506517 0
[pid=17800/tid=17850] ppid=17797 vsize=14071612 CPUtime=2438.42 cores=0,2,4,6
/proc/17800/task/17850/stat : 17850 (java) R 17797 17800 16548 0 -1 4202560 123630 12599 0 0 243781 53 5 3 20 0 15 0 43916315 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228637752128 140228290601864 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17851] ppid=17797 vsize=14071612 CPUtime=14.68 cores=0,2,4,6
/proc/17800/task/17851/stat : 17851 (java) S 17797 17800 16548 0 -1 1077944384 32171 12599 0 0 1407 53 5 3 20 0 15 0 43916316 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228603231376 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17852] ppid=17797 vsize=14071612 CPUtime=14.68 cores=0,2,4,6
/proc/17800/task/17852/stat : 17852 (java) S 17797 17800 16548 0 -1 1077944384 35337 12599 0 0 1409 51 5 3 20 0 15 0 43916316 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228232768528 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17853] ppid=17797 vsize=14071612 CPUtime=14.7 cores=0,2,4,6
/proc/17800/task/17853/stat : 17853 (java) S 17797 17800 16548 0 -1 1077944384 28702 12599 0 0 1409 53 5 3 20 0 15 0 43916316 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228231715728 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17854] ppid=17797 vsize=14071612 CPUtime=14.68 cores=0,2,4,6
/proc/17800/task/17854/stat : 17854 (java) S 17797 17800 16548 0 -1 1077944384 26196 12599 0 0 1407 53 5 3 20 0 15 0 43916316 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140228230662928 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17855] ppid=17797 vsize=14071612 CPUtime=9.98 cores=0,2,4,6
/proc/17800/task/17855/stat : 17855 (java) S 17797 17800 16548 0 -1 1077944384 24942 12599 0 0 940 50 5 3 20 0 15 0 43916317 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227550329200 140228633528962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17856] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17856/stat : 17856 (java) S 17797 17800 16548 0 -1 1077944384 61 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227549275232 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17857] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17857/stat : 17857 (java) S 17797 17800 16548 0 -1 1077944384 50 12599 0 0 0 0 5 3 20 0 15 0 43916318 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227548222336 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17858] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17858/stat : 17858 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227547170640 140228633536411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17859] ppid=17797 vsize=14071612 CPUtime=4.89 cores=0,2,4,6
/proc/17800/task/17859/stat : 17859 (java) S 17797 17800 16548 0 -1 1077944384 27055 12599 0 0 477 4 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227546119024 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17860] ppid=17797 vsize=14071612 CPUtime=4.59 cores=0,2,4,6
/proc/17800/task/17860/stat : 17860 (java) S 17797 17800 16548 0 -1 1077944384 21222 12599 0 0 447 4 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227545066224 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17861] ppid=17797 vsize=14071612 CPUtime=2.48 cores=0,2,4,6
/proc/17800/task/17861/stat : 17861 (java) S 17797 17800 16548 0 -1 1077944384 27602 12599 0 0 236 4 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227544013424 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17862] ppid=17797 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17862/stat : 17862 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 15 0 43916321 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227542960864 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17863] ppid=17797 vsize=14071612 CPUtime=1.59 cores=0,2,4,6
/proc/17800/task/17863/stat : 17863 (java) S 17797 17800 16548 0 -1 1077944384 2294 12599 0 0 72 79 5 3 20 0 15 0 43916325 14409330688 329728 18446744073709551615 4194304 4196468 140723050036000 140227541908144 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14071612
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 17800 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.81 s]
/proc/loadavg: 1.29 1.36 1.39 4/209 18158
/proc/meminfo: memFree=29535732/32770624 swapFree=0/297540
[pid=17800] ppid=17797 vsize=14204740 CPUtime=2520.64 cores=0,2,4,6
/proc/17800/stat : 17800 (java) S 17797 17800 16548 0 -1 1077944320 365351 12599 0 0 251701 355 5 3 20 0 17 0 43916295 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140723050018544 140228633517815 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
/proc/17800/statm: 3551185 330945 3481 1 0 3539799 0
[pid=17800/tid=17850] ppid=17797 vsize=14204740 CPUtime=2438.43 cores=0,2,4,6
/proc/17800/task/17850/stat : 17850 (java) S 17797 17800 16548 0 -1 1077944384 124711 12599 0 0 243782 53 5 3 20 0 17 0 43916315 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140228637755600 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17851] ppid=17797 vsize=14204740 CPUtime=14.79 cores=0,2,4,6
/proc/17800/task/17851/stat : 17851 (java) S 17797 17800 16548 0 -1 1077944384 32194 12599 0 0 1418 53 5 3 20 0 17 0 43916316 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140228603231376 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17852] ppid=17797 vsize=14204740 CPUtime=14.8 cores=0,2,4,6
/proc/17800/task/17852/stat : 17852 (java) S 17797 17800 16548 0 -1 1077944384 35365 12599 0 0 1421 51 5 3 20 0 17 0 43916316 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140228232768528 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17853] ppid=17797 vsize=14204740 CPUtime=14.81 cores=0,2,4,6
/proc/17800/task/17853/stat : 17853 (java) S 17797 17800 16548 0 -1 1077944384 28728 12599 0 0 1420 53 5 3 20 0 17 0 43916316 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140228231715728 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17854] ppid=17797 vsize=14204740 CPUtime=14.8 cores=0,2,4,6
/proc/17800/task/17854/stat : 17854 (java) S 17797 17800 16548 0 -1 1077944384 26231 12599 0 0 1419 53 5 3 20 0 17 0 43916316 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140228230662928 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17855] ppid=17797 vsize=14204740 CPUtime=10.06 cores=0,2,4,6
/proc/17800/task/17855/stat : 17855 (java) R 17797 17800 16548 0 -1 4202560 37030 12599 0 0 948 50 5 3 20 0 17 0 43916317 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227550327488 140228617872425 0 0 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17856] ppid=17797 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17856/stat : 17856 (java) S 17797 17800 16548 0 -1 1077944384 63 12599 0 0 0 0 5 3 20 0 17 0 43916318 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227549274768 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17857] ppid=17797 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17857/stat : 17857 (java) S 17797 17800 16548 0 -1 1077944384 51 12599 0 0 0 0 5 3 20 0 17 0 43916318 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227548222192 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17858] ppid=17797 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17858/stat : 17858 (java) S 17797 17800 16548 0 -1 1077944384 277 12599 0 0 0 0 5 3 20 0 17 0 43916321 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227547170640 140228633536411 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17859] ppid=17797 vsize=14204740 CPUtime=4.89 cores=0,2,4,6
/proc/17800/task/17859/stat : 17859 (java) S 17797 17800 16548 0 -1 1077944384 27055 12599 0 0 477 4 5 3 20 0 17 0 43916321 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227546119024 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17860] ppid=17797 vsize=14204740 CPUtime=4.59 cores=0,2,4,6
/proc/17800/task/17860/stat : 17860 (java) S 17797 17800 16548 0 -1 1077944384 21222 12599 0 0 447 4 5 3 20 0 17 0 43916321 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227545066224 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17861] ppid=17797 vsize=14204740 CPUtime=2.48 cores=0,2,4,6
/proc/17800/task/17861/stat : 17861 (java) S 17797 17800 16548 0 -1 1077944384 27602 12599 0 0 236 4 5 3 20 0 17 0 43916321 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227544013424 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17862] ppid=17797 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/17800/task/17862/stat : 17862 (java) S 17797 17800 16548 0 -1 1077944384 3 12599 0 0 0 0 5 3 20 0 17 0 43916321 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227542960864 140228633528021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
[pid=17800/tid=17863] ppid=17797 vsize=14204740 CPUtime=1.59 cores=0,2,4,6
/proc/17800/task/17863/stat : 17863 (java) S 17797 17800 16548 0 -1 1077944384 2294 12599 0 0 72 79 5 3 20 0 17 0 43916325 14545653760 330945 18446744073709551615 4194304 4196468 140723050036000 140227541908144 140228633528962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140723050043344 140723050046129 140723050046129 140723050049487 0
Current children cumulated CPU time (s) 2520.64
Current children cumulated vsize (KiB) 14204740
Child status: 143
Real time (s): 2465.89
CPU time (s): 2520.82
CPU user time (s): 2517.2
CPU system time (s): 3.61155
CPU usage (%): 102.227
Max. virtual memory (cumulated for all children) (KiB): 14204740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.21
system time used= 3.61156
maximum resident set size= 1437188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 264898
involuntary context switches= 7932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1344 second user time and 14.9792 second system time
The end