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