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