0.00/0.02 c has big domains
0.00/0.02 c big-domain mode
0.00/0.02 c Seed is 1554246660
0.00/0.02 c Constructing HOME/instance-2070581-1247709045.xml
0.00/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.00/0.07 c with 1596 constraints
0.00/0.07 c Solving 24 backtracks
0.17/0.23 s UNSATISFIABLE
0.17/0.23 d ASSIGNMENTS 24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2070581-1247709045/watcher-2070581-1247709045 -o /tmp/evaluation-result-2070581-1247709045/solver-2070581-1247709045 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1554246660 HOME/instance-2070581-1247709045.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.12 2.12 2.09 4/82 13516
/proc/meminfo: memFree=686488/2055920 swapFree=4192812/4192956
[pid=13516] ppid=13514 vsize=18576 CPUtime=0
/proc/13516/stat : 13516 (runsolver) R 13514 13516 11406 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 57964899 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 224627584295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13516/statm: 4644 284 249 26 0 2626 0
[startup+0.086299 s]
/proc/loadavg: 2.12 2.12 2.09 4/82 13516
/proc/meminfo: memFree=686488/2055920 swapFree=4192812/4192956
[pid=13516] ppid=13514 vsize=4968 CPUtime=0.06
/proc/13516/stat : 13516 (pcs.big) R 13514 13516 11406 0 -1 4194304 928 656 0 0 6 0 0 0 22 0 1 0 57964899 5087232 559 996147200 134512640 135215973 4294956304 18446744073709551615 134600785 0 0 4096 0 0 0 0 17 0 0 0
/proc/13516/statm: 1242 559 410 171 0 167 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4968
[startup+0.101299 s]
/proc/loadavg: 2.12 2.12 2.09 4/82 13516
/proc/meminfo: memFree=686488/2055920 swapFree=4192812/4192956
[pid=13516] ppid=13514 vsize=4968 CPUtime=0.07
/proc/13516/stat : 13516 (pcs.big) R 13514 13516 11406 0 -1 4194304 933 656 0 0 7 0 0 0 22 0 1 0 57964899 5087232 564 996147200 134512640 135215973 4294956304 18446744073709551615 134902444 0 0 4096 0 0 0 0 17 0 0 0
/proc/13516/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
[startup+0.201313 s]
/proc/loadavg: 2.12 2.12 2.09 4/82 13516
/proc/meminfo: memFree=686488/2055920 swapFree=4192812/4192956
[pid=13516] ppid=13514 vsize=5140 CPUtime=0.17
/proc/13516/stat : 13516 (pcs.big) R 13514 13516 11406 0 -1 4194304 975 656 0 0 17 0 0 0 22 0 1 0 57964899 5263360 606 996147200 134512640 135215973 4294956304 18446744073709551615 134600651 0 0 4096 0 0 0 0 17 0 0 0
/proc/13516/statm: 1285 606 412 171 0 210 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5140
Child status: 0
Real time (s): 0.239153
CPU time (s): 0.221965
CPU user time (s): 0.213967
CPU system time (s): 0.007998
CPU usage (%): 92.813
Max. virtual memory (cumulated for all children) (KiB): 5140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.213967
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1646
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= 18
runsolver used 0.002999 second user time and 0.004999 second system time
The end