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