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