0.00/0.02 c small-domain mode
0.00/0.06 c Seed is 1612299759
0.00/0.06 c Constructing HOME/instance-2079051-1247716615.xml with 892 constraints
0.16/0.25 c Solving 16 backtracks 1 restarts
0.16/0.29 s SATISFIABLE
0.16/0.29 c V0=13, V1=4, V2=5, V3=0, V4=20, V5=6, V6=4, V7=19, V8=12, V9=8, V10=11, V11=14, V12=20, V13=17, V14=3, V15=19, V16=14, V17=17, V18=18, V19=9, V20=0, V21=25, V22=25, V23=15, V24=20, V25=0, V26=11, V27=4, V28=20, V29=4, V30=13, V31=19, V32=0, V33=15, V34=20, V35=19, V36=19, V37=3, V38=4, V39=21, V40=4, V41=17, V42=8, V43=0, V44=18, V45=8, V46=15, V47=14, V48=18, V49=25, V50=14, V51=20,
0.16/0.29 v 13 4 5 0 20 6 4 19 12 8 11 14 20 17 3 19 14 17 18 9 0 25 25 15 20 0 11 4 20 4 13 19 0 15 20 19 19 3 4 21 4 17 8 0 18 8 15 14 18 25 14 20
0.16/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-2079051-1247716615/watcher-2079051-1247716615 -o /tmp/evaluation-result-2079051-1247716615/solver-2079051-1247716615 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1612299759 HOME/instance-2079051-1247716615.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/72 13354
/proc/meminfo: memFree=1486768/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13352 vsize=18576 CPUtime=0
/proc/13354/stat : 13354 (runsolver) R 13352 13354 12276 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58727637 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13354/statm: 4644 284 249 26 0 2626 0
[startup+0.0601899 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13354
/proc/meminfo: memFree=1486768/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13352 vsize=4832 CPUtime=0.02
/proc/13354/stat : 13354 (pcs.small) R 13352 13354 12276 0 -1 4194304 914 2009 0 0 2 0 0 0 18 0 1 0 58727637 4947968 523 996147200 134512640 135095119 4294956304 18446744073709551615 134944166 0 0 4096 0 0 0 0 17 1 0 0
/proc/13354/statm: 1208 523 375 142 0 162 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4832
[startup+0.101122 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13354
/proc/meminfo: memFree=1486768/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13352 vsize=5592 CPUtime=0.06
/proc/13354/stat : 13354 (pcs.small) R 13352 13354 12276 0 -1 4194304 1017 2009 0 0 6 0 0 0 18 0 1 0 58727637 5726208 626 996147200 134512640 135095119 4294956304 18446744073709551615 134739366 0 0 4096 0 0 0 0 17 1 0 0
/proc/13354/statm: 1398 626 375 142 0 352 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5592
Solver just ended. Dumping a history of the last processes samples
[startup+0.201141 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13354
/proc/meminfo: memFree=1486768/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13352 vsize=6928 CPUtime=0.16
/proc/13354/stat : 13354 (pcs.small) R 13352 13354 12276 0 -1 4194304 1440 2009 0 0 16 0 0 0 18 0 1 0 58727637 7094272 993 996147200 134512640 135095119 4294956304 18446744073709551615 134939962 0 0 4096 0 0 0 0 17 1 0 0
/proc/13354/statm: 1732 993 375 142 0 686 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 6928
Child status: 0
Real time (s): 0.298415
CPU time (s): 0.292955
CPU user time (s): 0.274958
CPU system time (s): 0.017997
CPU usage (%): 98.1703
Max. virtual memory (cumulated for all children) (KiB): 6928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.274958
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3576
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= 24
involuntary context switches= 17
runsolver used 0.001999 second user time and 0.007998 second system time
The end