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