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