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