2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT	1.63318	0.96911198

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 (15345 MiB free)
  memory of node 1: 16384 MiB (12957 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282196-1503158690/watcher-4282196-1503158690 -o /tmp/evaluation-result-4282196-1503158690/solver-4282196-1503158690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 980169560 HOME/instance-4282196-1503158690.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29328, runsolver pid=29325
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.57 4.16 3.38 3/207 29335
/proc/meminfo: memFree=28977292/32770624 swapFree=67108860/67108860
[pid=29328] ppid=29325 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29328/stat : 29328 (xcsp3-exec) S 29325 29328 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278112 9740288 345 18446744073709551615 4194304 5098028 140729153142448 140729153140552 139784171729532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 30199808 140729153147258 140729153147462 140729153147462 140729153150955 0
/proc/29328/statm: 2378 345 289 221 0 87 0
[pid=29330] ppid=29328 vsize=13358712 memory=14632 CPUtime=0.01 cores=0,2,4,6
/proc/29330/stat : 29330 (java) S 29328 29328 17292 0 -1 1077944320 3440 0 0 0 1 0 0 0 20 0 6 0 14278121 13679321088 3658 18446744073709551615 4194304 4196468 140731208497568 140731208480112 140046480604919 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
/proc/29330/statm: 3339678 3658 1905 1 0 3329175 0
[pid=29330/tid=29331] ppid=29328 vsize=13358712 memory=-6871798056524144002 CPUtime=0.01 cores=0,2,4,6
/proc/29330/task/29331/stat : 29331 (java) R 29328 29328 17292 0 -1 4202560 2203 0 0 0 1 0 0 0 20 0 6 0 14278121 13679321088 3658 18446744073709551615 4194304 4196468 140731208497568 140046484841040 140046464685436 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29332] ppid=29328 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29332/stat : 29332 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14278122 13679321088 3658 18446744073709551615 4194304 4196468 140731208497568 140046415039376 140046480615125 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29333] ppid=29328 vsize=13358712 memory=139961421264512 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29333/stat : 29333 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14278122 13679321088 3658 18446744073709551615 4194304 4196468 140731208497568 140046413986576 140046480615125 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29334] ppid=29328 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29334/stat : 29334 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14278122 13679321088 3658 18446744073709551615 4194304 4196468 140731208497568 140046412934288 140046480615125 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29335] ppid=29328 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29335/stat : 29335 (java) S 29328 29328 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14278122 13679321088 3658 18446744073709551615 4194304 4196468 140731208497568 140046411881488 140046480615125 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16012 KiB

[startup+0.21025 s]*
/proc/loadavg: 4.57 4.16 3.38 3/216 29344
/proc/meminfo: memFree=28970476/32770624 swapFree=67108860/67108860
[pid=29328] ppid=29325 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29328/stat : 29328 (xcsp3-exec) S 29325 29328 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278112 9740288 345 18446744073709551615 4194304 5098028 140729153142448 140729153140552 139784171729532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 30199808 140729153147258 140729153147462 140729153147462 140729153150955 0
/proc/29328/statm: 2378 345 289 221 0 87 0
[pid=29330] ppid=29328 vsize=13974352 memory=26780 CPUtime=0.09 cores=0,2,4,6
/proc/29330/stat : 29330 (java) S 29328 29328 17292 0 -1 1077944320 5129 0 0 0 8 1 0 0 20 0 15 0 14278121 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140731208480112 140046480604919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
/proc/29330/statm: 3493588 6695 2725 1 0 3482964 0
[pid=29330/tid=29331] ppid=29328 vsize=13974352 memory=8390339637985935414 CPUtime=0.06 cores=0,2,4,6
/proc/29330/task/29331/stat : 29331 (java) R 29328 29328 17292 0 -1 4202560 3281 0 0 0 6 0 0 0 20 0 15 0 14278121 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140046484838160 140046472842046 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29332] ppid=29328 vsize=13974352 memory=288230613264378254 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29332/stat : 29332 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140046415039376 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29333] ppid=29328 vsize=13974352 memory=139961421292094 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29333/stat : 29333 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140046413986576 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29334] ppid=29328 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29334/stat : 29334 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140046412934288 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29335] ppid=29328 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29335/stat : 29335 (java) S 29328 29328 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278122 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140046411881488 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29336] ppid=29328 vsize=13974352 memory=139961421264512 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29336/stat : 29336 (java) S 29328 29328 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278123 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045959141488 140046480616066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29337] ppid=29328 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29337/stat : 29337 (java) S 29328 29328 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278124 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045958087456 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29338] ppid=29328 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29338/stat : 29338 (java) S 29328 29328 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278124 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045957035120 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29339] ppid=29328 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29339/stat : 29339 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045955983440 140046480623515 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29340] ppid=29328 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29340/stat : 29340 (java) S 29328 29328 17292 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 14278126 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045954931312 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29341] ppid=29328 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29341/stat : 29341 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045953878512 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29342] ppid=29328 vsize=13974352 memory=139961421264512 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29342/stat : 29342 (java) S 29328 29328 17292 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 14278126 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045952826224 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29343] ppid=29328 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29343/stat : 29343 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045951773664 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29344] ppid=29328 vsize=13974352 memory=139961421264512 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29344/stat : 29344 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278131 14309736448 6695 18446744073709551615 4194304 4196468 140731208497568 140045950720432 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28160 KiB

