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