0.00/0.02 c small-domain mode
0.07/0.18 c Seed is 1113416010
0.07/0.18 c Constructing HOME/instance-2073771-1247712238.xml with 1706 constraints
0.07/0.18 c Solving 42 backtracks 2 restarts
0.07/0.18 s SATISFIABLE
0.07/0.18 c V0=19, V1=25, V2=0, V3=17, V4=22, V5=0, V6=18, V7=8, V8=14, V9=22, V10=0, V11=7, V12=14, V13=0, V14=1, V15=0, V16=4, V17=25, V18=8, V19=13, V20=18, V21=14, V22=2, V23=17, V24=4, V25=0, V26=20, V27=7, V28=20, V29=17, V30=20, V31=17, V32=4, V33=25, V34=1, V35=0, V36=11, V37=0, V38=4, V39=11, V40=8, V41=4, V42=24, V43=4, V44=3, V45=0, V46=3, V47=18, V48=1, V49=20, V50=25, V51=25,
0.07/0.18 v 19 25 0 17 22 0 18 8 14 22 0 7 14 0 1 0 4 25 8 13 18 14 2 17 4 0 20 7 20 17 20 17 4 25 1 0 11 0 4 11 8 4 24 4 3 0 3 18 1 20 25 25
0.07/0.18 d ASSIGNMENTS 42
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2073771-1247712238/watcher-2073771-1247712238 -o /tmp/evaluation-result-2073771-1247712238/solver-2073771-1247712238 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1113416010 HOME/instance-2073771-1247712238.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.00 2.01 2.00 4/81 11478
/proc/meminfo: memFree=1453384/2055920 swapFree=4192812/4192956
[pid=11478] ppid=11476 vsize=5356 CPUtime=0
/proc/11478/stat : 11478 (pcssolve) R 11476 11478 10722 0 -1 4194304 170 0 0 0 0 0 0 0 22 0 1 0 58286817 5484544 141 996147200 4194304 4889804 548682068800 18446744073709551615 271894115747 0 0 4096 0 0 0 0 17 1 0 0
/proc/11478/statm: 1339 141 114 169 0 50 0
[startup+0.098919 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 11478
/proc/meminfo: memFree=1453384/2055920 swapFree=4192812/4192956
[pid=11478] ppid=11476 vsize=5532 CPUtime=0.07
/proc/11478/stat : 11478 (pcs.small) R 11476 11478 10722 0 -1 4194304 1023 1097 0 0 7 0 0 0 18 0 1 0 58286817 5664768 632 996147200 134512640 135095119 4294956304 18446744073709551615 4158924113 0 0 4096 0 0 0 0 17 1 0 0
/proc/11478/statm: 1383 632 388 142 0 337 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5532
[startup+0.106543 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 11478
/proc/meminfo: memFree=1453384/2055920 swapFree=4192812/4192956
[pid=11478] ppid=11476 vsize=5532 CPUtime=0.07
/proc/11478/stat : 11478 (pcs.small) R 11476 11478 10722 0 -1 4194304 1023 1097 0 0 7 0 0 0 18 0 1 0 58286817 5664768 632 996147200 134512640 135095119 4294956304 18446744073709551615 4159186624 0 0 4096 0 0 0 0 17 1 0 0
/proc/11478/statm: 1383 632 388 142 0 337 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5532
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.181958
CPU time (s): 0.168973
CPU user time (s): 0.157975
CPU system time (s): 0.010998
CPU usage (%): 92.8637
Max. virtual memory (cumulated for all children) (KiB): 5532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.157975
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2155
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= 21
involuntary context switches= 14
runsolver used 0.001999 second user time and 0.007998 second system time
The end