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