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-4248438-1500716544/watcher-4248438-1500716544 -o /tmp/evaluation-result-4248438-1500716544/solver-4248438-1500716544 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500709764-19674 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1338393604 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248438-1500716544.xml
pid=20776
running on 8 cores: 0,2,4,6,8,10,12,14
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.36 1.38 1.48 5/261 20779
/proc/meminfo: memFree=28740936/32770624 swapFree=6564/148824
[pid=20779] ppid=20776 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 1719 0 0 0 0 0 0 0 20 0 2 0 6919364 369864704 1925 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 90299 1925 1072 1 0 79210 0
[pid=20779/tid=20780] ppid=20776 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) S 20776 20779 19643 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6919365 369864704 1925 33554432000 4194304 4196468 140729954381120 139697723562400 139697719331458 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[startup+0.100123 s]
/proc/loadavg: 1.36 1.38 1.48 5/261 20779
/proc/meminfo: memFree=28740936/32770624 swapFree=6564/148824
[pid=20779] ppid=20776 vsize=13264380 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 5638 0 0 0 8 2 0 0 20 0 20 0 6919364 13582725120 6224 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3316095 6224 3191 1 0 3303815 0
[pid=20779/tid=20780] ppid=20776 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 3737 0 0 0 7 1 0 0 20 0 20 0 6919365 13582725120 6224 33554432000 4194304 4196468 140729954381120 139697723562592 139697675955779 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380
[startup+0.200351 s]
/proc/loadavg: 1.36 1.38 1.48 5/261 20779
/proc/meminfo: memFree=28740936/32770624 swapFree=6564/148824
[pid=20779] ppid=20776 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 8895 0 0 0 23 2 0 0 20 0 20 0 6919364 13582245888 8822 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3315978 8822 3511 1 0 3303698 0
[pid=20779/tid=20780] ppid=20776 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 6599 0 0 0 16 2 0 0 20 0 20 0 6919365 13582245888 8822 33554432000 4194304 4196468 140729954381120 139697723548688 139697719342237 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300308 s]
/proc/loadavg: 1.36 1.38 1.48 5/261 20779
/proc/meminfo: memFree=28740936/32770624 swapFree=6564/148824
[pid=20779] ppid=20776 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 9922 0 0 0 39 3 0 0 20 0 20 0 6919364 13582245888 11266 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3315978 11266 3667 1 0 3303698 0
[pid=20779/tid=20780] ppid=20776 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 7319 0 0 0 25 2 0 0 20 0 20 0 6919365 13582245888 11278 33554432000 4194304 4196468 140729954381120 139697723542560 139697703363941 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700228 s]
/proc/loadavg: 1.36 1.38 1.48 5/261 20779
/proc/meminfo: memFree=28740936/32770624 swapFree=6564/148824
[pid=20779] ppid=20776 vsize=13268028 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 12794 0 0 0 103 4 0 0 20 0 20 0 6919364 13586460672 18573 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3317007 18573 3743 1 0 3304722 0
[pid=20779/tid=20780] ppid=20776 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 9368 0 0 0 64 3 0 0 20 0 20 0 6919365 13586460672 18573 33554432000 4194304 4196468 140729954381120 139697723549520 139697719342141 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 13268028
[startup+1.50075 s]
/proc/loadavg: 1.41 1.39 1.48 3/281 20799
/proc/meminfo: memFree=28644400/32770624 swapFree=6564/148888
[pid=20779] ppid=20776 vsize=13268028 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 18985 0 0 0 252 6 0 0 20 0 20 0 6919364 13586460672 34504 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3317007 34504 3778 1 0 3304722 0
[pid=20779/tid=20780] ppid=20776 vsize=13268028 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 10704 0 0 0 142 4 0 0 20 0 20 0 6919365 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697723556328 139697320921100 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20782] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20782/stat : 20782 (java) S 20776 20779 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697637800720 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20783] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20783/stat : 20783 (java) S 20776 20779 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697317735312 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20784] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20784/stat : 20784 (java) S 20776 20779 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697316682768 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20785] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20785/stat : 20785 (java) S 20776 20779 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697315630224 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20786] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20786/stat : 20786 (java) S 20776 20779 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697314576656 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20787] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20787/stat : 20787 (java) S 20776 20779 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697313524112 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20788] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20788/stat : 20788 (java) S 20776 20779 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697312471568 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20789] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20789/stat : 20789 (java) S 20776 20779 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697311419024 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20790] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20790/stat : 20790 (java) S 20776 20779 19643 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 6919368 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697182685680 139697719331458 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20791] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20791/stat : 20791 (java) S 20776 20779 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697181631904 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20792] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20792/stat : 20792 (java) S 20776 20779 19643 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697180579312 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20793] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20793/stat : 20793 (java) S 20776 20779 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6919373 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697179527888 139697719338907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20794] ppid=20776 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20794/stat : 20794 (java) S 20776 20779 19643 0 -1 1077944384 1680 0 0 0 26 0 0 0 20 0 20 0 6919373 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697178474480 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20795] ppid=20776 vsize=13268028 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20795/stat : 20795 (java) S 20776 20779 19643 0 -1 1077944384 1670 0 0 0 29 0 0 0 20 0 20 0 6919373 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697177421936 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20796] ppid=20776 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20796/stat : 20796 (java) S 20776 20779 19643 0 -1 1077944384 1661 0 0 0 26 0 0 0 20 0 20 0 6919373 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697176369392 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20797] ppid=20776 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20797/stat : 20797 (java) S 20776 20779 19643 0 -1 1077944384 1868 0 0 0 26 0 0 0 20 0 20 0 6919373 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697175316848 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20798] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20798/stat : 20798 (java) S 20776 20779 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697174264544 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20799] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20799/stat : 20799 (java) S 20776 20779 19643 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 34504 33554432000 4194304 4196468 140729954381120 139697173212080 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 13268028
[startup+3.10071 s]
/proc/loadavg: 1.41 1.39 1.48 3/281 20799
/proc/meminfo: memFree=28578080/32770624 swapFree=6564/148888
[pid=20779] ppid=20776 vsize=13268028 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 21411 0 0 0 416 8 0 0 20 0 20 0 6919364 13586460672 49916 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3317007 49916 3800 1 0 3304722 0
[pid=20779/tid=20780] ppid=20776 vsize=13268028 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 10952 0 0 0 301 5 0 0 20 0 20 0 6919365 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697723550080 139697320923678 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20782] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20782/stat : 20782 (java) S 20776 20779 19643 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697637800720 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20783] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20783/stat : 20783 (java) S 20776 20779 19643 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697317735312 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20784] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20784/stat : 20784 (java) S 20776 20779 19643 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697316682768 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20785] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20785/stat : 20785 (java) S 20776 20779 19643 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697315630224 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20786] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20786/stat : 20786 (java) S 20776 20779 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697314576656 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20787] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20787/stat : 20787 (java) S 20776 20779 19643 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697313524112 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20788] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20788/stat : 20788 (java) S 20776 20779 19643 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697312471568 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20789] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20789/stat : 20789 (java) S 20776 20779 19643 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697311419024 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20790] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20790/stat : 20790 (java) S 20776 20779 19643 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 6919368 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697182685680 139697719331458 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20791] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20791/stat : 20791 (java) S 20776 20779 19643 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697181631968 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20792] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20792/stat : 20792 (java) S 20776 20779 19643 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697180579328 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20793] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20793/stat : 20793 (java) S 20776 20779 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697179527888 139697719338907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20794] ppid=20776 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20794/stat : 20794 (java) S 20776 20779 19643 0 -1 1077944384 1825 0 0 0 27 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697178474480 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20795] ppid=20776 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20795/stat : 20795 (java) S 20776 20779 19643 0 -1 1077944384 1726 0 0 0 30 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697177421936 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20796] ppid=20776 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20796/stat : 20796 (java) S 20776 20779 19643 0 -1 1077944384 1669 0 0 0 26 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697176369392 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20797] ppid=20776 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20797/stat : 20797 (java) S 20776 20779 19643 0 -1 1077944384 2858 0 0 0 27 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697175316848 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20798] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20798/stat : 20798 (java) S 20776 20779 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697174264544 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20799] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20799/stat : 20799 (java) S 20776 20779 19643 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697173212080 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13268028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20779 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 1.41 1.39 1.48 3/281 20799
/proc/meminfo: memFree=28578080/32770624 swapFree=6564/148888
[pid=20779] ppid=20776 vsize=13268028 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 21413 0 0 0 426 8 0 0 20 0 20 0 6919364 13586460672 49916 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3317007 49916 3800 1 0 3304722 0
[pid=20779/tid=20780] ppid=20776 vsize=13268028 CPUtime=3.16 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 10954 0 0 0 311 5 0 0 20 0 20 0 6919365 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697723550080 139697321058381 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20782] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20782/stat : 20782 (java) S 20776 20779 19643 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697637800720 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20783] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20783/stat : 20783 (java) S 20776 20779 19643 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697317735312 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20784] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20784/stat : 20784 (java) S 20776 20779 19643 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697316682768 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20785] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20785/stat : 20785 (java) S 20776 20779 19643 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697315630224 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20786] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20786/stat : 20786 (java) S 20776 20779 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697314576656 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20787] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20787/stat : 20787 (java) S 20776 20779 19643 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697313524112 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20788] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20788/stat : 20788 (java) S 20776 20779 19643 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697312471568 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20789] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20789/stat : 20789 (java) S 20776 20779 19643 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697311419024 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20790] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20790/stat : 20790 (java) S 20776 20779 19643 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 6919368 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697182685680 139697719331458 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20791] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20791/stat : 20791 (java) S 20776 20779 19643 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697181631968 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20792] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20792/stat : 20792 (java) S 20776 20779 19643 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697180579328 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20793] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20793/stat : 20793 (java) S 20776 20779 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697179527888 139697719338907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20794] ppid=20776 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20794/stat : 20794 (java) S 20776 20779 19643 0 -1 1077944384 1825 0 0 0 27 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697178474480 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20795] ppid=20776 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20795/stat : 20795 (java) S 20776 20779 19643 0 -1 1077944384 1726 0 0 0 30 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697177421936 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20796] ppid=20776 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20796/stat : 20796 (java) S 20776 20779 19643 0 -1 1077944384 1669 0 0 0 26 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697176369392 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20797] ppid=20776 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20797/stat : 20797 (java) S 20776 20779 19643 0 -1 1077944384 2858 0 0 0 27 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697175316848 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20798] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20798/stat : 20798 (java) S 20776 20779 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697174264544 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20799] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20799/stat : 20799 (java) S 20776 20779 19643 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697173212080 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 13268028
[startup+4.00067 s]
/proc/loadavg: 1.41 1.39 1.48 3/281 20799
/proc/meminfo: memFree=28557228/32770624 swapFree=6564/148888
[pid=20779] ppid=20776 vsize=13268028 CPUtime=5.14 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 21447 0 0 0 506 8 0 0 20 0 20 0 6919364 13586460672 49916 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3317007 49916 3800 1 0 3304722 0
[pid=20779/tid=20780] ppid=20776 vsize=13268028 CPUtime=3.96 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 10979 0 0 0 391 5 0 0 20 0 20 0 6919365 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697723550080 139697320921564 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20782] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20782/stat : 20782 (java) S 20776 20779 19643 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697637800720 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20783] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20783/stat : 20783 (java) S 20776 20779 19643 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697317735312 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20784] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20784/stat : 20784 (java) S 20776 20779 19643 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697316682768 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20785] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20785/stat : 20785 (java) S 20776 20779 19643 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697315630224 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20786] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20786/stat : 20786 (java) S 20776 20779 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697314576656 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20787] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20787/stat : 20787 (java) S 20776 20779 19643 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697313524112 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20788] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20788/stat : 20788 (java) S 20776 20779 19643 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697312471568 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20789] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20789/stat : 20789 (java) S 20776 20779 19643 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697311419024 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20790] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20790/stat : 20790 (java) S 20776 20779 19643 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 6919368 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697182685680 139697719331458 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20791] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20791/stat : 20791 (java) S 20776 20779 19643 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697181631968 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20792] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20792/stat : 20792 (java) S 20776 20779 19643 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697180579328 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20793] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20793/stat : 20793 (java) S 20776 20779 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697179527888 139697719338907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20794] ppid=20776 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20794/stat : 20794 (java) S 20776 20779 19643 0 -1 1077944384 1825 0 0 0 27 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697178474480 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20795] ppid=20776 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20795/stat : 20795 (java) S 20776 20779 19643 0 -1 1077944384 1726 0 0 0 30 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697177421936 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20796] ppid=20776 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20796/stat : 20796 (java) S 20776 20779 19643 0 -1 1077944384 1669 0 0 0 26 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697176369392 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20797] ppid=20776 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20797/stat : 20797 (java) S 20776 20779 19643 0 -1 1077944384 2866 0 0 0 27 0 0 0 20 0 20 0 6919373 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697175316848 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20798] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20798/stat : 20798 (java) S 20776 20779 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697174264544 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20799] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20799/stat : 20799 (java) S 20776 20779 19643 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 49916 33554432000 4194304 4196468 140729954381120 139697173212080 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 13268028
[startup+4.80067 s]
/proc/loadavg: 1.41 1.39 1.48 3/281 20799
/proc/meminfo: memFree=28557228/32770624 swapFree=6564/148888
[pid=20779] ppid=20776 vsize=13268028 CPUtime=5.95 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) S 20776 20779 19643 0 -1 1077944320 21481 0 0 0 586 9 0 0 20 0 20 0 6919364 13586460672 50940 33554432000 4194304 4196468 140729954381120 140729954363664 139697719320311 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
/proc/20779/statm: 3317007 50940 3800 1 0 3304722 0
[pid=20779/tid=20780] ppid=20776 vsize=13268028 CPUtime=4.76 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20780/stat : 20780 (java) R 20776 20779 19643 0 -1 4202560 10985 0 0 0 471 5 0 0 20 0 20 0 6919365 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697723558936 139697320923063 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20782] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20782/stat : 20782 (java) S 20776 20779 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697637800720 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20783] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20783/stat : 20783 (java) S 20776 20779 19643 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697317735312 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20784] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20784/stat : 20784 (java) S 20776 20779 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697316682768 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20785] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20785/stat : 20785 (java) S 20776 20779 19643 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697315630224 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20786] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20786/stat : 20786 (java) S 20776 20779 19643 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697314576656 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20787] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20787/stat : 20787 (java) S 20776 20779 19643 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697313524112 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20788] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20788/stat : 20788 (java) S 20776 20779 19643 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697312471568 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20789] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20789/stat : 20789 (java) S 20776 20779 19643 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 6919366 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697311419024 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20790] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20790/stat : 20790 (java) S 20776 20779 19643 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 6919368 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697182685680 139697719331458 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20791] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20791/stat : 20791 (java) S 20776 20779 19643 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697181631968 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20792] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20792/stat : 20792 (java) S 20776 20779 19643 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6919369 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697180579328 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20793] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20793/stat : 20793 (java) S 20776 20779 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6919373 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697179527888 139697719338907 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20794] ppid=20776 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20794/stat : 20794 (java) S 20776 20779 19643 0 -1 1077944384 1825 0 0 0 27 0 0 0 20 0 20 0 6919373 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697178474480 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20795] ppid=20776 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20795/stat : 20795 (java) S 20776 20779 19643 0 -1 1077944384 1726 0 0 0 30 0 0 0 20 0 20 0 6919373 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697177421936 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20796] ppid=20776 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20796/stat : 20796 (java) S 20776 20779 19643 0 -1 1077944384 1669 0 0 0 26 0 0 0 20 0 20 0 6919373 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697176369392 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20797] ppid=20776 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20797/stat : 20797 (java) S 20776 20779 19643 0 -1 1077944384 2866 0 0 0 27 0 0 0 20 0 20 0 6919373 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697175316848 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20798] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20798/stat : 20798 (java) S 20776 20779 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697174264544 139697719330517 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
[pid=20779/tid=20799] ppid=20776 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20799/stat : 20799 (java) S 20776 20779 19643 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6919374 13586460672 50940 33554432000 4194304 4196468 140729954381120 139697173212080 139697719331458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140729954382989 140729954383172 140729954383172 140729954385871 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 13268028
[startup+5.00073 s]
/proc/loadavg: 1.41 1.39 1.48 3/281 20799
/proc/meminfo: memFree=28557228/32770624 swapFree=6564/148888
[pid=20779] ppid=20776 vsize=0 CPUtime=6.07 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) Z 20776 20779 19643 0 -1 4227084 21862 0 0 0 597 10 0 0 20 0 2 0 6919364 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/20779/statm: 0 0 0 0 0 0 0
[pid=20779/tid=20784] ppid=20776 vsize=0 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20784/stat : 20784 (java) D 20776 20779 19643 0 -1 4203588 41 0 0 0 0 0 0 0 20 0 2 0 6919366 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 0
[startup+5.10056 s]
/proc/loadavg: 1.41 1.39 1.48 3/281 20799
/proc/meminfo: memFree=28557228/32770624 swapFree=6564/148888
[pid=20779] ppid=20776 vsize=0 CPUtime=6.07 cores=0,2,4,6,8,10,12,14
/proc/20779/stat : 20779 (java) Z 20776 20779 19643 0 -1 4227084 21862 0 0 0 597 10 0 0 20 0 2 0 6919364 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/20779/statm: 0 0 0 0 0 0 0
[pid=20779/tid=20784] ppid=20776 vsize=0 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20779/task/20784/stat : 20784 (java) D 20776 20779 19643 0 -1 4203588 41 0 0 0 0 0 0 0 20 0 2 0 6919366 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 5.18388
CPU time (s): 6.08298
CPU user time (s): 5.97815
CPU system time (s): 0.104826
CPU usage (%): 117.344
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.97815
system time used= 0.104826
maximum resident set size= 204276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2688
involuntary context switches= 404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037483 second user time and 0.041052 second system time
The end