runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9695 MiB free)
memory of node 1: 16384 MiB (10033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292201-1532538716/watcher-4292201-1532538716 -o /tmp/evaluation-result-4292201-1532538716/solver-4292201-1532538716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27753 --watchdog 2560 HOME/xcsp3-exec -seed 1500566873 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292201-1532538716.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30778, runsolver pid=30775
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.02 1.94 1.83 3/218 30794
/proc/meminfo: memFree=20185276/32770624 swapFree=67108860/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71434838 115843072 363 33554432000 4194304 5098028 140734589881744 140734589879848 140516023399036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33038336 140734589887546 140734589887748 140734589887748 140734589890506 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14082840 memory=28696 CPUtime=0.11 cores=0,2,4,6
/proc/30780/stat : 30780 (java) S 30778 30778 27722 0 -1 1077944320 5591 0 0 0 10 1 0 0 20 0 15 0 71434839 14420828160 7174 33554432000 4194304 4196468 140720820740608 140720820723152 140283303284471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
/proc/30780/statm: 3520710 7174 2971 1 0 3483008 0
[pid=30780/tid=30781] ppid=30778 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=0,2,4,6
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 27722 0 -1 4202560 3613 0 0 0 8 1 0 0 20 0 15 0 71434839 14420828160 7174 33554432000 4194304 4196468 140720820740608 140283307517744 140283286635537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30782] ppid=30778 vsize=14082840 memory=3472468038022964432 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14420828160 7174 33554432000 4194304 4196468 140720820740608 140283233372816 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30783] ppid=30778 vsize=14082840 memory=139909127812736 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14420828160 7174 33554432000 4194304 4196468 140720820740608 140283232320016 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30784] ppid=30778 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14420828160 7174 33554432000 4194304 4196468 140720820740608 140283231267216 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30785] ppid=30778 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71434840 14420828160 7174 33554432000 4194304 4196468 140720820740608 140283230214416 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30786] ppid=30778 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71434841 14420828160 7174 33554432000 4194304 4196468 140720820740608 140282777152368 140283303295618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30787] ppid=30778 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71434842 14420828160 7174 33554432000 4194304 4196468 140720820740608 140282776098336 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30788] ppid=30778 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71434842 14420828160 7174 33554432000 4194304 4196468 140720820740608 140282775045488 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30789] ppid=30778 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14420828160 7174 33554432000 4194304 4196468 140720820740608 140282773993808 140283303303067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30790] ppid=30778 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30790/stat : 30790 (java) R 30778 30778 27722 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 71434844 14420828160 7174 33554432000 4194304 4196468 140720820740608 140282772941168 140283303295618 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30791] ppid=30778 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 27722 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 71434844 14420828160 7239 33554432000 4194304 4196468 140720820740608 140282771888368 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30792] ppid=30778 vsize=14082840 memory=139909127812736 CPUtime=0.01 cores=0,2,4,6
/proc/30780/task/30792/stat : 30792 (java) R 30778 30778 27722 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 71434844 14420828160 7239 33554432000 4194304 4196468 140720820740608 140282770835568 140283284522032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30793] ppid=30778 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14420828160 7239 33554432000 4194304 4196468 140720820740608 140282769783008 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30794] ppid=30778 vsize=14082840 memory=139909127812736 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434845 14420828160 7239 33554432000 4194304 4196468 140720820740608 140282768731312 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30148 KiB
[startup+0.21085 s]*
/proc/loadavg: 2.02 1.94 1.83 4/218 30794
/proc/meminfo: memFree=20174608/32770624 swapFree=67108860/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71434838 115843072 363 33554432000 4194304 5098028 140734589881744 140734589879848 140516023399036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33038336 140734589887546 140734589887748 140734589887748 140734589890506 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14084956 memory=41136 CPUtime=0.33 cores=0,2,4,6
/proc/30780/stat : 30780 (java) S 30778 30778 27722 0 -1 1077944320 8308 0 0 0 31 2 0 0 20 0 15 0 71434839 14422994944 10281 33554432000 4194304 4196468 140720820740608 140720820723152 140283303284471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
/proc/30780/statm: 3521774 10284 3181 1 0 3483008 0
[pid=30780/tid=30781] ppid=30778 vsize=14087096 memory=5854525152722518177 CPUtime=0.19 cores=0,2,4,6
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 27722 0 -1 4202560 5457 0 0 0 18 1 0 0 20 0 15 0 71434839 14425186304 10284 33554432000 4194304 4196468 140720820740608 140283307505464 140283287364958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30782] ppid=30778 vsize=14087096 memory=3472468038022964432 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14425186304 10284 33554432000 4194304 4196468 140720820740608 140283233372816 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30783] ppid=30778 vsize=14087096 memory=139909127812736 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14425186304 10284 33554432000 4194304 4196468 140720820740608 140283232320016 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30784] ppid=30778 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14425186304 10284 33554432000 4194304 4196468 140720820740608 140283231267216 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30785] ppid=30778 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71434840 14425186304 10284 33554432000 4194304 4196468 140720820740608 140283230214416 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30786] ppid=30778 vsize=14087096 memory=139909127812736 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71434841 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282777152368 140283303295618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30787] ppid=30778 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71434842 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282776098336 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30788] ppid=30778 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71434842 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282775045488 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30789] ppid=30778 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282773993808 140283303303067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30790] ppid=30778 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 27722 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 71434844 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282772941168 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30791] ppid=30778 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 27722 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 71434844 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282771888368 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30792] ppid=30778 vsize=14087096 memory=139909127812736 CPUtime=0.07 cores=0,2,4,6
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 27722 0 -1 1077944384 766 0 0 0 7 0 0 0 20 0 15 0 71434844 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282770835568 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30793] ppid=30778 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282769783008 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30794] ppid=30778 vsize=14087096 memory=139909127812736 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434845 14425186304 10284 33554432000 4194304 4196468 140720820740608 140282768731312 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14198084 KiB
Current children cumulated memory: 42588 KiB
[startup+0.310896 s]*
/proc/loadavg: 2.02 1.94 1.83 3/218 30794
/proc/meminfo: memFree=20168372/32770624 swapFree=67108860/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71434838 115843072 363 33554432000 4194304 5098028 140734589881744 140734589879848 140516023399036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33038336 140734589887546 140734589887748 140734589887748 140734589890506 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14087096 memory=48104 CPUtime=0.5 cores=0,2,4,6
/proc/30780/stat : 30780 (java) S 30778 30778 27722 0 -1 1077944320 9121 0 0 0 47 3 0 0 20 0 15 0 71434839 14425186304 12026 33554432000 4194304 4196468 140720820740608 140720820723152 140283303284471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
/proc/30780/statm: 3521774 12026 3239 1 0 3483008 0
[pid=30780/tid=30781] ppid=30778 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=0,2,4,6
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 27722 0 -1 4202560 6158 0 0 0 27 2 0 0 20 0 15 0 71434839 14425186304 12026 33554432000 4194304 4196468 140720820740608 140283307515584 140283303296406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30782] ppid=30778 vsize=14087096 memory=3472468038022964432 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14425186304 12026 33554432000 4194304 4196468 140720820740608 140283233372816 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30783] ppid=30778 vsize=14087096 memory=139909127812736 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14425186304 12026 33554432000 4194304 4196468 140720820740608 140283232320016 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30784] ppid=30778 vsize=14087096 memory=9 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14425186304 12026 33554432000 4194304 4196468 140720820740608 140283231267216 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30785] ppid=30778 vsize=14087096 memory=139909029570591 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71434840 14425186304 12026 33554432000 4194304 4196468 140720820740608 140283230214416 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30786] ppid=30778 vsize=14087096 memory=279818059101952 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71434841 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282777152368 140283303295618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30787] ppid=30778 vsize=14087096 memory=139909029547535 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71434842 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282776098336 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30788] ppid=30778 vsize=14087096 memory=279818157369440 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71434842 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282775045488 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30789] ppid=30778 vsize=14087096 memory=139909029552143 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282773993808 140283303303067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30790] ppid=30778 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30780/task/30790/stat : 30790 (java) S 30778 30778 27722 0 -1 1077944384 397 0 0 0 3 0 0 0 20 0 15 0 71434844 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282772941168 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30791] ppid=30778 vsize=14087096 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30780/task/30791/stat : 30791 (java) S 30778 30778 27722 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 15 0 71434844 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282771888368 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30792] ppid=30778 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30780/task/30792/stat : 30792 (java) R 30778 30778 27722 0 -1 4202560 835 0 0 0 12 0 0 0 20 0 15 0 71434844 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282770835568 140283303296406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30793] ppid=30778 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282769783008 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30794] ppid=30778 vsize=14087096 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434845 14425186304 12026 33554432000 4194304 4196468 140720820740608 140282768731312 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49556 KiB
[startup+0.700839 s]
/proc/loadavg: 2.02 1.94 1.83 6/218 30794
/proc/meminfo: memFree=20154908/32770624 swapFree=67108860/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71434838 115843072 363 33554432000 4194304 5098028 140734589881744 140734589879848 140516023399036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33038336 140734589887546 140734589887748 140734589887748 140734589890506 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14089220 memory=76168 CPUtime=1.62 cores=0,2,4,6
/proc/30780/stat : 30780 (java) S 30778 30778 27722 0 -1 1077944320 14823 0 0 0 157 5 0 0 20 0 15 0 71434839 14427361280 19042 33554432000 4194304 4196468 140720820740608 140720820723152 140283303284471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
/proc/30780/statm: 3522305 19042 3338 1 0 3483520 0
[pid=30780/tid=30781] ppid=30778 vsize=14089220 memory=7660742144744843625 CPUtime=0.66 cores=0,2,4,6
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 27722 0 -1 4202560 6844 0 0 0 64 2 0 0 20 0 15 0 71434839 14427361280 19042 33554432000 4194304 4196468 140720820740608 140283307519168 140283296105342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30782] ppid=30778 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 19042 33554432000 4194304 4196468 140720820740608 140283233372816 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30783] ppid=30778 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 19042 33554432000 4194304 4196468 140720820740608 140283232320016 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30784] ppid=30778 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 19042 33554432000 4194304 4196468 140720820740608 140283231267216 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30785] ppid=30778 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 19042 33554432000 4194304 4196468 140720820740608 140283230214416 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30786] ppid=30778 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71434841 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282777152368 140283303295618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30787] ppid=30778 vsize=14089220 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71434842 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282776098336 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30788] ppid=30778 vsize=14089220 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71434842 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282775045488 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30789] ppid=30778 vsize=14089220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282773993808 140283303303067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30790] ppid=30778 vsize=14089220 memory=21552 CPUtime=0.33 cores=0,2,4,6
/proc/30780/task/30790/stat : 30790 (java) R 30778 30778 27722 0 -1 4202560 2449 0 0 0 33 0 0 0 20 0 15 0 71434844 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282772930208 140283288087005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30791] ppid=30778 vsize=14089220 memory=1296 CPUtime=0.33 cores=0,2,4,6
/proc/30780/task/30791/stat : 30791 (java) R 30778 30778 27722 0 -1 4202560 2826 0 0 0 33 0 0 0 20 0 15 0 71434844 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282771869384 140283284829432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30792] ppid=30778 vsize=14089220 memory=2412 CPUtime=0.24 cores=0,2,4,6
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 27722 0 -1 1077944384 1398 0 0 0 24 0 0 0 20 0 15 0 71434844 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282770835568 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30793] ppid=30778 vsize=14089220 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282769783008 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30794] ppid=30778 vsize=14089220 memory=7589803909226524263 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434845 14427361280 19042 33554432000 4194304 4196468 140720820740608 140282768731312 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 77620 KiB
[startup+1.33014 s]
# the end of solver process 30778 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.42477 s, system=0.076912 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800988 s]
/proc/loadavg: 2.02 1.94 1.83 6/218 30794
/proc/meminfo: memFree=20154908/32770624 swapFree=67108860/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71434838 115843072 363 33554432000 4194304 5098028 140734589881744 140734589879848 140516023399036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33038336 140734589887546 140734589887748 140734589887748 140734589890506 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14091368 memory=92736 CPUtime=1.92 cores=0,2,4,6
/proc/30780/stat : 30780 (java) S 30778 30778 27722 0 -1 1077944320 18865 0 0 0 187 5 0 0 20 0 15 0 71434839 14429560832 23184 33554432000 4194304 4196468 140720820740608 140720820723152 140283303284471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
/proc/30780/statm: 3522842 23184 3341 1 0 3484057 0
[pid=30780/tid=30781] ppid=30778 vsize=14091368 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 27722 0 -1 4202560 6844 0 0 0 74 2 0 0 20 0 15 0 71434839 14429560832 23184 33554432000 4194304 4196468 140720820740608 140283307519168 140282912501701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30782] ppid=30778 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14429560832 23250 33554432000 4194304 4196468 140720820740608 140283233372816 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30783] ppid=30778 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14429560832 23250 33554432000 4194304 4196468 140720820740608 140283232320016 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30784] ppid=30778 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14429560832 23250 33554432000 4194304 4196468 140720820740608 140283231267216 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30785] ppid=30778 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71434840 14429560832 23250 33554432000 4194304 4196468 140720820740608 140283230214416 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30786] ppid=30778 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71434841 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282777152368 140283303295618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30787] ppid=30778 vsize=14091368 memory=279818058861392 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71434842 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282776098336 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30788] ppid=30778 vsize=14091368 memory=279818059179088 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71434842 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282775045488 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30789] ppid=30778 vsize=14091368 memory=279818058938000 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282773993808 140283303303067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30790] ppid=30778 vsize=14091368 memory=2110259636848820 CPUtime=0.43 cores=0,2,4,6
/proc/30780/task/30790/stat : 30790 (java) R 30778 30778 27722 0 -1 4202560 5027 0 0 0 43 0 0 0 20 0 15 0 71434844 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282772922040 140283295573925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30791] ppid=30778 vsize=14091368 memory=173 CPUtime=0.44 cores=0,2,4,6
/proc/30780/task/30791/stat : 30791 (java) R 30778 30778 27722 0 -1 4202560 4261 0 0 0 43 1 0 0 20 0 15 0 71434844 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282771874040 140283284829432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30792] ppid=30778 vsize=14091368 memory=3 CPUtime=0.25 cores=0,2,4,6
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 27722 0 -1 1077944384 1429 0 0 0 25 0 0 0 20 0 15 0 71434844 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282770835568 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30793] ppid=30778 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282769783008 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30794] ppid=30778 vsize=14091368 memory=205 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434845 14429560832 23250 33554432000 4194304 4196468 140720820740608 140282768731312 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 94188 KiB
[startup+1.2008 s]
/proc/loadavg: 2.02 1.94 1.83 5/218 30794
/proc/meminfo: memFree=20110388/32770624 swapFree=67108860/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71434838 115843072 363 33554432000 4194304 5098028 140734589881744 140734589879848 140516023399036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33038336 140734589887546 140734589887748 140734589887748 140734589890506 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14089220 memory=112372 CPUtime=3.14 cores=0,2,4,6
/proc/30780/stat : 30780 (java) S 30778 30778 27722 0 -1 1077944320 31924 0 0 0 308 6 0 0 20 0 15 0 71434839 14427361280 28093 33554432000 4194304 4196468 140720820740608 140720820723152 140283303284471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
/proc/30780/statm: 3522305 28093 3343 1 0 3483520 0
[pid=30780/tid=30781] ppid=30778 vsize=14089220 memory=-6222139345062903743 CPUtime=1.17 cores=0,2,4,6
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 27722 0 -1 4202560 7076 0 0 0 114 3 0 0 20 0 15 0 71434839 14427361280 28093 33554432000 4194304 4196468 140720820740608 140283307521776 140282913348560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30782] ppid=30778 vsize=14089220 memory=7230638415855315031 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 28093 33554432000 4194304 4196468 140720820740608 140283233372816 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30783] ppid=30778 vsize=14089220 memory=7230638415855315031 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 28093 33554432000 4194304 4196468 140720820740608 140283232320016 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30784] ppid=30778 vsize=14089220 memory=7230638415855315031 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 28093 33554432000 4194304 4196468 140720820740608 140283231267216 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30785] ppid=30778 vsize=14089220 memory=7230638415855315287 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 28093 33554432000 4194304 4196468 140720820740608 140283230214416 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30786] ppid=30778 vsize=14089220 memory=7230638415855316055 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71434841 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282777152368 140283303295618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30787] ppid=30778 vsize=14089220 memory=6082202987142081111 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71434842 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282776098336 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30788] ppid=30778 vsize=14089220 memory=6082202987141949783 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71434842 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282775045488 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30789] ppid=30778 vsize=14089220 memory=7230638415855315543 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282773993808 140283303303067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30790] ppid=30778 vsize=14089220 memory=7300704777188764261 CPUtime=0.84 cores=0,2,4,6
/proc/30780/task/30790/stat : 30790 (java) R 30778 30778 27722 0 -1 4202560 13229 0 0 0 83 1 0 0 20 0 15 0 71434844 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282772927192 140283284458509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30791] ppid=30778 vsize=14089220 memory=7588935153340475234 CPUtime=0.84 cores=0,2,4,6
/proc/30780/task/30791/stat : 30791 (java) R 30778 30778 27722 0 -1 4202560 8563 0 0 0 83 1 0 0 20 0 15 0 71434844 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282771874392 140283288165707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30792] ppid=30778 vsize=14089220 memory=6082203021904472151 CPUtime=0.27 cores=0,2,4,6
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 27722 0 -1 1077944384 1748 0 0 0 27 0 0 0 20 0 15 0 71434844 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282770835568 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30793] ppid=30778 vsize=14089220 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282769783008 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30794] ppid=30778 vsize=14089220 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434845 14427361280 28093 33554432000 4194304 4196468 140720820740608 140282768731312 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 113824 KiB
[startup+1.30079 s]
/proc/loadavg: 2.02 1.94 1.83 5/218 30794
/proc/meminfo: memFree=20110388/32770624 swapFree=67108860/67108860
[pid=30778] ppid=30775 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30778/stat : 30778 (xcsp3-exec) S 30775 30778 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71434838 115843072 363 33554432000 4194304 5098028 140734589881744 140734589879848 140516023399036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33038336 140734589887546 140734589887748 140734589887748 140734589890506 0
/proc/30778/statm: 28282 363 305 221 0 87 0
[pid=30780] ppid=30778 vsize=14089220 memory=112612 CPUtime=3.44 cores=0,2,4,6
/proc/30780/stat : 30780 (java) S 30778 30778 27722 0 -1 1077944320 33701 0 0 0 338 6 0 0 20 0 15 0 71434839 14427361280 28153 33554432000 4194304 4196468 140720820740608 140720820723152 140283303284471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
/proc/30780/statm: 3522305 28153 3343 1 0 3483520 0
[pid=30780/tid=30781] ppid=30778 vsize=14089220 memory=1452 CPUtime=1.27 cores=0,2,4,6
/proc/30780/task/30781/stat : 30781 (java) R 30778 30778 27722 0 -1 4202560 7209 0 0 0 124 3 0 0 20 0 15 0 71434839 14427361280 28153 33554432000 4194304 4196468 140720820740608 140283307521776 140282912288774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30782] ppid=30778 vsize=14089220 memory=14855 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30782/stat : 30782 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 28153 33554432000 4194304 4196468 140720820740608 140283233372816 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30783] ppid=30778 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30783/stat : 30783 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 28153 33554432000 4194304 4196468 140720820740608 140283232320016 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30784] ppid=30778 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30784/stat : 30784 (java) S 30778 30778 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 28153 33554432000 4194304 4196468 140720820740608 140283231267216 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30785] ppid=30778 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30785/stat : 30785 (java) S 30778 30778 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71434840 14427361280 28153 33554432000 4194304 4196468 140720820740608 140283230214416 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30786] ppid=30778 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30786/stat : 30786 (java) S 30778 30778 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71434841 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282777152368 140283303295618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30787] ppid=30778 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30787/stat : 30787 (java) S 30778 30778 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71434842 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282776098336 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30788] ppid=30778 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30788/stat : 30788 (java) S 30778 30778 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71434842 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282775045488 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30789] ppid=30778 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30789/stat : 30789 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282773993808 140283303303067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30790] ppid=30778 vsize=14089220 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/30780/task/30790/stat : 30790 (java) R 30778 30778 27722 0 -1 4202560 14323 0 0 0 92 1 0 0 20 0 15 0 71434844 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282772927192 140283286770523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30791] ppid=30778 vsize=14089220 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/30780/task/30791/stat : 30791 (java) R 30778 30778 27722 0 -1 4202560 9093 0 0 0 93 1 0 0 20 0 15 0 71434844 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282771874392 140283286784585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30792] ppid=30778 vsize=14089220 memory=53 CPUtime=0.27 cores=0,2,4,6
/proc/30780/task/30792/stat : 30792 (java) S 30778 30778 27722 0 -1 1077944384 1767 0 0 0 27 0 0 0 20 0 15 0 71434844 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282770835568 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30793] ppid=30778 vsize=14089220 memory=54 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30793/stat : 30793 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434844 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282769783008 140283303294677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
[pid=30780/tid=30794] ppid=30778 vsize=14089220 memory=25 CPUtime=0 cores=0,2,4,6
/proc/30780/task/30794/stat : 30794 (java) S 30778 30778 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71434845 14427361280 28153 33554432000 4194304 4196468 140720820740608 140282768731312 140283303295618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140720820749441 140720820749617 140720820749617 140720820752335 0
Current children cumulated CPU time: 3.44 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 114064 KiB
Child status: 0
Real time (s): 1.33021
CPU time (s): 3.50169
CPU user time (s): 3.42477
CPU system time (s): 0.076912
CPU usage (%): 263.243
Max. virtual memory (cumulated for all children) (KiB): 14204808
Max. memory (cumulated for all children) (KiB): 114064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.42477
system time used= 0.076912
maximum resident set size= 115276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1395
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 30778
# total CPU time (s): 3.50169
# total CPU user time (s): 3.42477
# total CPU system time (s): 0.076912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032182 second user time and 0.060371 second system time
The end