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