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