0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.01 c Seed is 301122902
0.00/0.01 c Constructing HOME/instance-2079954-1247717212.xml with 3839 constraints
0.00/0.05 c Solving 52 backtracks 2 restarts
5.84/5.91 s SATISFIABLE
5.84/5.91 c V0=2, V1=12, V2=12, V3=7, V4=11, V5=3, V6=14, V7=7, V8=6, V9=22, V10=10, V11=6, V12=20, V13=7, V14=13, V15=5, V16=16, V17=10, V18=17, V19=2, V20=7, V21=0, V22=9, V23=14, V24=3, V25=1, V26=5, V27=8, V28=18, V29=6, V30=15, V31=7, V32=1, V33=3, V34=4, V35=1, V36=8, V37=4, V38=19, V39=0, V40=19, V41=22, V42=29, V43=51, V44=57, V45=64, V46=69, V47=79, V48=81, V49=81, V50=95, V51=96, V52=104, V53=110, V54=117, V55=120, V56=121, V57=125, V58=125, V59=125, V60=0,
5.84/5.91 v 2 12 12 7 11 3 14 7 6 22 10 6 20 7 13 5 16 10 17 2 7 0 9 14 3 1 5 8 18 6 15 7 1 3 4 1 8 4 19 0 19 22 29 51 57 64 69 79 81 81 95 96 104 110 117 120 121 125 125 125 0
5.84/5.91 d ASSIGNMENTS 52
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079954-1247717212/watcher-2079954-1247717212 -o /tmp/evaluation-result-2079954-1247717212/solver-2079954-1247717212 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 301122902 HOME/instance-2079954-1247717212.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.04 2.05 2.02 4/83 13668
/proc/meminfo: memFree=762680/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=5356 CPUtime=0
/proc/13668/stat : 13668 (pcssolve) R 13666 13668 12510 0 -1 4194304 339 358 0 0 0 0 0 0 25 0 1 0 58785825 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251601150788 0 65536 4100 65538 0 0 0 17 1 0 0
/proc/13668/statm: 1339 242 201 169 0 50 0
[pid=13671] ppid=13668 vsize=0 CPUtime=0
/proc/13671/stat : 13671 (fgrep) Z 13668 13668 12510 0 -1 4194316 198 0 0 0 0 0 0 0 18 0 1 0 58785825 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/13671/statm: 0 0 0 0 0 0 0
[pid=13672] ppid=13668 vsize=5356 CPUtime=0
/proc/13672/stat : 13672 (pcssolve) R 13668 13668 12510 0 -1 4194368 22 0 0 0 0 0 0 0 25 0 1 0 58785825 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 251601153319 0 0 4096 0 0 0 0 17 0 0 0
/proc/13672/statm: 1339 244 203 169 0 50 0
[startup+0.0796931 s]
/proc/loadavg: 2.04 2.05 2.02 4/83 13668
/proc/meminfo: memFree=762680/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6160 CPUtime=0.06
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1197 739 0 0 6 0 0 0 25 0 1 0 58785825 6307840 828 996147200 134512640 135215973 4294956304 18446744073709551615 134590178 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1540 828 404 171 0 465 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6160
[startup+0.102703 s]
/proc/loadavg: 2.04 2.05 2.02 4/83 13668
/proc/meminfo: memFree=762680/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6160 CPUtime=0.08
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1215 739 0 0 8 0 0 0 25 0 1 0 58785825 6307840 846 996147200 134512640 135215973 4294956304 18446744073709551615 134600085 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1540 846 404 171 0 465 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6160
[startup+0.302724 s]
/proc/loadavg: 2.04 2.05 2.02 4/83 13668
/proc/meminfo: memFree=762680/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6160 CPUtime=0.28
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1239 739 0 0 28 0 0 0 25 0 1 0 58785825 6307840 870 996147200 134512640 135215973 4294956304 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1540 870 406 171 0 465 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6160
[startup+0.701764 s]
/proc/loadavg: 2.04 2.05 2.02 4/83 13668
/proc/meminfo: memFree=762680/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6160 CPUtime=0.68
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1239 739 0 0 68 0 0 0 25 0 1 0 58785825 6307840 870 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1540 870 406 171 0 465 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6160
[startup+1.50185 s]
/proc/loadavg: 2.04 2.05 2.02 3/84 13673
/proc/meminfo: memFree=760752/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6160 CPUtime=1.47
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1239 739 0 0 147 0 0 0 25 0 1 0 58785825 6307840 870 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1540 870 406 171 0 465 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6160
[startup+3.10103 s]
/proc/loadavg: 2.04 2.05 2.02 3/84 13673
/proc/meminfo: memFree=760560/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6160 CPUtime=3.06
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1244 739 0 0 306 0 0 0 25 0 1 0 58785825 6307840 875 996147200 134512640 135215973 4294956304 18446744073709551615 135020412 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1540 875 406 171 0 465 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6160
Solver just ended. Dumping a history of the last processes samples
[startup+4.70121 s]
/proc/loadavg: 2.04 2.05 2.02 3/84 13673
/proc/meminfo: memFree=760560/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6300 CPUtime=4.64
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1261 739 0 0 464 0 0 0 25 0 1 0 58785825 6451200 892 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1575 892 406 171 0 500 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 6300
[startup+5.5063 s]
/proc/loadavg: 2.04 2.05 2.02 3/84 13673
/proc/meminfo: memFree=760368/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6300 CPUtime=5.44
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1264 739 0 0 544 0 0 0 25 0 1 0 58785825 6451200 895 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1575 895 406 171 0 500 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 6300
[startup+5.90134 s]
/proc/loadavg: 2.04 2.05 2.02 3/84 13673
/proc/meminfo: memFree=760368/2055920 swapFree=4192812/4192956
[pid=13668] ppid=13666 vsize=6300 CPUtime=5.84
/proc/13668/stat : 13668 (pcs.big) R 13666 13668 12510 0 -1 4194304 1276 739 0 0 584 0 0 0 25 0 1 0 58785825 6451200 907 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/13668/statm: 1575 907 406 171 0 500 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 6300
Child status: 0
Real time (s): 5.92022
CPU time (s): 5.87311
CPU user time (s): 5.85811
CPU system time (s): 0.014997
CPU usage (%): 99.2042
Max. virtual memory (cumulated for all children) (KiB): 6300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.85811
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2019
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= 15
involuntary context switches= 157
runsolver used 0.006998 second user time and 0.022996 second system time
The end