(1,3) (2,6) (4,11) (5,10) (7,9) (8,18) (12,29) (13,15) (14,16) (19,25) (20,24) (21,26) (22,27) (23,30) 
nodes: 29104  conflicts: 63  modelTime: 1719  solveTime: 109307  totalTime: 111047  modelSize: 72265  readTime: 21 size: 14