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