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