0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.20/300.15 c [STEP] preprocessing done, loading into solver
299.20/300.15 c [STEP] solving
299.20/300.15 c #variables 474 #constraints 472
299.20/300.15 c SMALL=int, LARGE=long long
299.20/300.15 d SCIPUB 187
299.20/300.15 c bounds - >= 0 @ 299.042
299.20/300.15 c stratification level: 0
323.03/324.07 c bounds - >= 50 @ 299.044
323.03/324.07 c bounds - >= 51 @ 299.044
323.03/324.07 c bounds - >= 52 @ 299.044
323.03/324.07 c bounds - >= 53 @ 299.044
323.03/324.07 c bounds - >= 54 @ 299.044
323.03/324.07 c bounds - >= 55 @ 299.044
323.03/324.07 c bounds - >= 56 @ 299.044
323.03/324.07 c bounds - >= 57 @ 299.044
323.03/324.07 c bounds - >= 58 @ 299.044
323.03/324.07 c bounds - >= 59 @ 299.044
323.03/324.07 c bounds - >= 60 @ 299.044
323.03/324.07 c bounds - >= 61 @ 299.044
323.03/324.07 c bounds - >= 62 @ 299.044
323.03/324.07 c bounds - >= 63 @ 299.045
323.03/324.07 c bounds - >= 64 @ 299.045
323.03/324.07 c bounds - >= 65 @ 299.045
323.03/324.07 c bounds - >= 66 @ 299.045
323.03/324.07 c bounds - >= 67 @ 299.045
323.03/324.07 c bounds - >= 68 @ 299.045
323.03/324.07 c bounds - >= 69 @ 299.045
323.03/324.07 c bounds - >= 70 @ 299.045
323.03/324.07 c bounds - >= 71 @ 299.045
323.03/324.07 c bounds - >= 72 @ 299.045
323.03/324.07 c bounds - >= 73 @ 299.046
323.03/324.07 c bounds - >= 74 @ 299.046
323.03/324.07 c bounds - >= 75 @ 299.046
323.03/324.07 c bounds - >= 76 @ 299.046
323.03/324.07 c bounds - >= 77 @ 299.046
323.03/324.07 c bounds - >= 78 @ 299.046
323.03/324.07 c bounds - >= 79 @ 299.046
323.03/324.07 c bounds - >= 80 @ 299.046
323.03/324.07 c bounds - >= 81 @ 299.046
323.03/324.07 c bounds - >= 82 @ 299.046
323.03/324.07 c bounds - >= 83 @ 299.046
323.03/324.07 c bounds - >= 84 @ 299.046
323.03/324.07 c bounds - >= 85 @ 299.046
323.03/324.07 c bounds - >= 86 @ 299.046
323.03/324.07 c bounds - >= 87 @ 299.046
323.03/324.07 c bounds - >= 88 @ 299.046
323.03/324.07 c bounds - >= 89 @ 299.046
323.03/324.07 c bounds - >= 90 @ 299.046
323.03/324.07 c bounds - >= 91 @ 299.046
323.03/324.07 c bounds - >= 92 @ 299.046
323.03/324.07 c bounds - >= 93 @ 299.046
323.03/324.07 c bounds - >= 94 @ 299.046
323.03/324.07 c bounds - >= 95 @ 299.046
323.03/324.07 c bounds - >= 96 @ 299.046
323.03/324.07 c bounds - >= 97 @ 299.046
323.03/324.07 c bounds - >= 98 @ 299.046
323.03/324.07 c bounds - >= 99 @ 299.046
323.03/324.07 c bounds - >= 100 @ 299.046
323.03/324.07 c bounds - >= 101 @ 299.046
323.03/324.07 c bounds - >= 102 @ 299.046
323.03/324.07 c bounds - >= 103 @ 299.046
323.03/324.07 c bounds - >= 104 @ 299.047
323.03/324.07 c bounds - >= 105 @ 299.047
323.03/324.07 c bounds - >= 106 @ 299.047
323.03/324.07 c bounds - >= 107 @ 299.047
323.03/324.07 c bounds - >= 108 @ 299.047
323.03/324.07 c bounds - >= 109 @ 299.047
323.03/324.07 c bounds - >= 110 @ 299.047
323.03/324.07 c bounds - >= 111 @ 299.047
323.03/324.07 c bounds - >= 112 @ 299.047
323.03/324.07 c bounds - >= 113 @ 299.047
323.03/324.07 c bounds - >= 114 @ 299.047
323.03/324.07 c bounds - >= 115 @ 299.047
323.03/324.07 c bounds - >= 116 @ 299.047
323.03/324.07 c bounds - >= 117 @ 299.047
323.03/324.07 c bounds - >= 118 @ 299.047
323.03/324.07 c bounds - >= 119 @ 299.047
323.03/324.07 c bounds - >= 120 @ 299.047
323.03/324.07 c bounds - >= 121 @ 299.047
323.03/324.07 c bounds - >= 122 @ 299.047
323.03/324.07 c bounds - >= 123 @ 299.047
323.03/324.07 c bounds - >= 124 @ 299.047
323.03/324.07 c bounds - >= 125 @ 299.047
323.03/324.07 c #Conflicts: 1000 | #Constraints: 1611
323.03/324.07 c #Conflicts: 2000 | #Constraints: 2611
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 3000 | #Constraints: 2536
323.03/324.07 c #Conflicts: 4000 | #Constraints: 3536
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 5000 | #Constraints: 2940
323.03/324.07 c #Conflicts: 6000 | #Constraints: 3940
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 7000 | #Constraints: 2938
323.03/324.07 c #Conflicts: 8000 | #Constraints: 3938
323.03/324.07 c #Conflicts: 9000 | #Constraints: 4938
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 10000 | #Constraints: 3638
323.03/324.07 c #Conflicts: 11000 | #Constraints: 4638
323.03/324.07 c #Conflicts: 12000 | #Constraints: 5638
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 13000 | #Constraints: 4092
323.03/324.07 c #Conflicts: 14000 | #Constraints: 5092
323.03/324.07 c #Conflicts: 15000 | #Constraints: 6092
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 16000 | #Constraints: 4315
323.03/324.07 c #Conflicts: 17000 | #Constraints: 5315
323.03/324.07 c #Conflicts: 18000 | #Constraints: 6315
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 19000 | #Constraints: 4330
323.03/324.07 c #Conflicts: 20000 | #Constraints: 5330
323.03/324.07 c #Conflicts: 21000 | #Constraints: 6330
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 22000 | #Constraints: 4136
323.03/324.07 c #Conflicts: 23000 | #Constraints: 5136
323.03/324.07 c #Conflicts: 24000 | #Constraints: 6136
323.03/324.07 c #Conflicts: 25000 | #Constraints: 7136
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 26000 | #Constraints: 4738
323.03/324.07 c #Conflicts: 27000 | #Constraints: 5738
323.03/324.07 c #Conflicts: 28000 | #Constraints: 6738
323.03/324.07 c #Conflicts: 29000 | #Constraints: 7738
323.03/324.07 c INPROCESSING
323.03/324.07 c GARBAGE COLLECT
323.03/324.07 c #Conflicts: 30000 | #Constraints: 5141
323.03/324.07 c #Conflicts: 31000 | #Constraints: 6141
323.03/324.07 c #Conflicts: 32000 | #Constraints: 7141
323.03/324.07 c #Conflicts: 33000 | #Constraints: 8141
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 34000 | #Constraints: 5342
450.26/451.61 c #Conflicts: 35000 | #Constraints: 6342
450.26/451.61 c #Conflicts: 36000 | #Constraints: 7342
450.26/451.61 c #Conflicts: 37000 | #Constraints: 8342
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 38000 | #Constraints: 5337
450.26/451.61 c #Conflicts: 39000 | #Constraints: 6337
450.26/451.61 c #Conflicts: 40000 | #Constraints: 7337
450.26/451.61 c #Conflicts: 41000 | #Constraints: 8337
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 42000 | #Constraints: 5143
450.26/451.61 c #Conflicts: 43000 | #Constraints: 6143
450.26/451.61 c #Conflicts: 44000 | #Constraints: 7143
450.26/451.61 c #Conflicts: 45000 | #Constraints: 8143
450.26/451.61 c #Conflicts: 46000 | #Constraints: 9143
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 47000 | #Constraints: 5740
450.26/451.61 c #Conflicts: 48000 | #Constraints: 6740
450.26/451.61 c #Conflicts: 49000 | #Constraints: 7740
450.26/451.61 c #Conflicts: 50000 | #Constraints: 8740
450.26/451.61 c #Conflicts: 51000 | #Constraints: 9740
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 52000 | #Constraints: 6141
450.26/451.61 c #Conflicts: 53000 | #Constraints: 7141
450.26/451.61 c #Conflicts: 54000 | #Constraints: 8141
450.26/451.61 c #Conflicts: 55000 | #Constraints: 9141
450.26/451.61 c #Conflicts: 56000 | #Constraints: 10141
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 57000 | #Constraints: 6338
450.26/451.61 c #Conflicts: 58000 | #Constraints: 7338
450.26/451.61 c #Conflicts: 59000 | #Constraints: 8338
450.26/451.61 c #Conflicts: 60000 | #Constraints: 9338
450.26/451.61 c #Conflicts: 61000 | #Constraints: 10338
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 62000 | #Constraints: 6344
450.26/451.61 c #Conflicts: 63000 | #Constraints: 7344
450.26/451.61 c #Conflicts: 64000 | #Constraints: 8344
450.26/451.61 c #Conflicts: 65000 | #Constraints: 9344
450.26/451.61 c #Conflicts: 66000 | #Constraints: 10344
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 67000 | #Constraints: 6142
450.26/451.61 c #Conflicts: 68000 | #Constraints: 7142
450.26/451.61 c #Conflicts: 69000 | #Constraints: 8142
450.26/451.61 c #Conflicts: 70000 | #Constraints: 9142
450.26/451.61 c #Conflicts: 71000 | #Constraints: 10142
450.26/451.61 c #Conflicts: 72000 | #Constraints: 11142
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 73000 | #Constraints: 6742
450.26/451.61 c #Conflicts: 74000 | #Constraints: 7742
450.26/451.61 c #Conflicts: 75000 | #Constraints: 8742
450.26/451.61 c #Conflicts: 76000 | #Constraints: 9742
450.26/451.61 c #Conflicts: 77000 | #Constraints: 10742
450.26/451.61 c #Conflicts: 78000 | #Constraints: 11742
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 79000 | #Constraints: 7141
450.26/451.61 c #Conflicts: 80000 | #Constraints: 8141
450.26/451.61 c #Conflicts: 81000 | #Constraints: 9141
450.26/451.61 c #Conflicts: 82000 | #Constraints: 10141
450.26/451.61 c #Conflicts: 83000 | #Constraints: 11141
450.26/451.61 c #Conflicts: 84000 | #Constraints: 12141
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 85000 | #Constraints: 7345
450.26/451.61 c #Conflicts: 86000 | #Constraints: 8345
450.26/451.61 c #Conflicts: 87000 | #Constraints: 9345
450.26/451.61 c #Conflicts: 88000 | #Constraints: 10345
450.26/451.61 c #Conflicts: 89000 | #Constraints: 11345
450.26/451.61 c #Conflicts: 90000 | #Constraints: 12345
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 91000 | #Constraints: 7342
450.26/451.61 c #Conflicts: 92000 | #Constraints: 8342
450.26/451.61 c #Conflicts: 93000 | #Constraints: 9342
450.26/451.61 c #Conflicts: 94000 | #Constraints: 10342
450.26/451.61 c #Conflicts: 95000 | #Constraints: 11342
450.26/451.61 c #Conflicts: 96000 | #Constraints: 12342
450.26/451.61 c INPROCESSING
450.26/451.61 c GARBAGE COLLECT
450.26/451.61 c #Conflicts: 97000 | #Constraints: 7141
450.26/451.61 c #Conflicts: 98000 | #Constraints: 8141
450.26/451.61 c #Conflicts: 99000 | #Constraints: 9141
450.26/451.61 c #Conflicts: 100000 | #Constraints: 10141
450.26/451.61 c #Conflicts: 101000 | #Constraints: 11141
450.26/451.61 c #Conflicts: 102000 | #Constraints: 12141
450.26/451.61 c #Conflicts: 103000 | #Constraints: 13141
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 104000 | #Constraints: 7743
630.49/632.30 c #Conflicts: 105000 | #Constraints: 8743
630.49/632.30 c #Conflicts: 106000 | #Constraints: 9743
630.49/632.30 c #Conflicts: 107000 | #Constraints: 10743
630.49/632.30 c #Conflicts: 108000 | #Constraints: 11743
630.49/632.30 c #Conflicts: 109000 | #Constraints: 12743
630.49/632.30 c #Conflicts: 110000 | #Constraints: 13743
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 111000 | #Constraints: 8145
630.49/632.30 c #Conflicts: 112000 | #Constraints: 9145
630.49/632.30 c #Conflicts: 113000 | #Constraints: 10145
630.49/632.30 c #Conflicts: 114000 | #Constraints: 11145
630.49/632.30 c #Conflicts: 115000 | #Constraints: 12145
630.49/632.30 c #Conflicts: 116000 | #Constraints: 13145
630.49/632.30 c #Conflicts: 117000 | #Constraints: 14145
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 118000 | #Constraints: 8340
630.49/632.30 c #Conflicts: 119000 | #Constraints: 9340
630.49/632.30 c #Conflicts: 120000 | #Constraints: 10340
630.49/632.30 c #Conflicts: 121000 | #Constraints: 11340
630.49/632.30 c #Conflicts: 122000 | #Constraints: 12340
630.49/632.30 c #Conflicts: 123000 | #Constraints: 13340
630.49/632.30 c #Conflicts: 124000 | #Constraints: 14340
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 125000 | #Constraints: 8336
630.49/632.30 c #Conflicts: 126000 | #Constraints: 9336
630.49/632.30 c #Conflicts: 127000 | #Constraints: 10336
630.49/632.30 c #Conflicts: 128000 | #Constraints: 11336
630.49/632.30 c #Conflicts: 129000 | #Constraints: 12336
630.49/632.30 c #Conflicts: 130000 | #Constraints: 13336
630.49/632.30 c #Conflicts: 131000 | #Constraints: 14336
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 132000 | #Constraints: 8139
630.49/632.30 c #Conflicts: 133000 | #Constraints: 9139
630.49/632.30 c #Conflicts: 134000 | #Constraints: 10139
630.49/632.30 c #Conflicts: 135000 | #Constraints: 11139
630.49/632.30 c #Conflicts: 136000 | #Constraints: 12139
630.49/632.30 c #Conflicts: 137000 | #Constraints: 13139
630.49/632.30 c #Conflicts: 138000 | #Constraints: 14139
630.49/632.30 c #Conflicts: 139000 | #Constraints: 15139
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 140000 | #Constraints: 8737
630.49/632.30 c #Conflicts: 141000 | #Constraints: 9737
630.49/632.30 c #Conflicts: 142000 | #Constraints: 10737
630.49/632.30 c #Conflicts: 143000 | #Constraints: 11737
630.49/632.30 c #Conflicts: 144000 | #Constraints: 12737
630.49/632.30 c #Conflicts: 145000 | #Constraints: 13737
630.49/632.30 c #Conflicts: 146000 | #Constraints: 14737
630.49/632.30 c #Conflicts: 147000 | #Constraints: 15737
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 148000 | #Constraints: 9141
630.49/632.30 c #Conflicts: 149000 | #Constraints: 10141
630.49/632.30 c #Conflicts: 150000 | #Constraints: 11141
630.49/632.30 c #Conflicts: 151000 | #Constraints: 12141
630.49/632.30 c #Conflicts: 152000 | #Constraints: 13141
630.49/632.30 c #Conflicts: 153000 | #Constraints: 14141
630.49/632.30 c #Conflicts: 154000 | #Constraints: 15141
630.49/632.30 c #Conflicts: 155000 | #Constraints: 16141
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 156000 | #Constraints: 9343
630.49/632.30 c #Conflicts: 157000 | #Constraints: 10343
630.49/632.30 c #Conflicts: 158000 | #Constraints: 11343
630.49/632.30 c #Conflicts: 159000 | #Constraints: 12343
630.49/632.30 c #Conflicts: 160000 | #Constraints: 13343
630.49/632.30 c #Conflicts: 161000 | #Constraints: 14343
630.49/632.30 c #Conflicts: 162000 | #Constraints: 15343
630.49/632.30 c #Conflicts: 163000 | #Constraints: 16343
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 164000 | #Constraints: 9343
630.49/632.30 c #Conflicts: 165000 | #Constraints: 10343
630.49/632.30 c #Conflicts: 166000 | #Constraints: 11343
630.49/632.30 c #Conflicts: 167000 | #Constraints: 12343
630.49/632.30 c #Conflicts: 168000 | #Constraints: 13343
630.49/632.30 c #Conflicts: 169000 | #Constraints: 14343
630.49/632.30 c #Conflicts: 170000 | #Constraints: 15343
630.49/632.30 c #Conflicts: 171000 | #Constraints: 16343
630.49/632.30 c INPROCESSING
630.49/632.30 c GARBAGE COLLECT
630.49/632.30 c #Conflicts: 172000 | #Constraints: 9138
630.49/632.30 c #Conflicts: 173000 | #Constraints: 10138
630.49/632.30 c #Conflicts: 174000 | #Constraints: 11138
630.49/632.30 c #Conflicts: 175000 | #Constraints: 12138
630.49/632.30 c #Conflicts: 176000 | #Constraints: 13138
842.51/844.86 c #Conflicts: 177000 | #Constraints: 14138
842.51/844.86 c #Conflicts: 178000 | #Constraints: 15138
842.51/844.86 c #Conflicts: 179000 | #Constraints: 16138
842.51/844.86 c #Conflicts: 180000 | #Constraints: 17138
842.51/844.86 c INPROCESSING
842.51/844.86 c GARBAGE COLLECT
842.51/844.86 c #Conflicts: 181000 | #Constraints: 9740
842.51/844.86 c #Conflicts: 182000 | #Constraints: 10740
842.51/844.86 c #Conflicts: 183000 | #Constraints: 11740
842.51/844.86 c #Conflicts: 184000 | #Constraints: 12740
842.51/844.86 c #Conflicts: 185000 | #Constraints: 13740
842.51/844.86 c #Conflicts: 186000 | #Constraints: 14740
842.51/844.86 c #Conflicts: 187000 | #Constraints: 15740
842.51/844.86 c #Conflicts: 188000 | #Constraints: 16740
842.51/844.86 c #Conflicts: 189000 | #Constraints: 17740
842.51/844.86 c INPROCESSING
842.51/844.86 c GARBAGE COLLECT
842.51/844.86 c #Conflicts: 190000 | #Constraints: 10145
842.51/844.86 c #Conflicts: 191000 | #Constraints: 11145
842.51/844.86 c #Conflicts: 192000 | #Constraints: 12145
842.51/844.86 c #Conflicts: 193000 | #Constraints: 13145
842.51/844.86 c #Conflicts: 194000 | #Constraints: 14145
842.51/844.86 c #Conflicts: 195000 | #Constraints: 15145
842.51/844.86 c #Conflicts: 196000 | #Constraints: 16145
842.51/844.86 c #Conflicts: 197000 | #Constraints: 17145
842.51/844.86 c #Conflicts: 198000 | #Constraints: 18145
842.51/844.86 c INPROCESSING
842.51/844.86 c GARBAGE COLLECT
842.51/844.86 c #Conflicts: 199000 | #Constraints: 10343
842.51/844.86 c #Conflicts: 200000 | #Constraints: 11343
842.51/844.86 c #Conflicts: 201000 | #Constraints: 12343
842.51/844.86 c #Conflicts: 202000 | #Constraints: 13343
842.51/844.86 c #Conflicts: 203000 | #Constraints: 14343
842.51/844.86 c #Conflicts: 204000 | #Constraints: 15343
842.51/844.86 c #Conflicts: 205000 | #Constraints: 16343
842.51/844.86 c #Conflicts: 206000 | #Constraints: 17343
842.51/844.86 c #Conflicts: 207000 | #Constraints: 18343
842.51/844.86 c INPROCESSING
842.51/844.86 c GARBAGE COLLECT
842.51/844.86 c #Conflicts: 208000 | #Constraints: 10343
842.51/844.86 c #Conflicts: 209000 | #Constraints: 11343
842.51/844.86 c #Conflicts: 210000 | #Constraints: 12343
842.51/844.86 c #Conflicts: 211000 | #Constraints: 13343
842.51/844.86 c #Conflicts: 212000 | #Constraints: 14343
842.51/844.86 c #Conflicts: 213000 | #Constraints: 15343
842.51/844.86 c #Conflicts: 214000 | #Constraints: 16343
842.51/844.86 c #Conflicts: 215000 | #Constraints: 17343
842.51/844.86 c #Conflicts: 216000 | #Constraints: 18343
842.51/844.86 c INPROCESSING
842.51/844.86 c GARBAGE COLLECT
842.51/844.86 c #Conflicts: 217000 | #Constraints: 10146
842.51/844.86 c #Conflicts: 218000 | #Constraints: 11146
842.51/844.86 c #Conflicts: 219000 | #Constraints: 12146
842.51/844.86 c #Conflicts: 220000 | #Constraints: 13146
842.51/844.86 c #Conflicts: 221000 | #Constraints: 14146
842.51/844.86 c #Conflicts: 222000 | #Constraints: 15146
842.51/844.86 c #Conflicts: 223000 | #Constraints: 16146
842.51/844.86 c #Conflicts: 224000 | #Constraints: 17146
842.51/844.86 c #Conflicts: 225000 | #Constraints: 18146
842.51/844.86 c #Conflicts: 226000 | #Constraints: 19146
842.51/844.86 c INPROCESSING
842.51/844.86 c GARBAGE COLLECT
842.51/844.86 c #Conflicts: 227000 | #Constraints: 10742
842.51/844.86 c #Conflicts: 228000 | #Constraints: 11742
842.51/844.86 c #Conflicts: 229000 | #Constraints: 12742
842.51/844.86 c #Conflicts: 230000 | #Constraints: 13742
842.51/844.86 c #Conflicts: 231000 | #Constraints: 14742
842.51/844.86 c #Conflicts: 232000 | #Constraints: 15742
842.51/844.86 c #Conflicts: 233000 | #Constraints: 16742
842.51/844.86 c #Conflicts: 234000 | #Constraints: 17742
842.51/844.86 c #Conflicts: 235000 | #Constraints: 18742
842.51/844.86 c #Conflicts: 236000 | #Constraints: 19742
842.51/844.86 c INPROCESSING
842.51/844.86 c GARBAGE COLLECT
842.51/844.86 c #Conflicts: 237000 | #Constraints: 11142
842.51/844.86 c #Conflicts: 238000 | #Constraints: 12142
842.51/844.86 c #Conflicts: 239000 | #Constraints: 13142
842.51/844.86 c #Conflicts: 240000 | #Constraints: 14142
842.51/844.86 c #Conflicts: 241000 | #Constraints: 15142
842.51/844.86 c #Conflicts: 242000 | #Constraints: 16142
842.51/844.86 c #Conflicts: 243000 | #Constraints: 17142
842.51/844.86 c #Conflicts: 244000 | #Constraints: 18142
842.51/844.86 c #Conflicts: 245000 | #Constraints: 19142
842.51/844.86 c #Conflicts: 246000 | #Constraints: 20142
842.51/844.86 c INPROCESSING
842.51/844.86 c GARBAGE COLLECT
842.51/844.86 c #Conflicts: 247000 | #Constraints: 11337
842.51/844.86 c #Conflicts: 248000 | #Constraints: 12337
842.51/844.86 c #Conflicts: 249000 | #Constraints: 13337
842.51/844.86 c #Conflicts: 250000 | #Constraints: 14337
1123.80/1126.82 c #Conflicts: 251000 | #Constraints: 15337
1123.80/1126.82 c #Conflicts: 252000 | #Constraints: 16337
1123.80/1126.82 c #Conflicts: 253000 | #Constraints: 17337
1123.80/1126.82 c #Conflicts: 254000 | #Constraints: 18337
1123.80/1126.82 c #Conflicts: 255000 | #Constraints: 19337
1123.80/1126.82 c #Conflicts: 256000 | #Constraints: 20337
1123.80/1126.82 c INPROCESSING
1123.80/1126.82 c GARBAGE COLLECT
1123.80/1126.82 c #Conflicts: 257000 | #Constraints: 11341
1123.80/1126.82 c #Conflicts: 258000 | #Constraints: 12341
1123.80/1126.82 c #Conflicts: 259000 | #Constraints: 13341
1123.80/1126.82 c #Conflicts: 260000 | #Constraints: 14341
1123.80/1126.82 c #Conflicts: 261000 | #Constraints: 15341
1123.80/1126.82 c #Conflicts: 262000 | #Constraints: 16341
1123.80/1126.82 c #Conflicts: 263000 | #Constraints: 17341
1123.80/1126.82 c #Conflicts: 264000 | #Constraints: 18341
1123.80/1126.82 c #Conflicts: 265000 | #Constraints: 19341
1123.80/1126.82 c #Conflicts: 266000 | #Constraints: 20341
1123.80/1126.82 c INPROCESSING
1123.80/1126.82 c GARBAGE COLLECT
1123.80/1126.82 c #Conflicts: 267000 | #Constraints: 11140
1123.80/1126.82 c #Conflicts: 268000 | #Constraints: 12140
1123.80/1126.82 c #Conflicts: 269000 | #Constraints: 13140
1123.80/1126.82 c #Conflicts: 270000 | #Constraints: 14140
1123.80/1126.82 c #Conflicts: 271000 | #Constraints: 15140
1123.80/1126.82 c #Conflicts: 272000 | #Constraints: 16140
1123.80/1126.82 c #Conflicts: 273000 | #Constraints: 17140
1123.80/1126.82 c #Conflicts: 274000 | #Constraints: 18140
1123.80/1126.82 c #Conflicts: 275000 | #Constraints: 19140
1123.80/1126.82 c #Conflicts: 276000 | #Constraints: 20140
1123.80/1126.82 c #Conflicts: 277000 | #Constraints: 21140
1123.80/1126.82 c INPROCESSING
1123.80/1126.82 c GARBAGE COLLECT
1123.80/1126.82 c #Conflicts: 278000 | #Constraints: 11742
1123.80/1126.82 c #Conflicts: 279000 | #Constraints: 12742
1123.80/1126.82 c #Conflicts: 280000 | #Constraints: 13742
1123.80/1126.82 c #Conflicts: 281000 | #Constraints: 14742
1123.80/1126.82 c #Conflicts: 282000 | #Constraints: 15742
1123.80/1126.82 c #Conflicts: 283000 | #Constraints: 16742
1123.80/1126.82 c #Conflicts: 284000 | #Constraints: 17742
1123.80/1126.82 c #Conflicts: 285000 | #Constraints: 18742
1123.80/1126.82 c #Conflicts: 286000 | #Constraints: 19742
1123.80/1126.82 c #Conflicts: 287000 | #Constraints: 20742
1123.80/1126.82 c #Conflicts: 288000 | #Constraints: 21742
1123.80/1126.82 c INPROCESSING
1123.80/1126.82 c GARBAGE COLLECT
1123.80/1126.82 c #Conflicts: 289000 | #Constraints: 12139
1123.80/1126.82 c #Conflicts: 290000 | #Constraints: 13139
1123.80/1126.82 c #Conflicts: 291000 | #Constraints: 14139
1123.80/1126.82 c #Conflicts: 292000 | #Constraints: 15139
1123.80/1126.82 c #Conflicts: 293000 | #Constraints: 16139
1123.80/1126.82 c #Conflicts: 294000 | #Constraints: 17139
1123.80/1126.82 c #Conflicts: 295000 | #Constraints: 18139
1123.80/1126.82 c #Conflicts: 296000 | #Constraints: 19139
1123.80/1126.82 c #Conflicts: 297000 | #Constraints: 20139
1123.80/1126.82 c #Conflicts: 298000 | #Constraints: 21139
1123.80/1126.82 c #Conflicts: 299000 | #Constraints: 22139
1123.80/1126.82 c INPROCESSING
1123.80/1126.82 c GARBAGE COLLECT
1123.80/1126.82 c #Conflicts: 300000 | #Constraints: 12339
1123.80/1126.82 c #Conflicts: 301000 | #Constraints: 13339
1123.80/1126.82 c #Conflicts: 302000 | #Constraints: 14339
1123.80/1126.82 c #Conflicts: 303000 | #Constraints: 15339
1123.80/1126.82 c #Conflicts: 304000 | #Constraints: 16339
1123.80/1126.82 c #Conflicts: 305000 | #Constraints: 17339
1123.80/1126.82 c #Conflicts: 306000 | #Constraints: 18339
1123.80/1126.82 c #Conflicts: 307000 | #Constraints: 19339
1123.80/1126.82 c #Conflicts: 308000 | #Constraints: 20339
1123.80/1126.82 c #Conflicts: 309000 | #Constraints: 21339
1123.80/1126.82 c #Conflicts: 310000 | #Constraints: 22339
1123.80/1126.82 c INPROCESSING
1123.80/1126.82 c GARBAGE COLLECT
1123.80/1126.82 c #Conflicts: 311000 | #Constraints: 12346
1123.80/1126.82 c #Conflicts: 312000 | #Constraints: 13346
1123.80/1126.82 c #Conflicts: 313000 | #Constraints: 14346
1123.80/1126.82 c #Conflicts: 314000 | #Constraints: 15346
1123.80/1126.82 c #Conflicts: 315000 | #Constraints: 16346
1123.80/1126.82 c #Conflicts: 316000 | #Constraints: 17346
1123.80/1126.82 c #Conflicts: 317000 | #Constraints: 18346
1123.80/1126.82 c #Conflicts: 318000 | #Constraints: 19346
1123.80/1126.82 c #Conflicts: 319000 | #Constraints: 20346
1123.80/1126.82 c #Conflicts: 320000 | #Constraints: 21346
1123.80/1126.82 c #Conflicts: 321000 | #Constraints: 22346
1123.80/1126.82 c INPROCESSING
1123.80/1126.82 c GARBAGE COLLECT
1123.80/1126.82 c #Conflicts: 322000 | #Constraints: 12143
1123.80/1126.82 c #Conflicts: 323000 | #Constraints: 13143
1123.80/1126.82 c #Conflicts: 324000 | #Constraints: 14143
1473.56/1477.51 c #Conflicts: 325000 | #Constraints: 15143
1473.56/1477.51 c #Conflicts: 326000 | #Constraints: 16143
1473.56/1477.51 c #Conflicts: 327000 | #Constraints: 17143
1473.56/1477.51 c #Conflicts: 328000 | #Constraints: 18143
1473.56/1477.51 c #Conflicts: 329000 | #Constraints: 19143
1473.56/1477.51 c #Conflicts: 330000 | #Constraints: 20143
1473.56/1477.51 c #Conflicts: 331000 | #Constraints: 21143
1473.56/1477.51 c #Conflicts: 332000 | #Constraints: 22143
1473.56/1477.51 c #Conflicts: 333000 | #Constraints: 23143
1473.56/1477.51 c INPROCESSING
1473.56/1477.51 c GARBAGE COLLECT
1473.56/1477.51 c #Conflicts: 334000 | #Constraints: 12743
1473.56/1477.51 c #Conflicts: 335000 | #Constraints: 13743
1473.56/1477.51 c #Conflicts: 336000 | #Constraints: 14743
1473.56/1477.51 c #Conflicts: 337000 | #Constraints: 15743
1473.56/1477.51 c #Conflicts: 338000 | #Constraints: 16743
1473.56/1477.51 c #Conflicts: 339000 | #Constraints: 17743
1473.56/1477.51 c #Conflicts: 340000 | #Constraints: 18743
1473.56/1477.51 c #Conflicts: 341000 | #Constraints: 19743
1473.56/1477.51 c #Conflicts: 342000 | #Constraints: 20743
1473.56/1477.51 c #Conflicts: 343000 | #Constraints: 21743
1473.56/1477.51 c #Conflicts: 344000 | #Constraints: 22743
1473.56/1477.51 c #Conflicts: 345000 | #Constraints: 23743
1473.56/1477.51 c INPROCESSING
1473.56/1477.51 c GARBAGE COLLECT
1473.56/1477.51 c #Conflicts: 346000 | #Constraints: 13144
1473.56/1477.51 c #Conflicts: 347000 | #Constraints: 14144
1473.56/1477.51 c #Conflicts: 348000 | #Constraints: 15144
1473.56/1477.51 c #Conflicts: 349000 | #Constraints: 16144
1473.56/1477.51 c #Conflicts: 350000 | #Constraints: 17144
1473.56/1477.51 c #Conflicts: 351000 | #Constraints: 18144
1473.56/1477.51 c #Conflicts: 352000 | #Constraints: 19144
1473.56/1477.51 c #Conflicts: 353000 | #Constraints: 20144
1473.56/1477.51 c #Conflicts: 354000 | #Constraints: 21144
1473.56/1477.51 c #Conflicts: 355000 | #Constraints: 22144
1473.56/1477.51 c #Conflicts: 356000 | #Constraints: 23144
1473.56/1477.51 c #Conflicts: 357000 | #Constraints: 24144
1473.56/1477.51 c INPROCESSING
1473.56/1477.51 c GARBAGE COLLECT
1473.56/1477.51 c #Conflicts: 358000 | #Constraints: 13341
1473.56/1477.51 c #Conflicts: 359000 | #Constraints: 14341
1473.56/1477.51 c #Conflicts: 360000 | #Constraints: 15341
1473.56/1477.51 c #Conflicts: 361000 | #Constraints: 16341
1473.56/1477.51 c #Conflicts: 362000 | #Constraints: 17341
1473.56/1477.51 c #Conflicts: 363000 | #Constraints: 18341
1473.56/1477.51 c #Conflicts: 364000 | #Constraints: 19341
1473.56/1477.51 c #Conflicts: 365000 | #Constraints: 20341
1473.56/1477.51 c #Conflicts: 366000 | #Constraints: 21341
1473.56/1477.51 c #Conflicts: 367000 | #Constraints: 22341
1473.56/1477.51 c #Conflicts: 368000 | #Constraints: 23341
1473.56/1477.51 c #Conflicts: 369000 | #Constraints: 24341
1473.56/1477.51 c INPROCESSING
1473.56/1477.51 c GARBAGE COLLECT
1473.56/1477.51 c #Conflicts: 370000 | #Constraints: 13342
1473.56/1477.51 c #Conflicts: 371000 | #Constraints: 14342
1473.56/1477.51 c #Conflicts: 372000 | #Constraints: 15342
1473.56/1477.51 c #Conflicts: 373000 | #Constraints: 16342
1473.56/1477.51 c #Conflicts: 374000 | #Constraints: 17342
1473.56/1477.51 c #Conflicts: 375000 | #Constraints: 18342
1473.56/1477.51 c #Conflicts: 376000 | #Constraints: 19342
1473.56/1477.51 c #Conflicts: 377000 | #Constraints: 20342
1473.56/1477.51 c #Conflicts: 378000 | #Constraints: 21342
1473.56/1477.51 c #Conflicts: 379000 | #Constraints: 22342
1473.56/1477.51 c #Conflicts: 380000 | #Constraints: 23342
1473.56/1477.51 c #Conflicts: 381000 | #Constraints: 24342
1473.56/1477.51 c INPROCESSING
1473.56/1477.51 c GARBAGE COLLECT
1473.56/1477.51 c #Conflicts: 382000 | #Constraints: 13144
1473.56/1477.51 c #Conflicts: 383000 | #Constraints: 14144
1473.56/1477.51 c #Conflicts: 384000 | #Constraints: 15144
1473.56/1477.51 c #Conflicts: 385000 | #Constraints: 16144
1473.56/1477.51 c #Conflicts: 386000 | #Constraints: 17144
1473.56/1477.51 c #Conflicts: 387000 | #Constraints: 18144
1473.56/1477.51 c #Conflicts: 388000 | #Constraints: 19144
1473.56/1477.51 c #Conflicts: 389000 | #Constraints: 20144
1473.56/1477.51 c #Conflicts: 390000 | #Constraints: 21144
1473.56/1477.51 c #Conflicts: 391000 | #Constraints: 22144
1473.56/1477.51 c #Conflicts: 392000 | #Constraints: 23144
1473.56/1477.51 c #Conflicts: 393000 | #Constraints: 24144
1473.56/1477.51 c #Conflicts: 394000 | #Constraints: 25144
1473.56/1477.51 c INPROCESSING
1473.56/1477.51 c GARBAGE COLLECT
1473.56/1477.51 c #Conflicts: 395000 | #Constraints: 13741
1473.56/1477.51 c #Conflicts: 396000 | #Constraints: 14741
1473.56/1477.51 c #Conflicts: 397000 | #Constraints: 15741
1473.56/1477.51 c #Conflicts: 398000 | #Constraints: 16741
1473.56/1477.51 c #Conflicts: 399000 | #Constraints: 17741
1911.87/1917.07 c #Conflicts: 400000 | #Constraints: 18741
1911.87/1917.07 c #Conflicts: 401000 | #Constraints: 19741
1911.87/1917.07 c #Conflicts: 402000 | #Constraints: 20741
1911.87/1917.07 c #Conflicts: 403000 | #Constraints: 21741
1911.87/1917.07 c #Conflicts: 404000 | #Constraints: 22741
1911.87/1917.07 c #Conflicts: 405000 | #Constraints: 23741
1911.87/1917.07 c #Conflicts: 406000 | #Constraints: 24741
1911.87/1917.07 c #Conflicts: 407000 | #Constraints: 25741
1911.87/1917.07 c INPROCESSING
1911.87/1917.07 c GARBAGE COLLECT
1911.87/1917.07 c #Conflicts: 408000 | #Constraints: 14141
1911.87/1917.07 c #Conflicts: 409000 | #Constraints: 15141
1911.87/1917.07 c #Conflicts: 410000 | #Constraints: 16141
1911.87/1917.07 c #Conflicts: 411000 | #Constraints: 17141
1911.87/1917.07 c #Conflicts: 412000 | #Constraints: 18141
1911.87/1917.07 c #Conflicts: 413000 | #Constraints: 19141
1911.87/1917.07 c #Conflicts: 414000 | #Constraints: 20141
1911.87/1917.07 c #Conflicts: 415000 | #Constraints: 21141
1911.87/1917.07 c #Conflicts: 416000 | #Constraints: 22141
1911.87/1917.07 c #Conflicts: 417000 | #Constraints: 23141
1911.87/1917.07 c #Conflicts: 418000 | #Constraints: 24141
1911.87/1917.07 c #Conflicts: 419000 | #Constraints: 25141
1911.87/1917.07 c #Conflicts: 420000 | #Constraints: 26141
1911.87/1917.07 c INPROCESSING
1911.87/1917.07 c GARBAGE COLLECT
1911.87/1917.07 c #Conflicts: 421000 | #Constraints: 14347
1911.87/1917.07 c #Conflicts: 422000 | #Constraints: 15347
1911.87/1917.07 c #Conflicts: 423000 | #Constraints: 16347
1911.87/1917.07 c #Conflicts: 424000 | #Constraints: 17347
1911.87/1917.07 c #Conflicts: 425000 | #Constraints: 18347
1911.87/1917.07 c #Conflicts: 426000 | #Constraints: 19347
1911.87/1917.07 c #Conflicts: 427000 | #Constraints: 20347
1911.87/1917.07 c #Conflicts: 428000 | #Constraints: 21347
1911.87/1917.07 c #Conflicts: 429000 | #Constraints: 22347
1911.87/1917.07 c #Conflicts: 430000 | #Constraints: 23347
1911.87/1917.07 c #Conflicts: 431000 | #Constraints: 24347
1911.87/1917.07 c #Conflicts: 432000 | #Constraints: 25347
1911.87/1917.07 c #Conflicts: 433000 | #Constraints: 26347
1911.87/1917.07 c INPROCESSING
1911.87/1917.07 c GARBAGE COLLECT
1911.87/1917.07 c #Conflicts: 434000 | #Constraints: 14345
1911.87/1917.07 c #Conflicts: 435000 | #Constraints: 15345
1911.87/1917.07 c #Conflicts: 436000 | #Constraints: 16345
1911.87/1917.07 c #Conflicts: 437000 | #Constraints: 17345
1911.87/1917.07 c #Conflicts: 438000 | #Constraints: 18345
1911.87/1917.07 c #Conflicts: 439000 | #Constraints: 19345
1911.87/1917.07 c #Conflicts: 440000 | #Constraints: 20345
1911.87/1917.07 c #Conflicts: 441000 | #Constraints: 21345
1911.87/1917.07 c #Conflicts: 442000 | #Constraints: 22345
1911.87/1917.07 c #Conflicts: 443000 | #Constraints: 23345
1911.87/1917.07 c #Conflicts: 444000 | #Constraints: 24345
1911.87/1917.07 c #Conflicts: 445000 | #Constraints: 25345
1911.87/1917.07 c #Conflicts: 446000 | #Constraints: 26345
1911.87/1917.07 c INPROCESSING
1911.87/1917.07 c GARBAGE COLLECT
1911.87/1917.07 c #Conflicts: 447000 | #Constraints: 14143
1911.87/1917.07 c #Conflicts: 448000 | #Constraints: 15143
1911.87/1917.07 c #Conflicts: 449000 | #Constraints: 16143
1911.87/1917.07 c #Conflicts: 450000 | #Constraints: 17143
1911.87/1917.07 c #Conflicts: 451000 | #Constraints: 18143
1911.87/1917.07 c #Conflicts: 452000 | #Constraints: 19143
1911.87/1917.07 c #Conflicts: 453000 | #Constraints: 20143
1911.87/1917.07 c #Conflicts: 454000 | #Constraints: 21143
1911.87/1917.07 c #Conflicts: 455000 | #Constraints: 22143
1911.87/1917.07 c #Conflicts: 456000 | #Constraints: 23143
1911.87/1917.07 c #Conflicts: 457000 | #Constraints: 24143
1911.87/1917.07 c #Conflicts: 458000 | #Constraints: 25143
1911.87/1917.07 c #Conflicts: 459000 | #Constraints: 26143
1911.87/1917.07 c #Conflicts: 460000 | #Constraints: 27143
1911.87/1917.07 c INPROCESSING
1911.87/1917.07 c GARBAGE COLLECT
1911.87/1917.07 c #Conflicts: 461000 | #Constraints: 14751
1911.87/1917.07 c #Conflicts: 462000 | #Constraints: 15751
1911.87/1917.07 c #Conflicts: 463000 | #Constraints: 16751
1911.87/1917.07 c #Conflicts: 464000 | #Constraints: 17751
1911.87/1917.07 c #Conflicts: 465000 | #Constraints: 18751
1911.87/1917.07 c #Conflicts: 466000 | #Constraints: 19751
1911.87/1917.07 c #Conflicts: 467000 | #Constraints: 20751
1911.87/1917.07 c #Conflicts: 468000 | #Constraints: 21751
1911.87/1917.07 c #Conflicts: 469000 | #Constraints: 22751
1911.87/1917.07 c #Conflicts: 470000 | #Constraints: 23751
1911.87/1917.07 c #Conflicts: 471000 | #Constraints: 24751
1911.87/1917.07 c #Conflicts: 472000 | #Constraints: 25751
1911.87/1917.07 c #Conflicts: 473000 | #Constraints: 26751
1911.87/1917.07 c #Conflicts: 474000 | #Constraints: 27751
2467.74/2474.43 c INPROCESSING
2467.74/2474.43 c GARBAGE COLLECT
2467.74/2474.43 c #Conflicts: 475000 | #Constraints: 15145
2467.74/2474.43 c #Conflicts: 476000 | #Constraints: 16145
2467.74/2474.43 c #Conflicts: 477000 | #Constraints: 17145
2467.74/2474.43 c #Conflicts: 478000 | #Constraints: 18145
2467.74/2474.43 c #Conflicts: 479000 | #Constraints: 19145
2467.74/2474.43 c #Conflicts: 480000 | #Constraints: 20145
2467.74/2474.43 c #Conflicts: 481000 | #Constraints: 21145
2467.74/2474.43 c #Conflicts: 482000 | #Constraints: 22145
2467.74/2474.43 c #Conflicts: 483000 | #Constraints: 23145
2467.74/2474.43 c #Conflicts: 484000 | #Constraints: 24145
2467.74/2474.43 c #Conflicts: 485000 | #Constraints: 25145
2467.74/2474.43 c #Conflicts: 486000 | #Constraints: 26145
2467.74/2474.43 c #Conflicts: 487000 | #Constraints: 27145
2467.74/2474.43 c #Conflicts: 488000 | #Constraints: 28145
2467.74/2474.43 c INPROCESSING
2467.74/2474.43 c GARBAGE COLLECT
2467.74/2474.43 c #Conflicts: 489000 | #Constraints: 15347
2467.74/2474.43 c #Conflicts: 490000 | #Constraints: 16347
2467.74/2474.43 c #Conflicts: 491000 | #Constraints: 17347
2467.74/2474.43 c #Conflicts: 492000 | #Constraints: 18347
2467.74/2474.43 c #Conflicts: 493000 | #Constraints: 19347
2467.74/2474.43 c #Conflicts: 494000 | #Constraints: 20347
2467.74/2474.43 c #Conflicts: 495000 | #Constraints: 21347
2467.74/2474.43 c #Conflicts: 496000 | #Constraints: 22347
2467.74/2474.43 c #Conflicts: 497000 | #Constraints: 23347
2467.74/2474.43 c #Conflicts: 498000 | #Constraints: 24347
2467.74/2474.43 c #Conflicts: 499000 | #Constraints: 25347
2467.74/2474.43 c #Conflicts: 500000 | #Constraints: 26347
2467.74/2474.43 c #Conflicts: 501000 | #Constraints: 27347
2467.74/2474.43 c #Conflicts: 502000 | #Constraints: 28347
2467.74/2474.43 c INPROCESSING
2467.74/2474.43 c GARBAGE COLLECT
2467.74/2474.43 c #Conflicts: 503000 | #Constraints: 15351
2467.74/2474.43 c #Conflicts: 504000 | #Constraints: 16351
2467.74/2474.43 c #Conflicts: 505000 | #Constraints: 17351
2467.74/2474.43 c #Conflicts: 506000 | #Constraints: 18351
2467.74/2474.43 c #Conflicts: 507000 | #Constraints: 19351
2467.74/2474.43 c #Conflicts: 508000 | #Constraints: 20351
2467.74/2474.43 c #Conflicts: 509000 | #Constraints: 21351
2467.74/2474.43 c #Conflicts: 510000 | #Constraints: 22351
2467.74/2474.43 c #Conflicts: 511000 | #Constraints: 23351
2467.74/2474.43 c #Conflicts: 512000 | #Constraints: 24351
2467.74/2474.43 c #Conflicts: 513000 | #Constraints: 25351
2467.74/2474.43 c #Conflicts: 514000 | #Constraints: 26351
2467.74/2474.43 c #Conflicts: 515000 | #Constraints: 27351
2467.74/2474.43 c #Conflicts: 516000 | #Constraints: 28351
2467.74/2474.43 c INPROCESSING
2467.74/2474.43 c GARBAGE COLLECT
2467.74/2474.43 c #Conflicts: 517000 | #Constraints: 15152
2467.74/2474.43 c #Conflicts: 518000 | #Constraints: 16152
2467.74/2474.43 c #Conflicts: 519000 | #Constraints: 17152
2467.74/2474.43 c #Conflicts: 520000 | #Constraints: 18152
2467.74/2474.43 c #Conflicts: 521000 | #Constraints: 19152
2467.74/2474.43 c #Conflicts: 522000 | #Constraints: 20152
2467.74/2474.43 c #Conflicts: 523000 | #Constraints: 21152
2467.74/2474.43 c #Conflicts: 524000 | #Constraints: 22152
2467.74/2474.43 c #Conflicts: 525000 | #Constraints: 23152
2467.74/2474.43 c #Conflicts: 526000 | #Constraints: 24152
2467.74/2474.43 c #Conflicts: 527000 | #Constraints: 25152
2467.74/2474.43 c #Conflicts: 528000 | #Constraints: 26152
2467.74/2474.43 c #Conflicts: 529000 | #Constraints: 27152
2467.74/2474.43 c #Conflicts: 530000 | #Constraints: 28152
2467.74/2474.43 c #Conflicts: 531000 | #Constraints: 29152
2467.74/2474.43 c INPROCESSING
2467.74/2474.43 c GARBAGE COLLECT
2467.74/2474.43 c #Conflicts: 532000 | #Constraints: 15749
2467.74/2474.43 c #Conflicts: 533000 | #Constraints: 16749
2467.74/2474.43 c #Conflicts: 534000 | #Constraints: 17749
2467.74/2474.43 c #Conflicts: 535000 | #Constraints: 18749
2467.74/2474.43 c #Conflicts: 536000 | #Constraints: 19749
2467.74/2474.43 c #Conflicts: 537000 | #Constraints: 20749
2467.74/2474.43 c #Conflicts: 538000 | #Constraints: 21749
2467.74/2474.43 c #Conflicts: 539000 | #Constraints: 22749
2467.74/2474.43 c #Conflicts: 540000 | #Constraints: 23749
2467.74/2474.43 c #Conflicts: 541000 | #Constraints: 24749
2467.74/2474.43 c #Conflicts: 542000 | #Constraints: 25749
2467.74/2474.43 c #Conflicts: 543000 | #Constraints: 26749
2467.74/2474.43 c #Conflicts: 544000 | #Constraints: 27749
2467.74/2474.43 c #Conflicts: 545000 | #Constraints: 28749
2467.74/2474.43 c #Conflicts: 546000 | #Constraints: 29749
2467.74/2474.43 c INPROCESSING
2467.74/2474.43 c GARBAGE COLLECT
2467.74/2474.43 c #Conflicts: 547000 | #Constraints: 16148
2467.74/2474.43 c #Conflicts: 548000 | #Constraints: 17148
2467.74/2474.43 c #Conflicts: 549000 | #Constraints: 18148
3137.41/3145.99 c #Conflicts: 550000 | #Constraints: 19148
3137.41/3145.99 c #Conflicts: 551000 | #Constraints: 20148
3137.41/3145.99 c #Conflicts: 552000 | #Constraints: 21148
3137.41/3145.99 c #Conflicts: 553000 | #Constraints: 22148
3137.41/3145.99 c #Conflicts: 554000 | #Constraints: 23148
3137.41/3145.99 c #Conflicts: 555000 | #Constraints: 24148
3137.41/3145.99 c #Conflicts: 556000 | #Constraints: 25148
3137.41/3145.99 c #Conflicts: 557000 | #Constraints: 26148
3137.41/3145.99 c #Conflicts: 558000 | #Constraints: 27148
3137.41/3145.99 c #Conflicts: 559000 | #Constraints: 28148
3137.41/3145.99 c #Conflicts: 560000 | #Constraints: 29148
3137.41/3145.99 c #Conflicts: 561000 | #Constraints: 30148
3137.41/3145.99 c INPROCESSING
3137.41/3145.99 c GARBAGE COLLECT
3137.41/3145.99 c #Conflicts: 562000 | #Constraints: 16343
3137.41/3145.99 c #Conflicts: 563000 | #Constraints: 17343
3137.41/3145.99 c #Conflicts: 564000 | #Constraints: 18343
3137.41/3145.99 c #Conflicts: 565000 | #Constraints: 19343
3137.41/3145.99 c #Conflicts: 566000 | #Constraints: 20343
3137.41/3145.99 c #Conflicts: 567000 | #Constraints: 21343
3137.41/3145.99 c #Conflicts: 568000 | #Constraints: 22343
3137.41/3145.99 c #Conflicts: 569000 | #Constraints: 23343
3137.41/3145.99 c #Conflicts: 570000 | #Constraints: 24343
3137.41/3145.99 c #Conflicts: 571000 | #Constraints: 25343
3137.41/3145.99 c #Conflicts: 572000 | #Constraints: 26343
3137.41/3145.99 c #Conflicts: 573000 | #Constraints: 27343
3137.41/3145.99 c #Conflicts: 574000 | #Constraints: 28343
3137.41/3145.99 c #Conflicts: 575000 | #Constraints: 29343
3137.41/3145.99 c #Conflicts: 576000 | #Constraints: 30343
3137.41/3145.99 c INPROCESSING
3137.41/3145.99 c GARBAGE COLLECT
3137.41/3145.99 c #Conflicts: 577000 | #Constraints: 16347
3137.41/3145.99 c #Conflicts: 578000 | #Constraints: 17347
3137.41/3145.99 c #Conflicts: 579000 | #Constraints: 18347
3137.41/3145.99 c #Conflicts: 580000 | #Constraints: 19347
3137.41/3145.99 c #Conflicts: 581000 | #Constraints: 20347
3137.41/3145.99 c #Conflicts: 582000 | #Constraints: 21347
3137.41/3145.99 c #Conflicts: 583000 | #Constraints: 22347
3137.41/3145.99 c #Conflicts: 584000 | #Constraints: 23347
3137.41/3145.99 c #Conflicts: 585000 | #Constraints: 24347
3137.41/3145.99 c #Conflicts: 586000 | #Constraints: 25347
3137.41/3145.99 c #Conflicts: 587000 | #Constraints: 26347
3137.41/3145.99 c #Conflicts: 588000 | #Constraints: 27347
3137.41/3145.99 c #Conflicts: 589000 | #Constraints: 28347
3137.41/3145.99 c #Conflicts: 590000 | #Constraints: 29347
3137.41/3145.99 c #Conflicts: 591000 | #Constraints: 30347
3137.41/3145.99 c INPROCESSING
3137.41/3145.99 c GARBAGE COLLECT
3137.41/3145.99 c #Conflicts: 592000 | #Constraints: 16145
3137.41/3145.99 c #Conflicts: 593000 | #Constraints: 17145
3137.41/3145.99 c #Conflicts: 594000 | #Constraints: 18145
3137.41/3145.99 c #Conflicts: 595000 | #Constraints: 19145
3137.41/3145.99 c #Conflicts: 596000 | #Constraints: 20145
3137.41/3145.99 c #Conflicts: 597000 | #Constraints: 21145
3137.41/3145.99 c #Conflicts: 598000 | #Constraints: 22145
3137.41/3145.99 c #Conflicts: 599000 | #Constraints: 23145
3137.41/3145.99 c #Conflicts: 600000 | #Constraints: 24145
3137.41/3145.99 c #Conflicts: 601000 | #Constraints: 25145
3137.41/3145.99 c #Conflicts: 602000 | #Constraints: 26145
3137.41/3145.99 c #Conflicts: 603000 | #Constraints: 27145
3137.41/3145.99 c #Conflicts: 604000 | #Constraints: 28145
3137.41/3145.99 c #Conflicts: 605000 | #Constraints: 29145
3137.41/3145.99 c #Conflicts: 606000 | #Constraints: 30145
3137.41/3145.99 c #Conflicts: 607000 | #Constraints: 31145
3137.41/3145.99 c INPROCESSING
3137.41/3145.99 c GARBAGE COLLECT
3137.41/3145.99 c #Conflicts: 608000 | #Constraints: 16748
3137.41/3145.99 c #Conflicts: 609000 | #Constraints: 17748
3137.41/3145.99 c #Conflicts: 610000 | #Constraints: 18748
3137.41/3145.99 c #Conflicts: 611000 | #Constraints: 19748
3137.41/3145.99 c #Conflicts: 612000 | #Constraints: 20748
3137.41/3145.99 c #Conflicts: 613000 | #Constraints: 21748
3137.41/3145.99 c #Conflicts: 614000 | #Constraints: 22748
3137.41/3145.99 c #Conflicts: 615000 | #Constraints: 23748
3137.41/3145.99 c #Conflicts: 616000 | #Constraints: 24748
3137.41/3145.99 c #Conflicts: 617000 | #Constraints: 25748
3137.41/3145.99 c #Conflicts: 618000 | #Constraints: 26748
3137.41/3145.99 c #Conflicts: 619000 | #Constraints: 27748
3137.41/3145.99 c #Conflicts: 620000 | #Constraints: 28748
3137.41/3145.99 c #Conflicts: 621000 | #Constraints: 29748
3137.41/3145.99 c #Conflicts: 622000 | #Constraints: 30748
3137.41/3145.99 c #Conflicts: 623000 | #Constraints: 31748
3137.41/3145.99 c INPROCESSING
3137.41/3145.99 c GARBAGE COLLECT
3137.41/3145.99 c #Conflicts: 624000 | #Constraints: 17142
3137.41/3145.99 c #Conflicts: 625000 | #Constraints: 18142
3600.04/3609.80 c #Conflicts: 626000 | #Constraints: 19142
3600.04/3609.80 c #Conflicts: 627000 | #Constraints: 20142
3600.04/3609.80 c #Conflicts: 628000 | #Constraints: 21142
3600.04/3609.80 c #Conflicts: 629000 | #Constraints: 22142
3600.04/3609.80 c #Conflicts: 630000 | #Constraints: 23142
3600.04/3609.80 c #Conflicts: 631000 | #Constraints: 24142
3600.04/3609.80 c #Conflicts: 632000 | #Constraints: 25142
3600.04/3609.80 c #Conflicts: 633000 | #Constraints: 26142
3600.04/3609.80 c #Conflicts: 634000 | #Constraints: 27142
3600.04/3609.80 c #Conflicts: 635000 | #Constraints: 28142
3600.04/3609.80 c #Conflicts: 636000 | #Constraints: 29142
3600.04/3609.80 c #Conflicts: 637000 | #Constraints: 30142
3600.04/3609.80 c #Conflicts: 638000 | #Constraints: 31142
3600.04/3609.80 c #Conflicts: 639000 | #Constraints: 32142
3600.04/3609.80 c INPROCESSING
3600.04/3609.80 c GARBAGE COLLECT
3600.04/3609.80 c #Conflicts: 640000 | #Constraints: 17340
3600.04/3609.80 c #Conflicts: 641000 | #Constraints: 18340
3600.04/3609.80 c #Conflicts: 642000 | #Constraints: 19340
3600.04/3609.80 c #Conflicts: 643000 | #Constraints: 20340
3600.04/3609.80 c #Conflicts: 644000 | #Constraints: 21340
3600.04/3609.80 c #Conflicts: 645000 | #Constraints: 22340
3600.04/3609.80 c #Conflicts: 646000 | #Constraints: 23340
3600.04/3609.80 c #Conflicts: 647000 | #Constraints: 24340
3600.04/3609.80 c #Conflicts: 648000 | #Constraints: 25340
3600.04/3609.80 c #Conflicts: 649000 | #Constraints: 26340
3600.04/3609.80 c #Conflicts: 650000 | #Constraints: 27340
3600.04/3609.80 c #Conflicts: 651000 | #Constraints: 28340
3600.04/3609.80 c #Conflicts: 652000 | #Constraints: 29340
3600.04/3609.80 c #Conflicts: 653000 | #Constraints: 30340
3600.04/3609.80 c #Conflicts: 654000 | #Constraints: 31340
3600.04/3609.80 c #Conflicts: 655000 | #Constraints: 32340
3600.04/3609.80 c INPROCESSING
3600.04/3609.80 c GARBAGE COLLECT
3600.04/3609.80 c #Conflicts: 656000 | #Constraints: 17343
3600.04/3609.80 c #Conflicts: 657000 | #Constraints: 18343
3600.04/3609.80 c #Conflicts: 658000 | #Constraints: 19343
3600.04/3609.80 c #Conflicts: 659000 | #Constraints: 20343
3600.04/3609.80 c #Conflicts: 660000 | #Constraints: 21343
3600.04/3609.80 c #Conflicts: 661000 | #Constraints: 22343
3600.04/3609.80 c #Conflicts: 662000 | #Constraints: 23343
3600.04/3609.80 c #Conflicts: 663000 | #Constraints: 24343
3600.04/3609.80 c #Conflicts: 664000 | #Constraints: 25343
3600.04/3609.80 c #Conflicts: 665000 | #Constraints: 26343
3600.04/3609.80 c #Conflicts: 666000 | #Constraints: 27343
3600.04/3609.80 c #Conflicts: 667000 | #Constraints: 28343
3600.04/3609.80 c #Conflicts: 668000 | #Constraints: 29343
3600.04/3609.80 c #Conflicts: 669000 | #Constraints: 30343
3600.04/3609.80 c #Conflicts: 670000 | #Constraints: 31343
3600.04/3609.80 c #Conflicts: 671000 | #Constraints: 32343
3600.04/3609.80 c INPROCESSING
3600.04/3609.80 c GARBAGE COLLECT
3600.04/3609.80 c #Conflicts: 672000 | #Constraints: 17144
3600.04/3609.80 c #Conflicts: 673000 | #Constraints: 18144
3600.04/3609.80 c Program interrupted by user.
3600.04/3609.80 c cpu time 3590.78 s
3600.04/3609.80 c deterministic time 432657991376 4.33e+11
3600.04/3609.80 c optimization time 19.0085 s
3600.04/3609.80 c total solve time 3272.73 s
3600.04/3609.80 c core-guided solve time 3272.73 s
3600.04/3609.80 c propagation time 3027.21 s
3600.04/3609.80 c conflict analysis time 226.199 s
3600.04/3609.80 c propagations 50269058
3600.04/3609.80 c resolve steps 3207103
3600.04/3609.80 c decisions 5853738
3600.04/3609.80 c conflicts 673793
3600.04/3609.80 c restarts 1466
3600.04/3609.80 c inprocessing phases 73
3600.04/3609.80 c input clauses 50
3600.04/3609.80 c input cardinalities 77
3600.04/3609.80 c input general constraints 471
3600.04/3609.80 c input average constraint length 68.27
3600.04/3609.80 c input average constraint degree 34.26
3600.04/3609.80 c learned clauses 81334
3600.04/3609.80 c learned cardinalities 44
3600.04/3609.80 c learned general constraints 592429
3600.04/3609.80 c learned average constraint length 322.42
3600.04/3609.80 c learned average constraint degree 217138.14
3600.04/3609.80 c watched constraints 523642
3600.04/3609.80 c counting constraints 69258
3600.04/3609.80 c gcd simplifications 67029
3600.04/3609.80 c detected cardinalities 34
3600.04/3609.80 c weakened non-implied lits 11285955
3600.04/3609.80 c weakened non-implying lits 39480
3600.04/3609.80 c original variables 473
3600.04/3609.80 c clausal propagations 1062059
3600.04/3609.80 c cardinality propagations 16282
3600.04/3609.80 c watched propagations 30244528
3600.04/3609.80 c counting propagations 18584025
3600.04/3609.80 c watch lookups 53188337300
3600.04/3609.80 c watch backjump lookups 49976172172
3600.04/3609.80 c watch checks 322396671860
3600.04/3609.80 c propagation checks 6331482066
3600.04/3609.80 c constraint additions 652408931
3600.04/3609.80 c trail pops 56796250
3600.04/3609.80 c formula constraints 472
3600.04/3609.80 c learned constraints 673807
3600.04/3609.80 c bound constraints 77
3600.04/3609.80 c core-guided constraints 49
3600.04/3609.80 c encountered formula constraints 1997715
3600.04/3609.80 c encountered learned constraints 1828782
3600.04/3609.80 c encountered bound constraints 526
3600.04/3609.80 c encountered core-guided constraints 53873
3600.04/3609.80 c LP total time 0 s
3600.04/3609.80 c LP solve time 0 s
3600.04/3609.80 c LP constraints added 0
3600.04/3609.80 c LP constraints removed 0
3600.04/3609.80 c LP pivots internal 0
3600.04/3609.80 c LP pivots root 0
3600.04/3609.80 c LP calls 0
3600.04/3609.80 c LP optimalities 0
3600.04/3609.80 c LP no pivot count 0
3600.04/3609.80 c LP infeasibilities 0
3600.04/3609.80 c LP valid Farkas constraints 0
3600.04/3609.80 c LP learned Farkas constraints 0
3600.04/3609.80 c LP basis resets 0
3600.04/3609.80 c LP cycling count 0
3600.04/3609.80 c LP singular count 0
3600.04/3609.80 c LP no primal count 0
3600.04/3609.80 c LP no farkas count 0
3600.04/3609.80 c LP other issue count 0
3600.04/3609.80 c LP Gomory cuts 0
3600.04/3609.80 c LP learned cuts 0
3600.04/3609.80 c LP deleted cuts 0
3600.04/3609.80 c LP encountered Gomory constraints 0
3600.04/3609.80 c LP encountered Farkas constraints 0
3600.04/3609.80 c LP encountered learned Farkas constraints 0
3600.04/3609.80 c CG auxiliary variables introduced 49
3600.04/3609.80 c CG solutions found 0
3600.04/3609.80 c CG cores constructed 76
3600.04/3609.80 c CG core cardinality constraints returned 0
3600.04/3609.80 c CG unit cores 0
3600.04/3609.80 c CG single cores 76
3600.04/3609.80 c CG blocks removed during cardinality reduction 0
3600.04/3609.80 c CG first core best 0
3600.04/3609.80 c CG decision core best 0
3600.04/3609.80 c CG core reduction tie 0
3600.04/3609.80 c CG core degree average 1.00
3600.04/3609.80 c CG core slack average 2.93
3600.04/3609.80 c CG exhausted 0
3600.04/3609.80 c CG exhaust time 0 s
3600.04/3609.80 c CG trimmed 4
3600.04/3609.80 c CG trim time 0.000202 s
3600.04/3609.80 c CG minimized 0
3600.04/3609.80 c CG minimize time 0 s
3600.04/3609.80 c CG am1 prop time 0.000812 s
3600.04/3609.80 c CG # am1s reformulated 49
3600.04/3609.80 c CG lower bound derived from am1s 49
3600.04/3609.80 c CG # clausal cores 19
3600.04/3609.80 c CG # cardinality cores 0
3600.04/3609.80 c CG # pb cores 57
3600.04/3609.80 c CG # pb reforms 0
3600.04/3609.80 c CG # cores discarded because of pb reform 0
3600.04/3609.80 d LOWERBOUND 125
3600.04/3609.80 d NCORES 76
3600.04/3609.80 d NPBCORES 57
3600.04/3609.80 d NPBREFORM 0
3600.04/3609.80 d NTRIMMED 4
3600.04/3609.80 d NEXHAUSTED 0
3600.04/3609.80 d NAM1S 49
3600.04/3609.80 d AM1LB 49
3600.04/3609.80 c [Papilo Statistics]
3600.04/3609.80 c prepro time 0.00149454s
3600.04/3609.80 c # tsx applied 16
3600.04/3609.80 c # tsx conflicts 0
3600.04/3609.80 c # bound changes 0
3600.04/3609.80 c # side changes 0
3600.04/3609.80 c # coef changes 31
3600.04/3609.80 c # rounds 3
3600.04/3609.80 c # deted vars 0
3600.04/3609.80 c # deted constrs 0
3600.04/3609.80 c # consecutive rounds of only bound changes 0
3600.04/3609.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62786 MiB free)
memory of node 1: 64473 MiB (63272 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454712-1721468771/watcher-4454712-1721468771 -o /tmp/evaluation-result-4454712-1721468771/solver-4454712-1721468771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048075 --watchdog 3760 mixed-bag HOME/instance-4454712-1721468771.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1048139, runsolver pid=1048136
[startup+0.100202 s]*
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=129044852/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=93320 memory=26292 CPUtime=0.08 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 3061 0 0 0 8 0 0 0 20 0 1 0 199044182 95559680 6573 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 23330 6573 4026 3002 0 7079 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93320 KiB
Current children cumulated memory: 26292 KiB
[startup+0.204945 s]*
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=129031404/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=93436 memory=26452 CPUtime=0.18 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 3111 0 0 0 18 0 0 0 20 0 1 0 199044182 95678464 6613 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 23359 6613 4026 3002 0 7108 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 93436 KiB
Current children cumulated memory: 26452 KiB
[startup+0.305242 s]*
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=129020908/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=93436 memory=26452 CPUtime=0.29 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 3117 0 0 0 29 0 0 0 20 0 1 0 199044182 95678464 6613 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 23359 6613 4026 3002 0 7108 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93436 KiB
Current children cumulated memory: 26452 KiB
[startup+0.700213 s]
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=128997304/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=111612 memory=44196 CPUtime=0.68 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 7583 0 0 0 67 1 0 0 20 0 1 0 199044182 114290688 11049 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 27903 11049 4042 3002 0 11652 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111612 KiB
Current children cumulated memory: 44196 KiB
[startup+1.50019 s]
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=128812392/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=187392 memory=118060 CPUtime=1.48 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 27108 0 0 0 144 4 0 0 20 0 1 0 199044182 191889408 29515 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 46848 29515 4042 3002 0 30597 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187392 KiB
Current children cumulated memory: 118060 KiB
[startup+3.10482 s]
/proc/loadavg: 1.65 1.99 2.64 5/257 1048140
/proc/meminfo: memFree=128519664/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=230468 memory=159244 CPUtime=3.08 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 37408 0 0 0 302 6 0 0 20 0 1 0 199044182 235999232 39811 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 57617 39811 4042 3002 0 41366 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 230468 KiB
Current children cumulated memory: 159244 KiB
[startup+6.30015 s]
/proc/loadavg: 1.65 1.99 2.64 5/257 1048140
/proc/meminfo: memFree=128518948/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=230468 memory=159508 CPUtime=6.26 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 37418 0 0 0 620 6 0 0 20 0 1 0 199044182 235999232 39877 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 57617 39877 4042 3002 0 41366 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 230468 KiB
Current children cumulated memory: 159508 KiB
[startup+12.7001 s]
/proc/loadavg: 2.01 2.05 2.66 5/257 1048142
/proc/meminfo: memFree=128516696/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=230468 memory=159508 CPUtime=12.64 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 37418 0 0 0 1258 6 0 0 20 0 1 0 199044182 235999232 39877 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 57617 39877 4042 3002 0 41366 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 230468 KiB
Current children cumulated memory: 159508 KiB
[startup+25.5002 s]
/proc/loadavg: 2.32 2.12 2.67 5/257 1048143
/proc/meminfo: memFree=128312088/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=256400 memory=185548 CPUtime=25.4 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 44998 0 0 0 2532 8 0 0 20 0 1 0 199044182 262553600 46387 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 64100 46387 4057 3002 0 47849 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 256400 KiB
Current children cumulated memory: 185548 KiB
[startup+51.1048 s]
/proc/loadavg: 2.97 2.29 2.71 5/257 1048148
/proc/meminfo: memFree=128308280/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=261284 memory=189668 CPUtime=50.93 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 46060 0 0 0 5084 9 0 0 20 0 1 0 199044182 267554816 47417 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 65321 47417 4057 3002 0 49070 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 261284 KiB
Current children cumulated memory: 189668 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 2.61 2.80 5/257 1048156
/proc/meminfo: memFree=128221696/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=309240 memory=235096 CPUtime=101.97 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 57764 0 0 0 10184 13 0 0 20 0 1 0 199044182 316661760 58774 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 77310 58774 4057 3002 0 61059 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 309240 KiB
Current children cumulated memory: 235096 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.88 2.88 5/257 1048167
/proc/meminfo: memFree=128026744/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=374080 memory=302340 CPUtime=161.8 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 75448 0 0 0 16162 18 0 0 20 0 1 0 199044182 383057920 75585 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 93520 75585 4057 3002 0 77269 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 374080 KiB
Current children cumulated memory: 302340 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.12 2.97 5/259 1048182
/proc/meminfo: memFree=127949384/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=374080 memory=302600 CPUtime=221.62 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 75460 0 0 0 22143 19 0 0 20 0 1 0 199044182 383057920 75650 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 93520 75650 4057 3002 0 77269 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 374080 KiB
Current children cumulated memory: 302600 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.30 3.04 5/259 1048192
/proc/meminfo: memFree=127946856/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=374592 memory=302620 CPUtime=281.45 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 75736 0 0 0 28124 21 0 0 20 0 1 0 199044182 383582208 75655 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 93648 75655 4057 3002 0 77397 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 374592 KiB
Current children cumulated memory: 302620 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.46 3.11 5/256 1048202
/proc/meminfo: memFree=128112360/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=379784 memory=308124 CPUtime=341.28 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 78901 0 0 0 34049 79 0 0 20 0 1 0 199044182 388898816 77031 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 94946 77031 4217 3002 0 78695 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 379784 KiB
Current children cumulated memory: 308124 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.58 3.18 5/256 1048214
/proc/meminfo: memFree=128086492/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=379784 memory=314468 CPUtime=401.1 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 78921 0 0 0 39975 135 0 0 20 0 1 0 199044182 388898816 78617 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 94946 78617 4217 3002 0 78695 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 379784 KiB
Current children cumulated memory: 314468 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.67 3.24 5/256 1048224
/proc/meminfo: memFree=128070480/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=398752 memory=316328 CPUtime=460.92 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 79452 0 0 0 45922 170 0 0 20 0 1 0 199044182 408322048 79082 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 99688 79082 4217 3002 0 83437 0
################
# More data... #
################
Current children cumulated memory: 371040 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/256 1049834
/proc/meminfo: memFree=127888444/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=2854.58 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 83425 0 0 0 284666 792 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 2854.58 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/255 1049845
/proc/meminfo: memFree=127886832/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=2914.42 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 83526 0 0 0 290640 802 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/254 1049855
/proc/meminfo: memFree=127886520/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=2974.25 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 83617 0 0 0 296614 811 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/254 1049865
/proc/meminfo: memFree=127884212/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=3034.09 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 83712 0 0 0 302589 820 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/254 1049876
/proc/meminfo: memFree=127880592/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=3093.93 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 83814 0 0 0 308561 832 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/254 1049886
/proc/meminfo: memFree=127877360/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=3153.77 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 83880 0 0 0 314532 845 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/256 1049900
/proc/meminfo: memFree=127877100/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=3213.6 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 83972 0 0 0 320505 855 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/257 1049912
/proc/meminfo: memFree=127876704/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=3273.43 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 84070 0 0 0 326478 865 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/257 1049922
/proc/meminfo: memFree=127875468/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=3333.27 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 84170 0 0 0 332449 878 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.12 4.04 5/257 1049933
/proc/meminfo: memFree=127871144/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=371040 CPUtime=3393.1 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 84265 0 0 0 338421 889 0 0 20 0 1 0 199044182 439881728 92760 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 92760 4217 3002 0 91142 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 371040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/257 1049943
/proc/meminfo: memFree=127868832/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=373088 CPUtime=3452.94 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 84367 0 0 0 344395 899 0 0 20 0 1 0 199044182 439881728 93272 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 93272 4217 3002 0 91142 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 373088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/257 1049954
/proc/meminfo: memFree=127866440/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=373088 CPUtime=3512.77 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 84458 0 0 0 350366 911 0 0 20 0 1 0 199044182 439881728 93272 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 93272 4217 3002 0 91142 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 373088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/254 1049964
/proc/meminfo: memFree=127864188/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=373088 CPUtime=3572.61 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 84558 0 0 0 356340 921 0 0 20 0 1 0 199044182 439881728 93272 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 93272 4217 3002 0 91142 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 373088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.09 4.10 4.04 5/254 1049970
/proc/meminfo: memFree=127861988/131524600 swapFree=131071996/131071996
[pid=1048139] ppid=1048136 vsize=429572 memory=373088 CPUtime=3600.04 cores=4,6
/proc/1048139/stat : 1048139 (mixed-bag) R 1048136 1048139 1048064 0 -1 4194304 84598 0 0 0 359077 927 0 0 20 0 1 0 199044182 439881728 93272 134679101440 4194304 16488053 140721950729632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38985728 140721950737429 140721950737506 140721950737506 140721950744523 0
/proc/1048139/statm: 107393 93272 4217 3002 0 91142 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 429572 KiB
Current children cumulated memory: 373088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 1048139 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.78 s, system=9.27315 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.05
CPU user time (s): 3590.78
CPU system time (s): 9.27315
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 429572
Max. memory (cumulated for all children) (KiB): 373088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.78
system time used= 9.27315
maximum resident set size= 373952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84624
page faults= 0
swaps= 0
block input operations= 8
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 1156
# summary of solver processes directly reported to runsolver:
# pid: 1048139
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.78
# total CPU system time (s): 9.27315
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44368 second user time and 16.7103 second system time
The end
Begin job on nodeC028 at 2024-07-20 11:46:24
IDJOB=4454712
IDBENCH=147539
IDSOLVER=3083
FILE ID=nodeC028/4454712-1721468771
RUNJOBID= nodeC028-1721468784-1048075
SLURM_JOB_ID= 7545726
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454712-1721468771/watcher-4454712-1721468771 -o /tmp/evaluation-result-4454712-1721468771/solver-4454712-1721468771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048075 --watchdog 3760 mixed-bag HOME/instance-4454712-1721468771.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=1274062913
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3636.550
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3614.581
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3651.370
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3636.497
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.968
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.871
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129090528 kB
MemAvailable: 129736148 kB
Buffers: 553432 kB
Cached: 940904 kB
SwapCached: 0 kB
Active: 1096432 kB
Inactive: 738112 kB
Active(anon): 1440 kB
Inactive(anon): 384680 kB
Active(file): 1094992 kB
Inactive(file): 353432 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65172 kB
Writeback: 12 kB
AnonPages: 337840 kB
Mapped: 107260 kB
Shmem: 45912 kB
KReclaimable: 74040 kB
Slab: 181868 kB
SReclaimable: 74040 kB
SUnreclaim: 107828 kB
KernelStack: 4060 kB
PageTables: 10952 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 799016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC028 at 2024-07-20 12:46:34