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