(1,29) (2,9) (3,18) (5,11) (6,20) (7,19) (8,27) (10,12) (14,15) (16,30) (17,26) (21,23) (22,28) (24,25) 
nodes: 330624  conflicts: 47  modelTime: 1720  solveTime: 1204881  totalTime: 1206621  modelSize: 72264  readTime: 20 size: 14