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