0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297908-1532703315.xml" -tl '20160s' -p 8
0.11/0.18 c Choco e747e1e
0.11/0.18 c [HOME/instance-4297908-1532703315.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
0.69/0.47 c solve instance...
0.69/0.49 o 50
0.69/0.49 o 54
0.69/0.50 s OPTIMUM FOUND
0.69/0.50 v <instantiation>
0.69/0.50 v <list>b[0] b[1] b[2] b[3] b[4] </list>
0.69/0.50 v <values>0 0 0 1 1 </values>
0.69/0.50 v </instantiation>
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 (9577 MiB free)
memory of node 1: 16384 MiB (10182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297908-1532703315/watcher-4297908-1532703315 -o /tmp/evaluation-result-4297908-1532703315/solver-4297908-1532703315 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532703315-18354 --watchdog 2580 HOME/xcsp3-exec -seed 901825273 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297908-1532703315.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=18371, runsolver pid=18368
[startup+0.100139 s]*
/proc/loadavg: 7.18 8.04 8.25 2/199 18392
/proc/meminfo: memFree=20218340/32770624 swapFree=67108860/67108860
[pid=18371] ppid=18368 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18371/stat : 18371 (xcsp3-exec) S 18368 18371 18327 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87894671 115843072 363 33554432000 4194304 5098028 140728843837136 140728843835240 139834762388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30146560 140728843842614 140728843842816 140728843842816 140728843845578 0
/proc/18371/statm: 28282 363 305 221 0 87 0
[pid=18373] ppid=18371 vsize=26104152 memory=27144 CPUtime=0.11 cores=0-7
/proc/18373/stat : 18373 (java) S 18371 18371 18327 0 -1 1077944320 5644 0 0 0 10 1 0 0 20 0 20 0 87894671 26730651648 6786 33554432000 4194304 4196468 140727011217088 140727011199632 140144905948919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
/proc/18373/statm: 6526038 6786 3045 1 0 6488315 0
[pid=18373/tid=18374] ppid=18371 vsize=26104152 memory=7898357654616972446 CPUtime=0.08 cores=0-7
/proc/18373/task/18374/stat : 18374 (java) R 18371 18371 18327 0 -1 4202560 3668 0 0 0 8 0 0 0 20 0 20 0 87894671 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144910173760 140144905960854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18375] ppid=18371 vsize=26104152 memory=732370783870770149 CPUtime=0 cores=0-7
/proc/18373/task/18375/stat : 18375 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144858569232 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18376] ppid=18371 vsize=26104152 memory=140645533316736 CPUtime=0 cores=0-7
/proc/18373/task/18376/stat : 18376 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144857516688 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18377] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18377/stat : 18377 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144856463632 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18378] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18378/stat : 18378 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144855411088 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18379] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18379/stat : 18379 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144854359056 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18380] ppid=18371 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18373/task/18380/stat : 18380 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144853306512 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18381] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18381/stat : 18381 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144852253456 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18382] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18382/stat : 18382 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144851200912 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18383] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18383/stat : 18383 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894674 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144100194544 140144905960066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18384] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18384/stat : 18384 (java) S 18371 18371 18327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87894674 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144099140768 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18385] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18385/stat : 18385 (java) S 18371 18371 18327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87894674 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144098087664 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18386] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18386/stat : 18386 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144097036240 140144905967515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18387] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18387/stat : 18387 (java) S 18371 18371 18327 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144095984368 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18388] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18388/stat : 18388 (java) R 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144094931824 140144905960066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18389] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18389/stat : 18389 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144093878768 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18390] ppid=18371 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18373/task/18390/stat : 18390 (java) R 18371 18371 18327 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 87894677 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144092826224 140144885759978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18391] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18391/stat : 18391 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144091773408 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18392] ppid=18371 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18373/task/18392/stat : 18392 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 6786 33554432000 4194304 4196468 140727011217088 140144090720944 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28596 KiB
[startup+0.210312 s]*
/proc/loadavg: 7.18 8.04 8.25 3/199 18392
/proc/meminfo: memFree=20207316/32770624 swapFree=67108860/67108860
[pid=18371] ppid=18368 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18371/stat : 18371 (xcsp3-exec) S 18368 18371 18327 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87894671 115843072 363 33554432000 4194304 5098028 140728843837136 140728843835240 139834762388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30146560 140728843842614 140728843842816 140728843842816 140728843845578 0
/proc/18371/statm: 28282 363 305 221 0 87 0
[pid=18373] ppid=18371 vsize=26104152 memory=39748 CPUtime=0.33 cores=0-7
/proc/18373/stat : 18373 (java) S 18371 18371 18327 0 -1 1077944320 8473 0 0 0 31 2 0 0 20 0 20 0 87894671 26730651648 9937 33554432000 4194304 4196468 140727011217088 140727011199632 140144905948919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
/proc/18373/statm: 6526038 9937 3183 1 0 6488315 0
[pid=18373/tid=18374] ppid=18371 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/18373/task/18374/stat : 18374 (java) R 18371 18371 18327 0 -1 4202560 5559 0 0 0 19 1 0 0 20 0 20 0 87894671 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144910185968 140144905970845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18375] ppid=18371 vsize=26104152 memory=732370783870770149 CPUtime=0 cores=0-7
/proc/18373/task/18375/stat : 18375 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144858569232 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18376] ppid=18371 vsize=26104152 memory=140645533316736 CPUtime=0 cores=0-7
/proc/18373/task/18376/stat : 18376 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144857516688 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18377] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18377/stat : 18377 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144856463632 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18378] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18378/stat : 18378 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144855411088 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18379] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18379/stat : 18379 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144854359056 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18380] ppid=18371 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18373/task/18380/stat : 18380 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144853306512 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18381] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18381/stat : 18381 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144852253456 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18382] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18382/stat : 18382 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894672 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144851200912 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18383] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18383/stat : 18383 (java) S 18371 18371 18327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87894674 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144100194544 140144905960066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18384] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18384/stat : 18384 (java) S 18371 18371 18327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87894674 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144099140768 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18385] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18385/stat : 18385 (java) S 18371 18371 18327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87894674 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144098087664 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18386] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18386/stat : 18386 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144097036240 140144905967515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18387] ppid=18371 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18373/task/18387/stat : 18387 (java) S 18371 18371 18327 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 20 0 87894677 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144095984368 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18388] ppid=18371 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18373/task/18388/stat : 18388 (java) S 18371 18371 18327 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 87894677 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144094931824 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18389] ppid=18371 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18373/task/18389/stat : 18389 (java) R 18371 18371 18327 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 87894677 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144093878768 140144905960066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18390] ppid=18371 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/18373/task/18390/stat : 18390 (java) R 18371 18371 18327 0 -1 4202560 799 0 0 0 7 0 0 0 20 0 20 0 87894677 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144092826224 140144890029406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18391] ppid=18371 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18391/stat : 18391 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144091773408 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18392] ppid=18371 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18373/task/18392/stat : 18392 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894677 26730651648 9937 33554432000 4194304 4196468 140727011217088 140144090720944 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41200 KiB
[startup+0.310441 s]*
/proc/loadavg: 7.18 8.04 8.25 3/199 18392
/proc/meminfo: memFree=20201236/32770624 swapFree=67108860/67108860
[pid=18371] ppid=18368 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18371/stat : 18371 (xcsp3-exec) S 18368 18371 18327 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87894671 115843072 363 33554432000 4194304 5098028 140728843837136 140728843835240 139834762388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30146560 140728843842614 140728843842816 140728843842816 140728843845578 0
/proc/18371/statm: 28282 363 305 221 0 87 0
[pid=18373] ppid=18371 vsize=26108408 memory=46296 CPUtime=0.51 cores=0-7
/proc/18373/stat : 18373 (java) S 18371 18371 18327 0 -1 1077944320 9331 0 0 0 48 3 0 0 20 0 20 0 87894671 26735009792 11574 33554432000 4194304 4196468 140727011217088 140727011199632 140144905948919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
/proc/18373/statm: 6527102 11574 3234 1 0 6488315 0
[pid=18373/tid=18374] ppid=18371 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18373/task/18374/stat : 18374 (java) R 18371 18371 18327 0 -1 4202560 6228 0 0 0 27 2 0 0 20 0 20 0 87894671 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144910180032 140144890029406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18375] ppid=18371 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18375/stat : 18375 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894672 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144858569232 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18376] ppid=18371 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18376/stat : 18376 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144857516688 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18377] ppid=18371 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18377/stat : 18377 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144856463632 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18378] ppid=18371 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18378/stat : 18378 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144855411088 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18379] ppid=18371 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18373/task/18379/stat : 18379 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144854359056 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18380] ppid=18371 vsize=26108408 memory=140645415089071 CPUtime=0 cores=0-7
/proc/18373/task/18380/stat : 18380 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144853306512 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18381] ppid=18371 vsize=26108408 memory=140645415091376 CPUtime=0 cores=0-7
/proc/18373/task/18381/stat : 18381 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894672 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144852253456 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18382] ppid=18371 vsize=26108408 memory=140645415093680 CPUtime=0 cores=0-7
/proc/18373/task/18382/stat : 18382 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894672 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144851200912 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18383] ppid=18371 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18383/stat : 18383 (java) S 18371 18371 18327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87894674 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144100194544 140144905960066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18384] ppid=18371 vsize=26108408 memory=281290830194320 CPUtime=0 cores=0-7
/proc/18373/task/18384/stat : 18384 (java) S 18371 18371 18327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87894674 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144099140768 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18385] ppid=18371 vsize=26108408 memory=281290830201232 CPUtime=0 cores=0-7
/proc/18373/task/18385/stat : 18385 (java) S 18371 18371 18327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87894674 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144098087664 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18386] ppid=18371 vsize=26108408 memory=281290830142512 CPUtime=0 cores=0-7
/proc/18373/task/18386/stat : 18386 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894677 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144097036240 140144905967515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18387] ppid=18371 vsize=26108408 memory=281290830215056 CPUtime=0.02 cores=0-7
/proc/18373/task/18387/stat : 18387 (java) S 18371 18371 18327 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 20 0 87894677 26735009792 11574 33554432000 4194304 4196468 140727011217088 140144095984368 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18388] ppid=18371 vsize=26108408 memory=281290830221968 CPUtime=0.03 cores=0-7
/proc/18373/task/18388/stat : 18388 (java) R 18371 18371 18327 0 -1 4202560 189 0 0 0 3 0 0 0 20 0 20 0 87894677 26735009792 11629 33554432000 4194304 4196468 140727011217088 140144094923280 140144887466801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18389] ppid=18371 vsize=26108408 memory=281290830219664 CPUtime=0.02 cores=0-7
/proc/18373/task/18389/stat : 18389 (java) S 18371 18371 18327 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 20 0 87894677 26735009792 11629 33554432000 4194304 4196468 140727011217088 140144093878768 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18390] ppid=18371 vsize=26108408 memory=281290830235824 CPUtime=0.12 cores=0-7
/proc/18373/task/18390/stat : 18390 (java) S 18371 18371 18327 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 20 0 87894677 26735009792 11629 33554432000 4194304 4196468 140727011217088 140144092826224 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18391] ppid=18371 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18391/stat : 18391 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894677 26735009792 11629 33554432000 4194304 4196468 140727011217088 140144091773408 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18392] ppid=18371 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18373/task/18392/stat : 18392 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894677 26735009792 11629 33554432000 4194304 4196468 140727011217088 140144090720944 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47748 KiB
[startup+0.507201 s]
# the end of solver process 18371 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.91657 s, system=0.07418 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410474 s]*
/proc/loadavg: 7.18 8.04 8.25 3/199 18392
/proc/meminfo: memFree=20195840/32770624 swapFree=67108860/67108860
[pid=18371] ppid=18368 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18371/stat : 18371 (xcsp3-exec) S 18368 18371 18327 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87894671 115843072 363 33554432000 4194304 5098028 140728843837136 140728843835240 139834762388092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30146560 140728843842614 140728843842816 140728843842816 140728843845578 0
/proc/18371/statm: 28282 363 305 221 0 87 0
[pid=18373] ppid=18371 vsize=26110532 memory=53516 CPUtime=0.69 cores=0-7
/proc/18373/stat : 18373 (java) S 18371 18371 18327 0 -1 1077944320 10196 0 0 0 65 4 0 0 20 0 20 0 87894671 26737184768 13379 33554432000 4194304 4196468 140727011217088 140727011199632 140144905948919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
/proc/18373/statm: 6527633 13379 3269 1 0 6488827 0
[pid=18373/tid=18374] ppid=18371 vsize=26110532 memory=0 CPUtime=0.38 cores=0-7
/proc/18373/task/18374/stat : 18374 (java) R 18371 18371 18327 0 -1 4202560 6942 0 0 0 36 2 0 0 20 0 20 0 87894671 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144910158000 140144905970845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18375] ppid=18371 vsize=26110532 memory=732370783870770149 CPUtime=0 cores=0-7
/proc/18373/task/18375/stat : 18375 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894672 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144858569232 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18376] ppid=18371 vsize=26110532 memory=140645533316736 CPUtime=0 cores=0-7
/proc/18373/task/18376/stat : 18376 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144857516688 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18377] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18377/stat : 18377 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144856463632 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18378] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18378/stat : 18378 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144855411088 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18379] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18379/stat : 18379 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144854359056 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18380] ppid=18371 vsize=26110532 memory=-1 CPUtime=0 cores=0-7
/proc/18373/task/18380/stat : 18380 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894672 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144853306512 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18381] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18381/stat : 18381 (java) S 18371 18371 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87894672 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144852253456 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18382] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18382/stat : 18382 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894672 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144851200912 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18383] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18383/stat : 18383 (java) S 18371 18371 18327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87894674 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144100194544 140144905960066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18384] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18384/stat : 18384 (java) S 18371 18371 18327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87894674 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144099140768 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18385] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18385/stat : 18385 (java) S 18371 18371 18327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87894674 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144098087664 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18386] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18386/stat : 18386 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894677 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144097036240 140144905967515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18387] ppid=18371 vsize=26110532 memory=0 CPUtime=0.02 cores=0-7
/proc/18373/task/18387/stat : 18387 (java) S 18371 18371 18327 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 20 0 87894677 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144095984368 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18388] ppid=18371 vsize=26110532 memory=0 CPUtime=0.06 cores=0-7
/proc/18373/task/18388/stat : 18388 (java) S 18371 18371 18327 0 -1 1077944384 217 0 0 0 6 0 0 0 20 0 20 0 87894677 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144094931824 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18389] ppid=18371 vsize=26110532 memory=0 CPUtime=0.03 cores=0-7
/proc/18373/task/18389/stat : 18389 (java) R 18371 18371 18327 0 -1 4202560 235 0 0 0 3 0 0 0 20 0 20 0 87894677 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144093869152 140144905970266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18390] ppid=18371 vsize=26110532 memory=0 CPUtime=0.16 cores=0-7
/proc/18373/task/18390/stat : 18390 (java) R 18371 18371 18327 0 -1 4202560 976 0 0 0 16 0 0 0 20 0 20 0 87894677 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144092821952 140144905970266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18391] ppid=18371 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18373/task/18391/stat : 18391 (java) S 18371 18371 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87894677 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144091773408 140144905959125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
[pid=18373/tid=18392] ppid=18371 vsize=26110532 memory=-1 CPUtime=0 cores=0-7
/proc/18373/task/18392/stat : 18392 (java) S 18371 18371 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87894677 26737184768 13379 33554432000 4194304 4196468 140727011217088 140144090720944 140144905960066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35823616 140727011218561 140727011218733 140727011218733 140727011221455 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 54968 KiB
Child status: 0
Real time (s): 0.507249
CPU time (s): 0.99075
CPU user time (s): 0.91657
CPU system time (s): 0.07418
CPU usage (%): 195.318
Max. virtual memory (cumulated for all children) (KiB): 26223660
Max. memory (cumulated for all children) (KiB): 54968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.91657
system time used= 0.07418
maximum resident set size= 117204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2184
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 18371
# total CPU time (s): 0.99075
# total CPU user time (s): 0.91657
# total CPU system time (s): 0.07418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019908 second user time and 0.042692 second system time
The end
Begin job on node103 at 2018-07-27 16:55:15
IDJOB=4297908
IDBENCH=141156
IDSOLVER=2760
FILE ID=node103/4297908-1532703315
RUNJOBID= node103-1532703315-18354
PBS_JOBID= 21022302
Free space on /tmp= 56536 MiB
SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-example_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297908-1532703315/watcher-4297908-1532703315 -o /tmp/evaluation-result-4297908-1532703315/solver-4297908-1532703315 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532703315-18354 --watchdog 2580 HOME/xcsp3-exec -seed 901825273 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297908-1532703315.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= b170f5ced0cb389de51404fef1a5e95b
RANDOM SEED=901825273
node103.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.48
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.48
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.48
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.48
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: 20235080 kB
MemAvailable: 31927500 kB
Buffers: 296740 kB
Cached: 11580320 kB
SwapCached: 0 kB
Active: 3915272 kB
Inactive: 8015024 kB
Active(anon): 56176 kB
Inactive(anon): 25180 kB
Active(file): 3859096 kB
Inactive(file): 7989844 kB
Unevictable: 7124 kB
Mlocked: 7124 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 21892 kB
Writeback: 0 kB
AnonPages: 60528 kB
Mapped: 42204 kB
Shmem: 25228 kB
Slab: 299144 kB
SReclaimable: 271940 kB
SUnreclaim: 27204 kB
KernelStack: 3104 kB
PageTables: 5212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 56516 MiB
End job on node103 at 2018-07-27 16:55:15