0.00/0.01 c small-domain mode
0.00/0.06 c Seed is 1715745099
0.00/0.06 c Constructing HOME/instance-2074277-1247712324.xml with 14224 constraints
0.06/0.13 c Solving 450 backtracks 6 restarts
0.45/0.59 s SATISFIABLE
0.45/0.59 c V0=0, V1=1, V2=2, V3=0, V4=1, V5=0, V6=0, V7=2, V8=1, V9=0, V10=1, V11=2, V12=2, V13=2, V14=0, V15=0, V16=2, V17=1, V18=2, V19=0, V20=0, V21=1, V22=2, V23=1, V24=0, V25=0, V26=0, V27=2, V28=1, V29=1, V30=2, V31=2, V32=2, V33=2, V34=1, V35=2, V36=1, V37=0, V38=1, V39=0, V40=2, V41=1, V42=1, V43=1, V44=0, V45=2, V46=0, V47=2, V48=1, V49=2, V50=0, V51=1, V52=1, V53=2, V54=0, V55=1, V56=1, V57=2, V58=0, V59=0, V60=2, V61=1, V62=1, V63=0,
0.45/0.59 v 0 1 2 0 1 0 0 2 1 0 1 2 2 2 0 0 2 1 2 0 0 1 2 1 0 0 0 2 1 1 2 2 2 2 1 2 1 0 1 0 2 1 1 1 0 2 0 2 1 2 0 1 1 2 0 1 1 2 0 0 2 1 1 0
0.45/0.59 d ASSIGNMENTS 450
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2074277-1247712324/watcher-2074277-1247712324 -o /tmp/evaluation-result-2074277-1247712324/solver-2074277-1247712324 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1715745099 HOME/instance-2074277-1247712324.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.18 2.08 2.02 4/82 15286
/proc/meminfo: memFree=766344/2055920 swapFree=4192812/4192956
[pid=15286] ppid=15284 vsize=5356 CPUtime=0
/proc/15286/stat : 15286 (pcssolve) R 15284 15286 15132 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 58295091 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 237947192672 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15286/statm: 1339 233 194 169 0 50 0
[startup+0.0774 s]
/proc/loadavg: 2.18 2.08 2.02 4/82 15286
/proc/meminfo: memFree=766344/2055920 swapFree=4192812/4192956
[pid=15286] ppid=15284 vsize=5352 CPUtime=0.03
/proc/15286/stat : 15286 (pcs.small) R 15284 15286 15132 0 -1 4194304 1072 822 0 0 3 0 0 0 18 0 1 0 58295091 5480448 648 996147200 134512640 135095119 4294956304 18446744073709551615 12386264 0 0 4096 0 0 0 0 17 1 0 0
/proc/15286/statm: 1338 648 374 142 0 292 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5352
[startup+0.102363 s]
/proc/loadavg: 2.18 2.08 2.02 4/82 15286
/proc/meminfo: memFree=766344/2055920 swapFree=4192812/4192956
[pid=15286] ppid=15284 vsize=6244 CPUtime=0.06
/proc/15286/stat : 15286 (pcs.small) R 15284 15286 15132 0 -1 4194304 1298 822 0 0 6 0 0 0 18 0 1 0 58295091 6393856 809 996147200 134512640 135095119 4294956304 18446744073709551615 4158933803 0 0 4096 0 0 0 0 17 1 0 0
/proc/15286/statm: 1561 809 374 142 0 515 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6244
[startup+0.302382 s]
/proc/loadavg: 2.18 2.08 2.02 4/82 15286
/proc/meminfo: memFree=766344/2055920 swapFree=4192812/4192956
[pid=15286] ppid=15284 vsize=7400 CPUtime=0.25
/proc/15286/stat : 15286 (pcs.small) R 15284 15286 15132 0 -1 4194304 1679 822 0 0 25 0 0 0 19 0 1 0 58295091 7577600 1185 996147200 134512640 135095119 4294956304 18446744073709551615 134615398 0 0 4096 0 0 0 0 17 1 0 0
/proc/15286/statm: 1850 1185 387 142 0 804 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 7400
Solver just ended. Dumping a history of the last processes samples
[startup+0.5024 s]
/proc/loadavg: 2.18 2.08 2.02 4/82 15286
/proc/meminfo: memFree=766344/2055920 swapFree=4192812/4192956
[pid=15286] ppid=15284 vsize=7400 CPUtime=0.45
/proc/15286/stat : 15286 (pcs.small) R 15284 15286 15132 0 -1 4194304 1681 822 0 0 45 0 0 0 21 0 1 0 58295091 7577600 1187 996147200 134512640 135095119 4294956304 18446744073709551615 134883048 0 0 4096 0 0 0 0 17 1 0 0
/proc/15286/statm: 1850 1187 387 142 0 804 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 7400
Child status: 0
Real time (s): 0.59495
CPU time (s): 0.562913
CPU user time (s): 0.546916
CPU system time (s): 0.015997
CPU usage (%): 94.6152
Max. virtual memory (cumulated for all children) (KiB): 7400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.546916
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2506
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= 25
involuntary context switches= 37
runsolver used 0.002999 second user time and 0.004999 second system time
The end