(1,4) (2,14) (3,5) (6,12) (7,18) (8,19) (9,11) (10,20) (13,15) (16,23) (17,22) (25,29) (26,28) (27,30) 
nodes: 944  conflicts: 9  modelTime: 1010  solveTime: 3318  totalTime: 4395  modelSize: 72262  readTime: 67 size: 14