0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271730-1502638400.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271730-1502638400.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
5.55/1.54 c solve instance...
2000.15/252.07 s UNKNOWN
2000.15/252.07 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 (12979 MiB free)
memory of node 1: 16384 MiB (14998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271730-1502638400/watcher-4271730-1502638400 -o /tmp/evaluation-result-4271730-1502638400/solver-4271730-1502638400 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1777721472 HOME/instance-4271730-1502638400.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=4719, runsolver pid=4716
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 5.70 4.82 3.19 2/200 4740
/proc/meminfo: memFree=28635300/32770624 swapFree=67108860/67108860
[pid=4719] ppid=4716 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4719/stat : 4719 (xcsp3-exec) S 4716 4719 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96927948 9740288 346 33554432000 4194304 5098028 140721392697808 140721392695912 140033402581628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13148160 140721392706666 140721392706876 140721392706876 140721392709611 0
/proc/4719/statm: 2378 346 289 221 0 87 0
[pid=4721] ppid=4719 vsize=25999808 memory=25108 CPUtime=0.11 cores=0-7
/proc/4721/stat : 4721 (java) S 4719 4719 4410 0 -1 1077944320 5706 0 0 0 9 2 0 0 20 0 20 0 96927949 26623803392 6277 33554432000 4194304 4196468 140724743770640 140724743753184 140696787840759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
/proc/4721/statm: 6499952 6277 2852 1 0 6488269 0
[pid=4721/tid=4722] ppid=4719 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/4721/task/4722/stat : 4722 (java) R 4719 4719 4410 0 -1 4202560 3675 0 0 0 7 1 0 0 20 0 20 0 96927949 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696792067008 140696787862685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4723] ppid=4719 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4721/task/4723/stat : 4723 (java) S 4719 4719 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96927950 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696755399696 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4724] ppid=4719 vsize=25999808 memory=140384190805632 CPUtime=0 cores=0-7
/proc/4721/task/4724/stat : 4724 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696754347152 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4725] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4725/stat : 4725 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696344464144 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4726] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4726/stat : 4726 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696343411600 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4727] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4727/stat : 4727 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696342358544 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4728] ppid=4719 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4721/task/4728/stat : 4728 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696341306000 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4729] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4729/stat : 4729 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696340252944 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4730] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4730/stat : 4730 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96927950 26623803392 6277 33554432000 4194304 4196468 140724743770640 140696339200400 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4731] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4731/stat : 4731 (java) S 4719 4719 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96927951 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695395678960 140696787851906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4732] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4732/stat : 4732 (java) S 4719 4719 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96927952 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695394625184 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4733] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4733/stat : 4733 (java) S 4719 4719 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96927952 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695393572080 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4734] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4734/stat : 4734 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927954 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695392520656 140696787859355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4735] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4735/stat : 4735 (java) S 4719 4719 4410 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 96927954 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695391467760 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4736] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4736/stat : 4736 (java) R 4719 4719 4410 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 96927954 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695390415216 140696787851906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4737] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4737/stat : 4737 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96927954 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695389362160 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4738] ppid=4719 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4721/task/4738/stat : 4738 (java) R 4719 4719 4410 0 -1 4202560 302 0 0 0 1 0 0 0 20 0 20 0 96927954 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695388307152 140696787852694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4739] ppid=4719 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4739/stat : 4739 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96927955 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695387257824 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4740] ppid=4719 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4721/task/4740/stat : 4740 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927955 26623803392 6277 33554432000 4194304 4196468 140724743770640 140695386205360 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26492 KiB
[startup+0.210664 s]*
/proc/loadavg: 5.70 4.82 3.19 2/200 4740
/proc/meminfo: memFree=28623736/32770624 swapFree=67108860/67108860
[pid=4719] ppid=4716 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4719/stat : 4719 (xcsp3-exec) S 4716 4719 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96927948 9740288 346 33554432000 4194304 5098028 140721392697808 140721392695912 140033402581628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13148160 140721392706666 140721392706876 140721392706876 140721392709611 0
/proc/4719/statm: 2378 346 289 221 0 87 0
[pid=4721] ppid=4719 vsize=26004064 memory=37732 CPUtime=0.33 cores=0-7
/proc/4721/stat : 4721 (java) S 4719 4719 4410 0 -1 1077944320 8543 0 0 0 30 3 0 0 20 0 20 0 96927949 26628161536 9433 33554432000 4194304 4196468 140724743770640 140724743753184 140696787840759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
/proc/4721/statm: 6501016 9433 3011 1 0 6488269 0
[pid=4721/tid=4722] ppid=4719 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4721/task/4722/stat : 4722 (java) R 4719 4719 4410 0 -1 4202560 5497 0 0 0 18 2 0 0 20 0 20 0 96927949 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696792054736 140696787862106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4723] ppid=4719 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/4721/task/4723/stat : 4723 (java) S 4719 4719 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696755399696 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4724] ppid=4719 vsize=26004064 memory=140384190814524 CPUtime=0 cores=0-7
/proc/4721/task/4724/stat : 4724 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696754347152 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4725] ppid=4719 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4721/task/4725/stat : 4725 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696344464144 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4726] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4726/stat : 4726 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696343411600 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4727] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4727/stat : 4727 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696342358544 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4728] ppid=4719 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4721/task/4728/stat : 4728 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696341306000 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4729] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4729/stat : 4729 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696340252944 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4730] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4730/stat : 4730 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 9433 33554432000 4194304 4196468 140724743770640 140696339200400 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4731] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4731/stat : 4731 (java) S 4719 4719 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96927951 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695395678960 140696787851906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4732] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4732/stat : 4732 (java) S 4719 4719 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96927952 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695394625184 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4733] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4733/stat : 4733 (java) S 4719 4719 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96927952 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695393572080 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4734] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4734/stat : 4734 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927954 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695392520656 140696787859355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4735] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4735/stat : 4735 (java) S 4719 4719 4410 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 20 0 96927954 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695391467760 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4736] ppid=4719 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4721/task/4736/stat : 4736 (java) S 4719 4719 4410 0 -1 1077944384 306 0 0 0 1 0 0 0 20 0 20 0 96927954 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695390415216 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4737] ppid=4719 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/4721/task/4737/stat : 4737 (java) S 4719 4719 4410 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 20 0 96927954 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695389362160 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4738] ppid=4719 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4721/task/4738/stat : 4738 (java) R 4719 4719 4410 0 -1 4202560 928 0 0 0 7 0 0 0 20 0 20 0 96927954 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695388309616 140696780557911 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4739] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4739/stat : 4739 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96927955 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695387257824 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4740] ppid=4719 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4721/task/4740/stat : 4740 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927955 26628161536 9433 33554432000 4194304 4196468 140724743770640 140695386205360 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39116 KiB
[startup+0.310553 s]*
/proc/loadavg: 5.70 4.82 3.19 3/200 4740
/proc/meminfo: memFree=28619708/32770624 swapFree=67108860/67108860
[pid=4719] ppid=4716 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4719/stat : 4719 (xcsp3-exec) S 4716 4719 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96927948 9740288 346 33554432000 4194304 5098028 140721392697808 140721392695912 140033402581628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13148160 140721392706666 140721392706876 140721392706876 140721392709611 0
/proc/4719/statm: 2378 346 289 221 0 87 0
[pid=4721] ppid=4719 vsize=26004064 memory=42924 CPUtime=0.5 cores=0-7
/proc/4721/stat : 4721 (java) S 4719 4719 4410 0 -1 1077944320 9482 0 0 0 46 4 0 0 20 0 20 0 96927949 26628161536 10731 33554432000 4194304 4196468 140724743770640 140724743753184 140696787840759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
/proc/4721/statm: 6501016 10731 3082 1 0 6488269 0
[pid=4721/tid=4722] ppid=4719 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4721/task/4722/stat : 4722 (java) R 4719 4719 4410 0 -1 4202560 6172 0 0 0 27 2 0 0 20 0 20 0 96927949 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696792071856 140696787862685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4723] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4723/stat : 4723 (java) S 4719 4719 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696755399696 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4724] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4724/stat : 4724 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696754347152 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4725] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4725/stat : 4725 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696344464144 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4726] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4726/stat : 4726 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696343411600 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4727] ppid=4719 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4721/task/4727/stat : 4727 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696342358544 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4728] ppid=4719 vsize=26004064 memory=140384093172655 CPUtime=0 cores=0-7
/proc/4721/task/4728/stat : 4728 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696341306000 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4729] ppid=4719 vsize=26004064 memory=140384093174960 CPUtime=0 cores=0-7
/proc/4721/task/4729/stat : 4729 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696340252944 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4730] ppid=4719 vsize=26004064 memory=140384093177264 CPUtime=0 cores=0-7
/proc/4721/task/4730/stat : 4730 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96927950 26628161536 10731 33554432000 4194304 4196468 140724743770640 140696339200400 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4731] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4731/stat : 4731 (java) S 4719 4719 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96927951 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695395678960 140696787851906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4732] ppid=4719 vsize=26004064 memory=280768186361488 CPUtime=0 cores=0-7
/proc/4721/task/4732/stat : 4732 (java) S 4719 4719 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96927952 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695394625184 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4733] ppid=4719 vsize=26004064 memory=280768186368400 CPUtime=0 cores=0-7
/proc/4721/task/4733/stat : 4733 (java) S 4719 4719 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96927952 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695393572080 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4734] ppid=4719 vsize=26004064 memory=280768186309680 CPUtime=0 cores=0-7
/proc/4721/task/4734/stat : 4734 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927954 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695392520656 140696787859355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4735] ppid=4719 vsize=26004064 memory=280768186382224 CPUtime=0.01 cores=0-7
/proc/4721/task/4735/stat : 4735 (java) S 4719 4719 4410 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 96927954 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695391467760 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4736] ppid=4719 vsize=26004064 memory=280768186389136 CPUtime=0.03 cores=0-7
/proc/4721/task/4736/stat : 4736 (java) S 4719 4719 4410 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 20 0 96927954 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695390415216 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4737] ppid=4719 vsize=26004064 memory=280768186386832 CPUtime=0.02 cores=0-7
/proc/4721/task/4737/stat : 4737 (java) S 4719 4719 4410 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 20 0 96927954 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695389362160 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4738] ppid=4719 vsize=26004064 memory=280768186402992 CPUtime=0.12 cores=0-7
/proc/4721/task/4738/stat : 4738 (java) R 4719 4719 4410 0 -1 4202560 1101 0 0 0 12 0 0 0 20 0 20 0 96927954 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695388309744 140696787852694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4739] ppid=4719 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4739/stat : 4739 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96927955 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695387257824 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4740] ppid=4719 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4721/task/4740/stat : 4740 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927955 26628161536 10731 33554432000 4194304 4196468 140724743770640 140695386205360 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44308 KiB
[startup+0.701045 s]
/proc/loadavg: 5.70 4.82 3.19 5/200 4740
/proc/meminfo: memFree=28591220/32770624 swapFree=67108860/67108860
[pid=4719] ppid=4716 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4719/stat : 4719 (xcsp3-exec) S 4716 4719 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96927948 9740288 346 33554432000 4194304 5098028 140721392697808 140721392695912 140033402581628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13148160 140721392706666 140721392706876 140721392706876 140721392709611 0
/proc/4719/statm: 2378 346 289 221 0 87 0
[pid=4721] ppid=4719 vsize=26006188 memory=104964 CPUtime=2.05 cores=0-7
/proc/4721/stat : 4721 (java) S 4719 4719 4410 0 -1 1077944320 15277 0 0 0 199 6 0 0 20 0 20 0 96927949 26630336512 26241 33554432000 4194304 4196468 140724743770640 140724743753184 140696787840759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
/proc/4721/statm: 6501547 26241 3201 1 0 6488781 0
[pid=4721/tid=4722] ppid=4719 vsize=26006188 memory=280768186760880 CPUtime=0.67 cores=0-7
/proc/4721/task/4722/stat : 4722 (java) R 4719 4719 4410 0 -1 4202560 6832 0 0 0 64 3 0 0 20 0 20 0 96927949 26630336512 26241 33554432000 4194304 4196468 140724743770640 140696792077840 140696423605128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4723] ppid=4719 vsize=26006188 memory=140384093381488 CPUtime=0 cores=0-7
/proc/4721/task/4723/stat : 4723 (java) S 4719 4719 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96927950 26630336512 26241 33554432000 4194304 4196468 140724743770640 140696755399696 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4724] ppid=4719 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4721/task/4724/stat : 4724 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26630336512 26241 33554432000 4194304 4196468 140724743770640 140696754347152 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4725] ppid=4719 vsize=26006188 memory=11008 CPUtime=0 cores=0-7
/proc/4721/task/4725/stat : 4725 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96927950 26630336512 26241 33554432000 4194304 4196468 140724743770640 140696344464144 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
################
# More data... #
################
[pid=4721/tid=4748] ppid=4719 vsize=26538700 memory=7740389684526863460 CPUtime=218.27 cores=0-7
/proc/4721/task/4748/stat : 4748 (java) R 4719 4719 4410 0 -1 4202560 4349 0 0 0 21824 3 0 0 20 0 28 0 96928106 27175628800 463789 33554432000 4194304 4196468 140724743770640 140695370825288 140696435548567 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
Current children cumulated CPU time: 1763.21 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1856540 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]
/proc/loadavg: 7.98 6.67 4.35 9/208 4755
/proc/meminfo: memFree=26442860/32770624 swapFree=67108860/67108860
[pid=4719] ppid=4716 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4719/stat : 4719 (xcsp3-exec) S 4716 4719 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96927948 9740288 346 33554432000 4194304 5098028 140721392697808 140721392695912 140033402581628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13148160 140721392706666 140721392706876 140721392706876 140721392709611 0
/proc/4719/statm: 2378 346 289 221 0 87 0
[pid=4721] ppid=4719 vsize=26538700 memory=2220488 CPUtime=2000.15 cores=0-7
/proc/4721/stat : 4721 (java) S 4719 4719 4410 0 -1 1077944320 118443 0 0 0 199839 176 0 0 20 0 28 0 96927949 27175628800 555122 33554432000 4194304 4196468 140724743770640 140724743753184 140696787840759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
/proc/4721/statm: 6634675 555122 3291 1 0 6621909 0
[pid=4721/tid=4722] ppid=4719 vsize=26538700 memory=2220488 CPUtime=1.44 cores=0-7
/proc/4721/task/4722/stat : 4722 (java) S 4719 4719 4410 0 -1 1077944384 7152 0 0 0 140 4 0 0 20 0 28 0 96927949 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696792081536 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4723] ppid=4719 vsize=26538700 memory=1384 CPUtime=0.71 cores=0-7
/proc/4721/task/4723/stat : 4723 (java) S 4719 4719 4410 0 -1 1077944384 1285 0 0 0 60 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696755399696 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4724] ppid=4719 vsize=26538700 memory=1384 CPUtime=0.73 cores=0-7
/proc/4721/task/4724/stat : 4724 (java) S 4719 4719 4410 0 -1 1077944384 457 0 0 0 62 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696754347152 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4725] ppid=4719 vsize=26538700 memory=1384 CPUtime=0.75 cores=0-7
/proc/4721/task/4725/stat : 4725 (java) S 4719 4719 4410 0 -1 1077944384 733 0 0 0 60 15 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696344464144 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4726] ppid=4719 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/4721/task/4726/stat : 4726 (java) S 4719 4719 4410 0 -1 1077944384 357 0 0 0 64 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696343411600 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4727] ppid=4719 vsize=26538700 memory=2220488 CPUtime=0.76 cores=0-7
/proc/4721/task/4727/stat : 4727 (java) S 4719 4719 4410 0 -1 1077944384 665 0 0 0 64 12 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696342358544 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4728] ppid=4719 vsize=26538700 memory=1384 CPUtime=0.75 cores=0-7
/proc/4721/task/4728/stat : 4728 (java) S 4719 4719 4410 0 -1 1077944384 673 0 0 0 64 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696341306000 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4729] ppid=4719 vsize=26538700 memory=1728 CPUtime=0.74 cores=0-7
/proc/4721/task/4729/stat : 4729 (java) S 4719 4719 4410 0 -1 1077944384 887 0 0 0 64 10 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696340252944 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4730] ppid=4719 vsize=26538700 memory=1716 CPUtime=0.75 cores=0-7
/proc/4721/task/4730/stat : 4730 (java) S 4719 4719 4410 0 -1 1077944384 1847 0 0 0 64 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696339200400 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4731] ppid=4719 vsize=26538700 memory=2220488 CPUtime=0.46 cores=0-7
/proc/4721/task/4731/stat : 4731 (java) S 4719 4719 4410 0 -1 1077944384 8933 0 0 0 44 2 0 0 20 0 28 0 96927951 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695395678960 140696787851906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4732] ppid=4719 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/4721/task/4732/stat : 4732 (java) S 4719 4719 4410 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 96927952 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695394625248 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4733] ppid=4719 vsize=26538700 memory=4048 CPUtime=0 cores=0-7
/proc/4721/task/4733/stat : 4733 (java) S 4719 4719 4410 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 96927952 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695393572096 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4734] ppid=4719 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/4721/task/4734/stat : 4734 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695392520656 140696787859355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4735] ppid=4719 vsize=26538700 memory=1384 CPUtime=3.96 cores=0-7
/proc/4721/task/4735/stat : 4735 (java) S 4719 4719 4410 0 -1 1077944384 18388 0 0 0 392 4 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695391467760 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4736] ppid=4719 vsize=26538700 memory=1384 CPUtime=3.83 cores=0-7
/proc/4721/task/4736/stat : 4736 (java) S 4719 4719 4410 0 -1 1077944384 17287 0 0 0 379 4 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695390415216 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4737] ppid=4719 vsize=26538700 memory=1384 CPUtime=4.15 cores=0-7
/proc/4721/task/4737/stat : 4737 (java) S 4719 4719 4410 0 -1 1077944384 21823 0 0 0 411 4 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695389362160 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4738] ppid=4719 vsize=26538700 memory=2220488 CPUtime=1 cores=0-7
/proc/4721/task/4738/stat : 4738 (java) S 4719 4719 4410 0 -1 1077944384 12181 0 0 0 97 3 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695388309616 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4739] ppid=4719 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/4721/task/4739/stat : 4739 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96927955 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695387257824 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4740] ppid=4719 vsize=26538700 memory=1952 CPUtime=0.09 cores=0-7
/proc/4721/task/4740/stat : 4740 (java) S 4719 4719 4410 0 -1 1077944384 1500 0 0 0 0 9 0 0 20 0 28 0 96927955 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695386205360 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4741] ppid=4719 vsize=26538700 memory=2220488 CPUtime=247.77 cores=0-7
/proc/4721/task/4741/stat : 4741 (java) R 4719 4719 4410 0 -1 4202560 1912 0 0 0 24774 3 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695378193240 140696434306597 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4742] ppid=4719 vsize=26538700 memory=4140 CPUtime=248.14 cores=0-7
/proc/4721/task/4742/stat : 4742 (java) R 4719 4719 4410 0 -1 4202560 1529 0 0 0 24812 2 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695377141288 140696435500500 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4743] ppid=4719 vsize=26538700 memory=27988 CPUtime=246.57 cores=0-7
/proc/4721/task/4743/stat : 4743 (java) R 4719 4719 4410 0 -1 4202560 1704 0 0 0 24653 4 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695376091400 140696434690700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4744] ppid=4719 vsize=26538700 memory=2220488 CPUtime=244.87 cores=0-7
/proc/4721/task/4744/stat : 4744 (java) R 4719 4719 4410 0 -1 4202560 4240 0 0 0 24482 5 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695375036456 140696432919948 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4745] ppid=4719 vsize=26538700 memory=1384 CPUtime=248.69 cores=0-7
/proc/4721/task/4745/stat : 4745 (java) R 4719 4719 4410 0 -1 4202560 5842 0 0 0 24842 27 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695373985080 140696432059664 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4746] ppid=4719 vsize=26538700 memory=2220488 CPUtime=247.26 cores=0-7
/proc/4721/task/4746/stat : 4746 (java) R 4719 4719 4410 0 -1 4202560 1569 0 0 0 24723 3 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695372930344 140696426688996 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4747] ppid=4719 vsize=26538700 memory=1580 CPUtime=247.79 cores=0-7
/proc/4721/task/4747/stat : 4747 (java) R 4719 4719 4410 0 -1 4202560 1740 0 0 0 24776 3 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695371878104 140696433292465 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4748] ppid=4719 vsize=26538700 memory=928 CPUtime=247.95 cores=0-7
/proc/4721/task/4748/stat : 4748 (java) R 4719 4719 4410 0 -1 4202560 4409 0 0 0 24791 4 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695370825528 140696432398318 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
Current children cumulated CPU time: 2000.15 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2221872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.037 s]
# the end of solver process 4719 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00091 s, system=0.00091 s
[startup+252.108 s]
# the end of solver process 4721 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1999.09 s, system=1.78352 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+252.002 s]
/proc/loadavg: 7.98 6.67 4.35 9/208 4755
/proc/meminfo: memFree=26442860/32770624 swapFree=67108860/67108860
[pid=4719] ppid=4716 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4719/stat : 4719 (xcsp3-exec) S 4716 4719 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96927948 9740288 346 33554432000 4194304 5098028 140721392697808 140721392695912 140033402581628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13148160 140721392706666 140721392706876 140721392706876 140721392709611 0
/proc/4719/statm: 2378 346 289 221 0 87 0
[pid=4721] ppid=4719 vsize=26538700 memory=2220488 CPUtime=2000.15 cores=0-7
/proc/4721/stat : 4721 (java) S 4719 4719 4410 0 -1 1077944320 118443 0 0 0 199839 176 0 0 20 0 28 0 96927949 27175628800 555122 33554432000 4194304 4196468 140724743770640 140724743753184 140696787840759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
/proc/4721/statm: 6634675 555122 3291 1 0 6621909 0
[pid=4721/tid=4722] ppid=4719 vsize=26538700 memory=2220488 CPUtime=1.44 cores=0-7
/proc/4721/task/4722/stat : 4722 (java) S 4719 4719 4410 0 -1 1077944384 7152 0 0 0 140 4 0 0 20 0 28 0 96927949 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696792081536 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4723] ppid=4719 vsize=26538700 memory=1384 CPUtime=0.71 cores=0-7
/proc/4721/task/4723/stat : 4723 (java) S 4719 4719 4410 0 -1 1077944384 1285 0 0 0 60 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696755399696 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4724] ppid=4719 vsize=26538700 memory=1384 CPUtime=0.73 cores=0-7
/proc/4721/task/4724/stat : 4724 (java) S 4719 4719 4410 0 -1 1077944384 457 0 0 0 62 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696754347152 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4725] ppid=4719 vsize=26538700 memory=1384 CPUtime=0.75 cores=0-7
/proc/4721/task/4725/stat : 4725 (java) S 4719 4719 4410 0 -1 1077944384 733 0 0 0 60 15 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696344464144 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4726] ppid=4719 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/4721/task/4726/stat : 4726 (java) S 4719 4719 4410 0 -1 1077944384 357 0 0 0 64 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696343411600 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4727] ppid=4719 vsize=26538700 memory=2220488 CPUtime=0.76 cores=0-7
/proc/4721/task/4727/stat : 4727 (java) S 4719 4719 4410 0 -1 1077944384 665 0 0 0 64 12 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696342358544 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4728] ppid=4719 vsize=26538700 memory=1384 CPUtime=0.75 cores=0-7
/proc/4721/task/4728/stat : 4728 (java) S 4719 4719 4410 0 -1 1077944384 673 0 0 0 64 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696341306000 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4729] ppid=4719 vsize=26538700 memory=1728 CPUtime=0.74 cores=0-7
/proc/4721/task/4729/stat : 4729 (java) S 4719 4719 4410 0 -1 1077944384 887 0 0 0 64 10 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696340252944 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4730] ppid=4719 vsize=26538700 memory=1716 CPUtime=0.75 cores=0-7
/proc/4721/task/4730/stat : 4730 (java) S 4719 4719 4410 0 -1 1077944384 1847 0 0 0 64 11 0 0 20 0 28 0 96927950 27175628800 555122 33554432000 4194304 4196468 140724743770640 140696339200400 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4731] ppid=4719 vsize=26538700 memory=2220488 CPUtime=0.46 cores=0-7
/proc/4721/task/4731/stat : 4731 (java) S 4719 4719 4410 0 -1 1077944384 8933 0 0 0 44 2 0 0 20 0 28 0 96927951 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695395678960 140696787851906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4732] ppid=4719 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/4721/task/4732/stat : 4732 (java) S 4719 4719 4410 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 96927952 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695394625248 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4733] ppid=4719 vsize=26538700 memory=4048 CPUtime=0 cores=0-7
/proc/4721/task/4733/stat : 4733 (java) S 4719 4719 4410 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 96927952 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695393572096 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4734] ppid=4719 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/4721/task/4734/stat : 4734 (java) S 4719 4719 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695392520656 140696787859355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4735] ppid=4719 vsize=26538700 memory=1384 CPUtime=3.96 cores=0-7
/proc/4721/task/4735/stat : 4735 (java) S 4719 4719 4410 0 -1 1077944384 18388 0 0 0 392 4 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695391467760 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4736] ppid=4719 vsize=26538700 memory=1384 CPUtime=3.83 cores=0-7
/proc/4721/task/4736/stat : 4736 (java) S 4719 4719 4410 0 -1 1077944384 17287 0 0 0 379 4 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695390415216 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4737] ppid=4719 vsize=26538700 memory=1384 CPUtime=4.15 cores=0-7
/proc/4721/task/4737/stat : 4737 (java) S 4719 4719 4410 0 -1 1077944384 21823 0 0 0 411 4 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695389362160 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4738] ppid=4719 vsize=26538700 memory=2220488 CPUtime=1 cores=0-7
/proc/4721/task/4738/stat : 4738 (java) S 4719 4719 4410 0 -1 1077944384 12181 0 0 0 97 3 0 0 20 0 28 0 96927954 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695388309616 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4739] ppid=4719 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/4721/task/4739/stat : 4739 (java) S 4719 4719 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96927955 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695387257824 140696787850965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4740] ppid=4719 vsize=26538700 memory=1952 CPUtime=0.09 cores=0-7
/proc/4721/task/4740/stat : 4740 (java) S 4719 4719 4410 0 -1 1077944384 1500 0 0 0 0 9 0 0 20 0 28 0 96927955 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695386205360 140696787851906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4741] ppid=4719 vsize=26538700 memory=2220488 CPUtime=247.77 cores=0-7
/proc/4721/task/4741/stat : 4741 (java) R 4719 4719 4410 0 -1 4202560 1912 0 0 0 24774 3 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695378193240 140696434306597 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4742] ppid=4719 vsize=26538700 memory=4140 CPUtime=248.14 cores=0-7
/proc/4721/task/4742/stat : 4742 (java) R 4719 4719 4410 0 -1 4202560 1529 0 0 0 24812 2 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695377141288 140696435500500 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4743] ppid=4719 vsize=26538700 memory=27988 CPUtime=246.57 cores=0-7
/proc/4721/task/4743/stat : 4743 (java) R 4719 4719 4410 0 -1 4202560 1704 0 0 0 24653 4 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695376091400 140696434690700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4744] ppid=4719 vsize=26538700 memory=2220488 CPUtime=244.87 cores=0-7
/proc/4721/task/4744/stat : 4744 (java) R 4719 4719 4410 0 -1 4202560 4240 0 0 0 24482 5 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695375036456 140696432919948 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4745] ppid=4719 vsize=26538700 memory=1384 CPUtime=248.69 cores=0-7
/proc/4721/task/4745/stat : 4745 (java) R 4719 4719 4410 0 -1 4202560 5842 0 0 0 24842 27 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695373985080 140696432059664 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4746] ppid=4719 vsize=26538700 memory=2220488 CPUtime=247.26 cores=0-7
/proc/4721/task/4746/stat : 4746 (java) R 4719 4719 4410 0 -1 4202560 1569 0 0 0 24723 3 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695372930344 140696426688996 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4747] ppid=4719 vsize=26538700 memory=1580 CPUtime=247.79 cores=0-7
/proc/4721/task/4747/stat : 4747 (java) R 4719 4719 4410 0 -1 4202560 1740 0 0 0 24776 3 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695371878104 140696433292465 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
[pid=4721/tid=4748] ppid=4719 vsize=26538700 memory=928 CPUtime=247.95 cores=0-7
/proc/4721/task/4748/stat : 4748 (java) R 4719 4719 4410 0 -1 4202560 4409 0 0 0 24791 4 0 0 20 0 28 0 96928106 27175628800 555122 33554432000 4194304 4196468 140724743770640 140695370825528 140696432398318 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20434944 140724743775384 140724743775560 140724743775560 140724743778255 0
Current children cumulated CPU time: 2000.15 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2221872 KiB
Child status: 143
Real time (s): 252.108
CPU time (s): 2000.88
CPU user time (s): 1999.09
CPU system time (s): 1.78352
CPU usage (%): 793.659
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2221872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1999.09
system time used= 1.78352
maximum resident set size= 2221252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11719
involuntary context switches= 22148
# summary of solver processes directly reported to runsolver:
# pid: 4719,4721
# total CPU time (s): 2000.88
# total CPU user time (s): 1999.09
# total CPU system time (s): 1.78352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.76859 second user time and 3.39433 second system time
The end
Begin job on node104 at 2017-08-13 17:19:02
IDJOB=4271730
IDBENCH=115653
IDSOLVER=2663
FILE ID=node104/4271730-1502638400
RUNJOBID= node104-1502637289-4437
PBS_JOBID= 20628328
Free space on /tmp= 61864 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-20-3.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-4271730-1502638400/watcher-4271730-1502638400 -o /tmp/evaluation-result-4271730-1502638400/solver-4271730-1502638400 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1777721472 HOME/instance-4271730-1502638400.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 6a976a8caea6b1a6adb22232912ed5ab
RANDOM SEED=1777721472
node104.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 : 5333.43
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 : 5333.43
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 : 5333.43
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 : 5333.43
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: 28650120 kB
MemAvailable: 31985332 kB
Buffers: 158408 kB
Cached: 3458556 kB
SwapCached: 0 kB
Active: 350372 kB
Inactive: 3317680 kB
Active(anon): 53948 kB
Inactive(anon): 25024 kB
Active(file): 296424 kB
Inactive(file): 3292656 kB
Unevictable: 6532 kB
Mlocked: 6532 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7608 kB
Writeback: 0 kB
AnonPages: 56552 kB
Mapped: 43188 kB
Shmem: 25228 kB
Slab: 149164 kB
SReclaimable: 123932 kB
SUnreclaim: 25232 kB
KernelStack: 3728 kB
PageTables: 4740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /tmp at the end= 61856 MiB
End job on node104 at 2017-08-13 17:23:14