0.00/0.02 c has big domains
0.00/0.02 c big-domain mode
0.00/0.02 c Seed is 1657240808
0.00/0.02 c Constructing HOME/instance-2070582-1247709046.xml
0.01/0.07 c deduced all_different(V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V48,V49,V50,V51,V52,V53,V54,V55,V56,V57,V58,V59,V60,V61,V62,V63,V64,V65,V11)
0.01/0.07 c with 1596 constraints
0.01/0.07 c Solving 3 backtracks
0.07/0.10 s UNSATISFIABLE
0.07/0.10 d ASSIGNMENTS 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2070582-1247709046/watcher-2070582-1247709046 -o /tmp/evaluation-result-2070582-1247709046/solver-2070582-1247709046 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1657240808 HOME/instance-2070582-1247709046.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.11 2.12 2.09 4/82 13547
/proc/meminfo: memFree=686360/2055920 swapFree=4192812/4192956
[pid=13547] ppid=13545 vsize=18576 CPUtime=0
/proc/13547/stat : 13547 (runsolver) R 13545 13547 11406 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 57964974 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 224627584295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13547/statm: 4644 284 249 26 0 2626 0
[startup+0.0370679 s]
/proc/loadavg: 2.11 2.12 2.09 4/82 13547
/proc/meminfo: memFree=686360/2055920 swapFree=4192812/4192956
[pid=13547] ppid=13545 vsize=4624 CPUtime=0.01
/proc/13547/stat : 13547 (pcs.big) R 13545 13547 11406 0 -1 4194304 819 656 0 0 1 0 0 0 22 0 1 0 57964974 4734976 450 996147200 134512640 135215973 4294956304 18446744073709551615 134839673 0 0 4096 0 0 0 0 17 0 0 0
/proc/13547/statm: 1156 450 383 171 0 81 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4624
[startup+0.101076 s]
/proc/loadavg: 2.11 2.12 2.09 4/82 13547
/proc/meminfo: memFree=686360/2055920 swapFree=4192812/4192956
[pid=13547] ppid=13545 vsize=4968 CPUtime=0.07
/proc/13547/stat : 13547 (pcs.big) R 13545 13547 11406 0 -1 4194304 933 656 0 0 7 0 0 0 22 0 1 0 57964974 5087232 564 996147200 134512640 135215973 4294956304 18446744073709551615 134597377 0 0 4096 0 0 0 0 17 0 0 0
/proc/13547/statm: 1242 564 410 171 0 167 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4968
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.102448
CPU time (s): 0.087985
CPU user time (s): 0.078987
CPU system time (s): 0.008998
CPU usage (%): 85.8826
Max. virtual memory (cumulated for all children) (KiB): 4968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.078987
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1593
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= 19
involuntary context switches= 15
runsolver used 0.003999 second user time and 0.007998 second system time
The end