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