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