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 (12104 MiB free)
memory of node 1: 16384 MiB (12680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406119-1569404562/watcher-4406119-1569404562 -o /var/tmp/evaluation-result-4406119-1569404562/solver-4406119-1569404562 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1569396627-18796 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 954226294 HOME/instance-4406119-1569404562.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=20777, runsolver pid=20774
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.89 1.90 1.88 5/230 20793
/proc/meminfo: memFree=25362628/32770624 swapFree=66966896/67108860
[pid=20777] ppid=20774 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20777/stat : 20777 (xcsp3-exec) S 20774 20777 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392590 115843072 364 33554432000 4194304 5098028 140724384143376 140724384141480 139792240489084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9039872 140724384146263 140724384146521 140724384146521 140724384149446 0
/proc/20777/statm: 28282 364 305 221 0 87 0
[pid=20779] ppid=20777 vsize=15144776 memory=29988 CPUtime=0.13 cores=1,3,5,7
/proc/20779/stat : 20779 (java) S 20777 20777 18764 0 -1 1077944320 5836 0 0 0 11 2 0 0 20 0 15 0 516392590 15508250624 7497 33554432000 4194304 4196468 140732009473328 140732009455872 139654336950007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
/proc/20779/statm: 3786194 7497 3213 1 0 3748377 0
[pid=20779/tid=20780] ppid=20777 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=1,3,5,7
/proc/20779/task/20780/stat : 20780 (java) R 20777 20777 18764 0 -1 4202560 3728 0 0 0 8 1 0 0 20 0 15 0 516392591 15508250624 7497 33554432000 4194304 4196468 140732009473328 139654341172704 139654329187134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20781] ppid=20777 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20781/stat : 20781 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15508250624 7497 33554432000 4194304 4196468 140732009473328 139654289570576 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20782] ppid=20777 vsize=15144776 memory=140260217529984 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20782/stat : 20782 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15508250624 7497 33554432000 4194304 4196468 140732009473328 139654288518032 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20783] ppid=20777 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20783/stat : 20783 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15508250624 7497 33554432000 4194304 4196468 140732009473328 139654287465488 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20784] ppid=20777 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20784/stat : 20784 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15508250624 7497 33554432000 4194304 4196468 140732009473328 139654286412944 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20785] ppid=20777 vsize=15144776 memory=140260217529984 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20785/stat : 20785 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392593 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653411760112 139654336961154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20786] ppid=20777 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20786/stat : 20786 (java) S 20777 20777 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392593 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653410706336 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20787] ppid=20777 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20787/stat : 20787 (java) S 20777 20777 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392593 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653409653744 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20788] ppid=20777 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20788/stat : 20788 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653408602320 139654336968603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20789] ppid=20777 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20789/stat : 20789 (java) S 20777 20777 18764 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 516392596 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653407549936 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20790] ppid=20777 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20790/stat : 20790 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653406497392 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20791] ppid=20777 vsize=15144776 memory=140260217529984 CPUtime=0.02 cores=1,3,5,7
/proc/20779/task/20791/stat : 20791 (java) R 20777 20777 18764 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 516392596 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653405439888 139654336971354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20792] ppid=20777 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20792/stat : 20792 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653404392544 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20793] ppid=20777 vsize=15144776 memory=140260217529984 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20793/stat : 20793 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392596 15508250624 7497 33554432000 4194304 4196468 140732009473328 139653403339056 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31444 KiB
[startup+0.210795 s]*
/proc/loadavg: 1.89 1.90 1.88 4/230 20793
/proc/meminfo: memFree=25349664/32770624 swapFree=66966896/67108860
[pid=20777] ppid=20774 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20777/stat : 20777 (xcsp3-exec) S 20774 20777 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392590 115843072 364 33554432000 4194304 5098028 140724384143376 140724384141480 139792240489084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9039872 140724384146263 140724384146521 140724384146521 140724384149446 0
/proc/20777/statm: 28282 364 305 221 0 87 0
[pid=20779] ppid=20777 vsize=15144776 memory=41216 CPUtime=0.35 cores=1,3,5,7
/proc/20779/stat : 20779 (java) S 20777 20777 18764 0 -1 1077944320 9491 0 0 0 32 3 0 0 20 0 15 0 516392590 15508250624 10304 33554432000 4194304 4196468 140732009473328 140732009455872 139654336950007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
/proc/20779/statm: 3786194 10304 3320 1 0 3748377 0
[pid=20779/tid=20780] ppid=20777 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20779/task/20780/stat : 20780 (java) R 20777 20777 18764 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 15 0 516392591 15508250624 10304 33554432000 4194304 4196468 140732009473328 139654341179728 139654321030524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20781] ppid=20777 vsize=15144776 memory=9276 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20781/stat : 20781 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15508250624 10304 33554432000 4194304 4196468 140732009473328 139654289570576 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20782] ppid=20777 vsize=15144776 memory=3835157272162730016 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20782/stat : 20782 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15508250624 10304 33554432000 4194304 4196468 140732009473328 139654288518032 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20783] ppid=20777 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20783/stat : 20783 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15508250624 10304 33554432000 4194304 4196468 140732009473328 139654287465488 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20784] ppid=20777 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20784/stat : 20784 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15508250624 10304 33554432000 4194304 4196468 140732009473328 139654286412944 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20785] ppid=20777 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20785/stat : 20785 (java) S 20777 20777 18764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516392593 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653411760112 139654336961154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20786] ppid=20777 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20786/stat : 20786 (java) S 20777 20777 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392593 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653410706336 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20787] ppid=20777 vsize=15144776 memory=140260217529984 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20787/stat : 20787 (java) S 20777 20777 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392593 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653409653744 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20788] ppid=20777 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20788/stat : 20788 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653408602320 139654336968603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20789] ppid=20777 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20779/task/20789/stat : 20789 (java) S 20777 20777 18764 0 -1 1077944384 595 0 0 0 2 0 0 0 20 0 15 0 516392596 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653407549936 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20790] ppid=20777 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20779/task/20790/stat : 20790 (java) S 20777 20777 18764 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 15 0 516392596 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653406497392 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20791] ppid=20777 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20779/task/20791/stat : 20791 (java) S 20777 20777 18764 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 516392596 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653405444848 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20792] ppid=20777 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20792/stat : 20792 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653404392544 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20793] ppid=20777 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20793/stat : 20793 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392596 15508250624 10304 33554432000 4194304 4196468 140732009473328 139653403339056 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42672 KiB
[startup+0.310525 s]*
/proc/loadavg: 1.89 1.90 1.88 4/230 20793
/proc/meminfo: memFree=25342868/32770624 swapFree=66966896/67108860
[pid=20777] ppid=20774 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20777/stat : 20777 (xcsp3-exec) S 20774 20777 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392590 115843072 364 33554432000 4194304 5098028 140724384143376 140724384141480 139792240489084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9039872 140724384146263 140724384146521 140724384146521 140724384149446 0
/proc/20777/statm: 28282 364 305 221 0 87 0
[pid=20779] ppid=20777 vsize=15149032 memory=50360 CPUtime=0.53 cores=1,3,5,7
/proc/20779/stat : 20779 (java) S 20777 20777 18764 0 -1 1077944320 10903 0 0 0 50 3 0 0 20 0 15 0 516392590 15512608768 12590 33554432000 4194304 4196468 140732009473328 140732009455872 139654336950007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
/proc/20779/statm: 3787258 12590 3361 1 0 3748377 0
[pid=20779/tid=20780] ppid=20777 vsize=15149032 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/20779/task/20780/stat : 20780 (java) R 20777 20777 18764 0 -1 4202560 7844 0 0 0 27 2 0 0 20 0 15 0 516392591 15512608768 12590 33554432000 4194304 4196468 140732009473328 139654341181120 139654321030494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20781] ppid=20777 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20781/stat : 20781 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15512608768 12590 33554432000 4194304 4196468 140732009473328 139654289570576 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20782] ppid=20777 vsize=15149032 memory=4049078254462828576 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20782/stat : 20782 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15512608768 12590 33554432000 4194304 4196468 140732009473328 139654288518032 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20783] ppid=20777 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20783/stat : 20783 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15512608768 12590 33554432000 4194304 4196468 140732009473328 139654287465488 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20784] ppid=20777 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20784/stat : 20784 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15512608768 12590 33554432000 4194304 4196468 140732009473328 139654286412944 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20785] ppid=20777 vsize=15149032 memory=140260217529984 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20785/stat : 20785 (java) S 20777 20777 18764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516392593 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653411760112 139654336961154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20786] ppid=20777 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20786/stat : 20786 (java) S 20777 20777 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392593 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653410706336 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20787] ppid=20777 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20787/stat : 20787 (java) S 20777 20777 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392593 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653409653744 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20788] ppid=20777 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20788/stat : 20788 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653408602320 139654336968603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20789] ppid=20777 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20779/task/20789/stat : 20789 (java) S 20777 20777 18764 0 -1 1077944384 604 0 0 0 4 0 0 0 20 0 15 0 516392596 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653407549936 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20790] ppid=20777 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/20779/task/20790/stat : 20790 (java) S 20777 20777 18764 0 -1 1077944384 305 0 0 0 5 0 0 0 20 0 15 0 516392596 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653406497392 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20791] ppid=20777 vsize=15149032 memory=140260217529984 CPUtime=0.13 cores=1,3,5,7
/proc/20779/task/20791/stat : 20791 (java) S 20777 20777 18764 0 -1 1077944384 844 0 0 0 13 0 0 0 20 0 15 0 516392596 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653405444848 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20792] ppid=20777 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20792/stat : 20792 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653404392544 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20793] ppid=20777 vsize=15149032 memory=140260217529984 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20793/stat : 20793 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392596 15512608768 12590 33554432000 4194304 4196468 140732009473328 139653403339056 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51816 KiB
[startup+0.701032 s]
/proc/loadavg: 1.89 1.90 1.88 6/230 20793
/proc/meminfo: memFree=25322860/32770624 swapFree=66966896/67108860
[pid=20777] ppid=20774 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20777/stat : 20777 (xcsp3-exec) S 20774 20777 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392590 115843072 364 33554432000 4194304 5098028 140724384143376 140724384141480 139792240489084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9039872 140724384146263 140724384146521 140724384146521 140724384149446 0
/proc/20777/statm: 28282 364 305 221 0 87 0
[pid=20779] ppid=20777 vsize=15151156 memory=84908 CPUtime=1.65 cores=1,3,5,7
/proc/20779/stat : 20779 (java) S 20777 20777 18764 0 -1 1077944320 14817 0 0 0 160 5 0 0 20 0 15 0 516392590 15514783744 21227 33554432000 4194304 4196468 140732009473328 140732009455872 139654336950007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
/proc/20779/statm: 3787789 21227 3452 1 0 3748889 0
[pid=20779/tid=20780] ppid=20777 vsize=15151156 memory=2120 CPUtime=0.68 cores=1,3,5,7
/proc/20779/task/20780/stat : 20780 (java) R 20777 20777 18764 0 -1 4202560 9017 0 0 0 64 4 0 0 20 0 15 0 516392591 15514783744 21227 33554432000 4194304 4196468 140732009473328 139654341187216 139654336961942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20781] ppid=20777 vsize=15151156 memory=508 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20781/stat : 20781 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15514783744 21227 33554432000 4194304 4196468 140732009473328 139654289570576 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20782] ppid=20777 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20782/stat : 20782 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15514783744 21227 33554432000 4194304 4196468 140732009473328 139654288518032 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20783] ppid=20777 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20783/stat : 20783 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15514783744 21227 33554432000 4194304 4196468 140732009473328 139654287465488 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20784] ppid=20777 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20784/stat : 20784 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15514783744 21227 33554432000 4194304 4196468 140732009473328 139654286412944 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20785] ppid=20777 vsize=15151156 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20785/stat : 20785 (java) S 20777 20777 18764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516392593 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653411760112 139654336961154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20786] ppid=20777 vsize=15151156 memory=864 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20786/stat : 20786 (java) S 20777 20777 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392593 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653410706336 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20787] ppid=20777 vsize=15151156 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20787/stat : 20787 (java) S 20777 20777 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392593 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653409653744 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20788] ppid=20777 vsize=15151156 memory=7086240636128743779 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20788/stat : 20788 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653408602320 139654336968603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20789] ppid=20777 vsize=15151156 memory=7453282923427948884 CPUtime=0.27 cores=1,3,5,7
/proc/20779/task/20789/stat : 20789 (java) R 20777 20777 18764 0 -1 4202560 1318 0 0 0 27 0 0 0 20 0 15 0 516392596 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653407535968 139654321878328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20790] ppid=20777 vsize=15151156 memory=4639059877604708710 CPUtime=0.28 cores=1,3,5,7
/proc/20779/task/20790/stat : 20790 (java) R 20777 20777 18764 0 -1 4202560 1097 0 0 0 28 0 0 0 20 0 15 0 516392596 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653406484144 139654316643107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20791] ppid=20777 vsize=15151156 memory=8514726395715219869 CPUtime=0.4 cores=1,3,5,7
/proc/20779/task/20791/stat : 20791 (java) S 20777 20777 18764 0 -1 1077944384 2074 0 0 0 40 0 0 0 20 0 15 0 516392596 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653405444848 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20792] ppid=20777 vsize=15151156 memory=7525629757741886052 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20792/stat : 20792 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653404392544 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20793] ppid=20777 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20793/stat : 20793 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392596 15514783744 21227 33554432000 4194304 4196468 140732009473328 139653403339056 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 86364 KiB
[startup+1.50084 s]
/proc/loadavg: 1.89 1.90 1.88 5/230 20794
/proc/meminfo: memFree=25218088/32770624 swapFree=66966896/67108860
[pid=20777] ppid=20774 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20777/stat : 20777 (xcsp3-exec) S 20774 20777 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392590 115843072 364 33554432000 4194304 5098028 140724384143376 140724384141480 139792240489084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9039872 140724384146263 140724384146521 140724384146521 140724384149446 0
/proc/20777/statm: 28282 364 305 221 0 87 0
[pid=20779] ppid=20777 vsize=15153204 memory=181432 CPUtime=3.92 cores=1,3,5,7
/proc/20779/stat : 20779 (java) S 20777 20777 18764 0 -1 1077944320 21630 0 0 0 384 8 0 0 20 0 15 0 516392590 15516880896 45358 33554432000 4194304 4196468 140732009473328 140732009455872 139654336950007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
/proc/20779/statm: 3788301 45358 3468 1 0 3749401 0
[pid=20779/tid=20780] ppid=20777 vsize=15153204 memory=12998 CPUtime=1.47 cores=1,3,5,7
/proc/20779/task/20780/stat : 20780 (java) R 20777 20777 18764 0 -1 4202560 10792 0 0 0 142 5 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654341181264 139653971795006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20781] ppid=20777 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20781/stat : 20781 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654289570576 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20782] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20782/stat : 20782 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654288518032 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20783] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20783/stat : 20783 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654287465488 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20784] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20784/stat : 20784 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654286412944 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20785] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20785/stat : 20785 (java) S 20777 20777 18764 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 516392593 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653411760112 139654336961154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20786] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20786/stat : 20786 (java) S 20777 20777 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392593 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653410706336 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20787] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20787/stat : 20787 (java) S 20777 20777 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392593 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653409653744 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20788] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20788/stat : 20788 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653408602320 139654336968603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20789] ppid=20777 vsize=15153204 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/20779/task/20789/stat : 20789 (java) R 20777 20777 18764 0 -1 4202560 3050 0 0 0 88 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653407549936 139654318472922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20790] ppid=20777 vsize=15153204 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/20779/task/20790/stat : 20790 (java) R 20777 20777 18764 0 -1 4202560 2543 0 0 0 87 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653406497392 139654316126031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20791] ppid=20777 vsize=15153204 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20779/task/20791/stat : 20791 (java) S 20777 20777 18764 0 -1 1077944384 3780 0 0 0 65 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653405444848 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20792] ppid=20777 vsize=15153204 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20792/stat : 20792 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653404392544 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20793] ppid=20777 vsize=15153204 memory=65460 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20793/stat : 20793 (java) S 20777 20777 18764 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653403339056 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 182888 KiB
[startup+1.5598 s]
# the end of solver process 20777 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.96249 s, system=0.089064 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50084 s]
/proc/loadavg: 1.89 1.90 1.88 5/230 20794
/proc/meminfo: memFree=25218088/32770624 swapFree=66966896/67108860
[pid=20777] ppid=20774 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20777/stat : 20777 (xcsp3-exec) S 20774 20777 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392590 115843072 364 33554432000 4194304 5098028 140724384143376 140724384141480 139792240489084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9039872 140724384146263 140724384146521 140724384146521 140724384149446 0
/proc/20777/statm: 28282 364 305 221 0 87 0
[pid=20779] ppid=20777 vsize=15153204 memory=181432 CPUtime=3.92 cores=1,3,5,7
/proc/20779/stat : 20779 (java) S 20777 20777 18764 0 -1 1077944320 21630 0 0 0 384 8 0 0 20 0 15 0 516392590 15516880896 45358 33554432000 4194304 4196468 140732009473328 140732009455872 139654336950007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
/proc/20779/statm: 3788301 45358 3468 1 0 3749401 0
[pid=20779/tid=20780] ppid=20777 vsize=15153204 memory=12998 CPUtime=1.47 cores=1,3,5,7
/proc/20779/task/20780/stat : 20780 (java) R 20777 20777 18764 0 -1 4202560 10792 0 0 0 142 5 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654341181264 139653971795006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20781] ppid=20777 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20781/stat : 20781 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654289570576 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20782] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20782/stat : 20782 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654288518032 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20783] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20783/stat : 20783 (java) S 20777 20777 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654287465488 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20784] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20784/stat : 20784 (java) S 20777 20777 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392591 15516880896 45358 33554432000 4194304 4196468 140732009473328 139654286412944 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20785] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20785/stat : 20785 (java) S 20777 20777 18764 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 516392593 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653411760112 139654336961154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20786] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20786/stat : 20786 (java) S 20777 20777 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392593 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653410706336 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20787] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20787/stat : 20787 (java) S 20777 20777 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392593 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653409653744 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20788] ppid=20777 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20788/stat : 20788 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653408602320 139654336968603 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20789] ppid=20777 vsize=15153204 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/20779/task/20789/stat : 20789 (java) R 20777 20777 18764 0 -1 4202560 3050 0 0 0 88 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653407549936 139654318472922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20790] ppid=20777 vsize=15153204 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/20779/task/20790/stat : 20790 (java) R 20777 20777 18764 0 -1 4202560 2543 0 0 0 87 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653406497392 139654316126031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20791] ppid=20777 vsize=15153204 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20779/task/20791/stat : 20791 (java) S 20777 20777 18764 0 -1 1077944384 3780 0 0 0 65 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653405444848 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20792] ppid=20777 vsize=15153204 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20792/stat : 20792 (java) S 20777 20777 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653404392544 139654336960213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
[pid=20779/tid=20793] ppid=20777 vsize=15153204 memory=65460 CPUtime=0 cores=1,3,5,7
/proc/20779/task/20793/stat : 20793 (java) S 20777 20777 18764 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 516392596 15516880896 45358 33554432000 4194304 4196468 140732009473328 139653403339056 139654336961154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14692352 140732009477083 140732009477258 140732009477258 140732009480143 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 182888 KiB
Child status: 0
Real time (s): 1.55985
CPU time (s): 4.05155
CPU user time (s): 3.96249
CPU system time (s): 0.089064
CPU usage (%): 259.74
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 182888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.96249
system time used= 0.089064
maximum resident set size= 182060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22391
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= 2397
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 20777
# total CPU time (s): 4.05155
# total CPU user time (s): 3.96249
# total CPU system time (s): 0.089064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045403 second user time and 0.046641 second system time
The end