0.00/0.02 c small-domain mode
0.00/0.03 c Seed is 1227167285
0.00/0.03 c Constructing HOME/instance-2073651-1247712174.xml with 892 constraints
0.18/0.24 c Solving 19 backtracks 1 restarts
0.28/0.36 s SATISFIABLE
0.28/0.36 c V0=4, V1=11, V2=24, V3=15, V4=17, V5=4, V6=8, V7=5, V8=13, V9=14, V10=18, V11=19, V12=17, V13=8, V14=11, V15=19, V16=0, V17=19, V18=19, V19=3, V20=17, V21=20, V22=25, V23=0, V24=1, V25=1, V26=19, V27=0, V28=20, V29=12, V30=14, V31=14, V32=6, V33=19, V34=17, V35=20, V36=6, V37=1, V38=24, V39=4, V40=1, V41=24, V42=4, V43=18, V44=18, V45=4, V46=17, V47=6, V48=4, V49=25, V50=14, V51=18,
0.28/0.36 v 4 11 24 15 17 4 8 5 13 14 18 19 17 8 11 19 0 19 19 3 17 20 25 0 1 1 19 0 20 12 14 14 6 19 17 20 6 1 24 4 1 24 4 18 18 4 17 6 4 25 14 18
0.28/0.36 d ASSIGNMENTS 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2073651-1247712174/watcher-2073651-1247712174 -o /tmp/evaluation-result-2073651-1247712174/solver-2073651-1247712174 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1227167285 HOME/instance-2073651-1247712174.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.00 2.00 4/82 14774
/proc/meminfo: memFree=1123752/2055920 swapFree=4192812/4192956
[pid=14774] ppid=14772 vsize=18576 CPUtime=0
/proc/14774/stat : 14774 (runsolver) R 14772 14774 14567 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58280553 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 226238197031 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14774/statm: 4644 284 249 26 0 2626 0
[startup+0.092001 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14774
/proc/meminfo: memFree=1123752/2055920 swapFree=4192812/4192956
[pid=14774] ppid=14772 vsize=5532 CPUtime=0.07
/proc/14774/stat : 14774 (pcs.small) R 14772 14774 14567 0 -1 4194304 1003 1556 0 0 6 0 0 1 18 0 1 0 58280553 5664768 579 996147200 134512640 135095119 4294956304 18446744073709551615 134739383 0 0 4096 0 0 0 0 17 1 0 0
/proc/14774/statm: 1383 579 375 142 0 337 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5532
[startup+0.101999 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14774
/proc/meminfo: memFree=1123752/2055920 swapFree=4192812/4192956
[pid=14774] ppid=14772 vsize=5532 CPUtime=0.08
/proc/14774/stat : 14774 (pcs.small) R 14772 14774 14567 0 -1 4194304 1030 1556 0 0 7 0 0 1 18 0 1 0 58280553 5664768 606 996147200 134512640 135095119 4294956304 18446744073709551615 5336710 0 0 4096 0 0 0 0 17 1 0 0
/proc/14774/statm: 1383 606 375 142 0 337 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5532
[startup+0.302022 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14774
/proc/meminfo: memFree=1123752/2055920 swapFree=4192812/4192956
[pid=14774] ppid=14772 vsize=6448 CPUtime=0.28
/proc/14774/stat : 14774 (pcs.small) R 14772 14774 14567 0 -1 4194304 1510 1556 0 0 27 0 0 1 19 0 1 0 58280553 6602752 956 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/14774/statm: 1612 956 400 142 0 566 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6448
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.360615
CPU time (s): 0.353945
CPU user time (s): 0.331949
CPU system time (s): 0.021996
CPU usage (%): 98.1504
Max. virtual memory (cumulated for all children) (KiB): 6936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.331949
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3069
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= 21
runsolver used 0.001999 second user time and 0.006998 second system time
The end