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