(1,4) (2,24) (3,20) (5,28) (6,26) (7,17) (8,22) (9,25) (10,16) (11,14) (12,13) (15,19) (18,21) (23,29) (27,30) 
nodes: 39648  conflicts: 17  modelTime: 1600  solveTime: 234994  totalTime: 236632  modelSize: 72285  readTime: 38 size: 15