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