(1,22) (2,11) (3,10) (4,14) (5,26) (6,9) (7,17) (8,15) (12,16) (13,27) (18,20) (19,23) (21,25) (24,30) (28,29) 
nodes: 784  conflicts: 2  modelTime: 994  solveTime: 5004  totalTime: 6003  modelSize: 72264  readTime: 5 size: 15