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