[startup+0.31069 s]*
/proc/loadavg: 4.57 4.16 3.38 3/216 29344
/proc/meminfo: memFree=28955576/32770624 swapFree=67108860/67108860
[pid=29328] ppid=29325 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29328/stat : 29328 (xcsp3-exec) S 29325 29328 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278112 9740288 345 18446744073709551615 4194304 5098028 140729153142448 140729153140552 139784171729532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 30199808 140729153147258 140729153147462 140729153147462 140729153150955 0
/proc/29328/statm: 2378 345 289 221 0 87 0
[pid=29330] ppid=29328 vsize=13974352 memory=36836 CPUtime=0.27 cores=0,2,4,6
/proc/29330/stat : 29330 (java) S 29328 29328 17292 0 -1 1077944320 8769 0 0 0 25 2 0 0 20 0 15 0 14278121 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140731208480112 140046480604919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
/proc/29330/statm: 3493588 9209 2985 1 0 3482964 0
[pid=29330/tid=29331] ppid=29328 vsize=13974352 memory=8390339637985935414 CPUtime=0.16 cores=0,2,4,6
/proc/29330/task/29331/stat : 29331 (java) R 29328 29328 17292 0 -1 4202560 6061 0 0 0 15 1 0 0 20 0 15 0 14278121 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140046484809328 140046480616854 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29332] ppid=29328 vsize=13974352 memory=301741412146489742 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29332/stat : 29332 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140046415039376 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29333] ppid=29328 vsize=13974352 memory=139961421292094 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29333/stat : 29333 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140046413986576 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29334] ppid=29328 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29334/stat : 29334 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140046412934288 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29335] ppid=29328 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29335/stat : 29335 (java) S 29328 29328 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278122 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140046411881488 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29336] ppid=29328 vsize=13974352 memory=8392725837178562785 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29336/stat : 29336 (java) S 29328 29328 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278123 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045959141488 140046480616066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29337] ppid=29328 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29337/stat : 29337 (java) S 29328 29328 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278124 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045958087456 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29338] ppid=29328 vsize=13974352 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29338/stat : 29338 (java) S 29328 29328 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278124 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045957035120 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29339] ppid=29328 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29339/stat : 29339 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045955983440 140046480623515 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29340] ppid=29328 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29330/task/29340/stat : 29340 (java) S 29328 29328 17292 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 14278126 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045954931312 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29341] ppid=29328 vsize=13974352 memory=3472328279047811119 CPUtime=0.02 cores=0,2,4,6
/proc/29330/task/29341/stat : 29341 (java) S 29328 29328 17292 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 14278126 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045953878512 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29342] ppid=29328 vsize=13974352 memory=139961421264512 CPUtime=0.05 cores=0,2,4,6
/proc/29330/task/29342/stat : 29342 (java) R 29328 29328 17292 0 -1 4202560 722 0 0 0 5 0 0 0 20 0 15 0 14278126 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045952824016 140046466929227 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29343] ppid=29328 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29343/stat : 29343 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045951773664 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29344] ppid=29328 vsize=13974352 memory=139961421264512 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29344/stat : 29344 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278131 14309736448 9209 18446744073709551615 4194304 4196468 140731208497568 140045950720432 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38216 KiB

