0.00/0.01 c has operations which may create big domains
0.00/0.01 c big-domain mode
0.18/0.21 c Seed is 102114737
0.18/0.21 c Constructing HOME/instance-2069382-1247708386.xml with 3483 constraints
0.18/0.21 c Solving 0 backtracks
4.83/4.94 s SATISFIABLE
4.83/4.94 c V0=0, V1=1, V2=0, V3=1, V4=0, V5=0, V6=0, V7=1, V8=0, V9=0, V10=0, V11=0, V12=0, V13=0, V14=0, V15=0, V16=0, V17=0, V18=0, V19=1, V20=0, V21=0, V22=0, V23=1, V24=0, V25=0, V26=0, V27=1, V28=0, V29=1, V30=0, V31=1, V32=0, V33=0, V34=0, V35=0, V36=1, V37=1, V38=1, V39=1, V40=0, V41=0, V42=0, V43=0, V44=0, V45=0, V46=0, V47=1, V48=0, V49=1, V50=0, V51=0, V52=1, V53=0, V54=1, V55=0, V56=1, V57=0, V58=0, V59=1,
4.83/4.94 v 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1
4.83/4.94 d ASSIGNMENTS 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2069382-1247708386/watcher-2069382-1247708386 -o /tmp/evaluation-result-2069382-1247708386/solver-2069382-1247708386 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 102114737 HOME/instance-2069382-1247708386.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.98 1.99 4/73 11615
/proc/meminfo: memFree=1504280/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=5356 CPUtime=0
/proc/11615/stat : 11615 (pcssolve) R 11613 11615 9666 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57901910 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 250968861343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11615/statm: 1339 241 200 169 0 50 0
[pid=11616] ppid=11615 vsize=0 CPUtime=0
/proc/11616/stat : 11616 (pcssolve) R 11615 11615 9666 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 57901910 0 0 996147200 0 0 0 18446744073709551615 250968861991 0 0 4096 0 0 0 0 17 1 0 0
/proc/11616/statm: 0 0 0 0 0 0 0
[pid=11617] ppid=11615 vsize=5356 CPUtime=0
/proc/11617/stat : 11617 (pcssolve) R 11615 11615 9666 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57901910 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 250968861343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11617/statm: 1339 241 200 169 0 50 0
[startup+0.0880941 s]
/proc/loadavg: 1.91 1.98 1.99 4/73 11615
/proc/meminfo: memFree=1504280/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=6452 CPUtime=0.06
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 1423 823 0 0 6 0 0 0 18 0 1 0 57901910 6606848 954 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 1613 954 406 171 0 538 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6452
[startup+0.102087 s]
/proc/loadavg: 1.91 1.98 1.99 4/73 11615
/proc/meminfo: memFree=1504280/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=6676 CPUtime=0.07
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 1446 823 0 0 7 0 0 0 18 0 1 0 57901910 6836224 977 996147200 134512640 135215973 4294956304 18446744073709551615 135096334 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 1669 977 406 171 0 594 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6676
[startup+0.301114 s]
/proc/loadavg: 1.91 1.98 1.99 4/73 11615
/proc/meminfo: memFree=1504280/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=8416 CPUtime=0.28
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 1956 823 0 0 27 1 0 0 19 0 1 0 57901910 8617984 1434 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 2104 1434 406 171 0 1029 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8416
[startup+0.701147 s]
/proc/loadavg: 1.91 1.98 1.99 4/73 11615
/proc/meminfo: memFree=1504280/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=16396 CPUtime=0.68
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 4063 823 0 0 66 2 0 0 23 0 1 0 57901910 16789504 3227 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 4099 3227 406 171 0 3024 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16396
[startup+1.50123 s]
/proc/loadavg: 1.91 1.98 1.99 3/74 11621
/proc/meminfo: memFree=1492240/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=19432 CPUtime=1.47
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 4993 823 0 0 145 2 0 0 25 0 1 0 57901910 19898368 4157 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 4858 4157 406 171 0 3783 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19432
[startup+3.10138 s]
/proc/loadavg: 1.91 1.98 1.99 3/74 11621
/proc/meminfo: memFree=1473296/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=36540 CPUtime=3.05
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 9396 823 0 0 301 4 0 0 25 0 1 0 57901910 37416960 8143 996147200 134512640 135215973 4294956304 18446744073709551615 4158960683 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 9135 8143 406 171 0 8060 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 36540
Solver just ended. Dumping a history of the last processes samples
[startup+3.90146 s]
/proc/loadavg: 1.91 1.98 1.99 3/74 11621
/proc/meminfo: memFree=1471376/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=44592 CPUtime=3.85
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 11457 823 0 0 380 5 0 0 25 0 1 0 57901910 45662208 10204 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 11148 10204 406 171 0 10073 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 44592
[startup+4.70154 s]
/proc/loadavg: 1.91 1.98 1.99 3/74 11621
/proc/meminfo: memFree=1459664/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=52248 CPUtime=4.64
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 13401 823 0 0 459 5 0 0 25 0 1 0 57901910 53501952 12148 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 13062 12148 406 171 0 11987 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 52248
[startup+4.90157 s]
/proc/loadavg: 1.91 1.98 1.99 3/74 11621
/proc/meminfo: memFree=1459664/2055920 swapFree=4192812/4192956
[pid=11615] ppid=11613 vsize=52568 CPUtime=4.83
/proc/11615/stat : 11615 (pcs.big) R 11613 11615 9666 0 -1 4194304 13783 823 0 0 478 5 0 0 25 0 1 0 57901910 53829632 12318 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/11615/statm: 13142 12318 408 171 0 12067 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 52568
Child status: 0
Real time (s): 4.95312
CPU time (s): 4.90525
CPU user time (s): 4.83127
CPU system time (s): 0.073988
CPU usage (%): 99.0337
Max. virtual memory (cumulated for all children) (KiB): 53040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.83127
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 122
runsolver used 0.014997 second user time and 0.014997 second system time
The end