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