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-4259753-1501996506/watcher-4259753-1501996506 -o /tmp/evaluation-result-4259753-1501996506/solver-4259753-1501996506 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501995163-16059 --watchdog 300 bin/concrete HOME/instance-4259753-1501996506.xml
pid=16818
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.59 1.61 1.61 4/202 16821
/proc/meminfo: memFree=30842696/32770624 swapFree=0/297680
[pid=16821] ppid=16818 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (runsolver) D 16818 16821 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 47465874 24240128 108 18446744073709551615 4194304 4338465 140721421528464 140721421526104 140170934317783 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 33738752 140721421537494 140721421537868 140721421537868 140721421541322 0
/proc/16821/statm: 5918 108 54 36 0 2156 0
[startup+0.100134 s]
/proc/loadavg: 1.59 1.61 1.61 4/202 16821
/proc/meminfo: memFree=30842696/32770624 swapFree=0/297680
[pid=16821] ppid=16818 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/16821/stat : 16821 (bash) S 16818 16821 30500 0 -1 4202496 889 6491 0 0 0 0 0 1 20 0 1 0 47465874 9867264 376 18446744073709551615 4194304 5098028 140729797294992 140729797289000 139876972092416 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 27619328 140729797296663 140729797296748 140729797296748 140729797300202 0
/proc/16821/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200312 s]
/proc/loadavg: 1.59 1.61 1.61 4/202 16821
/proc/meminfo: memFree=30842696/32770624 swapFree=0/297680
[pid=16821] ppid=16818 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/16821/stat : 16821 (bash) S 16818 16821 30500 0 -1 4202496 889 6491 0 0 0 0 0 1 20 0 1 0 47465874 9867264 376 18446744073709551615 4194304 5098028 140729797294992 140729797289000 139876972092416 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 27619328 140729797296663 140729797296748 140729797296748 140729797300202 0
/proc/16821/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300292 s]
/proc/loadavg: 1.59 1.61 1.61 4/202 16821
/proc/meminfo: memFree=30842696/32770624 swapFree=0/297680
[pid=16821] ppid=16818 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/16821/stat : 16821 (java) S 16818 16821 30500 0 -1 1077944320 5488 12734 0 0 5 1 5 3 20 0 14 0 47465874 14241083392 5169 18446744073709551615 4194304 4196468 140734347186688 140734347169232 140639868407543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
/proc/16821/statm: 3476827 5169 2560 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.700598 s]
/proc/loadavg: 1.59 1.61 1.61 4/202 16821
/proc/meminfo: memFree=30842696/32770624 swapFree=0/297680
[pid=16821] ppid=16818 vsize=13974784 CPUtime=0.57 cores=0,2,4,6
/proc/16821/stat : 16821 (java) S 16818 16821 30500 0 -1 1077944320 12986 12734 0 0 46 3 5 3 20 0 15 0 47465874 14310178816 14353 18446744073709551615 4194304 4196468 140734347186688 140734347169232 140639868407543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
/proc/16821/statm: 3493696 14353 3076 1 0 3482965 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13974784
[startup+1.50069 s]
/proc/loadavg: 1.59 1.61 1.61 3/217 16884
/proc/meminfo: memFree=30666160/32770624 swapFree=0/297752
[pid=16821] ppid=16818 vsize=13985408 CPUtime=1.81 cores=0,2,4,6
/proc/16821/stat : 16821 (java) S 16818 16821 30500 0 -1 1077944320 24862 12734 0 0 166 7 5 3 20 0 15 0 47465874 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140734347169232 140639868407543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
/proc/16821/statm: 3496352 33701 3337 1 0 3485525 0
[pid=16821/tid=16871] ppid=16818 vsize=13985408 CPUtime=1.25 cores=0,2,4,6
/proc/16821/task/16871/stat : 16871 (java) R 16818 16821 30500 0 -1 4202560 19492 12734 0 0 112 5 5 3 20 0 15 0 47465898 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140639872632272 140639459186272 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16872] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16872/stat : 16872 (java) S 16818 16821 30500 0 -1 1077944384 2 12734 0 0 0 0 5 3 20 0 15 0 47465898 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140639787821584 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16873] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16873/stat : 16873 (java) S 16818 16821 30500 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 47465898 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140639786769040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16874] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16874/stat : 16874 (java) S 16818 16821 30500 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 47465898 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140639785715984 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16875] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16875/stat : 16875 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465898 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140639784663440 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16876] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16876/stat : 16876 (java) S 16818 16821 30500 0 -1 1077944384 5 12734 0 0 0 0 5 3 20 0 15 0 47465900 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638784572144 140639868418690 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16877] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16877/stat : 16877 (java) S 16818 16821 30500 0 -1 1077944384 33 12734 0 0 0 0 5 3 20 0 15 0 47465900 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638783518368 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16878] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16878/stat : 16878 (java) S 16818 16821 30500 0 -1 1077944384 21 12734 0 0 0 0 5 3 20 0 15 0 47465900 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638782465264 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16879] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16879/stat : 16879 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638781413840 140639868426139 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16880] ppid=16818 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/16821/task/16880/stat : 16880 (java) S 16818 16821 30500 0 -1 1077944384 970 12734 0 0 13 0 5 3 20 0 15 0 47465903 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638780360944 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16881] ppid=16818 vsize=13985408 CPUtime=0.26 cores=0,2,4,6
/proc/16821/task/16881/stat : 16881 (java) S 16818 16821 30500 0 -1 1077944384 985 12734 0 0 18 0 5 3 20 0 15 0 47465903 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638779308400 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16882] ppid=16818 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/16821/task/16882/stat : 16882 (java) S 16818 16821 30500 0 -1 1077944384 1191 12734 0 0 21 0 5 3 20 0 15 0 47465903 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638778255344 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16883] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16883/stat : 16883 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638777203040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16884] ppid=16818 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16884/stat : 16884 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465911 14321057792 33701 18446744073709551615 4194304 4196468 140734347186688 140638776151088 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408
[startup+3.10057 s]
/proc/loadavg: 1.62 1.61 1.62 6/218 16909
/proc/meminfo: memFree=30567088/32770624 swapFree=0/297752
[pid=16821] ppid=16818 vsize=13999932 CPUtime=4.81 cores=0,2,4,6
/proc/16821/stat : 16821 (java) S 16818 16821 30500 0 -1 1077944320 37584 12734 0 0 458 15 5 3 20 0 15 0 47465874 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140734347169232 140639868407543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
/proc/16821/statm: 3499983 54856 3439 1 0 3488597 0
[pid=16821/tid=16871] ppid=16818 vsize=13999932 CPUtime=2.81 cores=0,2,4,6
/proc/16821/task/16871/stat : 16871 (java) R 16818 16821 30500 0 -1 4202560 28701 12734 0 0 264 9 5 3 20 0 15 0 47465898 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140639872634528 140639467012148 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16872] ppid=16818 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16872/stat : 16872 (java) S 16818 16821 30500 0 -1 1077944384 33 12734 0 0 0 0 5 3 20 0 15 0 47465898 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140639787821584 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16873] ppid=16818 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/16821/task/16873/stat : 16873 (java) S 16818 16821 30500 0 -1 1077944384 184 12734 0 0 1 0 5 3 20 0 15 0 47465898 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140639786769040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16874] ppid=16818 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/16821/task/16874/stat : 16874 (java) S 16818 16821 30500 0 -1 1077944384 43 12734 0 0 1 0 5 3 20 0 15 0 47465898 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140639785715984 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16875] ppid=16818 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16875/stat : 16875 (java) S 16818 16821 30500 0 -1 1077944384 50 12734 0 0 0 0 5 3 20 0 15 0 47465898 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140639784663440 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16876] ppid=16818 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/16821/task/16876/stat : 16876 (java) S 16818 16821 30500 0 -1 1077944384 639 12734 0 0 1 0 5 3 20 0 15 0 47465900 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638784572144 140639868418690 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16877] ppid=16818 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16877/stat : 16877 (java) S 16818 16821 30500 0 -1 1077944384 55 12734 0 0 0 0 5 3 20 0 15 0 47465900 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638783518432 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16878] ppid=16818 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16878/stat : 16878 (java) S 16818 16821 30500 0 -1 1077944384 44 12734 0 0 0 0 5 3 20 0 15 0 47465900 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638782465280 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16879] ppid=16818 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16879/stat : 16879 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638781413840 140639868426139 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16880] ppid=16818 vsize=13999932 CPUtime=0.51 cores=0,2,4,6
/proc/16821/task/16880/stat : 16880 (java) S 16818 16821 30500 0 -1 1077944384 1307 12734 0 0 42 1 5 3 20 0 15 0 47465903 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638780360944 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16881] ppid=16818 vsize=13999932 CPUtime=0.65 cores=0,2,4,6
/proc/16821/task/16881/stat : 16881 (java) S 16818 16821 30500 0 -1 1077944384 1493 12734 0 0 57 0 5 3 20 0 15 0 47465903 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638779308400 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16882] ppid=16818 vsize=13999932 CPUtime=0.95 cores=0,2,4,6
/proc/16821/task/16882/stat : 16882 (java) R 16818 16821 30500 0 -1 4202560 2879 12734 0 0 87 0 5 3 20 0 15 0 47465903 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638778255344 140639861511195 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16883] ppid=16818 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16883/stat : 16883 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638777203040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16884] ppid=16818 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16884/stat : 16884 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465911 14335930368 54856 18446744073709551615 4194304 4196468 140734347186688 140638776151088 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 13999932
[startup+6.3016 s]
/proc/loadavg: 1.62 1.61 1.62 6/218 16909
/proc/meminfo: memFree=30210696/32770624 swapFree=0/297772
[pid=16821] ppid=16818 vsize=14069564 CPUtime=13.39 cores=0,2,4,6
/proc/16821/stat : 16821 (java) S 16818 16821 30500 0 -1 1077944320 82612 12734 0 0 1307 24 5 3 20 0 15 0 47465874 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140734347169232 140639868407543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
/proc/16821/statm: 3517391 96272 3476 1 0 3506005 0
[pid=16821/tid=16871] ppid=16818 vsize=14069564 CPUtime=5.27 cores=0,2,4,6
/proc/16821/task/16871/stat : 16871 (java) R 16818 16821 30500 0 -1 4202560 50212 12734 0 0 505 14 5 3 20 0 15 0 47465898 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140639872637536 140639474935966 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16872] ppid=16818 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/16821/task/16872/stat : 16872 (java) S 16818 16821 30500 0 -1 1077944384 161 12734 0 0 9 1 5 3 20 0 15 0 47465898 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140639787821584 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16873] ppid=16818 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/16821/task/16873/stat : 16873 (java) S 16818 16821 30500 0 -1 1077944384 1196 12734 0 0 12 0 5 3 20 0 15 0 47465898 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140639786769040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16874] ppid=16818 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/16821/task/16874/stat : 16874 (java) S 16818 16821 30500 0 -1 1077944384 76 12734 0 0 7 0 5 3 20 0 15 0 47465898 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140639785715984 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16875] ppid=16818 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/16821/task/16875/stat : 16875 (java) S 16818 16821 30500 0 -1 1077944384 178 12734 0 0 10 0 5 3 20 0 15 0 47465898 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140639784663440 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16876] ppid=16818 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/16821/task/16876/stat : 16876 (java) S 16818 16821 30500 0 -1 1077944384 2098 12734 0 0 11 0 5 3 20 0 15 0 47465900 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638784572144 140639868418690 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16877] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16877/stat : 16877 (java) S 16818 16821 30500 0 -1 1077944384 60 12734 0 0 0 0 5 3 20 0 15 0 47465900 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638783518432 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16878] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16878/stat : 16878 (java) S 16818 16821 30500 0 -1 1077944384 47 12734 0 0 0 0 5 3 20 0 15 0 47465900 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638782465280 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16879] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16879/stat : 16879 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638781413840 140639868426139 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16880] ppid=16818 vsize=14069564 CPUtime=3.04 cores=0,2,4,6
/proc/16821/task/16880/stat : 16880 (java) R 16818 16821 30500 0 -1 4202560 9993 12734 0 0 294 2 5 3 20 0 15 0 47465903 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638780343520 140639851619933 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16881] ppid=16818 vsize=14069564 CPUtime=2.92 cores=0,2,4,6
/proc/16821/task/16881/stat : 16881 (java) R 16818 16821 30500 0 -1 4202560 7050 12734 0 0 284 0 5 3 20 0 15 0 47465903 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638779294968 140639851904112 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16882] ppid=16818 vsize=14069564 CPUtime=1.77 cores=0,2,4,6
/proc/16821/task/16882/stat : 16882 (java) S 16818 16821 30500 0 -1 1077944384 8769 12734 0 0 168 1 5 3 20 0 15 0 47465903 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638778255344 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16883] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16883/stat : 16883 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638777203040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16884] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16884/stat : 16884 (java) S 16818 16821 30500 0 -1 1077944384 617 12734 0 0 0 0 5 3 20 0 15 0 47465911 14407233536 96272 18446744073709551615 4194304 4196468 140734347186688 140638776151088 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
Current children cumulated CPU time (s) 13.39
Current children cumulated vsize (KiB) 14069564
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16821 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4016 s]
/proc/loadavg: 1.62 1.61 1.62 6/218 16909
/proc/meminfo: memFree=30210696/32770624 swapFree=0/297772
[pid=16821] ppid=16818 vsize=14069564 CPUtime=13.7 cores=0,2,4,6
/proc/16821/stat : 16821 (java) S 16818 16821 30500 0 -1 1077944320 83109 12734 0 0 1338 24 5 3 20 0 15 0 47465874 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140734347169232 140639868407543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
/proc/16821/statm: 3517391 96306 3476 1 0 3506005 0
[pid=16821/tid=16871] ppid=16818 vsize=14069564 CPUtime=5.37 cores=0,2,4,6
/proc/16821/task/16871/stat : 16871 (java) R 16818 16821 30500 0 -1 4202560 50457 12734 0 0 515 14 5 3 20 0 15 0 47465898 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140639872627568 140639467826560 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16872] ppid=16818 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/16821/task/16872/stat : 16872 (java) S 16818 16821 30500 0 -1 1077944384 161 12734 0 0 9 1 5 3 20 0 15 0 47465898 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140639787821584 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16873] ppid=16818 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/16821/task/16873/stat : 16873 (java) S 16818 16821 30500 0 -1 1077944384 1196 12734 0 0 12 0 5 3 20 0 15 0 47465898 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140639786769040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16874] ppid=16818 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/16821/task/16874/stat : 16874 (java) S 16818 16821 30500 0 -1 1077944384 76 12734 0 0 7 0 5 3 20 0 15 0 47465898 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140639785715984 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16875] ppid=16818 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/16821/task/16875/stat : 16875 (java) S 16818 16821 30500 0 -1 1077944384 178 12734 0 0 10 0 5 3 20 0 15 0 47465898 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140639784663440 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16876] ppid=16818 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/16821/task/16876/stat : 16876 (java) S 16818 16821 30500 0 -1 1077944384 2098 12734 0 0 11 0 5 3 20 0 15 0 47465900 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638784572144 140639868418690 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16877] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16877/stat : 16877 (java) S 16818 16821 30500 0 -1 1077944384 60 12734 0 0 0 0 5 3 20 0 15 0 47465900 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638783518432 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16878] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16878/stat : 16878 (java) S 16818 16821 30500 0 -1 1077944384 47 12734 0 0 0 0 5 3 20 0 15 0 47465900 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638782465280 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16879] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16879/stat : 16879 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638781413840 140639868426139 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16880] ppid=16818 vsize=14069564 CPUtime=3.14 cores=0,2,4,6
/proc/16821/task/16880/stat : 16880 (java) R 16818 16821 30500 0 -1 4202560 10199 12734 0 0 304 2 5 3 20 0 15 0 47465903 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638780348624 140639846823957 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16881] ppid=16818 vsize=14069564 CPUtime=3.02 cores=0,2,4,6
/proc/16821/task/16881/stat : 16881 (java) R 16818 16821 30500 0 -1 4202560 7076 12734 0 0 294 0 5 3 20 0 15 0 47465903 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638779294864 140639853517400 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16882] ppid=16818 vsize=14069564 CPUtime=1.78 cores=0,2,4,6
/proc/16821/task/16882/stat : 16882 (java) S 16818 16821 30500 0 -1 1077944384 8789 12734 0 0 169 1 5 3 20 0 15 0 47465903 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638778255344 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16883] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16883/stat : 16883 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638777203040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16884] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16884/stat : 16884 (java) S 16818 16821 30500 0 -1 1077944384 617 12734 0 0 0 0 5 3 20 0 15 0 47465911 14407233536 96306 18446744073709551615 4194304 4196468 140734347186688 140638776151088 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
Current children cumulated CPU time (s) 13.7
Current children cumulated vsize (KiB) 14069564
[startup+6.80059 s]
/proc/loadavg: 1.81 1.65 1.63 4/218 16909
/proc/meminfo: memFree=30026200/32770624 swapFree=0/297772
[pid=16821] ppid=16818 vsize=14069564 CPUtime=14.85 cores=0,2,4,6
/proc/16821/stat : 16821 (java) S 16818 16821 30500 0 -1 1077944320 87592 12734 0 0 1452 25 5 3 20 0 15 0 47465874 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140734347169232 140639868407543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
/proc/16821/statm: 3517391 97141 3481 1 0 3506005 0
[pid=16821/tid=16871] ppid=16818 vsize=14069564 CPUtime=5.77 cores=0,2,4,6
/proc/16821/task/16871/stat : 16871 (java) R 16818 16821 30500 0 -1 4202560 51265 12734 0 0 555 14 5 3 20 0 15 0 47465898 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140639872640928 140639472674479 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16872] ppid=16818 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/16821/task/16872/stat : 16872 (java) S 16818 16821 30500 0 -1 1077944384 281 12734 0 0 9 1 5 3 20 0 15 0 47465898 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140639787821584 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16873] ppid=16818 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/16821/task/16873/stat : 16873 (java) S 16818 16821 30500 0 -1 1077944384 1554 12734 0 0 12 0 5 3 20 0 15 0 47465898 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140639786769040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16874] ppid=16818 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/16821/task/16874/stat : 16874 (java) S 16818 16821 30500 0 -1 1077944384 89 12734 0 0 7 0 5 3 20 0 15 0 47465898 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140639785715984 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16875] ppid=16818 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/16821/task/16875/stat : 16875 (java) S 16818 16821 30500 0 -1 1077944384 216 12734 0 0 10 1 5 3 20 0 15 0 47465898 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140639784663440 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16876] ppid=16818 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/16821/task/16876/stat : 16876 (java) S 16818 16821 30500 0 -1 1077944384 2271 12734 0 0 12 0 5 3 20 0 15 0 47465900 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638784572144 140639868418690 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16877] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16877/stat : 16877 (java) S 16818 16821 30500 0 -1 1077944384 61 12734 0 0 0 0 5 3 20 0 15 0 47465900 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638783518432 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16878] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16878/stat : 16878 (java) S 16818 16821 30500 0 -1 1077944384 47 12734 0 0 0 0 5 3 20 0 15 0 47465900 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638782465280 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16879] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16879/stat : 16879 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638781413840 140639868426139 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16880] ppid=16818 vsize=14069564 CPUtime=3.48 cores=0,2,4,6
/proc/16821/task/16880/stat : 16880 (java) R 16818 16821 30500 0 -1 4202560 11129 12734 0 0 338 2 5 3 20 0 15 0 47465903 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638780340160 140639849930650 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16881] ppid=16818 vsize=14069564 CPUtime=3.39 cores=0,2,4,6
/proc/16821/task/16881/stat : 16881 (java) R 16818 16821 30500 0 -1 4202560 8213 12734 0 0 330 1 5 3 20 0 15 0 47465903 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638779290448 140639845915600 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16882] ppid=16818 vsize=14069564 CPUtime=1.83 cores=0,2,4,6
/proc/16821/task/16882/stat : 16882 (java) S 16818 16821 30500 0 -1 1077944384 9692 12734 0 0 174 1 5 3 20 0 15 0 47465903 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638778255344 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16883] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16883/stat : 16883 (java) S 16818 16821 30500 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 47465903 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638777203040 140639868417749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
[pid=16821/tid=16884] ppid=16818 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16821/task/16884/stat : 16884 (java) S 16818 16821 30500 0 -1 1077944384 621 12734 0 0 0 0 5 3 20 0 15 0 47465911 14407233536 97141 18446744073709551615 4194304 4196468 140734347186688 140638776151088 140639868418690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 9945088 140734347192275 140734347195060 140734347195060 140734347198415 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 14069564
[startup+6.90837 s]
/proc/loadavg: 1.81 1.65 1.63 4/218 16909
/proc/meminfo: memFree=30026200/32770624 swapFree=0/297772
[pid=16821] ppid=16818 vsize=0 CPUtime=15.09 cores=0,2,4,6
/proc/16821/stat : 16821 (java) Z 16818 16821 30500 0 -1 4227084 88919 12734 0 0 1475 26 5 3 20 0 1 0 47465874 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/16821/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 6.90854
CPU time (s): 15.1039
CPU user time (s): 14.8014
CPU system time (s): 0.302546
CPU usage (%): 218.627
Max. virtual memory (cumulated for all children) (KiB): 14071668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8014
system time used= 0.302546
maximum resident set size= 389104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7541
involuntary context switches= 791
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038824 second user time and 0.047451 second system time
The end