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