0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.09/0.18 c [STEP] solving
0.09/0.18 c #variables 40451 #constraints 40949
0.09/0.18 c SMALL=int, LARGE=long long
0.09/0.19 c bounds - >= -94230312 @ 0.151716
0.09/0.19 c stratification level: 6765
261.42/262.13 c bounds - >= -16156340 @ 0.870726
261.42/262.13 c bounds - >= -15794965 @ 0.88254
261.42/262.13 c bounds - >= -15459291 @ 0.885062
261.42/262.13 c bounds - >= -15310461 @ 0.887372
261.42/262.13 c bounds - >= -15303696 @ 0.889662
261.42/262.13 c bounds - >= -15292750 @ 0.964049
261.42/262.13 c bounds - >= -15282071 @ 1.02457
261.42/262.13 c #Conflicts: 1000 | #Constraints: 42480
261.42/262.13 c #Conflicts: 2000 | #Constraints: 43480
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 3000 | #Constraints: 39310
261.42/262.13 c #Conflicts: 4000 | #Constraints: 40310
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 5000 | #Constraints: 39817
261.42/262.13 c #Conflicts: 6000 | #Constraints: 40817
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 7000 | #Constraints: 39900
261.42/262.13 c #Conflicts: 8000 | #Constraints: 40900
261.42/262.13 c #Conflicts: 9000 | #Constraints: 41900
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 10000 | #Constraints: 40019
261.42/262.13 c #Conflicts: 11000 | #Constraints: 41019
261.42/262.13 c #Conflicts: 12000 | #Constraints: 42019
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 13000 | #Constraints: 40527
261.42/262.13 c #Conflicts: 14000 | #Constraints: 41527
261.42/262.13 c #Conflicts: 15000 | #Constraints: 42527
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 16000 | #Constraints: 40819
261.42/262.13 c #Conflicts: 17000 | #Constraints: 41819
261.42/262.13 c #Conflicts: 18000 | #Constraints: 42819
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 19000 | #Constraints: 40827
261.42/262.13 c #Conflicts: 20000 | #Constraints: 41827
261.42/262.13 c #Conflicts: 21000 | #Constraints: 42827
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 22000 | #Constraints: 40650
261.42/262.13 c #Conflicts: 23000 | #Constraints: 41650
261.42/262.13 c #Conflicts: 24000 | #Constraints: 42650
261.42/262.13 c #Conflicts: 25000 | #Constraints: 43650
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 26000 | #Constraints: 41308
261.42/262.13 c #Conflicts: 27000 | #Constraints: 42308
261.42/262.13 c #Conflicts: 28000 | #Constraints: 43308
261.42/262.13 c #Conflicts: 29000 | #Constraints: 44308
261.42/262.13 c #Conflicts: 30000 | #Constraints: 45308
261.42/262.13 c #Conflicts: 31000 | #Constraints: 46308
261.42/262.13 c #Conflicts: 32000 | #Constraints: 47308
261.42/262.13 c #Conflicts: 33000 | #Constraints: 48308
261.42/262.13 c #Conflicts: 34000 | #Constraints: 49308
261.42/262.13 c #Conflicts: 35000 | #Constraints: 50308
261.42/262.13 c #Conflicts: 36000 | #Constraints: 51308
261.42/262.13 c #Conflicts: 37000 | #Constraints: 52308
261.42/262.13 c #Conflicts: 38000 | #Constraints: 53308
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 39000 | #Constraints: 46295
261.42/262.13 c #Conflicts: 40000 | #Constraints: 47295
261.42/262.13 c #Conflicts: 41000 | #Constraints: 48295
261.42/262.13 c #Conflicts: 42000 | #Constraints: 49295
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 43000 | #Constraints: 43811
261.42/262.13 c #Conflicts: 44000 | #Constraints: 44811
261.42/262.13 c #Conflicts: 45000 | #Constraints: 45811
261.42/262.13 c #Conflicts: 46000 | #Constraints: 46811
261.42/262.13 c #Conflicts: 47000 | #Constraints: 47811
261.42/262.13 c #Conflicts: 48000 | #Constraints: 48811
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 49000 | #Constraints: 44006
261.42/262.13 c #Conflicts: 50000 | #Constraints: 45006
261.42/262.13 c #Conflicts: 51000 | #Constraints: 46006
261.42/262.13 c #Conflicts: 52000 | #Constraints: 47006
261.42/262.13 c #Conflicts: 53000 | #Constraints: 48006
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 54000 | #Constraints: 43446
261.42/262.13 c #Conflicts: 55000 | #Constraints: 44446
261.42/262.13 c #Conflicts: 56000 | #Constraints: 45446
261.42/262.13 c #Conflicts: 57000 | #Constraints: 46446
261.42/262.13 c #Conflicts: 58000 | #Constraints: 47446
261.42/262.13 c INPROCESSING
261.42/262.13 c GARBAGE COLLECT
261.42/262.13 c #Conflicts: 59000 | #Constraints: 42996
261.42/262.13 c #Conflicts: 60000 | #Constraints: 43996
261.42/262.13 c #Conflicts: 61000 | #Constraints: 44996
261.42/262.13 c #Conflicts: 62000 | #Constraints: 45996
261.42/262.13 c #Conflicts: 63000 | #Constraints: 46996
261.42/262.13 c #Conflicts: 64000 | #Constraints: 47996
261.42/262.13 c #Conflicts: 65000 | #Constraints: 48996
261.42/262.13 c #Conflicts: 66000 | #Constraints: 49996
1077.91/1080.77 c #Conflicts: 67000 | #Constraints: 50996
1077.91/1080.77 c #Conflicts: 68000 | #Constraints: 51996
1077.91/1080.77 c #Conflicts: 69000 | #Constraints: 52996
1077.91/1080.77 c #Conflicts: 70000 | #Constraints: 53996
1077.91/1080.77 c #Conflicts: 71000 | #Constraints: 54996
1077.91/1080.77 c #Conflicts: 72000 | #Constraints: 55996
1077.91/1080.77 c #Conflicts: 73000 | #Constraints: 56996
1077.91/1080.77 c #Conflicts: 74000 | #Constraints: 57996
1077.91/1080.77 c #Conflicts: 75000 | #Constraints: 58996
1077.91/1080.77 c #Conflicts: 76000 | #Constraints: 59996
1077.91/1080.77 c #Conflicts: 77000 | #Constraints: 60996
1077.91/1080.77 c #Conflicts: 78000 | #Constraints: 61996
1077.91/1080.77 c INPROCESSING
1077.91/1080.77 c GARBAGE COLLECT
1077.91/1080.77 c #Conflicts: 79000 | #Constraints: 50668
1077.91/1080.77 c #Conflicts: 80000 | #Constraints: 51668
1077.91/1080.77 c #Conflicts: 81000 | #Constraints: 52668
1077.91/1080.77 c #Conflicts: 82000 | #Constraints: 53668
1077.91/1080.77 c #Conflicts: 83000 | #Constraints: 54668
1077.91/1080.77 c #Conflicts: 84000 | #Constraints: 55668
1077.91/1080.77 c INPROCESSING
1077.91/1080.77 c GARBAGE COLLECT
1077.91/1080.77 c #Conflicts: 85000 | #Constraints: 47077
1077.91/1080.77 c #Conflicts: 86000 | #Constraints: 48077
1077.91/1080.77 c #Conflicts: 87000 | #Constraints: 49077
1077.91/1080.77 c #Conflicts: 88000 | #Constraints: 50077
1077.91/1080.77 c #Conflicts: 89000 | #Constraints: 51077
1077.91/1080.77 c #Conflicts: 90000 | #Constraints: 52077
1077.91/1080.77 c #Conflicts: 91000 | #Constraints: 53077
1077.91/1080.77 c INPROCESSING
1077.91/1080.77 c GARBAGE COLLECT
1077.91/1080.77 c #Conflicts: 92000 | #Constraints: 45759
1077.91/1080.77 c #Conflicts: 93000 | #Constraints: 46759
1077.91/1080.77 c #Conflicts: 94000 | #Constraints: 47759
1077.91/1080.77 c #Conflicts: 95000 | #Constraints: 48759
1077.91/1080.77 c #Conflicts: 96000 | #Constraints: 49759
1077.91/1080.77 c #Conflicts: 97000 | #Constraints: 50759
1077.91/1080.77 c #Conflicts: 98000 | #Constraints: 51759
1077.91/1080.77 c #Conflicts: 99000 | #Constraints: 52759
1077.91/1080.77 c INPROCESSING
1077.91/1080.77 c GARBAGE COLLECT
1077.91/1080.77 c #Conflicts: 100000 | #Constraints: 46028
1077.91/1080.77 c #Conflicts: 101000 | #Constraints: 47028
1077.91/1080.77 c #Conflicts: 102000 | #Constraints: 48028
1077.91/1080.77 c #Conflicts: 103000 | #Constraints: 49028
1077.91/1080.77 c #Conflicts: 104000 | #Constraints: 50028
1077.91/1080.77 c #Conflicts: 105000 | #Constraints: 51028
1077.91/1080.77 c #Conflicts: 106000 | #Constraints: 52028
1077.91/1080.77 c INPROCESSING
1077.91/1080.77 c GARBAGE COLLECT
1077.91/1080.77 c #Conflicts: 107000 | #Constraints: 45470
1077.91/1080.77 c #Conflicts: 108000 | #Constraints: 46470
1077.91/1080.77 c #Conflicts: 109000 | #Constraints: 47470
1077.91/1080.77 c #Conflicts: 110000 | #Constraints: 48470
1077.91/1080.77 c #Conflicts: 111000 | #Constraints: 49470
1077.91/1080.77 c #Conflicts: 112000 | #Constraints: 50470
1077.91/1080.77 c #Conflicts: 113000 | #Constraints: 51470
1077.91/1080.77 c #Conflicts: 114000 | #Constraints: 52470
1077.91/1080.77 c INPROCESSING
1077.91/1080.77 c GARBAGE COLLECT
1077.91/1080.77 c #Conflicts: 115000 | #Constraints: 45837
1077.91/1080.77 c #Conflicts: 116000 | #Constraints: 46837
1077.91/1080.77 c #Conflicts: 117000 | #Constraints: 47837
1077.91/1080.77 c #Conflicts: 118000 | #Constraints: 48837
1077.91/1080.77 c #Conflicts: 119000 | #Constraints: 49837
1077.91/1080.77 c #Conflicts: 120000 | #Constraints: 50837
1077.91/1080.77 c #Conflicts: 121000 | #Constraints: 51837
1077.91/1080.77 c #Conflicts: 122000 | #Constraints: 52837
1077.91/1080.77 c #Conflicts: 123000 | #Constraints: 53837
1077.91/1080.77 c #Conflicts: 124000 | #Constraints: 54837
1077.91/1080.77 c #Conflicts: 125000 | #Constraints: 55837
1077.91/1080.77 c #Conflicts: 126000 | #Constraints: 56837
1077.91/1080.77 c #Conflicts: 127000 | #Constraints: 57837
1077.91/1080.77 c #Conflicts: 128000 | #Constraints: 58837
1077.91/1080.77 c #Conflicts: 129000 | #Constraints: 59837
1077.91/1080.77 c #Conflicts: 130000 | #Constraints: 60837
1077.91/1080.77 c #Conflicts: 131000 | #Constraints: 61837
1077.91/1080.77 c #Conflicts: 132000 | #Constraints: 62837
1077.91/1080.77 c #Conflicts: 133000 | #Constraints: 63837
1077.91/1080.77 c #Conflicts: 134000 | #Constraints: 64837
1077.91/1080.77 c #Conflicts: 135000 | #Constraints: 65837
1077.91/1080.77 c #Conflicts: 136000 | #Constraints: 66837
1077.91/1080.77 c #Conflicts: 137000 | #Constraints: 67837
1077.91/1080.77 c #Conflicts: 138000 | #Constraints: 68837
1077.91/1080.77 c #Conflicts: 139000 | #Constraints: 69837
1077.91/1080.77 c #Conflicts: 140000 | #Constraints: 70837
1077.91/1080.77 c INPROCESSING
1801.78/1806.45 c GARBAGE COLLECT
1801.78/1806.45 c #Conflicts: 141000 | #Constraints: 54758
1801.78/1806.45 c #Conflicts: 142000 | #Constraints: 55758
1801.78/1806.45 c #Conflicts: 143000 | #Constraints: 56758
1801.78/1806.45 c #Conflicts: 144000 | #Constraints: 57758
1801.78/1806.45 c #Conflicts: 145000 | #Constraints: 58758
1801.78/1806.45 c #Conflicts: 146000 | #Constraints: 59758
1801.78/1806.45 c #Conflicts: 147000 | #Constraints: 60758
1801.78/1806.45 c #Conflicts: 148000 | #Constraints: 61758
1801.78/1806.45 c #Conflicts: 149000 | #Constraints: 62758
1801.78/1806.45 c INPROCESSING
1801.78/1806.45 c GARBAGE COLLECT
1801.78/1806.45 c #Conflicts: 150000 | #Constraints: 50818
1801.78/1806.45 c #Conflicts: 151000 | #Constraints: 51818
1801.78/1806.45 c #Conflicts: 152000 | #Constraints: 52818
1801.78/1806.45 c #Conflicts: 153000 | #Constraints: 53818
1801.78/1806.45 c #Conflicts: 154000 | #Constraints: 54818
1801.78/1806.45 c #Conflicts: 155000 | #Constraints: 55818
1801.78/1806.45 c #Conflicts: 156000 | #Constraints: 56818
1801.78/1806.45 c #Conflicts: 157000 | #Constraints: 57818
1801.78/1806.45 c #Conflicts: 158000 | #Constraints: 58818
1801.78/1806.45 c INPROCESSING
1801.78/1806.45 c GARBAGE COLLECT
1801.78/1806.45 c #Conflicts: 159000 | #Constraints: 48764
1801.78/1806.45 c #Conflicts: 160000 | #Constraints: 49764
1801.78/1806.45 c #Conflicts: 161000 | #Constraints: 50764
1801.78/1806.45 c #Conflicts: 162000 | #Constraints: 51764
1801.78/1806.45 c #Conflicts: 163000 | #Constraints: 52764
1801.78/1806.45 c #Conflicts: 164000 | #Constraints: 53764
1801.78/1806.45 c #Conflicts: 165000 | #Constraints: 54764
1801.78/1806.45 c #Conflicts: 166000 | #Constraints: 55764
1801.78/1806.45 c #Conflicts: 167000 | #Constraints: 56764
1801.78/1806.45 c #Conflicts: 168000 | #Constraints: 57764
1801.78/1806.45 c INPROCESSING
1801.78/1806.45 c GARBAGE COLLECT
1801.78/1806.45 c #Conflicts: 169000 | #Constraints: 48567
1801.78/1806.45 c #Conflicts: 170000 | #Constraints: 49567
1801.78/1806.45 c #Conflicts: 171000 | #Constraints: 50567
1801.78/1806.45 c #Conflicts: 172000 | #Constraints: 51567
1801.78/1806.45 c #Conflicts: 173000 | #Constraints: 52567
1801.78/1806.45 c #Conflicts: 174000 | #Constraints: 53567
1801.78/1806.45 c #Conflicts: 175000 | #Constraints: 54567
1801.78/1806.45 c #Conflicts: 176000 | #Constraints: 55567
1801.78/1806.45 c #Conflicts: 177000 | #Constraints: 56567
1801.78/1806.45 c INPROCESSING
1801.78/1806.45 c GARBAGE COLLECT
1801.78/1806.45 c #Conflicts: 178000 | #Constraints: 47704
1801.78/1806.45 c #Conflicts: 179000 | #Constraints: 48704
1801.78/1806.45 c #Conflicts: 180000 | #Constraints: 49704
1801.78/1806.45 c #Conflicts: 181000 | #Constraints: 50704
1801.78/1806.45 c #Conflicts: 182000 | #Constraints: 51704
1801.78/1806.45 c #Conflicts: 183000 | #Constraints: 52704
1801.78/1806.45 c #Conflicts: 184000 | #Constraints: 53704
1801.78/1806.45 c #Conflicts: 185000 | #Constraints: 54704
1801.78/1806.45 c #Conflicts: 186000 | #Constraints: 55704
1801.78/1806.45 c #Conflicts: 187000 | #Constraints: 56704
1801.78/1806.45 c #Conflicts: 188000 | #Constraints: 57704
1801.78/1806.45 c #Conflicts: 189000 | #Constraints: 58704
1801.78/1806.45 c #Conflicts: 190000 | #Constraints: 59704
1801.78/1806.45 c #Conflicts: 191000 | #Constraints: 60704
1801.78/1806.45 c #Conflicts: 192000 | #Constraints: 61704
1801.78/1806.45 c #Conflicts: 193000 | #Constraints: 62704
1801.78/1806.45 c #Conflicts: 194000 | #Constraints: 63704
1801.78/1806.45 c #Conflicts: 195000 | #Constraints: 64704
1801.78/1806.45 c #Conflicts: 196000 | #Constraints: 65704
1801.78/1806.45 c #Conflicts: 197000 | #Constraints: 66704
1801.78/1806.45 c #Conflicts: 198000 | #Constraints: 67704
1801.78/1806.45 c #Conflicts: 199000 | #Constraints: 68704
1801.78/1806.45 c #Conflicts: 200000 | #Constraints: 69704
1801.78/1806.45 c #Conflicts: 201000 | #Constraints: 70704
1801.78/1806.45 c #Conflicts: 202000 | #Constraints: 71704
1801.78/1806.45 c #Conflicts: 203000 | #Constraints: 72704
1801.78/1806.45 c #Conflicts: 204000 | #Constraints: 73704
1801.78/1806.45 c #Conflicts: 205000 | #Constraints: 74704
1801.78/1806.45 c #Conflicts: 206000 | #Constraints: 75704
1801.78/1806.45 c #Conflicts: 207000 | #Constraints: 76704
1801.78/1806.45 c #Conflicts: 208000 | #Constraints: 77704
1801.78/1806.45 c #Conflicts: 209000 | #Constraints: 78704
1801.78/1806.45 c #Conflicts: 210000 | #Constraints: 79704
1801.78/1806.45 c INPROCESSING
1801.78/1806.45 c GARBAGE COLLECT
1801.78/1806.45 c #Conflicts: 211000 | #Constraints: 59242
1801.78/1806.45 c #Conflicts: 212000 | #Constraints: 60242
1801.78/1806.45 c #Conflicts: 213000 | #Constraints: 61242
1801.78/1806.45 c #Conflicts: 214000 | #Constraints: 62242
1801.78/1806.45 c #Conflicts: 215000 | #Constraints: 63242
1801.78/1806.45 c #Conflicts: 216000 | #Constraints: 64242
2536.96/2543.41 c #Conflicts: 217000 | #Constraints: 65242
2536.96/2543.41 c #Conflicts: 218000 | #Constraints: 66242
2536.96/2543.41 c #Conflicts: 219000 | #Constraints: 67242
2536.96/2543.41 c #Conflicts: 220000 | #Constraints: 68242
2536.96/2543.41 c #Conflicts: 221000 | #Constraints: 69242
2536.96/2543.41 c INPROCESSING
2536.96/2543.41 c GARBAGE COLLECT
2536.96/2543.41 c #Conflicts: 222000 | #Constraints: 54165
2536.96/2543.41 c #Conflicts: 223000 | #Constraints: 55165
2536.96/2543.41 c #Conflicts: 224000 | #Constraints: 56165
2536.96/2543.41 c #Conflicts: 225000 | #Constraints: 57165
2536.96/2543.41 c #Conflicts: 226000 | #Constraints: 58165
2536.96/2543.41 c #Conflicts: 227000 | #Constraints: 59165
2536.96/2543.41 c #Conflicts: 228000 | #Constraints: 60165
2536.96/2543.41 c #Conflicts: 229000 | #Constraints: 61165
2536.96/2543.41 c #Conflicts: 230000 | #Constraints: 62165
2536.96/2543.41 c #Conflicts: 231000 | #Constraints: 63165
2536.96/2543.41 c #Conflicts: 232000 | #Constraints: 64165
2536.96/2543.41 c INPROCESSING
2536.96/2543.41 c GARBAGE COLLECT
2536.96/2543.41 c #Conflicts: 233000 | #Constraints: 51587
2536.96/2543.41 c #Conflicts: 234000 | #Constraints: 52587
2536.96/2543.41 c #Conflicts: 235000 | #Constraints: 53587
2536.96/2543.41 c #Conflicts: 236000 | #Constraints: 54587
2536.96/2543.41 c #Conflicts: 237000 | #Constraints: 55587
2536.96/2543.41 c #Conflicts: 238000 | #Constraints: 56587
2536.96/2543.41 c #Conflicts: 239000 | #Constraints: 57587
2536.96/2543.41 c #Conflicts: 240000 | #Constraints: 58587
2536.96/2543.41 c #Conflicts: 241000 | #Constraints: 59587
2536.96/2543.41 c #Conflicts: 242000 | #Constraints: 60587
2536.96/2543.41 c #Conflicts: 243000 | #Constraints: 61587
2536.96/2543.41 c INPROCESSING
2536.96/2543.41 c GARBAGE COLLECT
2536.96/2543.41 c #Conflicts: 244000 | #Constraints: 50249
2536.96/2543.41 c #Conflicts: 245000 | #Constraints: 51249
2536.96/2543.41 c #Conflicts: 246000 | #Constraints: 52249
2536.96/2543.41 c #Conflicts: 247000 | #Constraints: 53249
2536.96/2543.41 c #Conflicts: 248000 | #Constraints: 54249
2536.96/2543.41 c #Conflicts: 249000 | #Constraints: 55249
2536.96/2543.41 c #Conflicts: 250000 | #Constraints: 56249
2536.96/2543.41 c #Conflicts: 251000 | #Constraints: 57249
2536.96/2543.41 c #Conflicts: 252000 | #Constraints: 58249
2536.96/2543.41 c #Conflicts: 253000 | #Constraints: 59249
2536.96/2543.41 c #Conflicts: 254000 | #Constraints: 60249
2536.96/2543.41 c #Conflicts: 255000 | #Constraints: 61249
2536.96/2543.41 c INPROCESSING
2536.96/2543.41 c GARBAGE COLLECT
2536.96/2543.41 c #Conflicts: 256000 | #Constraints: 50345
2536.96/2543.41 c #Conflicts: 257000 | #Constraints: 51345
2536.96/2543.41 c #Conflicts: 258000 | #Constraints: 52345
2536.96/2543.41 c #Conflicts: 259000 | #Constraints: 53345
2536.96/2543.41 c #Conflicts: 260000 | #Constraints: 54345
2536.96/2543.41 c #Conflicts: 261000 | #Constraints: 55345
2536.96/2543.41 c #Conflicts: 262000 | #Constraints: 56345
2536.96/2543.41 c #Conflicts: 263000 | #Constraints: 57345
2536.96/2543.41 c #Conflicts: 264000 | #Constraints: 58345
2536.96/2543.41 c #Conflicts: 265000 | #Constraints: 59345
2536.96/2543.41 c #Conflicts: 266000 | #Constraints: 60345
2536.96/2543.41 c INPROCESSING
2536.96/2543.41 c GARBAGE COLLECT
2536.96/2543.41 c #Conflicts: 267000 | #Constraints: 49643
2536.96/2543.41 c #Conflicts: 268000 | #Constraints: 50643
2536.96/2543.41 c #Conflicts: 269000 | #Constraints: 51643
2536.96/2543.41 c #Conflicts: 270000 | #Constraints: 52643
2536.96/2543.41 c #Conflicts: 271000 | #Constraints: 53643
2536.96/2543.41 c #Conflicts: 272000 | #Constraints: 54643
2536.96/2543.41 c #Conflicts: 273000 | #Constraints: 55643
2536.96/2543.41 c #Conflicts: 274000 | #Constraints: 56643
2536.96/2543.41 c #Conflicts: 275000 | #Constraints: 57643
2536.96/2543.41 c #Conflicts: 276000 | #Constraints: 58643
2536.96/2543.41 c #Conflicts: 277000 | #Constraints: 59643
2536.96/2543.41 c #Conflicts: 278000 | #Constraints: 60643
2536.96/2543.41 c #Conflicts: 279000 | #Constraints: 61643
2536.96/2543.41 c #Conflicts: 280000 | #Constraints: 62643
2536.96/2543.41 c #Conflicts: 281000 | #Constraints: 63643
2536.96/2543.41 c #Conflicts: 282000 | #Constraints: 64643
2536.96/2543.41 c #Conflicts: 283000 | #Constraints: 65643
2536.96/2543.41 c #Conflicts: 284000 | #Constraints: 66643
2536.96/2543.41 c #Conflicts: 285000 | #Constraints: 67643
2536.96/2543.41 c #Conflicts: 286000 | #Constraints: 68643
2536.96/2543.41 c #Conflicts: 287000 | #Constraints: 69643
2536.96/2543.41 c #Conflicts: 288000 | #Constraints: 70643
2536.96/2543.41 c #Conflicts: 289000 | #Constraints: 71643
2536.96/2543.41 c #Conflicts: 290000 | #Constraints: 72643
2536.96/2543.41 c #Conflicts: 291000 | #Constraints: 73643
3598.47/3607.66 c #Conflicts: 292000 | #Constraints: 74643
3598.47/3607.66 c #Conflicts: 293000 | #Constraints: 75643
3598.47/3607.66 c #Conflicts: 294000 | #Constraints: 76643
3598.47/3607.66 c #Conflicts: 295000 | #Constraints: 77643
3598.47/3607.66 c #Conflicts: 296000 | #Constraints: 78643
3598.47/3607.66 c #Conflicts: 297000 | #Constraints: 79643
3598.47/3607.66 c #Conflicts: 298000 | #Constraints: 80643
3598.47/3607.66 c #Conflicts: 299000 | #Constraints: 81643
3598.47/3607.66 c #Conflicts: 300000 | #Constraints: 82643
3598.47/3607.66 c #Conflicts: 301000 | #Constraints: 83643
3598.47/3607.66 c #Conflicts: 302000 | #Constraints: 84643
3598.47/3607.66 c #Conflicts: 303000 | #Constraints: 85643
3598.47/3607.66 c #Conflicts: 304000 | #Constraints: 86643
3598.47/3607.66 c #Conflicts: 305000 | #Constraints: 87643
3598.47/3607.66 c #Conflicts: 306000 | #Constraints: 88643
3598.47/3607.66 c #Conflicts: 307000 | #Constraints: 89643
3598.47/3607.66 c INPROCESSING
3598.47/3607.66 c GARBAGE COLLECT
3598.47/3607.66 c #Conflicts: 308000 | #Constraints: 64453
3598.47/3607.66 c #Conflicts: 309000 | #Constraints: 65453
3598.47/3607.66 c #Conflicts: 310000 | #Constraints: 66453
3598.47/3607.66 c #Conflicts: 311000 | #Constraints: 67453
3598.47/3607.66 c #Conflicts: 312000 | #Constraints: 68453
3598.47/3607.66 c #Conflicts: 313000 | #Constraints: 69453
3598.47/3607.66 c #Conflicts: 314000 | #Constraints: 70453
3598.47/3607.66 c #Conflicts: 315000 | #Constraints: 71453
3598.47/3607.66 c #Conflicts: 316000 | #Constraints: 72453
3598.47/3607.66 c #Conflicts: 317000 | #Constraints: 73453
3598.47/3607.66 c #Conflicts: 318000 | #Constraints: 74453
3598.47/3607.66 c #Conflicts: 319000 | #Constraints: 75453
3598.47/3607.66 c #Conflicts: 320000 | #Constraints: 76453
3598.47/3607.66 c INPROCESSING
3598.47/3607.66 c GARBAGE COLLECT
3598.47/3607.66 c #Conflicts: 321000 | #Constraints: 57876
3598.47/3607.66 c #Conflicts: 322000 | #Constraints: 58876
3598.47/3607.66 c #Conflicts: 323000 | #Constraints: 59876
3598.47/3607.66 c #Conflicts: 324000 | #Constraints: 60876
3598.47/3607.66 c #Conflicts: 325000 | #Constraints: 61876
3598.47/3607.66 c #Conflicts: 326000 | #Constraints: 62876
3598.47/3607.66 c #Conflicts: 327000 | #Constraints: 63876
3598.47/3607.66 c #Conflicts: 328000 | #Constraints: 64876
3598.47/3607.66 c #Conflicts: 329000 | #Constraints: 65876
3598.47/3607.66 c #Conflicts: 330000 | #Constraints: 66876
3598.47/3607.66 c #Conflicts: 331000 | #Constraints: 67876
3598.47/3607.66 c #Conflicts: 332000 | #Constraints: 68876
3598.47/3607.66 c #Conflicts: 333000 | #Constraints: 69876
3598.47/3607.66 c INPROCESSING
3598.47/3607.66 c GARBAGE COLLECT
3598.47/3607.66 c #Conflicts: 334000 | #Constraints: 54556
3598.47/3607.66 c #Conflicts: 335000 | #Constraints: 55556
3598.47/3607.66 c #Conflicts: 336000 | #Constraints: 56556
3598.47/3607.66 c #Conflicts: 337000 | #Constraints: 57556
3598.47/3607.66 c #Conflicts: 338000 | #Constraints: 58556
3598.47/3607.66 c #Conflicts: 339000 | #Constraints: 59556
3598.47/3607.66 c #Conflicts: 340000 | #Constraints: 60556
3598.47/3607.66 c #Conflicts: 341000 | #Constraints: 61556
3598.47/3607.66 c #Conflicts: 342000 | #Constraints: 62556
3598.47/3607.66 c #Conflicts: 343000 | #Constraints: 63556
3598.47/3607.66 c #Conflicts: 344000 | #Constraints: 64556
3598.47/3607.66 c #Conflicts: 345000 | #Constraints: 65556
3598.47/3607.66 c #Conflicts: 346000 | #Constraints: 66556
3598.47/3607.66 c INPROCESSING
3598.47/3607.66 c GARBAGE COLLECT
3598.47/3607.66 c #Conflicts: 347000 | #Constraints: 52724
3598.47/3607.66 c #Conflicts: 348000 | #Constraints: 53724
3598.47/3607.66 c #Conflicts: 349000 | #Constraints: 54724
3598.47/3607.66 c #Conflicts: 350000 | #Constraints: 55724
3598.47/3607.66 c #Conflicts: 351000 | #Constraints: 56724
3598.47/3607.66 c #Conflicts: 352000 | #Constraints: 57724
3598.47/3607.66 c #Conflicts: 353000 | #Constraints: 58724
3598.47/3607.66 c #Conflicts: 354000 | #Constraints: 59724
3598.47/3607.66 c #Conflicts: 355000 | #Constraints: 60724
3598.47/3607.66 c #Conflicts: 356000 | #Constraints: 61724
3598.47/3607.66 c #Conflicts: 357000 | #Constraints: 62724
3598.47/3607.66 c #Conflicts: 358000 | #Constraints: 63724
3598.47/3607.66 c #Conflicts: 359000 | #Constraints: 64724
3598.47/3607.66 c #Conflicts: 360000 | #Constraints: 65724
3598.47/3607.66 c INPROCESSING
3598.47/3607.66 c GARBAGE COLLECT
3598.47/3607.66 c #Conflicts: 361000 | #Constraints: 52647
3598.47/3607.66 c #Conflicts: 362000 | #Constraints: 53647
3598.47/3607.66 c #Conflicts: 363000 | #Constraints: 54647
3598.47/3607.66 c #Conflicts: 364000 | #Constraints: 55647
3598.47/3607.66 c #Conflicts: 365000 | #Constraints: 56647
3598.47/3607.66 c #Conflicts: 366000 | #Constraints: 57647
3598.47/3607.66 c #Conflicts: 367000 | #Constraints: 58647
3600.16/3609.32 c Program interrupted by user.
3600.16/3609.32 c cpu time 3592.66 s
3600.16/3609.32 c deterministic time 160871970985 1.61e+11
3600.16/3609.32 c optimization time 55.1042 s
3600.16/3609.32 c total solve time 3537.41 s
3600.16/3609.32 c core-guided solve time 3537.41 s
3600.16/3609.32 c propagation time 1324.7 s
3600.16/3609.32 c conflict analysis time 2073.25 s
3600.16/3609.32 c propagations 551150205
3600.16/3609.32 c resolve steps 10814937
3600.16/3609.32 c decisions 4686594
3600.16/3609.32 c conflicts 367217
3600.16/3609.32 c restarts 890
3600.16/3609.32 c inprocessing phases 36
3600.16/3609.32 c input clauses 40920
3600.16/3609.32 c input cardinalities 553
3600.16/3609.32 c input general constraints 8
3600.16/3609.32 c input average constraint length 11.06
3600.16/3609.32 c input average constraint degree 13206.97
3600.16/3609.32 c learned clauses 149458
3600.16/3609.32 c learned cardinalities 13791
3600.16/3609.32 c learned general constraints 203967
3600.16/3609.32 c learned average constraint length 6481.42
3600.16/3609.32 c learned average constraint degree 22042377.23
3600.16/3609.32 c watched constraints 94220
3600.16/3609.32 c counting constraints 109755
3600.16/3609.32 c gcd simplifications 1180
3600.16/3609.32 c detected cardinalities 420
3600.16/3609.32 c weakened non-implied lits 1861839873
3600.16/3609.32 c weakened non-implying lits 129349
3600.16/3609.32 c original variables 40451
3600.16/3609.32 c clausal propagations 385618952
3600.16/3609.32 c cardinality propagations 34605323
3600.16/3609.32 c watched propagations 5269412
3600.16/3609.32 c counting propagations 121165829
3600.16/3609.32 c watch lookups 15877447333
3600.16/3609.32 c watch backjump lookups 15099031173
3600.16/3609.32 c watch checks 62156821987
3600.16/3609.32 c propagation checks 57271718063
3600.16/3609.32 c constraint additions 9354950504
3600.16/3609.32 c trail pops 556165125
3600.16/3609.32 c formula constraints 40949
3600.16/3609.32 c learned constraints 367216
3600.16/3609.32 c bound constraints 7
3600.16/3609.32 c core-guided constraints 525
3600.16/3609.32 c encountered formula constraints 7883125
3600.16/3609.32 c encountered learned constraints 3132737
3600.16/3609.32 c encountered bound constraints 0
3600.16/3609.32 c encountered core-guided constraints 166347
3600.16/3609.32 c LP total time 0 s
3600.16/3609.32 c LP solve time 0 s
3600.16/3609.32 c LP constraints added 0
3600.16/3609.32 c LP constraints removed 0
3600.16/3609.32 c LP pivots internal 0
3600.16/3609.32 c LP pivots root 0
3600.16/3609.32 c LP calls 0
3600.16/3609.32 c LP optimalities 0
3600.16/3609.32 c LP no pivot count 0
3600.16/3609.32 c LP infeasibilities 0
3600.16/3609.32 c LP valid Farkas constraints 0
3600.16/3609.32 c LP learned Farkas constraints 0
3600.16/3609.32 c LP basis resets 0
3600.16/3609.32 c LP cycling count 0
3600.16/3609.32 c LP singular count 0
3600.16/3609.32 c LP no primal count 0
3600.16/3609.32 c LP no farkas count 0
3600.16/3609.32 c LP other issue count 0
3600.16/3609.32 c LP Gomory cuts 0
3600.16/3609.32 c LP learned cuts 0
3600.16/3609.32 c LP deleted cuts 0
3600.16/3609.32 c LP encountered Gomory constraints 0
3600.16/3609.32 c LP encountered Farkas constraints 0
3600.16/3609.32 c LP encountered learned Farkas constraints 0
3600.16/3609.32 c CG auxiliary variables introduced 470
3600.16/3609.32 c CG solutions found 0
3600.16/3609.32 c CG cores constructed 7
3600.16/3609.32 c CG core cardinality constraints returned 4
3600.16/3609.32 c CG unit cores 0
3600.16/3609.32 c CG single cores 7
3600.16/3609.32 c CG blocks removed during cardinality reduction 10
3600.16/3609.32 c CG first core best 0
3600.16/3609.32 c CG decision core best 0
3600.16/3609.32 c CG core reduction tie 0
3600.16/3609.32 c CG core degree average 23.71
3600.16/3609.32 c CG core slack average 12.29
3600.16/3609.32 c CG exhausted 0
3600.16/3609.32 c CG exhaust time 0 s
3600.16/3609.32 c CG trimmed 0
3600.16/3609.32 c CG trim time 0.000999 s
3600.16/3609.32 c CG minimized 0
3600.16/3609.32 c CG minimize time 0 s
3600.16/3609.32 c CG am1 prop time 0.154664 s
3600.16/3609.32 c CG # am1s reformulated 470
3600.16/3609.32 c CG lower bound derived from am1s 77333181
3600.16/3609.32 c CG # clausal cores 3
3600.16/3609.32 c CG # cardinality cores 4
3600.16/3609.32 c CG # pb cores 0
3600.16/3609.32 c CG # pb reforms 0
3600.16/3609.32 c CG # cores discarded because of pb reform 0
3600.16/3609.32 d LOWERBOUND -15282071
3600.16/3609.32 d NCORES 7
3600.16/3609.32 d NPBCORES 0
3600.16/3609.32 d NPBREFORM 0
3600.16/3609.32 d NTRIMMED 0
3600.16/3609.32 d NEXHAUSTED 0
3600.16/3609.32 d NAM1S 470
3600.16/3609.32 d AM1LB 77333181
3600.16/3609.39 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: 63708 MiB (50300 MiB free)
memory of node 1: 64465 MiB (46412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505626-1751479550/watcher-4505626-1751479550 -o /tmp/evaluation-result-4505626-1751479550/solver-4505626-1751479550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751474636-66599 --watchdog 3760 pb-oll-rs HOME/instance-4505626-1751479550.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=67432, runsolver pid=67429
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.17 4.16 4.11 5/266 67433
/proc/meminfo: memFree=99028564/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=31044 memory=17272 CPUtime=0.09 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 4512 0 0 0 8 1 0 0 20 0 1 0 63633625 31789056 4318 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 7761 4318 1184 243 0 4010 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31044 KiB
Current children cumulated memory: 17272 KiB
[startup+0.205813 s]*
/proc/loadavg: 4.17 4.16 4.11 5/266 67433
/proc/meminfo: memFree=99020752/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=37892 memory=27792 CPUtime=0.2 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 6637 0 0 0 17 3 0 0 20 0 1 0 63633625 38801408 6948 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 9473 6948 1312 243 0 5722 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 27792 KiB
[startup+0.3058 s]*
/proc/loadavg: 4.17 4.16 4.11 5/266 67433
/proc/meminfo: memFree=99009160/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=50120 memory=39952 CPUtime=0.29 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 9712 0 0 0 26 3 0 0 20 0 1 0 63633625 51322880 9988 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 12530 9988 1312 243 0 8779 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50120 KiB
Current children cumulated memory: 39952 KiB
[startup+0.700175 s]
/proc/loadavg: 4.17 4.16 4.11 5/266 67433
/proc/meminfo: memFree=98993032/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=80400 memory=70288 CPUtime=0.68 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 17281 0 0 0 63 5 0 0 20 0 1 0 63633625 82329600 17572 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 20100 17572 1312 243 0 16349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80400 KiB
Current children cumulated memory: 70288 KiB
[startup+1.50016 s]
/proc/loadavg: 4.17 4.16 4.11 5/265 67433
/proc/meminfo: memFree=98959012/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=111736 memory=98212 CPUtime=1.48 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 24306 0 0 0 140 8 0 0 20 0 1 0 63633625 114417664 24553 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 27934 24553 1376 243 0 24183 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111736 KiB
Current children cumulated memory: 98212 KiB
[startup+3.10581 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 67433
/proc/meminfo: memFree=98867640/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=112076 memory=98724 CPUtime=3.08 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 24431 0 0 0 297 11 0 0 20 0 1 0 63633625 114765824 24681 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 28019 24681 1376 243 0 24268 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 112076 KiB
Current children cumulated memory: 98724 KiB
[startup+6.30015 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 67433
/proc/meminfo: memFree=98962752/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=120644 memory=106044 CPUtime=6.27 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 25753 0 0 0 610 17 0 0 20 0 1 0 63633625 123539456 26511 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 30161 26511 1376 243 0 26410 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120644 KiB
Current children cumulated memory: 106044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.11 5/265 67433
/proc/meminfo: memFree=99010148/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=153104 memory=129668 CPUtime=12.66 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 30138 0 0 0 1243 23 0 0 20 0 1 0 63633625 156778496 32417 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 38276 32417 1376 243 0 34525 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 153104 KiB
Current children cumulated memory: 129668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.11 5/265 67435
/proc/meminfo: memFree=98964000/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=190752 memory=161304 CPUtime=25.42 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 35488 0 0 0 2512 30 0 0 20 0 1 0 63633625 195330048 40326 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 47688 40326 1376 243 0 43937 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 190752 KiB
Current children cumulated memory: 161304 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.15 4.11 5/266 67436
/proc/meminfo: memFree=98645264/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=387004 memory=372352 CPUtime=50.96 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 65243 0 0 0 5049 47 0 0 20 0 1 0 63633625 396292096 93088 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 96751 93088 1376 243 0 93000 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 387004 KiB
Current children cumulated memory: 372352 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/264 67438
/proc/meminfo: memFree=98010508/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=855512 memory=828912 CPUtime=102.03 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 128873 0 0 0 10127 76 0 0 20 0 1 0 63633625 876044288 207228 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 213878 207228 1376 243 0 210127 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 855512 KiB
Current children cumulated memory: 828912 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 67443
/proc/meminfo: memFree=97383604/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=1298332 memory=1126136 CPUtime=161.88 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 174566 0 0 0 16093 95 0 0 20 0 1 0 63633625 1329491968 281534 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 324583 281534 1376 243 0 320832 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1298332 KiB
Current children cumulated memory: 1126136 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 67445
/proc/meminfo: memFree=96975772/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=1298500 memory=1126264 CPUtime=221.72 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 174608 0 0 0 22059 113 0 0 20 0 1 0 63633625 1329664000 281566 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 324625 281566 1376 243 0 320874 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1298500 KiB
Current children cumulated memory: 1126264 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 67447
/proc/meminfo: memFree=96746464/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=1303736 memory=1131640 CPUtime=281.57 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 175993 0 0 0 28031 126 0 0 20 0 1 0 63633625 1335025664 282910 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 325934 282910 1376 243 0 322183 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1303736 KiB
Current children cumulated memory: 1131640 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 67449
/proc/meminfo: memFree=96439688/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=1834448 memory=1445556 CPUtime=341.41 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 219810 0 0 0 33996 145 0 0 20 0 1 0 63633625 1878474752 361389 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 458612 361389 1376 243 0 454861 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1834448 KiB
Current children cumulated memory: 1445556 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 67452
/proc/meminfo: memFree=96130960/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=2062928 memory=1723888 CPUtime=401.25 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 262801 0 0 0 39961 164 0 0 20 0 1 0 63633625 2112438272 430972 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 515732 430972 1376 243 0 511981 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2062928 KiB
Current children cumulated memory: 1723888 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 67459
/proc/meminfo: memFree=95991188/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=2062928 memory=1742484 CPUtime=461.1 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 264978 0 0 0 45935 175 0 0 20 0 1 0 63633625 2112438272 435621 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 515732 435621 1376 243 0 511981 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
/proc/67432/statm: 1473512 1337349 1376 243 0 1469761 0
Current children cumulated CPU time: 2855.05 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349396 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 67725
/proc/meminfo: memFree=105639512/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349396 CPUtime=2914.89 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 769430 0 0 0 290832 657 0 0 20 0 1 0 63633625 6035505152 1337349 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337349 1376 243 0 1469761 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349396 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 67728
/proc/meminfo: memFree=104640532/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349396 CPUtime=2974.74 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 769634 0 0 0 296808 666 0 0 20 0 1 0 63633625 6035505152 1337349 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337349 1376 243 0 1469761 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349396 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 67731
/proc/meminfo: memFree=104583308/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349396 CPUtime=3034.58 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 770698 0 0 0 302782 676 0 0 20 0 1 0 63633625 6035505152 1337349 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337349 1376 243 0 1469761 0
Current children cumulated CPU time: 3034.58 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349396 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 67734
/proc/meminfo: memFree=104567076/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349524 CPUtime=3094.43 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 771252 0 0 0 308756 687 0 0 20 0 1 0 63633625 6035505152 1337381 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337381 1376 243 0 1469761 0
Current children cumulated CPU time: 3094.43 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349524 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 67736
/proc/meminfo: memFree=104522092/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349524 CPUtime=3154.29 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 771327 0 0 0 314733 696 0 0 20 0 1 0 63633625 6035505152 1337381 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337381 1376 243 0 1469761 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 67741
/proc/meminfo: memFree=104505808/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349524 CPUtime=3214.14 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 772287 0 0 0 320710 704 0 0 20 0 1 0 63633625 6035505152 1337381 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337381 1376 243 0 1469761 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 67743
/proc/meminfo: memFree=104433412/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349524 CPUtime=3273.99 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 772400 0 0 0 326685 714 0 0 20 0 1 0 63633625 6035505152 1337381 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337381 1376 243 0 1469761 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 67757
/proc/meminfo: memFree=104346284/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349652 CPUtime=3333.83 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 772999 0 0 0 332661 722 0 0 20 0 1 0 63633625 6035505152 1337413 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337413 1376 243 0 1469761 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 67758
/proc/meminfo: memFree=104270708/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349908 CPUtime=3393.68 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 773862 0 0 0 338638 730 0 0 20 0 1 0 63633625 6035505152 1337477 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337477 1376 243 0 1469761 0
Current children cumulated CPU time: 3393.68 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 67760
/proc/meminfo: memFree=104129728/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5349908 CPUtime=3453.53 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 773868 0 0 0 344621 732 0 0 20 0 1 0 63633625 6035505152 1337477 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337477 1376 243 0 1469761 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5349908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 67766
/proc/meminfo: memFree=103547200/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5350292 CPUtime=3513.38 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 774740 0 0 0 350597 741 0 0 20 0 1 0 63633625 6035505152 1337573 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1337573 1376 243 0 1469761 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5350292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 67768
/proc/meminfo: memFree=102810172/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5360660 CPUtime=3573.22 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 775117 0 0 0 356574 748 0 0 20 0 1 0 63633625 6035505152 1340165 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1340165 1376 243 0 1469761 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5360660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 67769
/proc/meminfo: memFree=102582584/131249996 swapFree=33010160/33010684
[pid=67432] ppid=67429 vsize=5894048 memory=5368596 CPUtime=3600.06 cores=1,3
/proc/67432/stat : 67432 (pb-oll-rs) R 67429 67432 66587 0 -1 4194304 775684 0 0 0 359253 753 0 0 20 0 1 0 63633625 6035505152 1342149 18446744073709551615 4218880 5211445 140730511512896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 11079680 140730511518108 140730511518185 140730511518185 140730511523787 0
/proc/67432/statm: 1473512 1342149 1376 243 0 1469761 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5894048 KiB
Current children cumulated memory: 5368596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 67432 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.67 s, system=7.61556 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.4 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 67769
/proc/meminfo: memFree=105929900/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.28
CPU user time (s): 3592.67
CPU system time (s): 7.61556
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 5894048
Max. memory (cumulated for all children) (KiB): 5368852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.67
system time used= 7.61556
maximum resident set size= 5368852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201
involuntary context switches= 2055
# summary of solver processes directly reported to runsolver:
# pid: 67432
# total CPU time (s): 3600.28
# total CPU user time (s): 3592.67
# total CPU system time (s): 7.61556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95586 second user time and 15.4092 second system time
The end
Begin job on nodeC032 at 2025-07-02 20:05:50
IDJOB=4505626
IDBENCH=155767
IDSOLVER=3345
FILE ID=nodeC032/4505626-1751479550
RUNJOBID= nodeC032-1751474636-66599
SLURM_JOB_ID= 9598505
Free space on /tmp= 431424 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505626-1751479550/watcher-4505626-1751479550 -o /tmp/evaluation-result-4505626-1751479550/solver-4505626-1751479550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751474636-66599 --watchdog 3760 pb-oll-rs HOME/instance-4505626-1751479550.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80f0935d0a86591f889a9638d17fdf07
RANDOM SEED=1445129689
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.841
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.869
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3600.169
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3569.317
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.930
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.816
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3589.313
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3592.770
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 99034288 kB
MemAvailable: 114348964 kB
Buffers: 2728 kB
Cached: 15994448 kB
SwapCached: 20 kB
Active: 15481304 kB
Inactive: 15626536 kB
Active(anon): 15125584 kB
Inactive(anon): 3128 kB
Active(file): 355720 kB
Inactive(file): 15623408 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4420 kB
Writeback: 0 kB
AnonPages: 15111396 kB
Mapped: 107636 kB
Shmem: 18048 kB
KReclaimable: 349576 kB
Slab: 443216 kB
SReclaimable: 349576 kB
SUnreclaim: 93640 kB
KernelStack: 4320 kB
PageTables: 33644 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 17615984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5007360 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431556 MiB
End job on nodeC032 at 2025-07-02 21:06:00