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