[startup+0.700778 s]
/proc/loadavg: 4.57 4.16 3.38 5/216 29344
/proc/meminfo: memFree=28943856/32770624 swapFree=67108860/67108860
[pid=29328] ppid=29325 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29328/stat : 29328 (xcsp3-exec) S 29325 29328 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278112 9740288 345 18446744073709551615 4194304 5098028 140729153142448 140729153140552 139784171729532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 30199808 140729153147258 140729153147462 140729153147462 140729153150955 0
/proc/29328/statm: 2378 345 289 221 0 87 0
[pid=29330] ppid=29328 vsize=13980732 memory=61320 CPUtime=1.15 cores=0,2,4,6
/proc/29330/stat : 29330 (java) S 29328 29328 17292 0 -1 1077944320 12500 0 0 0 110 5 0 0 20 0 15 0 14278121 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140731208480112 140046480604919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
/proc/29330/statm: 3495183 15330 3167 1 0 3483476 0
[pid=29330/tid=29331] ppid=29328 vsize=13980732 memory=2466519188993 CPUtime=0.55 cores=0,2,4,6
/proc/29330/task/29331/stat : 29331 (java) R 29328 29328 17292 0 -1 4202560 8423 0 0 0 52 3 0 0 20 0 15 0 14278121 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140046484842080 140046480616854 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29332] ppid=29328 vsize=13980732 memory=2483699058177 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29332/stat : 29332 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140046415039376 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29333] ppid=29328 vsize=13980732 memory=51104 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29333/stat : 29333 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140046413986576 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29334] ppid=29328 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29334/stat : 29334 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140046412934288 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29335] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29335/stat : 29335 (java) S 29328 29328 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140046411881488 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29336] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29336/stat : 29336 (java) S 29328 29328 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14278123 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045959141488 140046480616066 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29337] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29337/stat : 29337 (java) S 29328 29328 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278124 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045958087456 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29338] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29338/stat : 29338 (java) S 29328 29328 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278124 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045957035120 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29339] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29339/stat : 29339 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045955983440 140046480623515 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29340] ppid=29328 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/29330/task/29340/stat : 29340 (java) R 29328 29328 17292 0 -1 4202560 949 0 0 0 16 0 0 0 20 0 15 0 14278126 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045954931312 140046480616854 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29341] ppid=29328 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/29330/task/29341/stat : 29341 (java) R 29328 29328 17292 0 -1 4202560 645 0 0 0 18 0 0 0 20 0 15 0 14278126 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045953868368 140046461955339 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29342] ppid=29328 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/29330/task/29342/stat : 29342 (java) R 29328 29328 17292 0 -1 1077944384 1176 0 0 0 23 0 0 0 20 0 15 0 14278126 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045952826224 140046480616066 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29343] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29343/stat : 29343 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045951773664 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29344] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29344/stat : 29344 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278131 14316269568 15330 18446744073709551615 4194304 4196468 140731208497568 140045950720432 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62700 KiB

