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