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