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