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-4248249-1500797244/watcher-4248249-1500797244 -o /tmp/evaluation-result-4248249-1500797244/solver-4248249-1500797244 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500797244-23764 --watchdog 2560 bin/concrete HOME/instance-4248249-1500797244.xml
pid=23830
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.45 1.56 1.44 2/254 23833
/proc/meminfo: memFree=30422720/32770624 swapFree=5784/1229660
[pid=23833] ppid=23830 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (bash) S 23830 23833 23437 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 14991816 9736192 351 33554432000 4194304 5098028 140724223251664 140724223249304 140268644002816 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 23412736 140724223259918 140724223260003 140724223260003 140724223262702 0
/proc/23833/statm: 2377 351 278 221 0 86 0
[startup+0.10015 s]
/proc/loadavg: 1.45 1.56 1.44 2/254 23833
/proc/meminfo: memFree=30422720/32770624 swapFree=5784/1229660
[pid=23833] ppid=23830 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (bash) S 23830 23833 23437 0 -1 4202496 884 6412 0 0 0 0 0 1 20 0 1 0 14991816 9871360 378 33554432000 4194304 5098028 140724223251664 140724223245672 140268644002816 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 23412736 140724223259918 140724223260003 140724223260003 140724223262702 0
/proc/23833/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200298 s]
/proc/loadavg: 1.45 1.56 1.44 2/254 23833
/proc/meminfo: memFree=30422720/32770624 swapFree=5784/1229660
[pid=23833] ppid=23830 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 5052 12642 0 0 6 1 8 3 20 0 13 0 14991816 10686320640 5413 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2608965 5413 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300307 s]
/proc/loadavg: 1.45 1.56 1.44 2/254 23833
/proc/meminfo: memFree=30422720/32770624 swapFree=5784/1229660
[pid=23833] ppid=23830 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 8314 12642 0 0 23 2 8 3 20 0 20 0 14991816 11163947008 9398 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2725573 9398 2971 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.700209 s]
/proc/loadavg: 1.45 1.56 1.44 2/254 23833
/proc/meminfo: memFree=30422720/32770624 swapFree=5784/1229660
[pid=23833] ppid=23830 vsize=10902720 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 12770 12642 0 0 80 4 8 3 20 0 20 0 14991816 11164385280 16033 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2725680 16033 3218 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720
[startup+1.50068 s]
/proc/loadavg: 1.45 1.56 1.44 3/281 23938
/proc/meminfo: memFree=30215520/32770624 swapFree=5784/1230620
[pid=23833] ppid=23830 vsize=10915392 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 28334 12642 0 0 206 12 8 3 20 0 20 0 14991816 11177361408 44665 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2728848 44665 3408 1 0 2716962 0
[pid=23833/tid=23912] ppid=23830 vsize=10915392 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23912/stat : 23912 (java) R 23830 23833 23437 0 -1 4202560 20190 12642 0 0 127 5 8 3 20 0 20 0 14991828 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841524772344 139841504668338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23914] ppid=23830 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23914/stat : 23914 (java) S 23830 23833 23437 0 -1 1077944384 51 12642 0 0 0 0 8 3 20 0 20 0 14991829 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841457232912 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23915] ppid=23830 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23915/stat : 23915 (java) S 23830 23833 23437 0 -1 1077944384 15 12642 0 0 0 0 8 3 20 0 20 0 14991829 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841456180368 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23916] ppid=23830 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23916/stat : 23916 (java) S 23830 23833 23437 0 -1 1077944384 12 12642 0 0 1 0 8 3 20 0 20 0 14991829 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841455127312 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23917] ppid=23830 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23917/stat : 23917 (java) S 23830 23833 23437 0 -1 1077944384 45 12642 0 0 1 0 8 3 20 0 20 0 14991829 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841454074768 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23918] ppid=23830 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23918/stat : 23918 (java) S 23830 23833 23437 0 -1 1077944384 14 12642 0 0 0 0 8 3 20 0 20 0 14991829 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841453021712 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23919] ppid=23830 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23919/stat : 23919 (java) S 23830 23833 23437 0 -1 1077944384 29 12642 0 0 1 0 8 3 20 0 20 0 14991829 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841451969168 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23920] ppid=23830 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23920/stat : 23920 (java) S 23830 23833 23437 0 -1 1077944384 26 12642 0 0 1 0 8 3 20 0 20 0 14991829 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841121413392 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23921] ppid=23830 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23921/stat : 23921 (java) S 23830 23833 23437 0 -1 1077944384 132 12642 0 0 1 0 8 3 20 0 20 0 14991829 11177361408 44665 33554432000 4194304 4196468 140721720201888 139841120360848 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23922] ppid=23830 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23922/stat : 23922 (java) S 23830 23833 23437 0 -1 1077944384 1467 12642 0 0 1 0 8 3 20 0 20 0 14991832 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840995003120 139841520552578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23923] ppid=23830 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23923/stat : 23923 (java) S 23830 23833 23437 0 -1 1077944384 55 12642 0 0 0 0 8 3 20 0 20 0 14991832 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840993949408 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23929] ppid=23830 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23929/stat : 23929 (java) S 23830 23833 23437 0 -1 1077944384 45 12642 0 0 0 0 8 3 20 0 20 0 14991833 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840992896256 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23932] ppid=23830 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23932/stat : 23932 (java) S 23830 23833 23437 0 -1 1077944384 1 12642 0 0 0 0 8 3 20 0 20 0 14991837 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840991844816 139841520560027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23933] ppid=23830 vsize=10915392 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23933/stat : 23933 (java) S 23830 23833 23437 0 -1 1077944384 1784 12642 0 0 14 1 8 3 20 0 20 0 14991837 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840990791920 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23934] ppid=23830 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23934/stat : 23934 (java) S 23830 23833 23437 0 -1 1077944384 538 12642 0 0 13 0 8 3 20 0 20 0 14991837 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840989739376 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23935] ppid=23830 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23935/stat : 23935 (java) S 23830 23833 23437 0 -1 1077944384 421 12642 0 0 11 0 8 3 20 0 20 0 14991837 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840988686320 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23936] ppid=23830 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23936/stat : 23936 (java) S 23830 23833 23437 0 -1 1077944384 1368 12642 0 0 28 0 8 3 20 0 20 0 14991837 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840987633776 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23937] ppid=23830 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23937/stat : 23937 (java) S 23830 23833 23437 0 -1 1077944384 3 12642 0 0 0 0 8 3 20 0 20 0 14991837 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840986581984 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23938] ppid=23830 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23938/stat : 23938 (java) S 23830 23833 23437 0 -1 1077944384 6 12642 0 0 0 0 8 3 20 0 20 0 14991838 11177361408 44665 33554432000 4194304 4196468 140721720201888 139840985529520 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10915392
[startup+3.10111 s]
/proc/loadavg: 1.57 1.58 1.45 5/281 23938
/proc/meminfo: memFree=30074408/32770624 swapFree=5784/1230340
[pid=23833] ppid=23830 vsize=10927868 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 40020 12642 0 0 582 26 8 3 20 0 20 0 14991816 11190136832 75111 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2731967 75111 3473 1 0 2719522 0
[pid=23833/tid=23912] ppid=23830 vsize=10927868 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23912/stat : 23912 (java) R 23830 23833 23437 0 -1 4202560 27045 12642 0 0 280 8 8 3 20 0 20 0 14991828 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841524772096 139841520553366 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23914] ppid=23830 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23914/stat : 23914 (java) S 23830 23833 23437 0 -1 1077944384 61 12642 0 0 2 1 8 3 20 0 20 0 14991829 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841457232912 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23915] ppid=23830 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23915/stat : 23915 (java) S 23830 23833 23437 0 -1 1077944384 25 12642 0 0 2 1 8 3 20 0 20 0 14991829 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841456180368 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23916] ppid=23830 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23916/stat : 23916 (java) S 23830 23833 23437 0 -1 1077944384 34 12642 0 0 2 1 8 3 20 0 20 0 14991829 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841455127312 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23917] ppid=23830 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23917/stat : 23917 (java) S 23830 23833 23437 0 -1 1077944384 54 12642 0 0 2 1 8 3 20 0 20 0 14991829 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841454074768 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23918] ppid=23830 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23918/stat : 23918 (java) S 23830 23833 23437 0 -1 1077944384 104 12642 0 0 2 1 8 3 20 0 20 0 14991829 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841453021712 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23919] ppid=23830 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23919/stat : 23919 (java) S 23830 23833 23437 0 -1 1077944384 42 12642 0 0 2 1 8 3 20 0 20 0 14991829 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841451969168 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23920] ppid=23830 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23920/stat : 23920 (java) S 23830 23833 23437 0 -1 1077944384 37 12642 0 0 2 1 8 3 20 0 20 0 14991829 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841121413392 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23921] ppid=23830 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23921/stat : 23921 (java) S 23830 23833 23437 0 -1 1077944384 146 12642 0 0 2 1 8 3 20 0 20 0 14991829 11190136832 75111 33554432000 4194304 4196468 140721720201888 139841120360848 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23922] ppid=23830 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23922/stat : 23922 (java) S 23830 23833 23437 0 -1 1077944384 1763 12642 0 0 2 0 8 3 20 0 20 0 14991832 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840995003120 139841520552578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23923] ppid=23830 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23923/stat : 23923 (java) S 23830 23833 23437 0 -1 1077944384 55 12642 0 0 0 0 8 3 20 0 20 0 14991832 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840993949408 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23929] ppid=23830 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23929/stat : 23929 (java) S 23830 23833 23437 0 -1 1077944384 45 12642 0 0 0 0 8 3 20 0 20 0 14991833 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840992896256 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23932] ppid=23830 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23932/stat : 23932 (java) S 23830 23833 23437 0 -1 1077944384 1 12642 0 0 0 0 8 3 20 0 20 0 14991837 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840991844816 139841520560027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23933] ppid=23830 vsize=10927868 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23933/stat : 23933 (java) R 23830 23833 23437 0 -1 4202560 2549 12642 0 0 55 1 8 3 20 0 20 0 14991837 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840990778016 139841506555740 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23934] ppid=23830 vsize=10927868 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23934/stat : 23934 (java) R 23830 23833 23437 0 -1 4202560 1182 12642 0 0 52 1 8 3 20 0 20 0 14991837 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840989726928 139841503952104 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23935] ppid=23830 vsize=10927868 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23935/stat : 23935 (java) R 23830 23833 23437 0 -1 4202560 1438 12642 0 0 63 0 8 3 20 0 20 0 14991837 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840988686320 139841504444521 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23936] ppid=23830 vsize=10927868 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23936/stat : 23936 (java) R 23830 23833 23437 0 -1 4202560 3298 12642 0 0 110 1 8 3 20 0 20 0 14991837 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840987632176 139841513638267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23937] ppid=23830 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23937/stat : 23937 (java) S 23830 23833 23437 0 -1 1077944384 3 12642 0 0 0 0 8 3 20 0 20 0 14991837 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840986581984 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23938] ppid=23830 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23938/stat : 23938 (java) S 23830 23833 23437 0 -1 1077944384 7 12642 0 0 0 0 8 3 20 0 20 0 14991838 11190136832 75111 33554432000 4194304 4196468 140721720201888 139840985529520 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 10927868
[startup+6.30127 s]
/proc/loadavg: 1.57 1.58 1.45 6/281 23938
/proc/meminfo: memFree=29658688/32770624 swapFree=5784/1230348
[pid=23833] ppid=23830 vsize=10995452 CPUtime=15.45 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 67950 12642 0 0 1494 40 8 3 20 0 20 0 14991816 11259342848 115690 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2748863 115690 3501 1 0 2736418 0
[pid=23833/tid=23912] ppid=23830 vsize=10995452 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23912/stat : 23912 (java) R 23830 23833 23437 0 -1 4202560 42883 12642 0 0 589 12 8 3 20 0 20 0 14991828 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841524772760 139841133155924 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23914] ppid=23830 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23914/stat : 23914 (java) S 23830 23833 23437 0 -1 1077944384 67 12642 0 0 4 1 8 3 20 0 20 0 14991829 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841457232912 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23915] ppid=23830 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23915/stat : 23915 (java) S 23830 23833 23437 0 -1 1077944384 52 12642 0 0 4 2 8 3 20 0 20 0 14991829 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841456180368 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23916] ppid=23830 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23916/stat : 23916 (java) S 23830 23833 23437 0 -1 1077944384 50 12642 0 0 5 2 8 3 20 0 20 0 14991829 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841455127312 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23917] ppid=23830 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23917/stat : 23917 (java) S 23830 23833 23437 0 -1 1077944384 81 12642 0 0 5 1 8 3 20 0 20 0 14991829 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841454074768 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23918] ppid=23830 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23918/stat : 23918 (java) S 23830 23833 23437 0 -1 1077944384 126 12642 0 0 4 2 8 3 20 0 20 0 14991829 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841453021712 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23919] ppid=23830 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23919/stat : 23919 (java) S 23830 23833 23437 0 -1 1077944384 58 12642 0 0 4 2 8 3 20 0 20 0 14991829 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841451969168 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23920] ppid=23830 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23920/stat : 23920 (java) S 23830 23833 23437 0 -1 1077944384 50 12642 0 0 5 2 8 3 20 0 20 0 14991829 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841121413392 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23921] ppid=23830 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23921/stat : 23921 (java) S 23830 23833 23437 0 -1 1077944384 158 12642 0 0 4 2 8 3 20 0 20 0 14991829 11259342848 115690 33554432000 4194304 4196468 140721720201888 139841120360848 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23922] ppid=23830 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23922/stat : 23922 (java) S 23830 23833 23437 0 -1 1077944384 2521 12642 0 0 4 0 8 3 20 0 20 0 14991832 11259342848 115690 33554432000 4194304 4196468 140721720201888 139840995003120 139841520552578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23923] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23923/stat : 23923 (java) S 23830 23833 23437 0 -1 1077944384 55 12642 0 0 0 0 8 3 20 0 20 0 14991832 11259342848 115690 33554432000 4194304 4196468 140721720201888 139840993949408 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23929] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23929/stat : 23929 (java) S 23830 23833 23437 0 -1 1077944384 45 12642 0 0 0 0 8 3 20 0 20 0 14991833 11259342848 115690 33554432000 4194304 4196468 140721720201888 139840992896256 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23932] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23932/stat : 23932 (java) S 23830 23833 23437 0 -1 1077944384 1 12642 0 0 0 0 8 3 20 0 20 0 14991837 11259342848 115690 33554432000 4194304 4196468 140721720201888 139840991844816 139841520560027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23933] ppid=23830 vsize=10995452 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23933/stat : 23933 (java) R 23830 23833 23437 0 -1 4202560 3228 12642 0 0 182 2 8 3 20 0 20 0 14991837 11259342848 115690 33554432000 4194304 4196468 140721720201888 139840990778240 139841502063140 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23934] ppid=23830 vsize=10995452 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23934/stat : 23934 (java) S 23830 23833 23437 0 -1 1077944384 7092 12642 0 0 239 2 8 3 20 0 20 0 14991837 11259342848 115690 33554432000 4194304 4196468 140721720201888 139840989739376 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23935] ppid=23830 vsize=10995452 CPUtime=2.74 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23935/stat : 23935 (java) S 23830 23833 23437 0 -1 1077944384 4593 12642 0 0 262 1 8 3 20 0 20 0 14991837 11259342848 115690 33554432000 4194304 4196468 140721720201888 139840988686320 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23936] ppid=23830 vsize=10995452 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23936/stat : 23936 (java) R 23830 23833 23437 0 -1 4202560 4744 12642 0 0 176 2 8 3 20 0 20 0 14991837 11259342848 115690 33554432000 4194304 4196468 140721720201888 139840987634072 139841499198960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23937] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/23833/task/23936/stat : 23936 (java) S 23830 23833 23437 0 -1 1077944384 20292 12642 0 0 628 8 8 3 20 0 20 0 14991837 11259342848 221154 33554432000 4194304 4196468 140721720201888 139840987633776 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23937] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23937/stat : 23937 (java) S 23830 23833 23437 0 -1 1077944384 3 12642 0 0 0 0 8 3 20 0 20 0 14991837 11259342848 221154 33554432000 4194304 4196468 140721720201888 139840986581984 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23938] ppid=23830 vsize=10995452 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23938/stat : 23938 (java) S 23830 23833 23437 0 -1 1077944384 1024 12642 0 0 55 60 8 3 20 0 20 0 14991838 11259342848 221154 33554432000 4194304 4196468 140721720201888 139840985529520 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
Current children cumulated CPU time (s) 2320.51
Current children cumulated vsize (KiB) 10995452
[startup+2262.3 s]
/proc/loadavg: 2.09 1.75 1.63 3/281 24009
/proc/meminfo: memFree=26681512/32770624 swapFree=5784/1231468
[pid=23833] ppid=23830 vsize=10995452 CPUtime=2382.71 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 380321 12642 0 0 237264 996 8 3 20 0 20 0 14991816 11259342848 245653 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2748863 245653 3509 1 0 2736418 0
[pid=23833/tid=23912] ppid=23830 vsize=10995452 CPUtime=2239.82 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23912/stat : 23912 (java) R 23830 23833 23437 0 -1 4202560 206411 12642 0 0 223876 95 8 3 20 0 20 0 14991828 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841524774768 139841133155551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23914] ppid=23830 vsize=10995452 CPUtime=11.38 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23914/stat : 23914 (java) S 23830 23833 23437 0 -1 1077944384 11018 12642 0 0 1030 97 8 3 20 0 20 0 14991829 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841457232912 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23915] ppid=23830 vsize=10995452 CPUtime=11.38 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23915/stat : 23915 (java) S 23830 23833 23437 0 -1 1077944384 10508 12642 0 0 1035 92 8 3 20 0 20 0 14991829 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841456180368 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23916] ppid=23830 vsize=10995452 CPUtime=11.26 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23916/stat : 23916 (java) S 23830 23833 23437 0 -1 1077944384 11066 12642 0 0 1018 97 8 3 20 0 20 0 14991829 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841455127312 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23917] ppid=23830 vsize=10995452 CPUtime=11.35 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23917/stat : 23917 (java) S 23830 23833 23437 0 -1 1077944384 11713 12642 0 0 1029 95 8 3 20 0 20 0 14991829 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841454074768 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23918] ppid=23830 vsize=10995452 CPUtime=11.31 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23918/stat : 23918 (java) S 23830 23833 23437 0 -1 1077944384 10011 12642 0 0 1024 96 8 3 20 0 20 0 14991829 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841453021712 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23919] ppid=23830 vsize=10995452 CPUtime=11.3 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23919/stat : 23919 (java) S 23830 23833 23437 0 -1 1077944384 12116 12642 0 0 1023 96 8 3 20 0 20 0 14991829 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841451969168 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23920] ppid=23830 vsize=10995452 CPUtime=11.38 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23920/stat : 23920 (java) S 23830 23833 23437 0 -1 1077944384 14467 12642 0 0 1029 98 8 3 20 0 20 0 14991829 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841121413392 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23921] ppid=23830 vsize=10995452 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23921/stat : 23921 (java) S 23830 23833 23437 0 -1 1077944384 13102 12642 0 0 1042 95 8 3 20 0 20 0 14991829 11259342848 245653 33554432000 4194304 4196468 140721720201888 139841120360848 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23922] ppid=23830 vsize=10995452 CPUtime=6.52 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23922/stat : 23922 (java) S 23830 23833 23437 0 -1 1077944384 15425 12642 0 0 525 116 8 3 20 0 20 0 14991832 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840995003120 139841520552578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23923] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23923/stat : 23923 (java) S 23830 23833 23437 0 -1 1077944384 55 12642 0 0 0 0 8 3 20 0 20 0 14991832 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840993949408 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23929] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23929/stat : 23929 (java) S 23830 23833 23437 0 -1 1077944384 45 12642 0 0 0 0 8 3 20 0 20 0 14991833 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840992896256 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23932] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23932/stat : 23932 (java) S 23830 23833 23437 0 -1 1077944384 1 12642 0 0 0 0 8 3 20 0 20 0 14991837 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840991844816 139841520560027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23933] ppid=23830 vsize=10995452 CPUtime=12.65 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23933/stat : 23933 (java) S 23830 23833 23437 0 -1 1077944384 10944 12642 0 0 1249 5 8 3 20 0 20 0 14991837 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840990791920 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23934] ppid=23830 vsize=10995452 CPUtime=13.2 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23934/stat : 23934 (java) S 23830 23833 23437 0 -1 1077944384 14458 12642 0 0 1303 6 8 3 20 0 20 0 14991837 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840989739376 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23935] ppid=23830 vsize=10995452 CPUtime=13.28 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23935/stat : 23935 (java) S 23830 23833 23437 0 -1 1077944384 15510 12642 0 0 1312 5 8 3 20 0 20 0 14991837 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840988686320 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23936] ppid=23830 vsize=10995452 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23936/stat : 23936 (java) S 23830 23833 23437 0 -1 1077944384 20294 12642 0 0 628 8 8 3 20 0 20 0 14991837 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840987633776 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23937] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23937/stat : 23937 (java) S 23830 23833 23437 0 -1 1077944384 3 12642 0 0 0 0 8 3 20 0 20 0 14991837 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840986581984 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23938] ppid=23830 vsize=10995452 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23938/stat : 23938 (java) S 23830 23833 23437 0 -1 1077944384 1041 12642 0 0 57 62 8 3 20 0 20 0 14991838 11259342848 245653 33554432000 4194304 4196468 140721720201888 139840985529520 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
Current children cumulated CPU time (s) 2382.71
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2279 s]
/proc/loadavg: 2.06 1.76 1.64 3/281 24009
/proc/meminfo: memFree=26661508/32770624 swapFree=5784/1231476
[pid=23833] ppid=23830 vsize=10995452 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 386797 12642 0 0 238993 1000 8 3 20 0 20 0 14991816 11259342848 247075 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2748863 247075 3509 1 0 2736418 0
[pid=23833/tid=23912] ppid=23830 vsize=10995452 CPUtime=2256.35 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23912/stat : 23912 (java) R 23830 23833 23437 0 -1 4202560 212848 12642 0 0 225528 96 8 3 20 0 20 0 14991828 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841524774448 139841144416057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23914] ppid=23830 vsize=10995452 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23914/stat : 23914 (java) S 23830 23833 23437 0 -1 1077944384 11020 12642 0 0 1039 98 8 3 20 0 20 0 14991829 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841457232912 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23915] ppid=23830 vsize=10995452 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23915/stat : 23915 (java) S 23830 23833 23437 0 -1 1077944384 10514 12642 0 0 1045 92 8 3 20 0 20 0 14991829 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841456180368 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23916] ppid=23830 vsize=10995452 CPUtime=11.36 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23916/stat : 23916 (java) S 23830 23833 23437 0 -1 1077944384 11069 12642 0 0 1027 98 8 3 20 0 20 0 14991829 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841455127312 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23917] ppid=23830 vsize=10995452 CPUtime=11.44 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23917/stat : 23917 (java) S 23830 23833 23437 0 -1 1077944384 11715 12642 0 0 1038 95 8 3 20 0 20 0 14991829 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841454074768 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23918] ppid=23830 vsize=10995452 CPUtime=11.39 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23918/stat : 23918 (java) S 23830 23833 23437 0 -1 1077944384 10013 12642 0 0 1032 96 8 3 20 0 20 0 14991829 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841453021712 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23919] ppid=23830 vsize=10995452 CPUtime=11.4 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23919/stat : 23919 (java) S 23830 23833 23437 0 -1 1077944384 12116 12642 0 0 1033 96 8 3 20 0 20 0 14991829 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841451969168 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23920] ppid=23830 vsize=10995452 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23920/stat : 23920 (java) S 23830 23833 23437 0 -1 1077944384 14470 12642 0 0 1038 99 8 3 20 0 20 0 14991829 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841121413392 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23921] ppid=23830 vsize=10995452 CPUtime=11.58 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23921/stat : 23921 (java) S 23830 23833 23437 0 -1 1077944384 13104 12642 0 0 1052 95 8 3 20 0 20 0 14991829 11259342848 247075 33554432000 4194304 4196468 140721720201888 139841120360848 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23922] ppid=23830 vsize=10995452 CPUtime=6.56 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23922/stat : 23922 (java) S 23830 23833 23437 0 -1 1077944384 15444 12642 0 0 528 117 8 3 20 0 20 0 14991832 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840995003120 139841520552578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23923] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23923/stat : 23923 (java) S 23830 23833 23437 0 -1 1077944384 55 12642 0 0 0 0 8 3 20 0 20 0 14991832 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840993949408 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23929] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23929/stat : 23929 (java) S 23830 23833 23437 0 -1 1077944384 45 12642 0 0 0 0 8 3 20 0 20 0 14991833 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840992896256 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23932] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23932/stat : 23932 (java) S 23830 23833 23437 0 -1 1077944384 1 12642 0 0 0 0 8 3 20 0 20 0 14991837 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840991844816 139841520560027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23933] ppid=23830 vsize=10995452 CPUtime=12.65 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23933/stat : 23933 (java) S 23830 23833 23437 0 -1 1077944384 10944 12642 0 0 1249 5 8 3 20 0 20 0 14991837 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840990791920 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23934] ppid=23830 vsize=10995452 CPUtime=13.2 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23934/stat : 23934 (java) S 23830 23833 23437 0 -1 1077944384 14458 12642 0 0 1303 6 8 3 20 0 20 0 14991837 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840989739376 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23935] ppid=23830 vsize=10995452 CPUtime=13.28 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23935/stat : 23935 (java) S 23830 23833 23437 0 -1 1077944384 15510 12642 0 0 1312 5 8 3 20 0 20 0 14991837 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840988686320 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23936] ppid=23830 vsize=10995452 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23936/stat : 23936 (java) S 23830 23833 23437 0 -1 1077944384 20294 12642 0 0 628 8 8 3 20 0 20 0 14991837 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840987633776 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23937] ppid=23830 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23937/stat : 23937 (java) S 23830 23833 23437 0 -1 1077944384 3 12642 0 0 0 0 8 3 20 0 20 0 14991837 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840986581984 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23938] ppid=23830 vsize=10995452 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23938/stat : 23938 (java) S 23830 23833 23437 0 -1 1077944384 1041 12642 0 0 57 62 8 3 20 0 20 0 14991838 11259342848 247075 33554432000 4194304 4196468 140721720201888 139840985529520 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10995452
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 23833 sig 9
??? kill -23833 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2279.2 s]
/proc/loadavg: 2.06 1.76 1.64 3/283 24011
/proc/meminfo: memFree=26650688/32770624 swapFree=5784/1231476
[pid=23833] ppid=23830 vsize=11128580 CPUtime=2401.14 cores=1,3,5,7,9,11,13,15
/proc/23833/stat : 23833 (java) S 23830 23833 23437 0 -1 1077944320 389610 12642 0 0 239100 1003 8 3 20 0 22 0 14991816 11395665920 249594 33554432000 4194304 4196468 140721720201888 140721720184432 139841520541431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
/proc/23833/statm: 2782145 249594 3509 1 0 2769700 0
[pid=23833/tid=23912] ppid=23830 vsize=11128580 CPUtime=2256.36 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23912/stat : 23912 (java) S 23830 23833 23437 0 -1 1077944384 213024 12642 0 0 225529 96 8 3 20 0 22 0 14991828 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841524778976 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23914] ppid=23830 vsize=11128580 CPUtime=11.61 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23914/stat : 23914 (java) R 23830 23833 23437 0 -1 4202560 11027 12642 0 0 1052 98 8 3 20 0 22 0 14991829 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841457232912 139841505239016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23915] ppid=23830 vsize=11128580 CPUtime=11.6 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23915/stat : 23915 (java) R 23830 23833 23437 0 -1 4202560 10515 12642 0 0 1057 92 8 3 20 0 22 0 14991829 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841456180368 139841502095056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23916] ppid=23830 vsize=11128580 CPUtime=11.49 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23916/stat : 23916 (java) R 23830 23833 23437 0 -1 4202560 11080 12642 0 0 1040 98 8 3 20 0 22 0 14991829 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841455127312 139841502137923 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23917] ppid=23830 vsize=11128580 CPUtime=11.56 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23917/stat : 23917 (java) R 23830 23833 23437 0 -1 1077944384 11720 12642 0 0 1050 95 8 3 20 0 22 0 14991829 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841454074768 139841520551637 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23918] ppid=23830 vsize=11128580 CPUtime=11.52 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23918/stat : 23918 (java) R 23830 23833 23437 0 -1 4202560 10022 12642 0 0 1045 96 8 3 20 0 22 0 14991829 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841453021712 139841505492160 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23919] ppid=23830 vsize=11128580 CPUtime=11.53 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23919/stat : 23919 (java) R 23830 23833 23437 0 -1 4202560 12136 12642 0 0 1046 96 8 3 20 0 22 0 14991829 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841451969168 139841505492134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23920] ppid=23830 vsize=11128580 CPUtime=11.6 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23920/stat : 23920 (java) R 23830 23833 23437 0 -1 4202560 14498 12642 0 0 1050 99 8 3 20 0 22 0 14991829 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841121413392 139841502138442 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23921] ppid=23830 vsize=11128580 CPUtime=11.72 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23921/stat : 23921 (java) R 23830 23833 23437 0 -1 4202560 13113 12642 0 0 1065 96 8 3 20 0 22 0 14991829 11395665920 249594 33554432000 4194304 4196468 140721720201888 139841120360848 139841505492137 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23922] ppid=23830 vsize=11128580 CPUtime=6.62 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23922/stat : 23922 (java) S 23830 23833 23437 0 -1 1077944384 17806 12642 0 0 534 117 8 3 20 0 22 0 14991832 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840995001520 139841520551637 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23923] ppid=23830 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23923/stat : 23923 (java) S 23830 23833 23437 0 -1 1077944384 57 12642 0 0 0 0 8 3 20 0 22 0 14991832 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840993949008 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23929] ppid=23830 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23929/stat : 23929 (java) S 23830 23833 23437 0 -1 1077944384 45 12642 0 0 0 0 8 3 20 0 22 0 14991833 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840992896256 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23932] ppid=23830 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23932/stat : 23932 (java) S 23830 23833 23437 0 -1 1077944384 80 12642 0 0 0 0 8 3 20 0 22 0 14991837 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840991844816 139841520560027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23933] ppid=23830 vsize=11128580 CPUtime=12.65 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23933/stat : 23933 (java) S 23830 23833 23437 0 -1 1077944384 10944 12642 0 0 1249 5 8 3 20 0 22 0 14991837 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840990791920 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23934] ppid=23830 vsize=11128580 CPUtime=13.2 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23934/stat : 23934 (java) S 23830 23833 23437 0 -1 1077944384 14458 12642 0 0 1303 6 8 3 20 0 22 0 14991837 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840989739424 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23935] ppid=23830 vsize=11128580 CPUtime=13.28 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23935/stat : 23935 (java) S 23830 23833 23437 0 -1 1077944384 15511 12642 0 0 1312 5 8 3 20 0 22 0 14991837 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840988686080 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23936] ppid=23830 vsize=11128580 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23936/stat : 23936 (java) S 23830 23833 23437 0 -1 1077944384 20294 12642 0 0 628 8 8 3 20 0 22 0 14991837 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840987633824 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23937] ppid=23830 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23937/stat : 23937 (java) S 23830 23833 23437 0 -1 1077944384 3 12642 0 0 0 0 8 3 20 0 22 0 14991837 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840986581984 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=23938] ppid=23830 vsize=11128580 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/23833/task/23938/stat : 23938 (java) S 23830 23833 23437 0 -1 1077944384 1041 12642 0 0 57 62 8 3 20 0 22 0 14991838 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840985529520 139841520552578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=24010] ppid=23830 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/24010/stat : 24010 (java) S 23830 23833 23437 0 -1 1077944384 78 12642 0 0 0 0 8 3 20 0 22 0 15219717 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840888664560 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
[pid=23833/tid=24011] ppid=23830 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23833/task/24011/stat : 24011 (java) S 23830 23833 23437 0 -1 1077944384 24 12642 0 0 0 0 8 3 20 0 22 0 15219717 11395665920 249594 33554432000 4194304 4196468 140721720201888 139840887612736 139841520551637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140721720208065 140721720210839 140721720210839 140721720213455 0
Current children cumulated CPU time (s) 2401.14
Current children cumulated vsize (KiB) 11128580
Child status: 143
Real time (s): 2279.3
CPU time (s): 2401.38
CPU user time (s): 2391.3
CPU system time (s): 10.0793
CPU usage (%): 105.356
Max. virtual memory (cumulated for all children) (KiB): 11128580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.3
system time used= 10.0793
maximum resident set size= 1308528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 266755
involuntary context switches= 166370
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9425 second user time and 20.599 second system time
The end