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