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