[startup+0.96906 s]
# the end of solver process 29328 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.57672 s, system=0.056461 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.801024 s]
/proc/loadavg: 4.57 4.16 3.38 5/216 29344
/proc/meminfo: memFree=28943856/32770624 swapFree=67108860/67108860
[pid=29328] ppid=29325 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29328/stat : 29328 (xcsp3-exec) S 29325 29328 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278112 9740288 345 18446744073709551615 4194304 5098028 140729153142448 140729153140552 139784171729532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 30199808 140729153147258 140729153147462 140729153147462 140729153150955 0
/proc/29328/statm: 2378 345 289 221 0 87 0
[pid=29330] ppid=29328 vsize=13980732 memory=63576 CPUtime=1.34 cores=0,2,4,6
/proc/29330/stat : 29330 (java) S 29328 29328 17292 0 -1 1077944320 12512 0 0 0 129 5 0 0 20 0 15 0 14278121 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140731208480112 140046480604919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
/proc/29330/statm: 3495183 15894 3174 1 0 3483476 0
[pid=29330/tid=29331] ppid=29328 vsize=13980732 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/29330/task/29331/stat : 29331 (java) R 29328 29328 17292 0 -1 4202560 8425 0 0 0 62 3 0 0 20 0 15 0 14278121 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140046484842080 140046085604944 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29332] ppid=29328 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29332/stat : 29332 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140046415039376 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29333] ppid=29328 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29333/stat : 29333 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140046413986576 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29334] ppid=29328 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29334/stat : 29334 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140046412934288 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29335] ppid=29328 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29335/stat : 29335 (java) S 29328 29328 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140046411881488 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29336] ppid=29328 vsize=13980732 memory=-2895008908443675764 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29336/stat : 29336 (java) S 29328 29328 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14278123 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045959141488 140046480616066 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29337] ppid=29328 vsize=13980732 memory=8332364631144490854 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29337/stat : 29337 (java) S 29328 29328 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278124 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045958087456 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29338] ppid=29328 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29338/stat : 29338 (java) S 29328 29328 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278124 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045957035120 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29339] ppid=29328 vsize=13980732 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29339/stat : 29339 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045955983440 140046480623515 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29340] ppid=29328 vsize=13980732 memory=8514726395715218844 CPUtime=0.18 cores=0,2,4,6
/proc/29330/task/29340/stat : 29340 (java) S 29328 29328 17292 0 -1 1077944384 950 0 0 0 18 0 0 0 20 0 15 0 14278126 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045954931312 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29341] ppid=29328 vsize=13980732 memory=4949696295807330948 CPUtime=0.25 cores=0,2,4,6
/proc/29330/task/29341/stat : 29341 (java) R 29328 29328 17292 0 -1 4202560 656 0 0 0 25 0 0 0 20 0 15 0 14278126 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045953878512 140046464510924 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29342] ppid=29328 vsize=13980732 memory=9124443767561732153 CPUtime=0.23 cores=0,2,4,6
/proc/29330/task/29342/stat : 29342 (java) S 29328 29328 17292 0 -1 1077944384 1176 0 0 0 23 0 0 0 20 0 15 0 14278126 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045952826224 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29343] ppid=29328 vsize=13980732 memory=-7677926825137650786 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29343/stat : 29343 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045951773664 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29344] ppid=29328 vsize=13980732 memory=139961421271505 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29344/stat : 29344 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278131 14316269568 15894 18446744073709551615 4194304 4196468 140731208497568 140045950720432 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64956 KiB

