0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271420-1502836958.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271420-1502836958.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.19 c 8 solvers in parallel
0.32/0.26 c parse instance...
70.99/63.38 c solve instance...
19670.88/2520.09 s UNKNOWN
19670.88/2520.09 c Unexpected resolution interruption!
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 (13502 MiB free)
memory of node 1: 16384 MiB (14578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271420-1502836958/watcher-4271420-1502836958 -o /tmp/evaluation-result-4271420-1502836958/solver-4271420-1502836958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502825631-5298 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1504477229 HOME/instance-4271420-1502836958.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6230, runsolver pid=6227
[startup+0.100064 s]*
/proc/loadavg: 2.49 1.72 1.41 2/199 6251
/proc/meminfo: memFree=28738452/32770624 swapFree=67108860/67108860
[pid=6230] ppid=6227 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116776668 9740288 346 33554432000 4194304 5098028 140736413511904 140736413510008 140493895185020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12783616 140736413520996 140736413521207 140736413521207 140736413523947 0
/proc/6230/statm: 2378 346 289 221 0 87 0
[pid=6232] ppid=6230 vsize=25999808 memory=27440 CPUtime=0.11 cores=0-7
/proc/6232/stat : 6232 (java) S 6230 6230 5271 0 -1 1077944320 5237 0 0 0 11 0 0 0 20 0 20 0 116776668 26623803392 6860 33554432000 4194304 4196468 140724511509600 140724511492144 140253179313911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
/proc/6232/statm: 6499952 6860 2861 1 0 6488269 0
[pid=6232/tid=6233] ppid=6230 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6232/task/6233/stat : 6233 (java) R 6230 6230 5271 0 -1 4202560 3227 0 0 0 8 0 0 0 20 0 20 0 116776668 26623803392 6860 33554432000 4194304 4196468 140724511509600 140253183546160 140252777945007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6234] ppid=6230 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26623803392 6860 33554432000 4194304 4196468 140724511509600 140253101894800 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6235] ppid=6230 vsize=25999808 memory=140346511730304 CPUtime=0 cores=0-7
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116776669 26623803392 6860 33554432000 4194304 4196468 140724511509600 140253100842000 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6236] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776669 26623803392 6860 33554432000 4194304 4196468 140724511509600 140253099789200 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6237] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26623803392 6860 33554432000 4194304 4196468 140724511509600 140253098736400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6238] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26623803392 6860 33554432000 4194304 4196468 140724511509600 140253097683600 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6239] ppid=6230 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26623803392 6860 33554432000 4194304 4196468 140724511509600 140252732742160 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6240] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776669 26623803392 6860 33554432000 4194304 4196468 140724511509600 140252731689360 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6241] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26623803392 6860 33554432000 4194304 4196468 140724511509600 140252730636560 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6242] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776671 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251384519536 140253179325058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6243] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 5271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116776671 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251383465504 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6244] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 5271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116776671 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251382412656 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6245] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776674 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251381360976 140253179332507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6246] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 5271 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 116776674 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251380308336 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6247] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6247/stat : 6247 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116776674 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251379255536 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6248] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6248/stat : 6248 (java) S 6230 6230 5271 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 116776674 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251378202736 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6249] ppid=6230 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6232/task/6249/stat : 6249 (java) R 6230 6230 5271 0 -1 4202560 325 0 0 0 1 0 0 0 20 0 20 0 116776674 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251377149936 140253158284909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6250] ppid=6230 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6250/stat : 6250 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116776674 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251376098400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6251] ppid=6230 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6232/task/6251/stat : 6251 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776674 26623803392 6860 33554432000 4194304 4196468 140724511509600 140251375045680 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28824 KiB
[startup+0.210306 s]*
/proc/loadavg: 2.49 1.72 1.41 3/199 6251
/proc/meminfo: memFree=28727080/32770624 swapFree=67108860/67108860
[pid=6230] ppid=6227 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116776668 9740288 346 33554432000 4194304 5098028 140736413511904 140736413510008 140493895185020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12783616 140736413520996 140736413521207 140736413521207 140736413523947 0
/proc/6230/statm: 2378 346 289 221 0 87 0
[pid=6232] ppid=6230 vsize=26004096 memory=38924 CPUtime=0.32 cores=0-7
/proc/6232/stat : 6232 (java) S 6230 6230 5271 0 -1 1077944320 7965 0 0 0 31 1 0 0 20 0 20 0 116776668 26628194304 9731 33554432000 4194304 4196468 140724511509600 140724511492144 140253179313911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
/proc/6232/statm: 6501024 9731 2995 1 0 6488277 0
[pid=6232/tid=6233] ppid=6230 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6232/task/6233/stat : 6233 (java) R 6230 6230 5271 0 -1 4202560 5081 0 0 0 18 1 0 0 20 0 20 0 116776668 26628161536 9731 33554432000 4194304 4196468 140724511509600 140253183515744 140253163394398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6234] ppid=6230 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 9731 33554432000 4194304 4196468 140724511509600 140253101894800 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6235] ppid=6230 vsize=26004064 memory=140346511739143 CPUtime=0 cores=0-7
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 9731 33554432000 4194304 4196468 140724511509600 140253100842000 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6236] ppid=6230 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 9731 33554432000 4194304 4196468 140724511509600 140253099789200 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6237] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 9731 33554432000 4194304 4196468 140724511509600 140253098736400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6238] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 9731 33554432000 4194304 4196468 140724511509600 140253097683600 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6239] ppid=6230 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 9731 33554432000 4194304 4196468 140724511509600 140252732742160 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6240] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 9731 33554432000 4194304 4196468 140724511509600 140252731689360 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6241] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 9731 33554432000 4194304 4196468 140724511509600 140252730636560 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6242] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776671 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251384519536 140253179325058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6243] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 5271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116776671 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251383465504 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6244] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 5271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116776671 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251382412656 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6245] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776674 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251381360976 140253179332507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6246] ppid=6230 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 5271 0 -1 1077944384 573 0 0 0 2 0 0 0 20 0 20 0 116776674 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251380308336 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6247] ppid=6230 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6232/task/6247/stat : 6247 (java) S 6230 6230 5271 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 116776674 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251379255536 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6248] ppid=6230 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6232/task/6248/stat : 6248 (java) S 6230 6230 5271 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 116776674 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251378202736 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6249] ppid=6230 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/6232/task/6249/stat : 6249 (java) S 6230 6230 5271 0 -1 1077944384 721 0 0 0 8 0 0 0 20 0 20 0 116776674 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251377149936 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6250] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6250/stat : 6250 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116776674 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251376098400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6251] ppid=6230 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6232/task/6251/stat : 6251 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776674 26628161536 9731 33554432000 4194304 4196468 140724511509600 140251375045680 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40308 KiB
[startup+0.310006 s]*
/proc/loadavg: 2.49 1.72 1.41 4/199 6251
/proc/meminfo: memFree=28721364/32770624 swapFree=67108860/67108860
[pid=6230] ppid=6227 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116776668 9740288 346 33554432000 4194304 5098028 140736413511904 140736413510008 140493895185020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12783616 140736413520996 140736413521207 140736413521207 140736413523947 0
/proc/6230/statm: 2378 346 289 221 0 87 0
[pid=6232] ppid=6230 vsize=26004064 memory=46036 CPUtime=0.51 cores=0-7
/proc/6232/stat : 6232 (java) S 6230 6230 5271 0 -1 1077944320 8744 0 0 0 49 2 0 0 20 0 20 0 116776668 26628161536 11509 33554432000 4194304 4196468 140724511509600 140724511492144 140253179313911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
/proc/6232/statm: 6501016 11509 3099 1 0 6488269 0
[pid=6232/tid=6233] ppid=6230 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6232/task/6233/stat : 6233 (java) R 6230 6230 5271 0 -1 4202560 5605 0 0 0 28 1 0 0 20 0 20 0 116776668 26628161536 11509 33554432000 4194304 4196468 140724511509600 140253183543488 140253179325846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6234] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 11509 33554432000 4194304 4196468 140724511509600 140253101894800 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6235] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 11509 33554432000 4194304 4196468 140724511509600 140253100842000 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6236] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 11509 33554432000 4194304 4196468 140724511509600 140253099789200 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6237] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 11509 33554432000 4194304 4196468 140724511509600 140253098736400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6238] ppid=6230 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 11509 33554432000 4194304 4196468 140724511509600 140253097683600 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6239] ppid=6230 vsize=26004064 memory=140346377991087 CPUtime=0 cores=0-7
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 11509 33554432000 4194304 4196468 140724511509600 140252732742160 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6240] ppid=6230 vsize=26004064 memory=140346377993392 CPUtime=0 cores=0-7
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 11509 33554432000 4194304 4196468 140724511509600 140252731689360 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6241] ppid=6230 vsize=26004064 memory=140346377995696 CPUtime=0 cores=0-7
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776669 26628161536 11509 33554432000 4194304 4196468 140724511509600 140252730636560 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6242] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 5271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116776671 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251384519536 140253179325058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6243] ppid=6230 vsize=26004064 memory=280692755998352 CPUtime=0 cores=0-7
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 5271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116776671 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251383465504 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6244] ppid=6230 vsize=26004064 memory=280692756005264 CPUtime=0 cores=0-7
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 5271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116776671 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251382412656 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6245] ppid=6230 vsize=26004064 memory=280692755946544 CPUtime=0 cores=0-7
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776674 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251381360976 140253179332507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6246] ppid=6230 vsize=26004064 memory=280692756019088 CPUtime=0.03 cores=0-7
/proc/6232/task/6246/stat : 6246 (java) R 6230 6230 5271 0 -1 4202560 582 0 0 0 3 0 0 0 20 0 20 0 116776674 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251380308336 140253172298953 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6247] ppid=6230 vsize=26004064 memory=280692756026000 CPUtime=0.02 cores=0-7
/proc/6232/task/6247/stat : 6247 (java) S 6230 6230 5271 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 20 0 116776674 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251379255536 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6248] ppid=6230 vsize=26004064 memory=280692756023696 CPUtime=0.02 cores=0-7
/proc/6232/task/6248/stat : 6248 (java) R 6230 6230 5271 0 -1 4202560 162 0 0 0 2 0 0 0 20 0 20 0 116776674 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251378202736 140253160858389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6249] ppid=6230 vsize=26004064 memory=280692756039856 CPUtime=0.12 cores=0-7
/proc/6232/task/6249/stat : 6249 (java) S 6230 6230 5271 0 -1 1077944384 785 0 0 0 12 0 0 0 20 0 20 0 116776674 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251377149936 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6250] ppid=6230 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6250/stat : 6250 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116776674 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251376098400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6251] ppid=6230 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6232/task/6251/stat : 6251 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776674 26628161536 11509 33554432000 4194304 4196468 140724511509600 140251375045680 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47420 KiB
[startup+0.700994 s]
/proc/loadavg: 2.49 1.72 1.41 5/199 6251
/proc/meminfo: memFree=28651804/32770624 swapFree=67108860/67108860
[pid=6230] ppid=6227 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116776668 9740288 346 33554432000 4194304 5098028 140736413511904 140736413510008 140493895185020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12783616 140736413520996 140736413521207 140736413521207 140736413523947 0
/proc/6230/statm: 2378 346 289 221 0 87 0
[pid=6232] ppid=6230 vsize=26004140 memory=210800 CPUtime=1.52 cores=0-7
/proc/6232/stat : 6232 (java) S 6230 6230 5271 0 -1 1077944320 11552 0 0 0 145 7 0 0 20 0 20 0 116776668 26628239360 52700 33554432000 4194304 4196468 140724511509600 140724511492144 140253179313911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
/proc/6232/statm: 6501035 52700 3205 1 0 6488269 0
[pid=6232/tid=6233] ppid=6230 vsize=26004140 memory=280692756397744 CPUtime=0.66 cores=0-7
/proc/6232/task/6233/stat : 6233 (java) R 6230 6230 5271 0 -1 4202560 5974 0 0 0 63 3 0 0 20 0 20 0 116776668 26628239360 52700 33554432000 4194304 4196468 140724511509600 140253183548496 140252780939858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6234] ppid=6230 vsize=26004140 memory=140346378199920 CPUtime=0 cores=0-7
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 5271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 116776669 26628239360 52700 33554432000 4194304 4196468 140724511509600 140253101894800 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6235] ppid=6230 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116776669 26628239360 52700 33554432000 4194304 4196468 140724511509600 140253100842000 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6236] ppid=6230 vsize=26004140 memory=1200 CPUtime=0 cores=0-7
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116776669 26628239360 52700 33554432000 4194304 4196468 140724511509600 140253099789200 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
################
# More data... #
################
[pid=6232/tid=6259] ppid=6230 vsize=26538700 memory=46500 CPUtime=2437.37 cores=0-7
/proc/6232/task/6259/stat : 6259 (java) R 6230 6230 5271 0 -1 4202560 25545 0 0 0 243698 39 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251359669168 140252780603440 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
Current children cumulated CPU time: 19529.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2677956 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520.01 s]
/proc/loadavg: 9.18 8.50 7.90 9/208 6324
/proc/meminfo: memFree=26085944/32770624 swapFree=67108860/67108860
[pid=6230] ppid=6227 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116776668 9740288 346 33554432000 4194304 5098028 140736413511904 140736413510008 140493895185020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12783616 140736413520996 140736413521207 140736413521207 140736413523947 0
/proc/6230/statm: 2378 346 289 221 0 87 0
[pid=6232] ppid=6230 vsize=26538700 memory=2676572 CPUtime=19670.9 cores=0-7
/proc/6232/stat : 6232 (java) S 6230 6230 5271 0 -1 1077944320 196977 0 0 0 1966471 617 0 0 20 0 28 0 116776668 27175628800 669143 33554432000 4194304 4196468 140724511509600 140724511492144 140253179313911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
/proc/6232/statm: 6634675 669143 3291 1 0 6621909 0
[pid=6232/tid=6233] ppid=6230 vsize=26538700 memory=2676572 CPUtime=61.45 cores=0-7
/proc/6232/task/6233/stat : 6233 (java) S 6230 6230 5271 0 -1 1077944384 12999 0 0 0 6125 20 0 0 20 0 28 0 116776668 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253183554688 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6234] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.76 cores=0-7
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 5271 0 -1 1077944384 3615 0 0 0 131 45 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253101894800 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6235] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.76 cores=0-7
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 5271 0 -1 1077944384 3281 0 0 0 133 43 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253100842000 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6236] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.76 cores=0-7
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 5271 0 -1 1077944384 2691 0 0 0 130 46 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253099789200 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6237] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.75 cores=0-7
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 5271 0 -1 1077944384 3864 0 0 0 125 50 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253098736400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6238] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.76 cores=0-7
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 5271 0 -1 1077944384 3960 0 0 0 132 44 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253097683600 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6239] ppid=6230 vsize=26538700 memory=1384 CPUtime=1.77 cores=0-7
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 5271 0 -1 1077944384 3828 0 0 0 123 54 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140252732742160 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6240] ppid=6230 vsize=26538700 memory=1424 CPUtime=1.77 cores=0-7
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 5271 0 -1 1077944384 3826 0 0 0 123 54 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140252731689360 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6241] ppid=6230 vsize=26538700 memory=8112282956445269571 CPUtime=1.75 cores=0-7
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 5271 0 -1 1077944384 3220 0 0 0 132 43 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140252730636560 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6242] ppid=6230 vsize=26538700 memory=640 CPUtime=1.13 cores=0-7
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 5271 0 -1 1077944384 8176 0 0 0 111 2 0 0 20 0 28 0 116776671 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251384519536 140253179325058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6243] ppid=6230 vsize=26538700 memory=1580 CPUtime=0 cores=0-7
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 5271 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 116776671 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251383465568 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6244] ppid=6230 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 5271 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 116776671 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251382412672 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6245] ppid=6230 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251381360976 140253179332507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6246] ppid=6230 vsize=26538700 memory=1384 CPUtime=1.18 cores=0-7
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 5271 0 -1 1077944384 11954 0 0 0 116 2 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251380308336 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6247] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.3 cores=0-7
/proc/6232/task/6247/stat : 6247 (java) S 6230 6230 5271 0 -1 1077944384 12071 0 0 0 127 3 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251379255536 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6248] ppid=6230 vsize=26538700 memory=8112282956445269571 CPUtime=1.22 cores=0-7
/proc/6232/task/6248/stat : 6248 (java) S 6230 6230 5271 0 -1 1077944384 14300 0 0 0 120 2 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251378202736 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6249] ppid=6230 vsize=26538700 memory=280692756676992 CPUtime=0.66 cores=0-7
/proc/6232/task/6249/stat : 6249 (java) S 6230 6230 5271 0 -1 1077944384 10914 0 0 0 64 2 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251377149936 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6250] ppid=6230 vsize=26538700 memory=7740668964792002155 CPUtime=0 cores=0-7
/proc/6232/task/6250/stat : 6250 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251376098400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6251] ppid=6230 vsize=26538700 memory=1384 CPUtime=1.1 cores=0-7
/proc/6232/task/6251/stat : 6251 (java) S 6230 6230 5271 0 -1 1077944384 2653 0 0 0 43 67 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251375045680 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6252] ppid=6230 vsize=26538700 memory=1384 CPUtime=2454.96 cores=0-7
/proc/6232/task/6252/stat : 6252 (java) R 6230 6230 5271 0 -1 4202560 5150 0 0 0 245482 14 0 0 20 0 28 0 116783007 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251367034136 140252778944620 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6253] ppid=6230 vsize=26538700 memory=844 CPUtime=2429.06 cores=0-7
/proc/6232/task/6253/stat : 6253 (java) R 6230 6230 5271 0 -1 4202560 7450 0 0 0 242901 5 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251365982472 140252782952599 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6254] ppid=6230 vsize=26538700 memory=1692 CPUtime=2451.87 cores=0-7
/proc/6232/task/6254/stat : 6254 (java) R 6230 6230 5271 0 -1 4202560 20026 0 0 0 245135 52 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251364929616 140252780367488 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6255] ppid=6230 vsize=26538700 memory=2676572 CPUtime=2454.86 cores=0-7
/proc/6232/task/6255/stat : 6255 (java) R 6230 6230 5271 0 -1 4202560 7839 0 0 0 245479 7 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251363876968 140252782952599 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6256] ppid=6230 vsize=26538700 memory=1384 CPUtime=2446.38 cores=0-7
/proc/6232/task/6256/stat : 6256 (java) R 6230 6230 5271 0 -1 4202560 13640 0 0 0 244594 44 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251362824168 140252782952599 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6257] ppid=6230 vsize=26538700 memory=1384 CPUtime=2451.04 cores=0-7
/proc/6232/task/6257/stat : 6257 (java) R 6230 6230 5271 0 -1 4202560 7644 0 0 0 245093 11 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251361771368 140252780366870 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6258] ppid=6230 vsize=26538700 memory=2676572 CPUtime=2445.33 cores=0-7
/proc/6232/task/6258/stat : 6258 (java) R 6230 6230 5271 0 -1 4202560 6829 0 0 0 244509 24 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251360719496 140252780533612 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6259] ppid=6230 vsize=26538700 memory=1384 CPUtime=2455.08 cores=0-7
/proc/6232/task/6259/stat : 6259 (java) R 6230 6230 5271 0 -1 4202560 25670 0 0 0 245469 39 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251359669168 140252780367005 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
Current children cumulated CPU time: 19670.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2677956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 6230 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.0019 s
[startup+2520.13 s]
# the end of solver process 6232 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19665.5 s, system=6.19351 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.01 s]
/proc/loadavg: 9.18 8.50 7.90 9/208 6324
/proc/meminfo: memFree=26085944/32770624 swapFree=67108860/67108860
[pid=6230] ppid=6227 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6230/stat : 6230 (xcsp3-exec) S 6227 6230 5271 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116776668 9740288 346 33554432000 4194304 5098028 140736413511904 140736413510008 140493895185020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12783616 140736413520996 140736413521207 140736413521207 140736413523947 0
/proc/6230/statm: 2378 346 289 221 0 87 0
[pid=6232] ppid=6230 vsize=26538700 memory=2676572 CPUtime=19670.9 cores=0-7
/proc/6232/stat : 6232 (java) S 6230 6230 5271 0 -1 1077944320 196977 0 0 0 1966471 617 0 0 20 0 28 0 116776668 27175628800 669143 33554432000 4194304 4196468 140724511509600 140724511492144 140253179313911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
/proc/6232/statm: 6634675 669143 3291 1 0 6621909 0
[pid=6232/tid=6233] ppid=6230 vsize=26538700 memory=2676572 CPUtime=61.45 cores=0-7
/proc/6232/task/6233/stat : 6233 (java) S 6230 6230 5271 0 -1 1077944384 12999 0 0 0 6125 20 0 0 20 0 28 0 116776668 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253183554688 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6234] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.76 cores=0-7
/proc/6232/task/6234/stat : 6234 (java) S 6230 6230 5271 0 -1 1077944384 3615 0 0 0 131 45 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253101894800 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6235] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.76 cores=0-7
/proc/6232/task/6235/stat : 6235 (java) S 6230 6230 5271 0 -1 1077944384 3281 0 0 0 133 43 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253100842000 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6236] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.76 cores=0-7
/proc/6232/task/6236/stat : 6236 (java) S 6230 6230 5271 0 -1 1077944384 2691 0 0 0 130 46 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253099789200 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6237] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.75 cores=0-7
/proc/6232/task/6237/stat : 6237 (java) S 6230 6230 5271 0 -1 1077944384 3864 0 0 0 125 50 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253098736400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6238] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.76 cores=0-7
/proc/6232/task/6238/stat : 6238 (java) S 6230 6230 5271 0 -1 1077944384 3960 0 0 0 132 44 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140253097683600 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6239] ppid=6230 vsize=26538700 memory=1384 CPUtime=1.77 cores=0-7
/proc/6232/task/6239/stat : 6239 (java) S 6230 6230 5271 0 -1 1077944384 3828 0 0 0 123 54 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140252732742160 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6240] ppid=6230 vsize=26538700 memory=1424 CPUtime=1.77 cores=0-7
/proc/6232/task/6240/stat : 6240 (java) S 6230 6230 5271 0 -1 1077944384 3826 0 0 0 123 54 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140252731689360 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6241] ppid=6230 vsize=26538700 memory=8112282956445269571 CPUtime=1.75 cores=0-7
/proc/6232/task/6241/stat : 6241 (java) S 6230 6230 5271 0 -1 1077944384 3220 0 0 0 132 43 0 0 20 0 28 0 116776669 27175628800 669143 33554432000 4194304 4196468 140724511509600 140252730636560 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6242] ppid=6230 vsize=26538700 memory=640 CPUtime=1.13 cores=0-7
/proc/6232/task/6242/stat : 6242 (java) S 6230 6230 5271 0 -1 1077944384 8176 0 0 0 111 2 0 0 20 0 28 0 116776671 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251384519536 140253179325058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6243] ppid=6230 vsize=26538700 memory=1580 CPUtime=0 cores=0-7
/proc/6232/task/6243/stat : 6243 (java) S 6230 6230 5271 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 116776671 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251383465568 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6244] ppid=6230 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/6232/task/6244/stat : 6244 (java) S 6230 6230 5271 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 116776671 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251382412672 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6245] ppid=6230 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6232/task/6245/stat : 6245 (java) S 6230 6230 5271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251381360976 140253179332507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6246] ppid=6230 vsize=26538700 memory=1384 CPUtime=1.18 cores=0-7
/proc/6232/task/6246/stat : 6246 (java) S 6230 6230 5271 0 -1 1077944384 11954 0 0 0 116 2 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251380308336 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6247] ppid=6230 vsize=26538700 memory=2676572 CPUtime=1.3 cores=0-7
/proc/6232/task/6247/stat : 6247 (java) S 6230 6230 5271 0 -1 1077944384 12071 0 0 0 127 3 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251379255536 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6248] ppid=6230 vsize=26538700 memory=8112282956445269571 CPUtime=1.22 cores=0-7
/proc/6232/task/6248/stat : 6248 (java) S 6230 6230 5271 0 -1 1077944384 14300 0 0 0 120 2 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251378202736 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6249] ppid=6230 vsize=26538700 memory=280692756676992 CPUtime=0.66 cores=0-7
/proc/6232/task/6249/stat : 6249 (java) S 6230 6230 5271 0 -1 1077944384 10914 0 0 0 64 2 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251377149936 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6250] ppid=6230 vsize=26538700 memory=7740668964792002155 CPUtime=0 cores=0-7
/proc/6232/task/6250/stat : 6250 (java) S 6230 6230 5271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251376098400 140253179324117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6251] ppid=6230 vsize=26538700 memory=1384 CPUtime=1.1 cores=0-7
/proc/6232/task/6251/stat : 6251 (java) S 6230 6230 5271 0 -1 1077944384 2653 0 0 0 43 67 0 0 20 0 28 0 116776674 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251375045680 140253179325058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6252] ppid=6230 vsize=26538700 memory=1384 CPUtime=2454.96 cores=0-7
/proc/6232/task/6252/stat : 6252 (java) R 6230 6230 5271 0 -1 4202560 5150 0 0 0 245482 14 0 0 20 0 28 0 116783007 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251367034136 140252778944620 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6253] ppid=6230 vsize=26538700 memory=844 CPUtime=2429.06 cores=0-7
/proc/6232/task/6253/stat : 6253 (java) R 6230 6230 5271 0 -1 4202560 7450 0 0 0 242901 5 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251365982472 140252782952599 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6254] ppid=6230 vsize=26538700 memory=1692 CPUtime=2451.87 cores=0-7
/proc/6232/task/6254/stat : 6254 (java) R 6230 6230 5271 0 -1 4202560 20026 0 0 0 245135 52 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251364929616 140252780367488 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6255] ppid=6230 vsize=26538700 memory=2676572 CPUtime=2454.86 cores=0-7
/proc/6232/task/6255/stat : 6255 (java) R 6230 6230 5271 0 -1 4202560 7839 0 0 0 245479 7 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251363876968 140252782952599 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6256] ppid=6230 vsize=26538700 memory=1384 CPUtime=2446.38 cores=0-7
/proc/6232/task/6256/stat : 6256 (java) R 6230 6230 5271 0 -1 4202560 13640 0 0 0 244594 44 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251362824168 140252782952599 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6257] ppid=6230 vsize=26538700 memory=1384 CPUtime=2451.04 cores=0-7
/proc/6232/task/6257/stat : 6257 (java) R 6230 6230 5271 0 -1 4202560 7644 0 0 0 245093 11 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251361771368 140252780366870 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6258] ppid=6230 vsize=26538700 memory=2676572 CPUtime=2445.33 cores=0-7
/proc/6232/task/6258/stat : 6258 (java) R 6230 6230 5271 0 -1 4202560 6829 0 0 0 244509 24 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251360719496 140252780533612 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
[pid=6232/tid=6259] ppid=6230 vsize=26538700 memory=1384 CPUtime=2455.08 cores=0-7
/proc/6232/task/6259/stat : 6259 (java) R 6230 6230 5271 0 -1 4202560 25670 0 0 0 245469 39 0 0 20 0 28 0 116783008 27175628800 669143 33554432000 4194304 4196468 140724511509600 140251359669168 140252780367005 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34844672 140724511515794 140724511515971 140724511515971 140724511518671 0
Current children cumulated CPU time: 19670.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2677956 KiB
Child status: 143
Real time (s): 2520.13
CPU time (s): 19671.7
CPU user time (s): 19665.5
CPU system time (s): 6.19351
CPU usage (%): 780.584
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2896888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19665.5
system time used= 6.19351
maximum resident set size= 2895504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62031
involuntary context switches= 196419
# summary of solver processes directly reported to runsolver:
# pid: 6230,6232
# total CPU time (s): 19671.7
# total CPU user time (s): 19665.5
# total CPU system time (s): 6.19351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3831 second user time and 31.6115 second system time
The end
Begin job on node151 at 2017-08-16 00:28:19
IDJOB=4271420
IDBENCH=140123
IDSOLVER=2662
FILE ID=node151/4271420-1502836958
RUNJOBID= node151-1502825631-5298
PBS_JOBID= 20629834
Free space on /tmp= 61832 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-vg/Crossword-m1c-ogd2008-vg-11-12.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271420-1502836958/watcher-4271420-1502836958 -o /tmp/evaluation-result-4271420-1502836958/solver-4271420-1502836958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502825631-5298 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1504477229 HOME/instance-4271420-1502836958.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9ac58fd867900409c70334584dcd9d09
RANDOM SEED=1504477229
node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 28754300 kB
MemAvailable: 31986680 kB
Buffers: 302880 kB
Cached: 3219336 kB
SwapCached: 0 kB
Active: 987156 kB
Inactive: 2590024 kB
Active(anon): 57760 kB
Inactive(anon): 25048 kB
Active(file): 929396 kB
Inactive(file): 2564976 kB
Unevictable: 7020 kB
Mlocked: 7020 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 13092 kB
Writeback: 0 kB
AnonPages: 55696 kB
Mapped: 46884 kB
Shmem: 25224 kB
Slab: 134168 kB
SReclaimable: 107684 kB
SUnreclaim: 26484 kB
KernelStack: 3520 kB
PageTables: 5416 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61824 MiB
End job on node151 at 2017-08-16 01:10:19