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