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