0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.08/0.18 c Seed is 2057774545
0.08/0.18 c Constructing HOME/instance-2079909-1247717181.xml with 3839 constraints
0.08/0.18 c Solving 2 backtracks
0.08/0.18 s SATISFIABLE
0.08/0.18 c V0=18, V1=5, V2=10, V3=4, V4=19, V5=2, V6=15, V7=3, V8=6, V9=6, V10=14, V11=3, V12=12, V13=2, V14=1, V15=13, V16=11, V17=9, V18=20, V19=10, V20=5, V21=16, V22=9, V23=3, V24=16, V25=0, V26=2, V27=7, V28=13, V29=9, V30=3, V31=6, V32=4, V33=5, V34=7, V35=0, V36=8, V37=0, V38=17, V39=0, V40=9, V41=11, V42=14, V43=20, V44=23, V45=25, V46=38, V47=47, V48=57, V49=73, V50=76, V51=76, V52=83, V53=92, V54=98, V55=103, V56=103, V57=103, V58=103, V59=103, V60=0,
0.08/0.18 v 18 5 10 4 19 2 15 3 6 6 14 3 12 2 1 13 11 9 20 10 5 16 9 3 16 0 2 7 13 9 3 6 4 5 7 0 8 0 17 0 9 11 14 20 23 25 38 47 57 73 76 76 83 92 98 103 103 103 103 103 0
0.08/0.18 d ASSIGNMENTS 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079909-1247717181/watcher-2079909-1247717181 -o /tmp/evaluation-result-2079909-1247717181/solver-2079909-1247717181 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2057774545 HOME/instance-2079909-1247717181.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: 2.13 2.11 2.03 4/75 18418
/proc/meminfo: memFree=1630520/2055920 swapFree=4192812/4192956
[pid=18418] ppid=18416 vsize=5356 CPUtime=0
/proc/18418/stat : 18418 (pcssolve) R 18416 18418 16378 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58780798 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18418/statm: 1339 241 200 169 0 50 0
[pid=18419] ppid=18418 vsize=0 CPUtime=0
/proc/18419/stat : 18419 (pcssolve) R 18418 18418 16378 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58780798 0 0 996147200 0 0 0 18446744073709551615 209560595751 0 0 4096 0 0 0 0 17 1 0 0
/proc/18419/statm: 0 0 0 0 0 0 0
[pid=18420] ppid=18418 vsize=5356 CPUtime=0
/proc/18420/stat : 18420 (pcssolve) R 18418 18418 16378 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58780798 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18420/statm: 1339 241 200 169 0 50 0
[startup+0.100613 s]
/proc/loadavg: 2.13 2.11 2.03 4/75 18418
/proc/meminfo: memFree=1630520/2055920 swapFree=4192812/4192956
[pid=18418] ppid=18416 vsize=5964 CPUtime=0.08
/proc/18418/stat : 18418 (pcs.big) R 18416 18418 16378 0 -1 4194304 1197 691 0 0 8 0 0 0 18 0 1 0 58780798 6107136 828 996147200 134512640 135215973 4294956304 18446744073709551615 134583247 0 0 4096 0 0 0 0 17 1 0 0
/proc/18418/statm: 1491 828 404 171 0 416 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5964
Solver just ended. Dumping a history of the last processes samples
[startup+0.100613 s]
/proc/loadavg: 2.13 2.11 2.03 4/75 18418
/proc/meminfo: memFree=1630520/2055920 swapFree=4192812/4192956
[pid=18418] ppid=18416 vsize=5964 CPUtime=0.08
/proc/18418/stat : 18418 (pcs.big) R 18416 18418 16378 0 -1 4194304 1197 691 0 0 8 0 0 0 18 0 1 0 58780798 6107136 828 996147200 134512640 135215973 4294956304 18446744073709551615 134583247 0 0 4096 0 0 0 0 17 1 0 0
/proc/18418/statm: 1491 828 404 171 0 416 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5964
Child status: 0
Real time (s): 0.182381
CPU time (s): 0.174973
CPU user time (s): 0.162975
CPU system time (s): 0.011998
CPU usage (%): 95.9382
Max. virtual memory (cumulated for all children) (KiB): 5964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.162975
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1913
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= 18
involuntary context switches= 10
runsolver used 0.003999 second user time and 0.004999 second system time
The end