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