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