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