(1,14) (2,27) (3,15) (4,5) (6,16) (7,9) (8,22) (10,24) (11,30) (12,18) (13,20) (17,28) (19,29) (25,26) 
nodes: 44789  conflicts: 33  modelTime: 1232  solveTime: 180025  totalTime: 181277  modelSize: 72264  readTime: 20 size: 14