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