[startup+0.900846 s]
/proc/loadavg: 4.57 4.16 3.38 5/216 29344
/proc/meminfo: memFree=28943856/32770624 swapFree=67108860/67108860
[pid=29328] ppid=29325 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29328/stat : 29328 (xcsp3-exec) S 29325 29328 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278112 9740288 345 18446744073709551615 4194304 5098028 140729153142448 140729153140552 139784171729532 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 30199808 140729153147258 140729153147462 140729153147462 140729153150955 0
/proc/29328/statm: 2378 345 289 221 0 87 0
[pid=29330] ppid=29328 vsize=13980732 memory=65016 CPUtime=1.52 cores=0,2,4,6
/proc/29330/stat : 29330 (java) S 29328 29328 17292 0 -1 1077944320 12869 0 0 0 147 5 0 0 20 0 15 0 14278121 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140731208480112 140046480604919 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
/proc/29330/statm: 3495183 16254 3178 1 0 3483476 0
[pid=29330/tid=29331] ppid=29328 vsize=13980732 memory=2466519188993 CPUtime=0.75 cores=0,2,4,6
/proc/29330/task/29331/stat : 29331 (java) R 29328 29328 17292 0 -1 4202560 8425 0 0 0 72 3 0 0 20 0 15 0 14278121 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140046484842080 140046085605037 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29332] ppid=29328 vsize=13980732 memory=2483699058177 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29332/stat : 29332 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140046415039376 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29333] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29333/stat : 29333 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140046413986576 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29334] ppid=29328 vsize=13980732 memory=5788626802952987989 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29334/stat : 29334 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140046412934288 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29335] ppid=29328 vsize=13980732 memory=4638778419807998288 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29335/stat : 29335 (java) S 29328 29328 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278122 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140046411881488 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29336] ppid=29328 vsize=13980732 memory=7666086896519505235 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29336/stat : 29336 (java) S 29328 29328 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14278123 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045959141488 140046480616066 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29337] ppid=29328 vsize=13980732 memory=7957700452602243169 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29337/stat : 29337 (java) S 29328 29328 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278124 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045958087456 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29338] ppid=29328 vsize=13980732 memory=51104 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29338/stat : 29338 (java) S 29328 29328 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278124 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045957035120 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29339] ppid=29328 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29339/stat : 29339 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045955983440 140046480623515 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29340] ppid=29328 vsize=13980732 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/29330/task/29340/stat : 29340 (java) S 29328 29328 17292 0 -1 1077944384 1068 0 0 0 22 0 0 0 20 0 15 0 14278126 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045954931312 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29341] ppid=29328 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/29330/task/29341/stat : 29341 (java) S 29328 29328 17292 0 -1 1077944384 890 0 0 0 29 0 0 0 20 0 15 0 14278126 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045953878512 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29342] ppid=29328 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/29330/task/29342/stat : 29342 (java) S 29328 29328 17292 0 -1 1077944384 1179 0 0 0 23 0 0 0 20 0 15 0 14278126 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045952826224 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29343] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29343/stat : 29343 (java) S 29328 29328 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278126 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045951773664 140046480615125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
[pid=29330/tid=29344] ppid=29328 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29330/task/29344/stat : 29344 (java) S 29328 29328 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278131 14316269568 16254 18446744073709551615 4194304 4196468 140731208497568 140045950720432 140046480616066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15581184 140731208499634 140731208499810 140731208499810 140731208503247 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66396 KiB

Child status: 0
Real time (s): 0.969112
CPU time (s): 1.63318
CPU user time (s): 1.57672
CPU system time (s): 0.056461
CPU usage (%): 168.524
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 66396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.57672
system time used= 0.056461
maximum resident set size= 68176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13522
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= 1420
involuntary context switches= 4


# summary of solver processes directly reported to runsolver:
#   pid: 29328
#   total CPU time (s): 1.63318
#   total CPU user time (s): 1.57672
#   total CPU system time (s): 0.056461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023362 second user time and 0.054145 second system time

The end

Begin job on node129 at 2017-08-19 17:50:52
IDJOB=4282196
IDBENCH=138725
IDSOLVER=2677
FILE ID=node129/4282196-1503158690
RUNJOBID= node129-1503095823-17350
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-700-100.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282196-1503158690/watcher-4282196-1503158690 -o /tmp/evaluation-result-4282196-1503158690/solver-4282196-1503158690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 980169560 HOME/instance-4282196-1503158690.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= afd68c385e5184dcb31c2a6fba91eaef
RANDOM SEED=980169560

node129.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.73
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.73
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.73
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.73
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:        28981724 kB
MemAvailable:   29235928 kB
Buffers:          180456 kB
Cached:           363744 kB
SwapCached:            0 kB
Active:          3009868 kB
Inactive:         369100 kB
Active(anon):    2835040 kB
Inactive(anon):    16748 kB
Active(file):     174828 kB
Inactive(file):   352352 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7860 kB
Writeback:             4 kB
AnonPages:       2834496 kB
Mapped:            45528 kB
Shmem:             17060 kB
Slab:             110452 kB
SReclaimable:      85716 kB
SUnreclaim:        24736 kB
KernelStack:        3520 kB
PageTables:        11128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5062204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2727936 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= 62000 MiB
End job on node129 at 2017-08-19 17:50:53

Name	Domino/ Domino-m1-s1/Domino-700-100.xml
MD5SUM	afd68c385e5184dcb31c2a6fba91eaef
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.01282
Satisfiable
(Un)Satisfiability was proved
Number of variables	700
Number of constraints	2
Number of domains	1
Minimum domain size	100
Maximum domain size	100
Distribution of domain sizes	[{"size":100,"count":700}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":698},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	700
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":700,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective

Trace number 4282196

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data