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