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