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-4247946-1500690976/watcher-4247946-1500690976 -o /tmp/evaluation-result-4247946-1500690976/solver-4247946-1500690976 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 228501637 HOME/instance-4247946-1500690976.xml
pid=10680
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.17 15.25 13.59 10/274 10683
/proc/meminfo: memFree=30577648/32770624 swapFree=5944/261944
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 15.17 15.25 13.59 10/274 10683
/proc/meminfo: memFree=30577648/32770624 swapFree=5944/261944
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200318 s]
/proc/loadavg: 15.17 15.25 13.59 10/274 10683
/proc/meminfo: memFree=30577648/32770624 swapFree=5944/261944
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300276 s]
/proc/loadavg: 15.17 15.25 13.59 10/274 10683
/proc/meminfo: memFree=30577648/32770624 swapFree=5944/261944
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70023 s]
/proc/loadavg: 15.17 15.25 13.59 10/274 10683
/proc/meminfo: memFree=30577648/32770624 swapFree=5944/261944
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50123 s]
/proc/loadavg: 14.92 15.19 13.58 11/295 10704
/proc/meminfo: memFree=30458912/32770624 swapFree=5944/262112
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
[pid=10684] ppid=10683 vsize=13269256 CPUtime=3.87 cores=4-7,12-15
/proc/10684/stat : 10684 (java) S 10683 10683 18810 0 -1 1077944320 34855 0 0 0 376 11 0 0 20 0 20 0 4364786 13587718144 35731 33554432000 4194304 4196468 140725616366192 140725616348736 140057142763255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
/proc/10684/statm: 3317314 35731 3206 1 0 3304547 0
[pid=10684/tid=10685] ppid=10683 vsize=13269256 CPUtime=1.46 cores=4-7,12-15
/proc/10684/task/10685/stat : 10685 (java) R 10683 10683 18810 0 -1 4202560 7086 0 0 0 142 4 0 0 20 0 20 0 4364787 13587718144 35731 33554432000 4194304 4196468 140725616366192 140057147000872 140057128831374 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10687] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10687/stat : 10687 (java) S 10683 10683 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 35731 33554432000 4194304 4196468 140725616366192 140057074899600 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10688] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10688/stat : 10688 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 35731 33554432000 4194304 4196468 140725616366192 140057073846800 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10689] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10689/stat : 10689 (java) S 10683 10683 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 35731 33554432000 4194304 4196468 140725616366192 140057072794000 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10690] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10690/stat : 10690 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 35731 33554432000 4194304 4196468 140725616366192 140056739154192 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10691] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10691/stat : 10691 (java) S 10683 10683 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 35731 33554432000 4194304 4196468 140725616366192 140056738102416 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10692] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10692/stat : 10692 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 35731 33554432000 4194304 4196468 140725616366192 140056737049616 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10693] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10693/stat : 10693 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 35731 33554432000 4194304 4196468 140725616366192 140056735996816 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10694] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10694/stat : 10694 (java) S 10683 10683 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 35731 33554432000 4194304 4196468 140725616366192 140056734944016 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10695] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10695/stat : 10695 (java) S 10683 10683 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4364790 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056672266608 140057142774402 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10696] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10696/stat : 10696 (java) S 10683 10683 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4364791 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056671212576 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10697] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10697/stat : 10697 (java) S 10683 10683 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4364791 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056670159728 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10698] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10698/stat : 10698 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364795 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056333379408 140057142781851 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10699] ppid=10683 vsize=13269256 CPUtime=0.75 cores=4-7,12-15
/proc/10684/task/10699/stat : 10699 (java) S 10683 10683 18810 0 -1 1077944384 9264 0 0 0 74 1 0 0 20 0 20 0 4364795 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056332327792 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10700] ppid=10683 vsize=13269256 CPUtime=0.6 cores=4-7,12-15
/proc/10684/task/10700/stat : 10700 (java) S 10683 10683 18810 0 -1 1077944384 6883 0 0 0 59 1 0 0 20 0 20 0 4364795 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056331274992 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10701] ppid=10683 vsize=13269256 CPUtime=0.61 cores=4-7,12-15
/proc/10684/task/10701/stat : 10701 (java) S 10683 10683 18810 0 -1 1077944384 6998 0 0 0 60 1 0 0 20 0 20 0 4364795 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056330222192 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10702] ppid=10683 vsize=13269256 CPUtime=0.39 cores=4-7,12-15
/proc/10684/task/10702/stat : 10702 (java) S 10683 10683 18810 0 -1 1077944384 3309 0 0 0 38 1 0 0 20 0 20 0 4364795 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056329169392 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10703] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10703/stat : 10703 (java) S 10683 10683 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4364796 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056328116832 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10704] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10704/stat : 10704 (java) S 10683 10683 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4364796 13587718144 36243 33554432000 4194304 4196468 140725616366192 140056327064112 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13278768
[startup+3.10084 s]
/proc/loadavg: 14.92 15.19 13.58 11/295 10704
/proc/meminfo: memFree=30408324/32770624 swapFree=5944/262112
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
[pid=10684] ppid=10683 vsize=13269256 CPUtime=5.92 cores=4-7,12-15
/proc/10684/stat : 10684 (java) S 10683 10683 18810 0 -1 1077944320 38170 0 0 0 579 13 0 0 20 0 20 0 4364786 13587718144 53461 33554432000 4194304 4196468 140725616366192 140725616348736 140057142763255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
/proc/10684/statm: 3317314 53461 3213 1 0 3304547 0
[pid=10684/tid=10685] ppid=10683 vsize=13269256 CPUtime=3.07 cores=4-7,12-15
/proc/10684/task/10685/stat : 10685 (java) R 10683 10683 18810 0 -1 4202560 9039 0 0 0 301 6 0 0 20 0 20 0 4364787 13587718144 53461 33554432000 4194304 4196468 140725616366192 140057146992968 140056755929052 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10687] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10687/stat : 10687 (java) S 10683 10683 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 53461 33554432000 4194304 4196468 140725616366192 140057074899600 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10688] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10688/stat : 10688 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 53461 33554432000 4194304 4196468 140725616366192 140057073846800 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10689] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10689/stat : 10689 (java) S 10683 10683 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 53461 33554432000 4194304 4196468 140725616366192 140057072794000 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10690] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10690/stat : 10690 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056739154192 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10691] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10691/stat : 10691 (java) S 10683 10683 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056738102416 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10692] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10692/stat : 10692 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056737049616 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10693] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10693/stat : 10693 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056735996816 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10694] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10694/stat : 10694 (java) S 10683 10683 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4364788 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056734944016 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10695] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10695/stat : 10695 (java) S 10683 10683 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4364790 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056672266608 140057142774402 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10696] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10696/stat : 10696 (java) S 10683 10683 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4364791 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056671212576 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10697] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10697/stat : 10697 (java) S 10683 10683 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4364791 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056670159728 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10698] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10698/stat : 10698 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364795 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056333379408 140057142781851 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10699] ppid=10683 vsize=13269256 CPUtime=0.79 cores=4-7,12-15
/proc/10684/task/10699/stat : 10699 (java) S 10683 10683 18810 0 -1 1077944384 9306 0 0 0 78 1 0 0 20 0 20 0 4364795 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056332327792 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10700] ppid=10683 vsize=13269256 CPUtime=0.9 cores=4-7,12-15
/proc/10684/task/10700/stat : 10700 (java) S 10683 10683 18810 0 -1 1077944384 7174 0 0 0 88 2 0 0 20 0 20 0 4364795 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056331274992 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10701] ppid=10683 vsize=13269256 CPUtime=0.65 cores=4-7,12-15
/proc/10684/task/10701/stat : 10701 (java) S 10683 10683 18810 0 -1 1077944384 7131 0 0 0 64 1 0 0 20 0 20 0 4364795 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056330222192 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10702] ppid=10683 vsize=13269256 CPUtime=0.46 cores=4-7,12-15
/proc/10684/task/10702/stat : 10702 (java) S 10683 10683 18810 0 -1 1077944384 4172 0 0 0 45 1 0 0 20 0 20 0 4364795 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056329169392 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10703] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10703/stat : 10703 (java) S 10683 10683 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4364796 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056328116832 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10704] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10704/stat : 10704 (java) S 10683 10683 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4364796 13587718144 53461 33554432000 4194304 4196468 140725616366192 140056327064112 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 13278768
[startup+6.30082 s]
/proc/loadavg: 14.92 15.19 13.58 10/295 10704
/proc/meminfo: memFree=30268568/32770624 swapFree=5944/262000
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
[pid=10684] ppid=10683 vsize=13269256 CPUtime=10.14 cores=4-7,12-15
/proc/10684/stat : 10684 (java) S 10683 10683 18810 0 -1 1077944320 41534 0 0 0 948 66 0 0 20 0 20 0 4364786 13587718144 79758 33554432000 4194304 4196468 140725616366192 140725616348736 140057142763255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
/proc/10684/statm: 3317314 79758 3244 1 0 3304547 0
[pid=10684/tid=10685] ppid=10683 vsize=13269256 CPUtime=6.17 cores=4-7,12-15
/proc/10684/task/10685/stat : 10685 (java) R 10683 10683 18810 0 -1 4202560 9191 0 0 0 611 6 0 0 20 0 20 0 4364787 13587718144 79758 33554432000 4194304 4196468 140725616366192 140057146997784 140056755960483 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10687] ppid=10683 vsize=13269256 CPUtime=0.08 cores=4-7,12-15
/proc/10684/task/10687/stat : 10687 (java) S 10683 10683 18810 0 -1 1077944384 91 0 0 0 2 6 0 0 20 0 20 0 4364788 13587718144 79758 33554432000 4194304 4196468 140725616366192 140057074899600 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10688] ppid=10683 vsize=13269256 CPUtime=0.09 cores=4-7,12-15
/proc/10684/task/10688/stat : 10688 (java) S 10683 10683 18810 0 -1 1077944384 171 0 0 0 3 6 0 0 20 0 20 0 4364788 13587718144 79758 33554432000 4194304 4196468 140725616366192 140057073846800 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10689] ppid=10683 vsize=13269256 CPUtime=0.08 cores=4-7,12-15
/proc/10684/task/10689/stat : 10689 (java) S 10683 10683 18810 0 -1 1077944384 63 0 0 0 2 6 0 0 20 0 20 0 4364788 13587718144 79758 33554432000 4194304 4196468 140725616366192 140057072794000 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10690] ppid=10683 vsize=13269256 CPUtime=0.08 cores=4-7,12-15
/proc/10684/task/10690/stat : 10690 (java) S 10683 10683 18810 0 -1 1077944384 67 0 0 0 2 6 0 0 20 0 20 0 4364788 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056739154192 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10691] ppid=10683 vsize=13269256 CPUtime=0.08 cores=4-7,12-15
/proc/10684/task/10691/stat : 10691 (java) S 10683 10683 18810 0 -1 1077944384 141 0 0 0 2 6 0 0 20 0 20 0 4364788 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056738102416 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10692] ppid=10683 vsize=13269256 CPUtime=0.08 cores=4-7,12-15
/proc/10684/task/10692/stat : 10692 (java) S 10683 10683 18810 0 -1 1077944384 74 0 0 0 2 6 0 0 20 0 20 0 4364788 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056737049616 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10693] ppid=10683 vsize=13269256 CPUtime=0.08 cores=4-7,12-15
/proc/10684/task/10693/stat : 10693 (java) S 10683 10683 18810 0 -1 1077944384 81 0 0 0 2 6 0 0 20 0 20 0 4364788 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056735996816 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10694] ppid=10683 vsize=13269256 CPUtime=0.08 cores=4-7,12-15
/proc/10684/task/10694/stat : 10694 (java) S 10683 10683 18810 0 -1 1077944384 55 0 0 0 2 6 0 0 20 0 20 0 4364788 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056734944016 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10695] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10695/stat : 10695 (java) S 10683 10683 18810 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 20 0 4364790 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056672266608 140057142774402 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10696] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10696/stat : 10696 (java) S 10683 10683 18810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4364791 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056671212576 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10697] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10697/stat : 10697 (java) S 10683 10683 18810 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4364791 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056670159728 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10698] ppid=10683 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10698/stat : 10698 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4364795 13587718144 79758 33554432000 4194304 4196468 140725616366192 140056333379408 140057142781851 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
################
# More data... #
################
[pid=10684/tid=10736] ppid=10683 vsize=13801768 CPUtime=109.81 cores=4-7,12-15
/proc/10684/task/10736/stat : 10736 (java) R 10683 10683 18810 0 -1 4202560 1905 0 0 0 10980 1 0 0 20 0 28 0 4375991 14133010432 453192 33554432000 4194304 4196468 140725616366192 140056317997016 140056760566033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10737] ppid=10683 vsize=13801768 CPUtime=109.09 cores=4-7,12-15
/proc/10684/task/10737/stat : 10737 (java) R 10683 10683 18810 0 -1 4202560 1842 0 0 0 10909 0 0 0 20 0 28 0 4375991 14133010432 453192 33554432000 4194304 4196468 140725616366192 140056314838920 140056761215515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
Current children cumulated CPU time (s) 1696.56
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.97 15.61 14.17 17/305 10868
/proc/meminfo: memFree=27605324/32770624 swapFree=5944/262332
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
[pid=10684] ppid=10683 vsize=13801768 CPUtime=2173.96 cores=4-7,12-15
/proc/10684/stat : 10684 (java) S 10683 10683 18810 0 -1 1077944320 154764 0 0 0 216909 487 0 0 20 0 28 0 4364786 14133010432 471164 33554432000 4194304 4196468 140725616366192 140725616348736 140057142763255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
/proc/10684/statm: 3450442 471164 3315 1 0 3437675 0
[pid=10684/tid=10685] ppid=10683 vsize=13801768 CPUtime=10.72 cores=4-7,12-15
/proc/10684/task/10685/stat : 10685 (java) S 10683 10683 18810 0 -1 1077944384 11840 0 0 0 1065 7 0 0 20 0 28 0 4364787 14133010432 471164 33554432000 4194304 4196468 140725616366192 140057147004032 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10687] ppid=10683 vsize=13801768 CPUtime=1.13 cores=4-7,12-15
/proc/10684/task/10687/stat : 10687 (java) S 10683 10683 18810 0 -1 1077944384 2464 0 0 0 65 48 0 0 20 0 28 0 4364788 14133010432 471164 33554432000 4194304 4196468 140725616366192 140057074899600 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10688] ppid=10683 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/10684/task/10688/stat : 10688 (java) S 10683 10683 18810 0 -1 1077944384 2227 0 0 0 64 52 0 0 20 0 28 0 4364788 14133010432 471164 33554432000 4194304 4196468 140725616366192 140057073846800 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10689] ppid=10683 vsize=13801768 CPUtime=1.18 cores=4-7,12-15
/proc/10684/task/10689/stat : 10689 (java) S 10683 10683 18810 0 -1 1077944384 2153 0 0 0 66 52 0 0 20 0 28 0 4364788 14133010432 471164 33554432000 4194304 4196468 140725616366192 140057072794000 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10690] ppid=10683 vsize=13801768 CPUtime=1.14 cores=4-7,12-15
/proc/10684/task/10690/stat : 10690 (java) S 10683 10683 18810 0 -1 1077944384 2103 0 0 0 63 51 0 0 20 0 28 0 4364788 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056739154192 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10691] ppid=10683 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/10684/task/10691/stat : 10691 (java) S 10683 10683 18810 0 -1 1077944384 2028 0 0 0 63 53 0 0 20 0 28 0 4364788 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056738102416 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10692] ppid=10683 vsize=13801768 CPUtime=1.11 cores=4-7,12-15
/proc/10684/task/10692/stat : 10692 (java) S 10683 10683 18810 0 -1 1077944384 1748 0 0 0 62 49 0 0 20 0 28 0 4364788 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056737049616 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10693] ppid=10683 vsize=13801768 CPUtime=1.13 cores=4-7,12-15
/proc/10684/task/10693/stat : 10693 (java) S 10683 10683 18810 0 -1 1077944384 1553 0 0 0 62 51 0 0 20 0 28 0 4364788 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056735996816 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10694] ppid=10683 vsize=13801768 CPUtime=1.13 cores=4-7,12-15
/proc/10684/task/10694/stat : 10694 (java) S 10683 10683 18810 0 -1 1077944384 1984 0 0 0 62 51 0 0 20 0 28 0 4364788 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056734944016 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10695] ppid=10683 vsize=13801768 CPUtime=0.24 cores=4-7,12-15
/proc/10684/task/10695/stat : 10695 (java) S 10683 10683 18810 0 -1 1077944384 5555 0 0 0 16 8 0 0 20 0 28 0 4364790 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056672266608 140057142774402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10696] ppid=10683 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10696/stat : 10696 (java) S 10683 10683 18810 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4364791 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056671212640 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10697] ppid=10683 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10697/stat : 10697 (java) S 10683 10683 18810 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 4364791 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056670159744 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10698] ppid=10683 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10698/stat : 10698 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4364795 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056333379408 140057142781851 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10699] ppid=10683 vsize=13801768 CPUtime=4.16 cores=4-7,12-15
/proc/10684/task/10699/stat : 10699 (java) S 10683 10683 18810 0 -1 1077944384 23807 0 0 0 413 3 0 0 20 0 28 0 4364795 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056332327792 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10700] ppid=10683 vsize=13801768 CPUtime=4.05 cores=4-7,12-15
/proc/10684/task/10700/stat : 10700 (java) S 10683 10683 18810 0 -1 1077944384 20651 0 0 0 401 4 0 0 20 0 28 0 4364795 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056331274992 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10701] ppid=10683 vsize=13801768 CPUtime=3.71 cores=4-7,12-15
/proc/10684/task/10701/stat : 10701 (java) S 10683 10683 18810 0 -1 1077944384 21532 0 0 0 367 4 0 0 20 0 28 0 4364795 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056330222192 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10702] ppid=10683 vsize=13801768 CPUtime=1.22 cores=4-7,12-15
/proc/10684/task/10702/stat : 10702 (java) S 10683 10683 18810 0 -1 1077944384 14496 0 0 0 119 3 0 0 20 0 28 0 4364795 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056329169392 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10703] ppid=10683 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10703/stat : 10703 (java) S 10683 10683 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4364796 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056328116832 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10704] ppid=10683 vsize=13801768 CPUtime=0.16 cores=4-7,12-15
/proc/10684/task/10704/stat : 10704 (java) S 10683 10683 18810 0 -1 1077944384 1923 0 0 0 5 11 0 0 20 0 28 0 4364796 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056327064112 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10730] ppid=10683 vsize=13801768 CPUtime=169.41 cores=4-7,12-15
/proc/10684/task/10730/stat : 10730 (java) R 10683 10683 18810 0 -1 4202560 2953 0 0 0 16940 1 0 0 20 0 28 0 4375991 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056311679784 140056759537863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10731] ppid=10683 vsize=13801768 CPUtime=169.35 cores=4-7,12-15
/proc/10684/task/10731/stat : 10731 (java) R 10683 10683 18810 0 -1 4202560 4492 0 0 0 16934 1 0 0 20 0 28 0 4375991 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056313788400 140056759739247 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10732] ppid=10683 vsize=13801768 CPUtime=169.57 cores=4-7,12-15
/proc/10684/task/10732/stat : 10732 (java) R 10683 10683 18810 0 -1 4202560 3021 0 0 0 16956 1 0 0 20 0 28 0 4375991 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056315892456 140056761165256 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10733] ppid=10683 vsize=13801768 CPUtime=168.67 cores=4-7,12-15
/proc/10684/task/10733/stat : 10733 (java) R 10683 10683 18810 0 -1 4202560 2250 0 0 0 16866 1 0 0 20 0 28 0 4375991 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056316944728 140056760565962 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10734] ppid=10683 vsize=13801768 CPUtime=169.62 cores=4-7,12-15
/proc/10684/task/10734/stat : 10734 (java) R 10683 10683 18810 0 -1 4202560 1986 0 0 0 16961 1 0 0 20 0 28 0 4375991 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056312733840 140056759739486 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10735] ppid=10683 vsize=13801768 CPUtime=167.51 cores=4-7,12-15
/proc/10684/task/10735/stat : 10735 (java) R 10683 10683 18810 0 -1 4202560 1765 0 0 0 16749 2 0 0 20 0 28 0 4375991 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056319049816 140056760565990 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10736] ppid=10683 vsize=13801768 CPUtime=169.45 cores=4-7,12-15
/proc/10684/task/10736/stat : 10736 (java) R 10683 10683 18810 0 -1 4202560 2535 0 0 0 16943 2 0 0 20 0 28 0 4375991 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056317997016 140056759739202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10737] ppid=10683 vsize=13801768 CPUtime=168.57 cores=4-7,12-15
/proc/10684/task/10737/stat : 10737 (java) R 10683 10683 18810 0 -1 4202560 1949 0 0 0 16856 1 0 0 20 0 28 0 4375991 14133010432 471164 33554432000 4194304 4196468 140725616366192 140056314838872 140056760723095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
Current children cumulated CPU time (s) 2173.96
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+310.802 s]
/proc/loadavg: 16.05 15.66 14.22 17/305 10869
/proc/meminfo: memFree=27774372/32770624 swapFree=5944/262356
[pid=10683] ppid=10680 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/10683/stat : 10683 (xcsp3-exec) S 10680 10683 18810 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4364786 9740288 345 33554432000 4194304 5098028 140728398339408 140728398337512 140662660534908 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 9576448 140728398341263 140728398341472 140728398341472 140728398344171 0
/proc/10683/statm: 2378 345 289 221 0 87 0
[pid=10684] ppid=10683 vsize=13801768 CPUtime=2400.77 cores=4-7,12-15
/proc/10684/stat : 10684 (java) S 10683 10683 18810 0 -1 1077944320 157933 0 0 0 239580 497 0 0 20 0 28 0 4364786 14133010432 477354 33554432000 4194304 4196468 140725616366192 140725616348736 140057142763255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
/proc/10684/statm: 3450442 477354 3315 1 0 3437675 0
[pid=10684/tid=10685] ppid=10683 vsize=13801768 CPUtime=10.72 cores=4-7,12-15
/proc/10684/task/10685/stat : 10685 (java) S 10683 10683 18810 0 -1 1077944384 11840 0 0 0 1065 7 0 0 20 0 28 0 4364787 14133010432 477354 33554432000 4194304 4196468 140725616366192 140057147004032 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10687] ppid=10683 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/10684/task/10687/stat : 10687 (java) S 10683 10683 18810 0 -1 1077944384 2837 0 0 0 67 49 0 0 20 0 28 0 4364788 14133010432 477354 33554432000 4194304 4196468 140725616366192 140057074899600 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10688] ppid=10683 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/10684/task/10688/stat : 10688 (java) S 10683 10683 18810 0 -1 1077944384 2300 0 0 0 66 53 0 0 20 0 28 0 4364788 14133010432 477354 33554432000 4194304 4196468 140725616366192 140057073846800 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10689] ppid=10683 vsize=13801768 CPUtime=1.21 cores=4-7,12-15
/proc/10684/task/10689/stat : 10689 (java) S 10683 10683 18810 0 -1 1077944384 2251 0 0 0 68 53 0 0 20 0 28 0 4364788 14133010432 477354 33554432000 4194304 4196468 140725616366192 140057072794000 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10690] ppid=10683 vsize=13801768 CPUtime=1.17 cores=4-7,12-15
/proc/10684/task/10690/stat : 10690 (java) S 10683 10683 18810 0 -1 1077944384 2227 0 0 0 65 52 0 0 20 0 28 0 4364788 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056739154192 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10691] ppid=10683 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/10684/task/10691/stat : 10691 (java) S 10683 10683 18810 0 -1 1077944384 2063 0 0 0 65 54 0 0 20 0 28 0 4364788 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056738102416 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10692] ppid=10683 vsize=13801768 CPUtime=1.14 cores=4-7,12-15
/proc/10684/task/10692/stat : 10692 (java) S 10683 10683 18810 0 -1 1077944384 2025 0 0 0 64 50 0 0 20 0 28 0 4364788 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056737049616 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10693] ppid=10683 vsize=13801768 CPUtime=1.14 cores=4-7,12-15
/proc/10684/task/10693/stat : 10693 (java) S 10683 10683 18810 0 -1 1077944384 1605 0 0 0 63 51 0 0 20 0 28 0 4364788 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056735996816 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10694] ppid=10683 vsize=13801768 CPUtime=1.15 cores=4-7,12-15
/proc/10684/task/10694/stat : 10694 (java) S 10683 10683 18810 0 -1 1077944384 2016 0 0 0 63 52 0 0 20 0 28 0 4364788 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056734944016 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10695] ppid=10683 vsize=13801768 CPUtime=0.26 cores=4-7,12-15
/proc/10684/task/10695/stat : 10695 (java) S 10683 10683 18810 0 -1 1077944384 5868 0 0 0 17 9 0 0 20 0 28 0 4364790 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056672266608 140057142774402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10696] ppid=10683 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10696/stat : 10696 (java) S 10683 10683 18810 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4364791 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056671212640 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10697] ppid=10683 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10697/stat : 10697 (java) S 10683 10683 18810 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 4364791 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056670159744 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10698] ppid=10683 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10698/stat : 10698 (java) S 10683 10683 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4364795 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056333379408 140057142781851 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10699] ppid=10683 vsize=13801768 CPUtime=4.18 cores=4-7,12-15
/proc/10684/task/10699/stat : 10699 (java) S 10683 10683 18810 0 -1 1077944384 24047 0 0 0 415 3 0 0 20 0 28 0 4364795 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056332327792 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10700] ppid=10683 vsize=13801768 CPUtime=4.06 cores=4-7,12-15
/proc/10684/task/10700/stat : 10700 (java) S 10683 10683 18810 0 -1 1077944384 20740 0 0 0 402 4 0 0 20 0 28 0 4364795 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056331274992 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10701] ppid=10683 vsize=13801768 CPUtime=3.71 cores=4-7,12-15
/proc/10684/task/10701/stat : 10701 (java) S 10683 10683 18810 0 -1 1077944384 21535 0 0 0 367 4 0 0 20 0 28 0 4364795 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056330222192 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10702] ppid=10683 vsize=13801768 CPUtime=1.22 cores=4-7,12-15
/proc/10684/task/10702/stat : 10702 (java) S 10683 10683 18810 0 -1 1077944384 14498 0 0 0 119 3 0 0 20 0 28 0 4364795 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056329169392 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10703] ppid=10683 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/10684/task/10703/stat : 10703 (java) S 10683 10683 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4364796 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056328116832 140057142773461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10704] ppid=10683 vsize=13801768 CPUtime=0.18 cores=4-7,12-15
/proc/10684/task/10704/stat : 10704 (java) S 10683 10683 18810 0 -1 1077944384 2003 0 0 0 6 12 0 0 20 0 28 0 4364796 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056327064112 140057142774402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10730] ppid=10683 vsize=13801768 CPUtime=197.85 cores=4-7,12-15
/proc/10684/task/10730/stat : 10730 (java) R 10683 10683 18810 0 -1 4202560 3125 0 0 0 19784 1 0 0 20 0 28 0 4375991 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056311684232 140056761080496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10731] ppid=10683 vsize=13801768 CPUtime=197.76 cores=4-7,12-15
/proc/10684/task/10731/stat : 10731 (java) R 10683 10683 18810 0 -1 4202560 4712 0 0 0 19775 1 0 0 20 0 28 0 4375991 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056313790472 140056761451519 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10732] ppid=10683 vsize=13801768 CPUtime=198 cores=4-7,12-15
/proc/10684/task/10732/stat : 10732 (java) R 10683 10683 18810 0 -1 4202560 3351 0 0 0 19799 1 0 0 20 0 28 0 4375991 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056315896712 140056761744907 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10733] ppid=10683 vsize=13801768 CPUtime=196.58 cores=4-7,12-15
/proc/10684/task/10733/stat : 10733 (java) R 10683 10683 18810 0 -1 4202560 2333 0 0 0 19657 1 0 0 20 0 28 0 4375991 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056316944728 140056760565962 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10734] ppid=10683 vsize=13801768 CPUtime=198.06 cores=4-7,12-15
/proc/10684/task/10734/stat : 10734 (java) R 10683 10683 18810 0 -1 4202560 2075 0 0 0 19805 1 0 0 20 0 28 0 4375991 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056312737872 140056763232416 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10735] ppid=10683 vsize=13801768 CPUtime=195.65 cores=4-7,12-15
/proc/10684/task/10735/stat : 10735 (java) R 10683 10683 18810 0 -1 4202560 1832 0 0 0 19563 2 0 0 20 0 28 0 4375991 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056319054344 140056760565957 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10736] ppid=10683 vsize=13801768 CPUtime=197.83 cores=4-7,12-15
/proc/10684/task/10736/stat : 10736 (java) R 10683 10683 18810 0 -1 4202560 2775 0 0 0 19781 2 0 0 20 0 28 0 4375991 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056318001544 140056761504217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
[pid=10684/tid=10737] ppid=10683 vsize=13801768 CPUtime=196.95 cores=4-7,12-15
/proc/10684/task/10737/stat : 10737 (java) R 10683 10683 18810 0 -1 4202560 2126 0 0 0 19694 1 0 0 20 0 28 0 4375991 14133010432 477354 33554432000 4194304 4196468 140725616366192 140056314843400 140056760565990 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140725616374972 140725616375148 140725616375148 140725616377807 0
Current children cumulated CPU time (s) 2400.77
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10684 sig 9
??? kill 10683 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10683 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1892
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=946
# CPU time returned by wait4() is 0.002838
# while last known CPU time is 2400.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 310.812
CPU time (s): 2400.77
CPU user time (s): 2395.8
CPU system time (s): 4.97
CPU usage (%): 772.418
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001892
system time used= 0.000946
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82511 second user time and 4.70253 second system time
The end