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