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