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 (5486 MiB free)
memory of node 1: 16384 MiB (10597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292630-1532480361/watcher-4292630-1532480361 -o /tmp/evaluation-result-4292630-1532480361/solver-4292630-1532480361 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532470661-17281 --watchdog 2560 HOME/xcsp3-exec -seed 1415588549 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292630-1532480361.xml
running on 4 cores: 1,3,5,7
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=18680, runsolver pid=18677
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 1.62 1.80 1.84 3/217 18696
/proc/meminfo: memFree=16455280/32770624 swapFree=67108796/67108860
[pid=18680] ppid=18677 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18680/stat : 18680 (xcsp3-exec) S 18677 18680 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65599314 115843072 364 33554432000 4194304 5098028 140722922125376 140722922123480 140517135106684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29925376 140722922128442 140722922128644 140722922128644 140722922131402 0
/proc/18680/statm: 28282 364 306 221 0 87 0
[pid=18682] ppid=18680 vsize=14082840 memory=27372 CPUtime=0.12 cores=1,3,5,7
/proc/18682/stat : 18682 (java) S 18680 18680 17249 0 -1 1077944320 5764 0 0 0 11 1 0 0 20 0 15 0 65599314 14420828160 6843 33554432000 4194304 4196468 140724527493456 140724527476000 140360102092535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
/proc/18682/statm: 3520710 6843 2988 1 0 3483008 0
[pid=18682/tid=18683] ppid=18680 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=1,3,5,7
/proc/18682/task/18683/stat : 18683 (java) R 18680 18680 17249 0 -1 4202560 3731 0 0 0 8 0 0 0 20 0 15 0 65599314 14420828160 6843 33554432000 4194304 4196468 140724527493456 140360106324728 140360102104470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18684] ppid=18680 vsize=14082840 memory=3472468372198352080 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18684/stat : 18684 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14420828160 6843 33554432000 4194304 4196468 140724527493456 140360069651344 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18685] ppid=18680 vsize=14082840 memory=140243303200384 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18685/stat : 18685 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359696841488 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18686] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18686/stat : 18686 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359695789200 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18687] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18687/stat : 18687 (java) S 18680 18680 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65599315 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359694736400 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18688] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18688/stat : 18688 (java) S 18680 18680 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65599316 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359014488176 140360102103682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18689] ppid=18680 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18689/stat : 18689 (java) S 18680 18680 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65599317 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359013434144 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18690] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18690/stat : 18690 (java) S 18680 18680 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65599317 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359012381808 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18691] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18691/stat : 18691 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359011330128 140360102111131 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18692] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18692/stat : 18692 (java) S 18680 18680 17249 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 65599320 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359010278000 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18693] ppid=18680 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18693/stat : 18693 (java) S 18680 18680 17249 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 65599320 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359009225200 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18694] ppid=18680 vsize=14082840 memory=140243303200384 CPUtime=0.01 cores=1,3,5,7
/proc/18682/task/18694/stat : 18694 (java) R 18680 18680 17249 0 -1 4202560 288 0 0 0 1 0 0 0 20 0 15 0 65599320 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359008172912 140360102113882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18695] ppid=18680 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18695/stat : 18695 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359007120352 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18696] ppid=18680 vsize=14082840 memory=140243303200384 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18696/stat : 18696 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599320 14420828160 6843 33554432000 4194304 4196468 140724527493456 140359006067120 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 28828 KiB
[startup+0.210643 s]*
/proc/loadavg: 1.62 1.80 1.84 4/217 18696
/proc/meminfo: memFree=16443116/32770624 swapFree=67108796/67108860
[pid=18680] ppid=18677 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18680/stat : 18680 (xcsp3-exec) S 18677 18680 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65599314 115843072 364 33554432000 4194304 5098028 140722922125376 140722922123480 140517135106684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29925376 140722922128442 140722922128644 140722922128644 140722922131402 0
/proc/18680/statm: 28282 364 306 221 0 87 0
[pid=18682] ppid=18680 vsize=14082840 memory=39964 CPUtime=0.34 cores=1,3,5,7
/proc/18682/stat : 18682 (java) S 18680 18680 17249 0 -1 1077944320 8551 0 0 0 32 2 0 0 20 0 15 0 65599314 14420828160 9991 33554432000 4194304 4196468 140724527493456 140724527476000 140360102092535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
/proc/18682/statm: 3520710 9991 3176 1 0 3483008 0
[pid=18682/tid=18683] ppid=18680 vsize=14082840 memory=5854518564242424225 CPUtime=0.19 cores=1,3,5,7
/proc/18682/task/18683/stat : 18683 (java) R 18680 18680 17249 0 -1 4202560 5492 0 0 0 18 1 0 0 20 0 15 0 65599314 14420828160 9991 33554432000 4194304 4196468 140724527493456 140360106327520 140360086173022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18684] ppid=18680 vsize=14082840 memory=3472468372198352080 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18684/stat : 18684 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14420828160 9991 33554432000 4194304 4196468 140724527493456 140360069651344 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18685] ppid=18680 vsize=14082840 memory=140243303200384 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18685/stat : 18685 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359696841488 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18686] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18686/stat : 18686 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359695789200 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18687] ppid=18680 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18687/stat : 18687 (java) S 18680 18680 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65599315 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359694736400 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18688] ppid=18680 vsize=14082840 memory=140243303200384 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18688/stat : 18688 (java) S 18680 18680 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65599316 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359014488176 140360102103682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18689] ppid=18680 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18689/stat : 18689 (java) S 18680 18680 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65599317 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359013434144 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18690] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18690/stat : 18690 (java) S 18680 18680 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65599317 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359012381808 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18691] ppid=18680 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18691/stat : 18691 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359011330128 140360102111131 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18692] ppid=18680 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18682/task/18692/stat : 18692 (java) S 18680 18680 17249 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 15 0 65599320 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359010278000 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18693] ppid=18680 vsize=14082840 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/18682/task/18693/stat : 18693 (java) S 18680 18680 17249 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 15 0 65599320 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359009225200 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18694] ppid=18680 vsize=14082840 memory=140243303200384 CPUtime=0.08 cores=1,3,5,7
/proc/18682/task/18694/stat : 18694 (java) R 18680 18680 17249 0 -1 4202560 891 0 0 0 8 0 0 0 20 0 15 0 65599320 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359008172912 140360095189371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18695] ppid=18680 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18695/stat : 18695 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359007120352 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18696] ppid=18680 vsize=14082840 memory=140243303200384 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18696/stat : 18696 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599320 14420828160 9991 33554432000 4194304 4196468 140724527493456 140359006067120 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41420 KiB
[startup+0.310558 s]*
/proc/loadavg: 1.62 1.80 1.84 5/217 18696
/proc/meminfo: memFree=16436788/32770624 swapFree=67108796/67108860
[pid=18680] ppid=18677 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18680/stat : 18680 (xcsp3-exec) S 18677 18680 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65599314 115843072 364 33554432000 4194304 5098028 140722922125376 140722922123480 140517135106684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29925376 140722922128442 140722922128644 140722922128644 140722922131402 0
/proc/18680/statm: 28282 364 306 221 0 87 0
[pid=18682] ppid=18680 vsize=14087096 memory=46744 CPUtime=0.51 cores=1,3,5,7
/proc/18682/stat : 18682 (java) S 18680 18680 17249 0 -1 1077944320 9418 0 0 0 49 2 0 0 20 0 15 0 65599314 14425186304 11686 33554432000 4194304 4196468 140724527493456 140724527476000 140360102092535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
/proc/18682/statm: 3521774 11686 3208 1 0 3483008 0
[pid=18682/tid=18683] ppid=18680 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/18682/task/18683/stat : 18683 (java) R 18680 18680 17249 0 -1 4202560 6192 0 0 0 28 1 0 0 20 0 15 0 65599314 14425186304 11686 33554432000 4194304 4196468 140724527493456 140360106323648 140360086173022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18684] ppid=18680 vsize=14087096 memory=3472468372198352080 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18684/stat : 18684 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14425186304 11686 33554432000 4194304 4196468 140724527493456 140360069651344 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18685] ppid=18680 vsize=14087096 memory=140243303200384 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18685/stat : 18685 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359696841488 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18686] ppid=18680 vsize=14087096 memory=6 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18686/stat : 18686 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359695789200 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18687] ppid=18680 vsize=14087096 memory=140243164604447 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18687/stat : 18687 (java) S 18680 18680 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65599315 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359694736400 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18688] ppid=18680 vsize=14087096 memory=280486329169664 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18688/stat : 18688 (java) S 18680 18680 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65599316 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359014488176 140360102103682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18689] ppid=18680 vsize=14087096 memory=140243164581391 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18689/stat : 18689 (java) S 18680 18680 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65599317 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359013434144 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18690] ppid=18680 vsize=14087096 memory=280486467790944 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18690/stat : 18690 (java) S 18680 18680 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65599317 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359012381808 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18691] ppid=18680 vsize=14087096 memory=140243164585999 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18691/stat : 18691 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359011330128 140360102111131 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18692] ppid=18680 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18682/task/18692/stat : 18692 (java) S 18680 18680 17249 0 -1 1077944384 442 0 0 0 3 0 0 0 20 0 15 0 65599320 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359010278000 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18693] ppid=18680 vsize=14087096 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/18682/task/18693/stat : 18693 (java) S 18680 18680 17249 0 -1 1077944384 459 0 0 0 4 0 0 0 20 0 15 0 65599320 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359009225200 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18694] ppid=18680 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18682/task/18694/stat : 18694 (java) S 18680 18680 17249 0 -1 1077944384 1020 0 0 0 12 0 0 0 20 0 15 0 65599320 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359008172912 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18695] ppid=18680 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18695/stat : 18695 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359007120352 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18696] ppid=18680 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18696/stat : 18696 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599320 14425186304 11686 33554432000 4194304 4196468 140724527493456 140359006067120 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48200 KiB
[startup+0.700964 s]
/proc/loadavg: 1.62 1.80 1.84 5/217 18696
/proc/meminfo: memFree=16391304/32770624 swapFree=67108796/67108860
[pid=18680] ppid=18677 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18680/stat : 18680 (xcsp3-exec) S 18677 18680 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65599314 115843072 364 33554432000 4194304 5098028 140722922125376 140722922123480 140517135106684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29925376 140722922128442 140722922128644 140722922128644 140722922131402 0
/proc/18680/statm: 28282 364 306 221 0 87 0
[pid=18682] ppid=18680 vsize=14089220 memory=196544 CPUtime=1.58 cores=1,3,5,7
/proc/18682/stat : 18682 (java) S 18680 18680 17249 0 -1 1077944320 12549 0 0 0 152 6 0 0 20 0 15 0 65599314 14427361280 49136 33554432000 4194304 4196468 140724527493456 140724527476000 140360102092535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
/proc/18682/statm: 3522305 49136 3326 1 0 3483520 0
[pid=18682/tid=18683] ppid=18680 vsize=14089220 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18682/task/18683/stat : 18683 (java) S 18680 18680 17249 0 -1 1077944384 6651 0 0 0 62 4 0 0 20 0 15 0 65599314 14427361280 49136 33554432000 4194304 4196468 140724527493456 140360106330688 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18684] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18684/stat : 18684 (java) R 18680 18680 17249 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49136 33554432000 4194304 4196468 140724527493456 140360069649152 140360094720743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18685] ppid=18680 vsize=14089220 memory=7813587196152133429 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18685/stat : 18685 (java) R 18680 18680 17249 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359696841688 140360087120418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18686] ppid=18680 vsize=14089220 memory=7084813495871688808 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18686/stat : 18686 (java) R 18680 18680 17249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359695789320 140360094720743 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18687] ppid=18680 vsize=14089220 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18687/stat : 18687 (java) R 18680 18680 17249 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359694736400 140360094720743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18688] ppid=18680 vsize=14089220 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18688/stat : 18688 (java) S 18680 18680 17249 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 65599316 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359014486688 140360102102741 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18689] ppid=18680 vsize=14089220 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18689/stat : 18689 (java) S 18680 18680 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65599317 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359013434144 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18690] ppid=18680 vsize=14089220 memory=5024 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18690/stat : 18690 (java) S 18680 18680 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65599317 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359012381808 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18691] ppid=18680 vsize=14089220 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18691/stat : 18691 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359011330128 140360102111131 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18692] ppid=18680 vsize=14089220 memory=1284 CPUtime=0.31 cores=1,3,5,7
/proc/18682/task/18692/stat : 18692 (java) S 18680 18680 17249 0 -1 1077944384 1486 0 0 0 31 0 0 0 20 0 15 0 65599320 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359010262992 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18693] ppid=18680 vsize=14089220 memory=1088 CPUtime=0.33 cores=1,3,5,7
/proc/18682/task/18693/stat : 18693 (java) S 18680 18680 17249 0 -1 1077944384 1664 0 0 0 33 0 0 0 20 0 15 0 65599320 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359009204336 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18694] ppid=18680 vsize=14089220 memory=1796 CPUtime=0.23 cores=1,3,5,7
/proc/18682/task/18694/stat : 18694 (java) S 18680 18680 17249 0 -1 1077944384 1394 0 0 0 23 0 0 0 20 0 15 0 65599320 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359008172912 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18695] ppid=18680 vsize=14089220 memory=7012 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18695/stat : 18695 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359007120352 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18696] ppid=18680 vsize=14089220 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18696/stat : 18696 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49136 33554432000 4194304 4196468 140724527493456 140359006067120 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 198000 KiB
[startup+1.50138 s]
/proc/loadavg: 1.62 1.80 1.84 3/217 18696
/proc/meminfo: memFree=16284756/32770624 swapFree=67108796/67108860
[pid=18680] ppid=18677 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18680/stat : 18680 (xcsp3-exec) S 18677 18680 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65599314 115843072 364 33554432000 4194304 5098028 140722922125376 140722922123480 140517135106684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29925376 140722922128442 140722922128644 140722922128644 140722922131402 0
/proc/18680/statm: 28282 364 306 221 0 87 0
[pid=18682] ppid=18680 vsize=14089220 memory=199256 CPUtime=3.24 cores=1,3,5,7
/proc/18682/stat : 18682 (java) S 18680 18680 17249 0 -1 1077944320 13451 0 0 0 317 7 0 0 20 0 15 0 65599314 14427361280 49814 33554432000 4194304 4196468 140724527493456 140724527476000 140360102092535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
/proc/18682/statm: 3522305 49814 3356 1 0 3483520 0
[pid=18682/tid=18683] ppid=18680 vsize=14089220 memory=1456 CPUtime=1.46 cores=1,3,5,7
/proc/18682/task/18683/stat : 18683 (java) R 18680 18680 17249 0 -1 4202560 6958 0 0 0 142 4 0 0 20 0 15 0 65599314 14427361280 49814 33554432000 4194304 4196468 140724527493456 140360106331640 140359742938456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18684] ppid=18680 vsize=14089220 memory=197872 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18684/stat : 18684 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49814 33554432000 4194304 4196468 140724527493456 140360069651344 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18685] ppid=18680 vsize=14089220 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18685/stat : 18685 (java) S 18680 18680 17249 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359696841488 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18686] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18686/stat : 18686 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359695789200 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18687] ppid=18680 vsize=14089220 memory=140243164632240 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18687/stat : 18687 (java) S 18680 18680 17249 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359694736400 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18688] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18688/stat : 18688 (java) S 18680 18680 17249 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 65599316 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359014488176 140360102103682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18689] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18689/stat : 18689 (java) S 18680 18680 17249 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 65599317 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359013434144 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18690] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18690/stat : 18690 (java) S 18680 18680 17249 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 65599317 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359012381808 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18691] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18691/stat : 18691 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359011330128 140360102111131 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18692] ppid=18680 vsize=14089220 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/18682/task/18692/stat : 18692 (java) S 18680 18680 17249 0 -1 1077944384 1587 0 0 0 68 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359010278000 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18693] ppid=18680 vsize=14089220 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/18682/task/18693/stat : 18693 (java) R 18680 18680 17249 0 -1 4202560 1823 0 0 0 68 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359009212336 140360081339384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18694] ppid=18680 vsize=14089220 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/18682/task/18694/stat : 18694 (java) S 18680 18680 17249 0 -1 1077944384 1655 0 0 0 36 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359008172912 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18695] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18695/stat : 18695 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359007120352 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18696] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18696/stat : 18696 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359006067120 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 200712 KiB
[startup+1.55055 s]
# the end of solver process 18680 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.28644 s, system=0.080199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50138 s]
/proc/loadavg: 1.62 1.80 1.84 3/217 18696
/proc/meminfo: memFree=16284756/32770624 swapFree=67108796/67108860
[pid=18680] ppid=18677 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18680/stat : 18680 (xcsp3-exec) S 18677 18680 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65599314 115843072 364 33554432000 4194304 5098028 140722922125376 140722922123480 140517135106684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29925376 140722922128442 140722922128644 140722922128644 140722922131402 0
/proc/18680/statm: 28282 364 306 221 0 87 0
[pid=18682] ppid=18680 vsize=14089220 memory=199256 CPUtime=3.24 cores=1,3,5,7
/proc/18682/stat : 18682 (java) S 18680 18680 17249 0 -1 1077944320 13451 0 0 0 317 7 0 0 20 0 15 0 65599314 14427361280 49814 33554432000 4194304 4196468 140724527493456 140724527476000 140360102092535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
/proc/18682/statm: 3522305 49814 3356 1 0 3483520 0
[pid=18682/tid=18683] ppid=18680 vsize=14089220 memory=1456 CPUtime=1.46 cores=1,3,5,7
/proc/18682/task/18683/stat : 18683 (java) R 18680 18680 17249 0 -1 4202560 6958 0 0 0 142 4 0 0 20 0 15 0 65599314 14427361280 49814 33554432000 4194304 4196468 140724527493456 140360106331640 140359742938456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18684] ppid=18680 vsize=14089220 memory=197872 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18684/stat : 18684 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49814 33554432000 4194304 4196468 140724527493456 140360069651344 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18685] ppid=18680 vsize=14089220 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18685/stat : 18685 (java) S 18680 18680 17249 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359696841488 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18686] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18686/stat : 18686 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359695789200 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18687] ppid=18680 vsize=14089220 memory=140243164632240 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18687/stat : 18687 (java) S 18680 18680 17249 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 65599315 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359694736400 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18688] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18688/stat : 18688 (java) S 18680 18680 17249 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 65599316 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359014488176 140360102103682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18689] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18689/stat : 18689 (java) S 18680 18680 17249 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 65599317 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359013434144 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18690] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18690/stat : 18690 (java) S 18680 18680 17249 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 65599317 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359012381808 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18691] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18691/stat : 18691 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359011330128 140360102111131 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18692] ppid=18680 vsize=14089220 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/18682/task/18692/stat : 18692 (java) S 18680 18680 17249 0 -1 1077944384 1587 0 0 0 68 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359010278000 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18693] ppid=18680 vsize=14089220 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/18682/task/18693/stat : 18693 (java) R 18680 18680 17249 0 -1 4202560 1823 0 0 0 68 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359009212336 140360081339384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18694] ppid=18680 vsize=14089220 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/18682/task/18694/stat : 18694 (java) S 18680 18680 17249 0 -1 1077944384 1655 0 0 0 36 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359008172912 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18695] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18695/stat : 18695 (java) S 18680 18680 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359007120352 140360102102741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
[pid=18682/tid=18696] ppid=18680 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18682/task/18696/stat : 18696 (java) S 18680 18680 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65599320 14427361280 49814 33554432000 4194304 4196468 140724527493456 140359006067120 140360102103682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10248192 140724527498369 140724527498545 140724527498545 140724527501263 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 200712 KiB
Child status: 0
Real time (s): 1.55059
CPU time (s): 3.36664
CPU user time (s): 3.28644
CPU system time (s): 0.080199
CPU usage (%): 217.12
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 200712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.28644
system time used= 0.080199
maximum resident set size= 200424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14069
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= 1701
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 18680
# total CPU time (s): 3.36664
# total CPU user time (s): 3.28644
# total CPU system time (s): 0.080199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034381 second user time and 0.055617 second system time
The end