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