0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
1.87/1.96 c [STEP] preprocessing with Papilo
10.84/10.93 c [STEP] solving with SCIP
311.34/312.58 c [STEP] preprocessing done, loading into solver
311.94/313.17 c [STEP] solving
311.94/313.17 c #variables 228955 #constraints 230112
311.94/313.17 c SMALL=int, LARGE=long long
311.94/313.17 d SCIPUB 0
311.94/313.17 c bounds - >= -4260887 @ 310.796
311.94/313.17 c stratification level: 6765
2880.08/2888.12 c bounds - >= -626815 @ 310.993
2880.08/2888.12 c #Conflicts: 1000 | #Constraints: 231113
2880.08/2888.12 c #Conflicts: 2000 | #Constraints: 232113
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 3000 | #Constraints: 227366
2880.08/2888.12 c #Conflicts: 4000 | #Constraints: 228366
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 5000 | #Constraints: 226443
2880.08/2888.12 c #Conflicts: 6000 | #Constraints: 227443
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 7000 | #Constraints: 226481
2880.08/2888.12 c #Conflicts: 8000 | #Constraints: 227481
2880.08/2888.12 c #Conflicts: 9000 | #Constraints: 228481
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 10000 | #Constraints: 227223
2880.08/2888.12 c #Conflicts: 11000 | #Constraints: 228223
2880.08/2888.12 c #Conflicts: 12000 | #Constraints: 229223
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 13000 | #Constraints: 227691
2880.08/2888.12 c #Conflicts: 14000 | #Constraints: 228691
2880.08/2888.12 c #Conflicts: 15000 | #Constraints: 229691
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 16000 | #Constraints: 227951
2880.08/2888.12 c #Conflicts: 17000 | #Constraints: 228951
2880.08/2888.12 c #Conflicts: 18000 | #Constraints: 229951
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 19000 | #Constraints: 227982
2880.08/2888.12 c #Conflicts: 20000 | #Constraints: 228982
2880.08/2888.12 c #Conflicts: 21000 | #Constraints: 229982
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 22000 | #Constraints: 227795
2880.08/2888.12 c #Conflicts: 23000 | #Constraints: 228795
2880.08/2888.12 c #Conflicts: 24000 | #Constraints: 229795
2880.08/2888.12 c #Conflicts: 25000 | #Constraints: 230795
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 26000 | #Constraints: 228420
2880.08/2888.12 c #Conflicts: 27000 | #Constraints: 229420
2880.08/2888.12 c #Conflicts: 28000 | #Constraints: 230420
2880.08/2888.12 c #Conflicts: 29000 | #Constraints: 231420
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 30000 | #Constraints: 228854
2880.08/2888.12 c #Conflicts: 31000 | #Constraints: 229854
2880.08/2888.12 c #Conflicts: 32000 | #Constraints: 230854
2880.08/2888.12 c #Conflicts: 33000 | #Constraints: 231854
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 34000 | #Constraints: 229058
2880.08/2888.12 c #Conflicts: 35000 | #Constraints: 230058
2880.08/2888.12 c #Conflicts: 36000 | #Constraints: 231058
2880.08/2888.12 c #Conflicts: 37000 | #Constraints: 232058
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 38000 | #Constraints: 229075
2880.08/2888.12 c #Conflicts: 39000 | #Constraints: 230075
2880.08/2888.12 c #Conflicts: 40000 | #Constraints: 231075
2880.08/2888.12 c #Conflicts: 41000 | #Constraints: 232075
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 42000 | #Constraints: 228896
2880.08/2888.12 c #Conflicts: 43000 | #Constraints: 229896
2880.08/2888.12 c #Conflicts: 44000 | #Constraints: 230896
2880.08/2888.12 c #Conflicts: 45000 | #Constraints: 231896
2880.08/2888.12 c #Conflicts: 46000 | #Constraints: 232896
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 47000 | #Constraints: 229488
2880.08/2888.12 c #Conflicts: 48000 | #Constraints: 230488
2880.08/2888.12 c #Conflicts: 49000 | #Constraints: 231488
2880.08/2888.12 c #Conflicts: 50000 | #Constraints: 232488
2880.08/2888.12 c #Conflicts: 51000 | #Constraints: 233488
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 52000 | #Constraints: 229910
2880.08/2888.12 c #Conflicts: 53000 | #Constraints: 230910
2880.08/2888.12 c #Conflicts: 54000 | #Constraints: 231910
2880.08/2888.12 c #Conflicts: 55000 | #Constraints: 232910
2880.08/2888.12 c #Conflicts: 56000 | #Constraints: 233910
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 57000 | #Constraints: 230128
2880.08/2888.12 c #Conflicts: 58000 | #Constraints: 231128
2880.08/2888.12 c #Conflicts: 59000 | #Constraints: 232128
2880.08/2888.12 c #Conflicts: 60000 | #Constraints: 233128
2880.08/2888.12 c #Conflicts: 61000 | #Constraints: 234128
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 62000 | #Constraints: 230162
2880.08/2888.12 c #Conflicts: 63000 | #Constraints: 231162
2880.08/2888.12 c #Conflicts: 64000 | #Constraints: 232162
2880.08/2888.12 c #Conflicts: 65000 | #Constraints: 233162
2880.08/2888.12 c #Conflicts: 66000 | #Constraints: 234162
2880.08/2888.12 c INPROCESSING
2880.08/2888.12 c GARBAGE COLLECT
2880.08/2888.12 c #Conflicts: 67000 | #Constraints: 229995
3600.05/3609.90 c #Conflicts: 68000 | #Constraints: 230995
3600.05/3609.90 c #Conflicts: 69000 | #Constraints: 231995
3600.05/3609.90 c #Conflicts: 70000 | #Constraints: 232995
3600.05/3609.90 c #Conflicts: 71000 | #Constraints: 233995
3600.05/3609.90 c #Conflicts: 72000 | #Constraints: 234995
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 73000 | #Constraints: 230583
3600.05/3609.90 c #Conflicts: 74000 | #Constraints: 231583
3600.05/3609.90 c #Conflicts: 75000 | #Constraints: 232583
3600.05/3609.90 c #Conflicts: 76000 | #Constraints: 233583
3600.05/3609.90 c #Conflicts: 77000 | #Constraints: 234583
3600.05/3609.90 c #Conflicts: 78000 | #Constraints: 235583
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 79000 | #Constraints: 230990
3600.05/3609.90 c #Conflicts: 80000 | #Constraints: 231990
3600.05/3609.90 c #Conflicts: 81000 | #Constraints: 232990
3600.05/3609.90 c #Conflicts: 82000 | #Constraints: 233990
3600.05/3609.90 c #Conflicts: 83000 | #Constraints: 234990
3600.05/3609.90 c #Conflicts: 84000 | #Constraints: 235990
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 85000 | #Constraints: 231174
3600.05/3609.90 c #Conflicts: 86000 | #Constraints: 232174
3600.05/3609.90 c #Conflicts: 87000 | #Constraints: 233174
3600.05/3609.90 c #Conflicts: 88000 | #Constraints: 234174
3600.05/3609.90 c Program interrupted by user.
3600.05/3609.90 c cpu time 3595.04 s
3600.05/3609.90 c deterministic time 71952622348 7.20e+10
3600.05/3609.90 c optimization time 110.197 s
3600.05/3609.90 c total solve time 3174.05 s
3600.05/3609.90 c core-guided solve time 3174.05 s
3600.05/3609.90 c propagation time 557.293 s
3600.05/3609.90 c conflict analysis time 2631.95 s
3600.05/3609.90 c propagations 1286852194
3600.05/3609.90 c resolve steps 10146336
3600.05/3609.90 c decisions 4225238
3600.05/3609.90 c conflicts 88075
3600.05/3609.90 c restarts 253
3600.05/3609.90 c inprocessing phases 21
3600.05/3609.90 c input clauses 229026
3600.05/3609.90 c input cardinalities 1086
3600.05/3609.90 c input general constraints 2
3600.05/3609.90 c input average constraint length 5.96
3600.05/3609.90 c input average constraint degree 18.05
3600.05/3609.90 c learned clauses 30281
3600.05/3609.90 c learned cardinalities 3298
3600.05/3609.90 c learned general constraints 54495
3600.05/3609.90 c learned average constraint length 9318.93
3600.05/3609.90 c learned average constraint degree 2797216136.52
3600.05/3609.90 c watched constraints 17723
3600.05/3609.90 c counting constraints 36774
3600.05/3609.90 c gcd simplifications 194
3600.05/3609.90 c detected cardinalities 26
3600.05/3609.90 c weakened non-implied lits 686332463
3600.05/3609.90 c weakened non-implying lits 115636
3600.05/3609.90 c original variables 400896
3600.05/3609.90 c clausal propagations 349586653
3600.05/3609.90 c cardinality propagations 772316145
3600.05/3609.90 c watched propagations 7293460
3600.05/3609.90 c counting propagations 151027596
3600.05/3609.90 c watch lookups 5524596670
3600.05/3609.90 c watch backjump lookups 5114113294
3600.05/3609.90 c watch checks 15370576503
3600.05/3609.90 c propagation checks 40005018145
3600.05/3609.90 c constraint additions 3356291788
3600.05/3609.90 c trail pops 1290948515
3600.05/3609.90 c formula constraints 230112
3600.05/3609.90 c learned constraints 88074
3600.05/3609.90 c bound constraints 2
3600.05/3609.90 c core-guided constraints 0
3600.05/3609.90 c encountered formula constraints 9787786
3600.05/3609.90 c encountered learned constraints 446625
3600.05/3609.90 c encountered bound constraints 0
3600.05/3609.90 c encountered core-guided constraints 0
3600.05/3609.90 c LP total time 0 s
3600.05/3609.90 c LP solve time 0 s
3600.05/3609.90 c LP constraints added 0
3600.05/3609.90 c LP constraints removed 0
3600.05/3609.90 c LP pivots internal 0
3600.05/3609.90 c LP pivots root 0
3600.05/3609.90 c LP calls 0
3600.05/3609.90 c LP optimalities 0
3600.05/3609.90 c LP no pivot count 0
3600.05/3609.90 c LP infeasibilities 0
3600.05/3609.90 c LP valid Farkas constraints 0
3600.05/3609.90 c LP learned Farkas constraints 0
3600.05/3609.90 c LP basis resets 0
3600.05/3609.90 c LP cycling count 0
3600.05/3609.90 c LP singular count 0
3600.05/3609.90 c LP no primal count 0
3600.05/3609.90 c LP no farkas count 0
3600.05/3609.90 c LP other issue count 0
3600.05/3609.90 c LP Gomory cuts 0
3600.05/3609.90 c LP learned cuts 0
3600.05/3609.90 c LP deleted cuts 0
3600.05/3609.90 c LP encountered Gomory constraints 0
3600.05/3609.90 c LP encountered Farkas constraints 0
3600.05/3609.90 c LP encountered learned Farkas constraints 0
3600.05/3609.90 c CG auxiliary variables introduced 0
3600.05/3609.90 c CG solutions found 0
3600.05/3609.90 c CG cores constructed 1
3600.05/3609.90 c CG core cardinality constraints returned 1
3600.05/3609.90 c CG unit cores 0
3600.05/3609.90 c CG single cores 1
3600.05/3609.90 c CG blocks removed during cardinality reduction 19
3600.05/3609.90 c CG first core best 0
3600.05/3609.90 c CG decision core best 0
3600.05/3609.90 c CG core reduction tie 0
3600.05/3609.90 c CG core degree average 332.00
3600.05/3609.90 c CG core slack average 24.00
3600.05/3609.90 c CG exhausted 0
3600.05/3609.90 c CG exhaust time 0 s
3600.05/3609.90 c CG trimmed 0
3600.05/3609.90 c CG trim time 0.011963 s
3600.05/3609.90 c CG minimized 0
3600.05/3609.90 c CG minimize time 0 s
3600.05/3609.90 c CG am1 prop time 0.001272 s
3600.05/3609.90 c CG # am1s reformulated 0
3600.05/3609.90 c CG lower bound derived from am1s 0
3600.05/3609.90 c CG # clausal cores 0
3600.05/3609.90 c CG # cardinality cores 0
3600.05/3609.90 c CG # pb cores 1
3600.05/3609.90 c CG # pb reforms 0
3600.05/3609.90 c CG # cores discarded because of pb reform 0
3600.05/3609.90 d LOWERBOUND -626815
3600.05/3609.90 d NCORES 1
3600.05/3609.90 d NPBCORES 1
3600.05/3609.90 d NPBREFORM 0
3600.05/3609.90 d NTRIMMED 0
3600.05/3609.90 d NEXHAUSTED 0
3600.05/3609.90 d NAM1S 0
3600.05/3609.90 d AM1LB 0
3600.05/3609.90 c [Papilo Statistics]
3600.05/3609.90 c prepro time 8.96875s
3600.05/3609.90 c # tsx applied 173028
3600.05/3609.90 c # tsx conflicts 115
3600.05/3609.90 c # bound changes 171941
3600.05/3609.90 c # side changes 1978
3600.05/3609.90 c # coef changes 1
3600.05/3609.90 c # rounds 5
3600.05/3609.90 c # deted vars 171942
3600.05/3609.90 c # deted constrs 173736
3600.05/3609.90 c # consecutive rounds of only bound changes 0
3600.05/3609.93 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 (43377 MiB free)
memory of node 1: 64465 MiB (63342 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506173-1751495412/watcher-4506173-1751495412 -o /tmp/evaluation-result-4506173-1751495412/solver-4506173-1751495412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751491800-63925 --watchdog 3760 mixed-bag HOME/instance-4506173-1751495412.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=64327, runsolver pid=64324
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 64328
/proc/meminfo: memFree=109184140/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=181728 memory=92120 CPUtime=0.07 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 14999 0 0 0 4 3 0 0 20 0 1 0 65218754 186089472 23030 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 45432 23030 2144 2842 0 27665 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 181728 KiB
Current children cumulated memory: 92120 KiB
[startup+0.205588 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 64328
/proc/meminfo: memFree=109171852/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=187872 memory=99072 CPUtime=0.18 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 16250 0 0 0 14 4 0 0 20 0 1 0 65218754 192380928 24768 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 46968 24768 2144 2842 0 29201 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 187872 KiB
Current children cumulated memory: 99072 KiB
[startup+0.305581 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 64328
/proc/meminfo: memFree=109135116/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=196064 memory=103428 CPUtime=0.28 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 16810 0 0 0 24 4 0 0 20 0 1 0 65218754 200769536 25857 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 49016 25857 2144 2842 0 31249 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 196064 KiB
Current children cumulated memory: 103428 KiB
[startup+0.700174 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 64328
/proc/meminfo: memFree=109098252/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=212448 memory=127472 CPUtime=0.67 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 17731 0 0 0 62 5 0 0 20 0 1 0 65218754 217546752 31868 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 53112 31868 2144 2842 0 35345 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 212448 KiB
Current children cumulated memory: 127472 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 64328
/proc/meminfo: memFree=117397284/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=245216 memory=172700 CPUtime=1.47 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 18825 0 0 0 140 7 0 0 20 0 1 0 65218754 251101184 43175 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 61304 43175 2144 2842 0 43537 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 245216 KiB
Current children cumulated memory: 172700 KiB
[startup+3.10573 s]
/proc/loadavg: 4.17 4.12 4.09 5/266 64373
/proc/meminfo: memFree=126359724/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=706168 memory=558992 CPUtime=3.07 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 44010 0 0 0 284 23 0 0 20 0 1 0 65218754 723116032 139748 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 176542 139748 2272 2842 0 158236 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 706168 KiB
Current children cumulated memory: 558992 KiB
[startup+6.30017 s]
/proc/loadavg: 4.17 4.12 4.09 5/266 64373
/proc/meminfo: memFree=125892272/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=706168 memory=558992 CPUtime=6.26 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 44046 0 0 0 603 23 0 0 20 0 1 0 65218754 723116032 139748 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 176542 139748 2272 2842 0 158236 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 706168 KiB
Current children cumulated memory: 558992 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 64373
/proc/meminfo: memFree=124283076/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=1480176 memory=1318416 CPUtime=12.63 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 244787 0 0 0 1209 54 0 0 20 0 1 0 65218754 1515700224 329604 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 370044 329604 4032 2842 0 351738 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1480176 KiB
Current children cumulated memory: 1318416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 64374
/proc/meminfo: memFree=119335396/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=2074572 memory=1889504 CPUtime=25.39 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 347352 0 0 0 2462 77 0 0 20 0 1 0 65218754 2124361728 472376 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 518643 472376 4064 2842 0 500337 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2074572 KiB
Current children cumulated memory: 1889504 KiB
[startup+51.1055 s]
/proc/loadavg: 4.29 4.15 4.10 5/266 64375
/proc/meminfo: memFree=117888176/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=2090252 memory=1904996 CPUtime=50.91 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 349208 0 0 0 5013 78 0 0 20 0 1 0 65218754 2140418048 476249 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 522563 476249 4064 2842 0 504257 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2090252 KiB
Current children cumulated memory: 1904996 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/266 64377
/proc/meminfo: memFree=117306080/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=2792832 memory=2504428 CPUtime=101.92 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 444644 0 0 0 10094 98 0 0 20 0 1 0 65218754 2859859968 626107 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 698208 626107 4096 2842 0 679902 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2792832 KiB
Current children cumulated memory: 2504428 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/266 64379
/proc/meminfo: memFree=115988652/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=2880556 memory=2592736 CPUtime=161.71 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 452728 0 0 0 16070 101 0 0 20 0 1 0 65218754 2949689344 648184 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 720139 648184 4128 2842 0 701833 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2880556 KiB
Current children cumulated memory: 2592736 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 64383
/proc/meminfo: memFree=113325356/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=2880556 memory=2592736 CPUtime=221.48 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 452843 0 0 0 22047 101 0 0 20 0 1 0 65218754 2949689344 648184 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 720139 648184 4128 2842 0 701833 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 2880556 KiB
Current children cumulated memory: 2592736 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 64386
/proc/meminfo: memFree=113033864/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3069976 memory=2747864 CPUtime=281.25 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 477271 0 0 0 28019 106 0 0 20 0 1 0 65218754 3143655424 686966 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 767494 686966 4256 2842 0 749188 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 3069976 KiB
Current children cumulated memory: 2747864 KiB
[startup+342.3 s]
/proc/loadavg: 4.45 4.20 4.12 5/264 64389
/proc/meminfo: memFree=114163548/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=2710048 memory=2522836 CPUtime=341.04 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 482148 0 0 0 33974 130 0 0 20 0 1 0 65218754 2775089152 630709 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 677512 630709 4416 2842 0 659206 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 2710048 KiB
Current children cumulated memory: 2522836 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/264 64391
/proc/meminfo: memFree=106716796/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=2842308 memory=2636836 CPUtime=400.85 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 483556 0 0 0 39942 143 0 0 20 0 1 0 65218754 2910523392 659209 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 710577 659209 4416 2842 0 692271 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 2842308 KiB
Current children cumulated memory: 2636836 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/264 64393
/proc/meminfo: memFree=100657748/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=2842308 memory=2653444 CPUtime=460.67 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 483689 0 0 0 45912 155 0 0 20 0 1 0 65218754 2910523392 663361 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 710577 663361 4416 2842 0 692271 0
Current children cumulated CPU time: 460.67 s
################
# More data... #
################
Current children cumulated memory: 3051956 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 64760
/proc/meminfo: memFree=114183932/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3086932 CPUtime=2914.18 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 488215 0 0 0 290976 442 0 0 20 0 1 0 65218754 3488235520 771733 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 771733 4416 2842 0 833314 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3086932 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/263 64762
/proc/meminfo: memFree=114179464/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3086932 CPUtime=2974.03 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 488221 0 0 0 296954 449 0 0 20 0 1 0 65218754 3488235520 771733 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 771733 4416 2842 0 833314 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3086932 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 64765
/proc/meminfo: memFree=114179256/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3086932 CPUtime=3033.88 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 488224 0 0 0 302934 454 0 0 20 0 1 0 65218754 3488235520 771733 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 771733 4416 2842 0 833314 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3086932 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 64767
/proc/meminfo: memFree=114179428/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3087700 CPUtime=3093.73 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 488231 0 0 0 308915 458 0 0 20 0 1 0 65218754 3488235520 771925 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 771925 4416 2842 0 833314 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3087700 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 64774
/proc/meminfo: memFree=114185304/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3087956 CPUtime=3153.58 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 488665 0 0 0 314896 462 0 0 20 0 1 0 65218754 3488235520 771989 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 771989 4416 2842 0 833314 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3087956 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 64778
/proc/meminfo: memFree=114191640/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3088212 CPUtime=3213.42 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 488722 0 0 0 320874 468 0 0 20 0 1 0 65218754 3488235520 772053 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772053 4416 2842 0 833314 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3088212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 64780
/proc/meminfo: memFree=114180056/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3088212 CPUtime=3273.26 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 488726 0 0 0 326852 474 0 0 20 0 1 0 65218754 3488235520 772053 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772053 4416 2842 0 833314 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3088212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 64784
/proc/meminfo: memFree=114182256/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3088212 CPUtime=3333.12 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 488726 0 0 0 332835 477 0 0 20 0 1 0 65218754 3488235520 772053 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772053 4416 2842 0 833314 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3088212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 64785
/proc/meminfo: memFree=114178084/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3088980 CPUtime=3392.97 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 489125 0 0 0 338818 479 0 0 20 0 1 0 65218754 3488235520 772245 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772245 4416 2842 0 833314 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3088980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 64787
/proc/meminfo: memFree=114178664/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3088980 CPUtime=3452.82 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 489248 0 0 0 344792 490 0 0 20 0 1 0 65218754 3488235520 772245 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772245 4416 2842 0 833314 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3088980 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 64789
/proc/meminfo: memFree=114192848/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3088980 CPUtime=3512.67 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 489255 0 0 0 350772 495 0 0 20 0 1 0 65218754 3488235520 772245 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772245 4416 2842 0 833314 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3088980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/263 64792
/proc/meminfo: memFree=114189236/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3090900 CPUtime=3572.51 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 489255 0 0 0 356753 498 0 0 20 0 1 0 65218754 3488235520 772725 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772725 4416 2842 0 833314 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3090900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.11 4.11 4.09 6/263 64794
/proc/meminfo: memFree=114198764/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3090900 CPUtime=3600.05 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 489255 0 0 0 359504 501 0 0 20 0 1 0 65218754 3488235520 772725 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772725 4416 2842 0 833314 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3090900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.96 s]
# the end of solver process 64327 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.08 s, system=5.03815 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.11 4.11 4.09 6/263 64794
/proc/meminfo: memFree=114198764/131250000 swapFree=33007332/33010684
[pid=64327] ppid=64324 vsize=3406480 memory=3090900 CPUtime=3600.05 cores=5,7
/proc/64327/stat : 64327 (mixed-bag) R 64324 64327 63907 0 -1 4194304 489255 0 0 0 359504 501 0 0 20 0 1 0 65218754 3488235520 772725 18446744073709551615 4235264 15874749 140727852082800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39399424 140727852087708 140727852087785 140727852087785 140727852093387 0
/proc/64327/statm: 851620 772725 4416 2842 0 833314 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3406480 KiB
Current children cumulated memory: 3090900 KiB
Child status: 0
Real time (s): 3609.96
CPU time (s): 3600.12
CPU user time (s): 3595.08
CPU system time (s): 5.03815
CPU usage (%): 99.7273
Max. virtual memory (cumulated for all children) (KiB): 3406480
Max. memory (cumulated for all children) (KiB): 3090900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.08
system time used= 5.03815
maximum resident set size= 3091540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489309
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= 150
involuntary context switches= 3609
# summary of solver processes directly reported to runsolver:
# pid: 64327
# total CPU time (s): 3600.12
# total CPU user time (s): 3595.08
# total CPU system time (s): 5.03815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.86685 second user time and 12.7589 second system time
The end
Begin job on nodeC019 at 2025-07-03 00:30:12
IDJOB=4506173
IDBENCH=157883
IDSOLVER=3340
FILE ID=nodeC019/4506173-1751495412
RUNJOBID= nodeC019-1751491800-63925
SLURM_JOB_ID= 9598556
Free space on /tmp= 431584 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4506173-1751495412/watcher-4506173-1751495412 -o /tmp/evaluation-result-4506173-1751495412/solver-4506173-1751495412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751491800-63925 --watchdog 3760 mixed-bag HOME/instance-4506173-1751495412.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3cfe8ea012dcc17418564c57acaec44c
RANDOM SEED=1658907163
nodeC019 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.660
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.37
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.655
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.37
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 : 3599.832
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.37
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 : 3514.779
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.37
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.670
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.37
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 : 3515.234
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.37
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 : 3700.000
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.37
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 : 3599.700
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 109289148 kB
MemAvailable: 110813748 kB
Buffers: 904 kB
Cached: 2328624 kB
SwapCached: 440 kB
Active: 19154424 kB
Inactive: 2183140 kB
Active(anon): 18995460 kB
Inactive(anon): 27772 kB
Active(file): 158964 kB
Inactive(file): 2155368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 133212 kB
Writeback: 0 kB
AnonPages: 19009648 kB
Mapped: 121808 kB
Shmem: 15192 kB
KReclaimable: 99012 kB
Slab: 186928 kB
SReclaimable: 99012 kB
SUnreclaim: 87916 kB
KernelStack: 4288 kB
PageTables: 41220 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 20738096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1425408 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431496 MiB
End job on nodeC019 at 2025-07-03 01:30:23