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