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