0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
2.98/3.02 c [STEP] preprocessing with Papilo
12.63/12.79 c [STEP] solving with SCIP
313.56/314.56 c [STEP] preprocessing done, loading into solver
314.17/315.14 c [STEP] solving
314.17/315.14 c #variables 228955 #constraints 230112
314.17/315.14 c SMALL=int, LARGE=long long
314.17/315.14 d SCIPUB 0
314.17/315.14 c bounds - >= -4260887 @ 312.943
314.17/315.14 c stratification level: 6765
2988.03/2997.08 c bounds - >= -626815 @ 313.145
2988.03/2997.08 c #Conflicts: 1000 | #Constraints: 231113
2988.03/2997.08 c #Conflicts: 2000 | #Constraints: 232113
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 3000 | #Constraints: 227366
2988.03/2997.08 c #Conflicts: 4000 | #Constraints: 228366
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 5000 | #Constraints: 226443
2988.03/2997.08 c #Conflicts: 6000 | #Constraints: 227443
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 7000 | #Constraints: 226481
2988.03/2997.08 c #Conflicts: 8000 | #Constraints: 227481
2988.03/2997.08 c #Conflicts: 9000 | #Constraints: 228481
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 10000 | #Constraints: 227223
2988.03/2997.08 c #Conflicts: 11000 | #Constraints: 228223
2988.03/2997.08 c #Conflicts: 12000 | #Constraints: 229223
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 13000 | #Constraints: 227691
2988.03/2997.08 c #Conflicts: 14000 | #Constraints: 228691
2988.03/2997.08 c #Conflicts: 15000 | #Constraints: 229691
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 16000 | #Constraints: 227951
2988.03/2997.08 c #Conflicts: 17000 | #Constraints: 228951
2988.03/2997.08 c #Conflicts: 18000 | #Constraints: 229951
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 19000 | #Constraints: 227982
2988.03/2997.08 c #Conflicts: 20000 | #Constraints: 228982
2988.03/2997.08 c #Conflicts: 21000 | #Constraints: 229982
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 22000 | #Constraints: 227795
2988.03/2997.08 c #Conflicts: 23000 | #Constraints: 228795
2988.03/2997.08 c #Conflicts: 24000 | #Constraints: 229795
2988.03/2997.08 c #Conflicts: 25000 | #Constraints: 230795
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 26000 | #Constraints: 228420
2988.03/2997.08 c #Conflicts: 27000 | #Constraints: 229420
2988.03/2997.08 c #Conflicts: 28000 | #Constraints: 230420
2988.03/2997.08 c #Conflicts: 29000 | #Constraints: 231420
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 30000 | #Constraints: 228854
2988.03/2997.08 c #Conflicts: 31000 | #Constraints: 229854
2988.03/2997.08 c #Conflicts: 32000 | #Constraints: 230854
2988.03/2997.08 c #Conflicts: 33000 | #Constraints: 231854
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 34000 | #Constraints: 229058
2988.03/2997.08 c #Conflicts: 35000 | #Constraints: 230058
2988.03/2997.08 c #Conflicts: 36000 | #Constraints: 231058
2988.03/2997.08 c #Conflicts: 37000 | #Constraints: 232058
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 38000 | #Constraints: 229075
2988.03/2997.08 c #Conflicts: 39000 | #Constraints: 230075
2988.03/2997.08 c #Conflicts: 40000 | #Constraints: 231075
2988.03/2997.08 c #Conflicts: 41000 | #Constraints: 232075
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 42000 | #Constraints: 228896
2988.03/2997.08 c #Conflicts: 43000 | #Constraints: 229896
2988.03/2997.08 c #Conflicts: 44000 | #Constraints: 230896
2988.03/2997.08 c #Conflicts: 45000 | #Constraints: 231896
2988.03/2997.08 c #Conflicts: 46000 | #Constraints: 232896
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 47000 | #Constraints: 229488
2988.03/2997.08 c #Conflicts: 48000 | #Constraints: 230488
2988.03/2997.08 c #Conflicts: 49000 | #Constraints: 231488
2988.03/2997.08 c #Conflicts: 50000 | #Constraints: 232488
2988.03/2997.08 c #Conflicts: 51000 | #Constraints: 233488
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 52000 | #Constraints: 229910
2988.03/2997.08 c #Conflicts: 53000 | #Constraints: 230910
2988.03/2997.08 c #Conflicts: 54000 | #Constraints: 231910
2988.03/2997.08 c #Conflicts: 55000 | #Constraints: 232910
2988.03/2997.08 c #Conflicts: 56000 | #Constraints: 233910
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 57000 | #Constraints: 230128
2988.03/2997.08 c #Conflicts: 58000 | #Constraints: 231128
2988.03/2997.08 c #Conflicts: 59000 | #Constraints: 232128
2988.03/2997.08 c #Conflicts: 60000 | #Constraints: 233128
2988.03/2997.08 c #Conflicts: 61000 | #Constraints: 234128
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 62000 | #Constraints: 230162
2988.03/2997.08 c #Conflicts: 63000 | #Constraints: 231162
2988.03/2997.08 c #Conflicts: 64000 | #Constraints: 232162
2988.03/2997.08 c #Conflicts: 65000 | #Constraints: 233162
2988.03/2997.08 c #Conflicts: 66000 | #Constraints: 234162
2988.03/2997.08 c INPROCESSING
2988.03/2997.08 c GARBAGE COLLECT
2988.03/2997.08 c #Conflicts: 67000 | #Constraints: 229995
3600.07/3610.60 c #Conflicts: 68000 | #Constraints: 230995
3600.07/3610.60 c #Conflicts: 69000 | #Constraints: 231995
3600.07/3610.60 c #Conflicts: 70000 | #Constraints: 232995
3600.07/3610.60 c #Conflicts: 71000 | #Constraints: 233995
3600.07/3610.60 c #Conflicts: 72000 | #Constraints: 234995
3600.07/3610.60 c INPROCESSING
3600.07/3610.60 c GARBAGE COLLECT
3600.07/3610.60 c #Conflicts: 73000 | #Constraints: 230583
3600.07/3610.60 c #Conflicts: 74000 | #Constraints: 231583
3600.07/3610.60 c #Conflicts: 75000 | #Constraints: 232583
3600.07/3610.60 c #Conflicts: 76000 | #Constraints: 233583
3600.07/3610.60 c #Conflicts: 77000 | #Constraints: 234583
3600.07/3610.60 c #Conflicts: 78000 | #Constraints: 235583
3600.07/3610.60 c INPROCESSING
3600.07/3610.60 c GARBAGE COLLECT
3600.07/3610.60 c #Conflicts: 79000 | #Constraints: 230990
3600.07/3610.60 c #Conflicts: 80000 | #Constraints: 231990
3600.07/3610.60 c #Conflicts: 81000 | #Constraints: 232990
3600.07/3610.60 c #Conflicts: 82000 | #Constraints: 233990
3600.07/3610.60 c Program interrupted by user.
3600.07/3610.60 c cpu time 3594.96 s
3600.07/3610.60 c deterministic time 66122134314 6.61e+10
3600.07/3610.60 c optimization time 195.346 s
3600.07/3610.60 c total solve time 3086.67 s
3600.07/3610.60 c core-guided solve time 3086.67 s
3600.07/3610.60 c propagation time 554.799 s
3600.07/3610.60 c conflict analysis time 2630.35 s
3600.07/3610.60 c propagations 1233665995
3600.07/3610.60 c resolve steps 9569459
3600.07/3610.60 c decisions 4099898
3600.07/3610.60 c conflicts 82231
3600.07/3610.60 c restarts 252
3600.07/3610.60 c inprocessing phases 20
3600.07/3610.60 c input clauses 229026
3600.07/3610.60 c input cardinalities 1086
3600.07/3610.60 c input general constraints 2
3600.07/3610.60 c input average constraint length 5.96
3600.07/3610.60 c input average constraint degree 18.05
3600.07/3610.60 c learned clauses 27566
3600.07/3610.60 c learned cardinalities 3089
3600.07/3610.60 c learned general constraints 51575
3600.07/3610.60 c learned average constraint length 9451.70
3600.07/3610.60 c learned average constraint degree 2976716643.21
3600.07/3610.60 c watched constraints 15913
3600.07/3610.60 c counting constraints 35664
3600.07/3610.60 c gcd simplifications 186
3600.07/3610.60 c detected cardinalities 26
3600.07/3610.60 c weakened non-implied lits 654654586
3600.07/3610.60 c weakened non-implying lits 108365
3600.07/3610.60 c original variables 400896
3600.07/3610.60 c clausal propagations 336774802
3600.07/3610.60 c cardinality propagations 737027736
3600.07/3610.60 c watched propagations 6830991
3600.07/3610.60 c counting propagations 146520941
3600.07/3610.60 c watch lookups 5269488577
3600.07/3610.60 c watch backjump lookups 4877559773
3600.07/3610.60 c watch checks 12572151632
3600.07/3610.60 c propagation checks 37771346790
3600.07/3610.60 c constraint additions 3156189505
3600.07/3610.60 c trail pops 1237632143
3600.07/3610.60 c formula constraints 230112
3600.07/3610.60 c learned constraints 82230
3600.07/3610.60 c bound constraints 2
3600.07/3610.60 c core-guided constraints 0
3600.07/3610.60 c encountered formula constraints 9244704
3600.07/3610.60 c encountered learned constraints 406986
3600.07/3610.60 c encountered bound constraints 0
3600.07/3610.60 c encountered core-guided constraints 0
3600.07/3610.60 c LP total time 0 s
3600.07/3610.60 c LP solve time 0 s
3600.07/3610.60 c LP constraints added 0
3600.07/3610.60 c LP constraints removed 0
3600.07/3610.60 c LP pivots internal 0
3600.07/3610.60 c LP pivots root 0
3600.07/3610.60 c LP calls 0
3600.07/3610.60 c LP optimalities 0
3600.07/3610.60 c LP no pivot count 0
3600.07/3610.60 c LP infeasibilities 0
3600.07/3610.60 c LP valid Farkas constraints 0
3600.07/3610.60 c LP learned Farkas constraints 0
3600.07/3610.60 c LP basis resets 0
3600.07/3610.60 c LP cycling count 0
3600.07/3610.60 c LP singular count 0
3600.07/3610.60 c LP no primal count 0
3600.07/3610.60 c LP no farkas count 0
3600.07/3610.60 c LP other issue count 0
3600.07/3610.60 c LP Gomory cuts 0
3600.07/3610.60 c LP learned cuts 0
3600.07/3610.60 c LP deleted cuts 0
3600.07/3610.60 c LP encountered Gomory constraints 0
3600.07/3610.60 c LP encountered Farkas constraints 0
3600.07/3610.60 c LP encountered learned Farkas constraints 0
3600.07/3610.60 c CG auxiliary variables introduced 0
3600.07/3610.60 c CG solutions found 0
3600.07/3610.60 c CG cores constructed 1
3600.07/3610.60 c CG core cardinality constraints returned 1
3600.07/3610.60 c CG unit cores 0
3600.07/3610.60 c CG single cores 1
3600.07/3610.60 c CG blocks removed during cardinality reduction 19
3600.07/3610.60 c CG first core best 0
3600.07/3610.60 c CG decision core best 0
3600.07/3610.60 c CG core reduction tie 0
3600.07/3610.60 c CG core degree average 332.00
3600.07/3610.60 c CG core slack average 24.00
3600.07/3610.60 c CG exhausted 0
3600.07/3610.60 c CG exhaust time 0 s
3600.07/3610.60 c CG trimmed 0
3600.07/3610.60 c CG trim time 0.011213 s
3600.07/3610.60 c CG minimized 0
3600.07/3610.60 c CG minimize time 0 s
3600.07/3610.60 c CG am1 prop time 0.00134 s
3600.07/3610.60 c CG # am1s reformulated 0
3600.07/3610.60 c CG lower bound derived from am1s 0
3600.07/3610.60 c CG # clausal cores 0
3600.07/3610.60 c CG # cardinality cores 0
3600.07/3610.60 c CG # pb cores 1
3600.07/3610.60 c CG # pb reforms 0
3600.07/3610.60 c CG # cores discarded because of pb reform 0
3600.07/3610.60 d LOWERBOUND -626815
3600.07/3610.60 d NCORES 1
3600.07/3610.60 d NPBCORES 1
3600.07/3610.60 d NPBREFORM 0
3600.07/3610.60 d NTRIMMED 0
3600.07/3610.60 d NEXHAUSTED 0
3600.07/3610.60 d NAM1S 0
3600.07/3610.60 d AM1LB 0
3600.07/3610.60 c [Papilo Statistics]
3600.07/3610.60 c prepro time 9.74749s
3600.07/3610.60 c # tsx applied 173028
3600.07/3610.60 c # tsx conflicts 115
3600.07/3610.60 c # bound changes 171941
3600.07/3610.60 c # side changes 1978
3600.07/3610.60 c # coef changes 1
3600.07/3610.60 c # rounds 5
3600.07/3610.60 c # deted vars 171942
3600.07/3610.60 c # deted constrs 173736
3600.07/3610.60 c # consecutive rounds of only bound changes 0
3600.07/3610.63 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: 63794 MiB (60186 MiB free)
memory of node 1: 64507 MiB (61841 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529138-1752261465/watcher-4529138-1752261465 -o /tmp/evaluation-result-4529138-1752261465/solver-4529138-1752261465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117005 --watchdog 3760 mixed-bag HOME/instance-4529138-1752261465.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=117875, runsolver pid=117872
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.09 4.16 4.13 5/250 117876
/proc/meminfo: memFree=124920952/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=154464 memory=63232 CPUtime=0.09 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 8885 0 0 0 6 3 0 0 20 0 1 0 141826381 158171136 15808 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 38649 15808 2048 2834 0 21401 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 154464 KiB
Current children cumulated memory: 63232 KiB
[startup+0.209004 s]*
/proc/loadavg: 4.09 4.16 4.13 5/250 117876
/proc/meminfo: memFree=124892664/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=178540 memory=91356 CPUtime=0.2 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 14591 0 0 0 15 5 0 0 20 0 1 0 141826381 182824960 22839 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 44635 22839 2080 2834 0 27387 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 178540 KiB
Current children cumulated memory: 91356 KiB
[startup+0.308953 s]*
/proc/loadavg: 4.09 4.16 4.13 5/250 117876
/proc/meminfo: memFree=124886804/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=181612 memory=94240 CPUtime=0.3 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 15577 0 0 0 24 6 0 0 20 0 1 0 141826381 185970688 23560 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 45403 23560 2080 2834 0 28155 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 181612 KiB
Current children cumulated memory: 94240 KiB
[startup+0.70031 s]
/proc/loadavg: 4.09 4.16 4.13 5/250 117876
/proc/meminfo: memFree=124971876/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=193900 memory=101108 CPUtime=0.67 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 16776 0 0 0 61 6 0 0 20 0 1 0 141826381 198553600 25277 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 48475 25277 2080 2834 0 31227 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 101108 KiB
[startup+1.50031 s]
/proc/loadavg: 4.09 4.16 4.13 5/250 117876
/proc/meminfo: memFree=124482148/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=210284 memory=127208 CPUtime=1.47 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 17699 0 0 0 140 7 0 0 20 0 1 0 141826381 215330816 31802 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 52571 31802 2080 2834 0 35323 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 210284 KiB
Current children cumulated memory: 127208 KiB
[startup+3.11323 s]
/proc/loadavg: 4.09 4.16 4.13 5/250 117876
/proc/meminfo: memFree=123484472/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=682848 memory=534072 CPUtime=3.06 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 35784 0 0 0 283 23 0 0 20 0 1 0 141826381 699236352 133518 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 170712 133518 2176 2834 0 152917 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 682848 KiB
Current children cumulated memory: 534072 KiB
[startup+6.3003 s]
/proc/loadavg: 4.08 4.15 4.13 5/251 117881
/proc/meminfo: memFree=121915528/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=704048 memory=558456 CPUtime=6.25 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 43894 0 0 0 598 27 0 0 20 0 1 0 141826381 720945152 139614 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 176012 139614 2240 2834 0 158217 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 704048 KiB
Current children cumulated memory: 558456 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.15 4.13 5/251 117881
/proc/meminfo: memFree=120668528/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=704056 memory=558860 CPUtime=12.63 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 44183 0 0 0 1236 27 0 0 20 0 1 0 141826381 720953344 139715 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 176014 139715 2240 2834 0 158219 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 704056 KiB
Current children cumulated memory: 558860 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.16 4.13 5/251 117881
/proc/meminfo: memFree=118856888/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=2001700 memory=1822352 CPUtime=25.39 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 322902 0 0 0 2459 80 0 0 20 0 1 0 141826381 2049740800 455588 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 500425 455588 4000 2834 0 482630 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2001700 KiB
Current children cumulated memory: 1822352 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.15 4.13 5/252 117883
/proc/meminfo: memFree=118554456/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=2088188 memory=1907368 CPUtime=50.93 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 335550 0 0 0 5010 83 0 0 20 0 1 0 141826381 2138304512 476842 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 522047 476842 4000 2834 0 504252 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2088188 KiB
Current children cumulated memory: 1907368 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/252 117885
/proc/meminfo: memFree=118555464/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=2088188 memory=1907368 CPUtime=101.97 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 335650 0 0 0 10114 83 0 0 20 0 1 0 141826381 2138304512 476842 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 522047 476842 4000 2834 0 504252 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2088188 KiB
Current children cumulated memory: 1907368 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/252 117887
/proc/meminfo: memFree=116010872/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=2878488 memory=2594304 CPUtime=161.8 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 437779 0 0 0 16075 105 0 0 20 0 1 0 141826381 2947571712 648576 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 719622 648576 4096 2834 0 701827 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2878488 KiB
Current children cumulated memory: 2594304 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/252 117889
/proc/meminfo: memFree=115372388/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=2878488 memory=2594304 CPUtime=221.63 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 437822 0 0 0 22058 105 0 0 20 0 1 0 141826381 2947571712 648576 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 719622 648576 4096 2834 0 701827 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2878488 KiB
Current children cumulated memory: 2594304 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/252 117891
/proc/meminfo: memFree=115159740/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3032620 memory=2721216 CPUtime=281.44 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 458903 0 0 0 28034 110 0 0 20 0 1 0 141826381 3105402880 680304 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 758155 680304 4192 2834 0 740360 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 3032620 KiB
Current children cumulated memory: 2721216 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/251 117893
/proc/meminfo: memFree=115120064/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=2665884 memory=2548204 CPUtime=341.28 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 463587 0 0 0 33994 134 0 0 20 0 1 0 141826381 2729865216 637051 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 666471 637051 4416 2834 0 648676 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 2665884 KiB
Current children cumulated memory: 2548204 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/250 117895
/proc/meminfo: memFree=108488156/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=2879532 memory=2657264 CPUtime=401.11 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 465302 0 0 0 39966 145 0 0 20 0 1 0 141826381 2948640768 664316 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 719883 664316 4416 2834 0 702088 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 2879532 KiB
Current children cumulated memory: 2657264 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/250 117898
/proc/meminfo: memFree=103089824/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=2879532 memory=2677744 CPUtime=460.94 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 465365 0 0 0 45940 154 0 0 20 0 1 0 141826381 2948640768 669436 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 719883 669436 4416 2834 0 702088 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 2991732 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 118165
/proc/meminfo: memFree=119355236/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=2991732 CPUtime=2853.72 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 469515 0 0 0 284938 434 0 0 20 0 1 0 141826381 3526352896 747933 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 747933 4416 2834 0 843131 0
Current children cumulated CPU time: 2853.72 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 2991732 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 118167
/proc/meminfo: memFree=119346808/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=2999928 CPUtime=2913.53 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 469522 0 0 0 290915 438 0 0 20 0 1 0 141826381 3526352896 749982 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 749982 4416 2834 0 843131 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 2999928 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 118170
/proc/meminfo: memFree=119212020/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=2973.36 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470144 0 0 0 296886 450 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 118174
/proc/meminfo: memFree=119204632/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3033.21 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470145 0 0 0 302864 457 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 118181
/proc/meminfo: memFree=119207560/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3093.05 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470320 0 0 0 308839 466 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 118185
/proc/meminfo: memFree=119171108/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3152.88 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470333 0 0 0 314817 471 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 118187
/proc/meminfo: memFree=119171552/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3212.73 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470338 0 0 0 320798 475 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/252 118189
/proc/meminfo: memFree=119168484/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3272.57 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470345 0 0 0 326777 480 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/252 118191
/proc/meminfo: memFree=119187300/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3332.42 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470700 0 0 0 332757 485 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 118193
/proc/meminfo: memFree=119185560/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3392.27 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470700 0 0 0 338735 492 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/249 118195
/proc/meminfo: memFree=119180004/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3452.12 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470712 0 0 0 344715 497 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.75 4.27 4.15 5/249 118197
/proc/meminfo: memFree=119167580/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3110676 CPUtime=3511.99 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 470712 0 0 0 350701 498 0 0 20 0 1 0 141826381 3526352896 777669 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 777669 4416 2834 0 843131 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3110676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.24 4.15 5/249 118199
/proc/meminfo: memFree=119167456/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3112340 CPUtime=3571.84 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 471218 0 0 0 356679 505 0 0 20 0 1 0 141826381 3526352896 778085 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 778085 4416 2834 0 843131 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3112340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.55 4.30 4.17 4/244 118234
/proc/meminfo: memFree=123025412/131382112 swapFree=33010160/33010684
[pid=117875] ppid=117872 vsize=3443704 memory=3113108 CPUtime=3600.07 cores=4,6
/proc/117875/stat : 117875 (mixed-bag) R 117872 117875 116989 0 -1 4194304 471249 0 0 0 359496 511 0 0 20 0 1 0 141826381 3526352896 778277 18446744073709551615 4235264 15840557 140735047291120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 47206400 140735047297434 140735047297511 140735047297511 140735047303115 0
/proc/117875/statm: 860926 778277 4416 2834 0 843131 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3443704 KiB
Current children cumulated memory: 3113108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.68 s]
# the end of solver process 117875 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595 s, system=5.16284 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.68
CPU time (s): 3600.16
CPU user time (s): 3595
CPU system time (s): 5.16284
CPU usage (%): 99.7086
Max. virtual memory (cumulated for all children) (KiB): 3443704
Max. memory (cumulated for all children) (KiB): 3113108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595
system time used= 5.16284
maximum resident set size= 3113748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471305
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= 167
involuntary context switches= 2278
# summary of solver processes directly reported to runsolver:
# pid: 117875
# total CPU time (s): 3600.16
# total CPU user time (s): 3595
# total CPU system time (s): 5.16284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4716 second user time and 35.9205 second system time
The end
Begin job on nodeC009 at 2025-07-11 21:17:46
IDJOB=4529138
IDBENCH=157883
IDSOLVER=3386
FILE ID=nodeC009/4529138-1752261465
RUNJOBID= nodeC009-1752254228-117005
SLURM_JOB_ID= 9682591
Free space on /tmp= 431096 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529138-1752261465/watcher-4529138-1752261465 -o /tmp/evaluation-result-4529138-1752261465/solver-4529138-1752261465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117005 --watchdog 3760 mixed-bag HOME/instance-4529138-1752261465.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3cfe8ea012dcc17418564c57acaec44c
RANDOM SEED=1625698244
nodeC009 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 : 0xb00001f
cpu MHz : 3662.548
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 3691.459
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 3691.447
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1895.620
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.509
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 124951064 kB
MemAvailable: 128011828 kB
Buffers: 2144 kB
Cached: 3791708 kB
SwapCached: 24 kB
Active: 2495980 kB
Inactive: 3108812 kB
Active(anon): 1824696 kB
Inactive(anon): 4180 kB
Active(file): 671284 kB
Inactive(file): 3104632 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 132956 kB
Writeback: 0 kB
AnonPages: 1812812 kB
Mapped: 123832 kB
Shmem: 17936 kB
KReclaimable: 248564 kB
Slab: 339072 kB
SReclaimable: 248564 kB
SUnreclaim: 90508 kB
KernelStack: 4032 kB
PageTables: 6824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2403628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1468416 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431064 MiB
End job on nodeC009 at 2025-07-11 22:17:57