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