0.00/0.02 c small-domain mode
0.18/0.21 c Seed is 1106766351
0.18/0.21 c Constructing HOME/instance-2073650-1247712173.xml with 892 constraints
0.18/0.24 c Solving 16 backtracks 1 restarts
0.18/0.29 s SATISFIABLE
0.18/0.29 c V0=14, V1=5, V2=5, V3=15, V4=17, V5=14, V6=14, V7=5, V8=1, V9=0, V10=6, V11=20, V12=8, V13=14, V14=18, V15=12, V16=0, V17=19, V18=24, V19=3, V20=17, V21=20, V22=25, V23=14, V24=13, V25=4, V26=5, V27=11, V28=20, V29=24, V30=0, V31=17, V32=17, V33=19, V34=17, V35=20, V36=6, V37=19, V38=0, V39=8, V40=11, V41=24, V42=4, V43=18, V44=4, V45=19, V46=0, V47=6, V48=4, V49=25, V50=14, V51=18,
0.18/0.29 v 14 5 5 15 17 14 14 5 1 0 6 20 8 14 18 12 0 19 24 3 17 20 25 14 13 4 5 11 20 24 0 17 17 19 17 20 6 19 0 8 11 24 4 18 4 19 0 6 4 25 14 18
0.18/0.29 d ASSIGNMENTS 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2073650-1247712173/watcher-2073650-1247712173 -o /tmp/evaluation-result-2073650-1247712173/solver-2073650-1247712173 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1106766351 HOME/instance-2073650-1247712173.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 14742
/proc/meminfo: memFree=1123816/2055920 swapFree=4192812/4192956
[pid=14742] ppid=14740 vsize=5356 CPUtime=0
/proc/14742/stat : 14742 (pcssolve) R 14740 14742 14567 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 58280412 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226238196383 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14742/statm: 1339 241 200 169 0 50 0
[pid=14743] ppid=14742 vsize=3676 CPUtime=0
/proc/14743/stat : 14743 (fgrep) R 14742 14742 14567 0 -1 4194304 134 0 0 0 0 0 0 0 24 0 1 0 58280413 3764224 101 996147200 4194304 4274172 548682068976 18446744073709551615 226237744208 0 0 4096 0 0 0 0 17 1 0 0
/proc/14743/statm: 919 101 82 19 0 43 0
[pid=14744] ppid=14742 vsize=5356 CPUtime=0
/proc/14744/stat : 14744 (pcssolve) R 14742 14742 14567 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 58280413 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 226238196383 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14744/statm: 1339 241 200 169 0 50 0
[startup+0.0848571 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14742
/proc/meminfo: memFree=1123816/2055920 swapFree=4192812/4192956
[pid=14742] ppid=14740 vsize=5532 CPUtime=0.06
/proc/14742/stat : 14742 (pcs.small) R 14740 14742 14567 0 -1 4194304 992 1556 0 0 5 0 0 1 18 0 1 0 58280412 5664768 568 996147200 134512640 135095119 4294956304 18446744073709551615 134653434 0 0 4096 0 0 0 0 17 1 0 0
/proc/14742/statm: 1383 568 375 142 0 337 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5532
[startup+0.101853 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14742
/proc/meminfo: memFree=1123816/2055920 swapFree=4192812/4192956
[pid=14742] ppid=14740 vsize=5532 CPUtime=0.08
/proc/14742/stat : 14742 (pcs.small) R 14740 14742 14567 0 -1 4194304 1021 1556 0 0 7 0 0 1 18 0 1 0 58280412 5664768 597 996147200 134512640 135095119 4294956304 18446744073709551615 134741711 0 0 4096 0 0 0 0 17 1 0 0
/proc/14742/statm: 1383 597 375 142 0 337 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5532
Solver just ended. Dumping a history of the last processes samples
[startup+0.201867 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14742
/proc/meminfo: memFree=1123816/2055920 swapFree=4192812/4192956
[pid=14742] ppid=14740 vsize=6936 CPUtime=0.18
/proc/14742/stat : 14742 (pcs.small) R 14740 14742 14567 0 -1 4194304 1449 1556 0 0 17 0 0 1 18 0 1 0 58280412 7102464 978 996147200 134512640 135095119 4294956304 18446744073709551615 134944940 0 0 4096 0 0 0 0 17 1 0 0
/proc/14742/statm: 1734 978 375 142 0 688 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6936
Child status: 0
Real time (s): 0.292311
CPU time (s): 0.285956
CPU user time (s): 0.266959
CPU system time (s): 0.018997
CPU usage (%): 97.826
Max. virtual memory (cumulated for all children) (KiB): 6936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.266959
system time used= 0.018997
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= 21
involuntary context switches= 21
runsolver used 0.001999 second user time and 0.006998 second system time
The end