0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.04 c [STEP] solving
0.00/0.04 c #variables 7287 #constraints 595
0.00/0.04 c SMALL=long long, LARGE=int128
0.00/0.04 c bounds - >= 0 @ 0.04047
0.00/0.04 c stratification level: 0
3600.10/3610.00 c bounds - >= 1073741825 @ 0.04601
3600.10/3610.00 c bounds - >= 1073807360 @ 0.049131
3600.10/3610.00 c bounds - >= 1073823744 @ 0.053733
3600.10/3610.00 c bounds - >= 1073825792 @ 0.05805
3600.10/3610.00 c bounds - >= 1073826816 @ 0.06321
3600.10/3610.00 c bounds - >= 1073826944 @ 0.066297
3600.10/3610.00 c bounds - >= 1073827008 @ 0.071344
3600.10/3610.00 c bounds - >= 1073827016 @ 0.075744
3600.10/3610.00 c bounds - >= 1073827018 @ 0.08001
3600.10/3610.00 c bounds - >= 1073840128 @ 0.086615
3600.10/3610.00 c bounds - >= 1073872896 @ 0.092895
3600.10/3610.00 c bounds - >= 1073872902 @ 0.103045
3600.10/3610.00 c bounds - >= 1073872918 @ 0.105966
3600.10/3610.00 c bounds - >= 1073872920 @ 0.108774
3600.10/3610.00 c bounds - >= 1073872950 @ 0.114657
3600.10/3610.00 c bounds - >= 1073873206 @ 0.124479
3600.10/3610.00 c bounds - >= 1073873718 @ 0.125974
3600.10/3610.00 c bounds - >= 1073877814 @ 0.128834
3600.10/3610.00 c bounds - >= 1074003968 @ 0.162996
3600.10/3610.00 c bounds - >= 1074266112 @ 0.473348
3600.10/3610.00 c #Conflicts: 1000 | #Constraints: 1618
3600.10/3610.00 c #Conflicts: 2000 | #Constraints: 2618
3600.10/3610.00 c INPROCESSING
3600.10/3610.00 c #Conflicts: 3000 | #Constraints: 3505
3600.10/3610.00 c #Conflicts: 4000 | #Constraints: 4505
3600.10/3610.00 c bounds - >= 1074790400 @ 113.116
3600.10/3610.00 c #Conflicts: 5000 | #Constraints: 5506
3600.10/3610.00 c #Conflicts: 6000 | #Constraints: 6506
3600.10/3610.00 c INPROCESSING
3600.10/3610.00 c #Conflicts: 7000 | #Constraints: 7401
3600.10/3610.00 c #Conflicts: 8000 | #Constraints: 8401
3600.10/3610.00 c #Conflicts: 9000 | #Constraints: 9401
3600.10/3610.00 c #Conflicts: 10000 | #Constraints: 10401
3600.10/3610.00 c #Conflicts: 11000 | #Constraints: 11401
3600.10/3610.00 c #Conflicts: 12000 | #Constraints: 12401
3600.10/3610.00 c INPROCESSING
3600.10/3610.00 c #Conflicts: 13000 | #Constraints: 12213
3600.10/3610.00 c #Conflicts: 14000 | #Constraints: 13213
3600.10/3610.00 c #Conflicts: 15000 | #Constraints: 14213
3600.10/3610.00 c #Conflicts: 16000 | #Constraints: 15213
3600.10/3610.00 c #Conflicts: 17000 | #Constraints: 16213
3600.10/3610.00 c #Conflicts: 18000 | #Constraints: 17213
3600.10/3610.00 c #Conflicts: 19000 | #Constraints: 18213
3600.10/3610.00 c #Conflicts: 20000 | #Constraints: 19213
3600.10/3610.00 c INPROCESSING
3600.10/3610.00 c #Conflicts: 21000 | #Constraints: 19380
3600.10/3610.00 c #Conflicts: 22000 | #Constraints: 20380
3600.10/3610.00 c #Conflicts: 23000 | #Constraints: 21380
3600.10/3610.00 c #Conflicts: 24000 | #Constraints: 22380
3600.10/3610.00 c #Conflicts: 25000 | #Constraints: 23380
3600.10/3610.00 c #Conflicts: 26000 | #Constraints: 24380
3600.10/3610.00 c #Conflicts: 27000 | #Constraints: 25380
3600.10/3610.00 c #Conflicts: 28000 | #Constraints: 26380
3600.10/3610.00 c Program interrupted by user.
3600.10/3610.00 c cpu time 3515.27 s
3600.10/3610.00 c deterministic time 280674006672 2.81e+11
3600.10/3610.00 c optimization time 1745.43 s
3600.10/3610.00 c total solve time 1769.8 s
3600.10/3610.00 c core-guided solve time 1769.8 s
3600.10/3610.00 c propagation time 3366.08 s
3600.10/3610.00 c conflict analysis time 71.356 s
3600.10/3610.00 c propagations 59074923
3600.10/3610.00 c resolve steps 81377
3600.10/3610.00 c decisions 104678538
3600.10/3610.00 c conflicts 28252
3600.10/3610.00 c restarts 100
3600.10/3610.00 c inprocessing phases 4
3600.10/3610.00 c input clauses 2
3600.10/3610.00 c input cardinalities 420
3600.10/3610.00 c input general constraints 195
3600.10/3610.00 c input average constraint length 252.43
3600.10/3610.00 c input average constraint degree 513330028903.65
3600.10/3610.00 c learned clauses 60
3600.10/3610.00 c learned cardinalities 8
3600.10/3610.00 c learned general constraints 28187
3600.10/3610.00 c learned average constraint length 5756.58
3600.10/3610.00 c learned average constraint degree 634442189.26
3600.10/3610.00 c watched constraints 25466
3600.10/3610.00 c counting constraints 2916
3600.10/3610.00 c gcd simplifications 299
3600.10/3610.00 c detected cardinalities 8
3600.10/3610.00 c weakened non-implied lits 188589
3600.10/3610.00 c weakened non-implying lits 794
3600.10/3610.00 c original variables 7287
3600.10/3610.00 c clausal propagations 19820
3600.10/3610.00 c cardinality propagations 1027027
3600.10/3610.00 c watched propagations 41076183
3600.10/3610.00 c counting propagations 16780744
3600.10/3610.00 c watch lookups 50953297232
3600.10/3610.00 c watch backjump lookups 50901064267
3600.10/3610.00 c watch checks 107211725658
3600.10/3610.00 c propagation checks 70811660274
3600.10/3610.00 c constraint additions 468728035
3600.10/3610.00 c trail pops 163777744
3600.10/3610.00 c formula constraints 595
3600.10/3610.00 c learned constraints 28255
3600.10/3610.00 c bound constraints 21
3600.10/3610.00 c core-guided constraints 1
3600.10/3610.00 c encountered formula constraints 31250
3600.10/3610.00 c encountered learned constraints 78380
3600.10/3610.00 c encountered bound constraints 0
3600.10/3610.00 c encountered core-guided constraints 0
3600.10/3610.00 c LP total time 0 s
3600.10/3610.00 c LP solve time 0 s
3600.10/3610.00 c LP constraints added 0
3600.10/3610.00 c LP constraints removed 0
3600.10/3610.00 c LP pivots internal 0
3600.10/3610.00 c LP pivots root 0
3600.10/3610.00 c LP calls 0
3600.10/3610.00 c LP optimalities 0
3600.10/3610.00 c LP no pivot count 0
3600.10/3610.00 c LP infeasibilities 0
3600.10/3610.00 c LP valid Farkas constraints 0
3600.10/3610.00 c LP learned Farkas constraints 0
3600.10/3610.00 c LP basis resets 0
3600.10/3610.00 c LP cycling count 0
3600.10/3610.00 c LP singular count 0
3600.10/3610.00 c LP no primal count 0
3600.10/3610.00 c LP no farkas count 0
3600.10/3610.00 c LP other issue count 0
3600.10/3610.00 c LP Gomory cuts 0
3600.10/3610.00 c LP learned cuts 0
3600.10/3610.00 c LP deleted cuts 0
3600.10/3610.00 c LP encountered Gomory constraints 0
3600.10/3610.00 c LP encountered Farkas constraints 0
3600.10/3610.00 c LP encountered learned Farkas constraints 0
3600.10/3610.00 c CG auxiliary variables introduced 0
3600.10/3610.00 c CG solutions found 0
3600.10/3610.00 c CG cores constructed 21
3600.10/3610.00 c CG core cardinality constraints returned 0
3600.10/3610.00 c CG unit cores 0
3600.10/3610.00 c CG single cores 18
3600.10/3610.00 c CG blocks removed during cardinality reduction 16
3600.10/3610.00 c CG first core best 0
3600.10/3610.00 c CG decision core best 1
3600.10/3610.00 c CG core reduction tie 2
3600.10/3610.00 c CG core degree average 1.00
3600.10/3610.00 c CG core slack average 14.67
3600.10/3610.00 c CG exhausted 0
3600.10/3610.00 c CG exhaust time 0 s
3600.10/3610.00 c CG trimmed 0
3600.10/3610.00 c CG trim time 0.050975 s
3600.10/3610.00 c CG minimized 0
3600.10/3610.00 c CG minimize time 0 s
3600.10/3610.00 c CG am1 prop time 0.000431 s
3600.10/3610.00 c CG # am1s reformulated 0
3600.10/3610.00 c CG lower bound derived from am1s 0
3600.10/3610.00 c CG # clausal cores 19
3600.10/3610.00 c CG # cardinality cores 0
3600.10/3610.00 c CG # pb cores 5
3600.10/3610.00 c CG # pb reforms 0
3600.10/3610.00 c CG # cores discarded because of pb reform 0
3600.10/3610.00 d LOWERBOUND 1074790400
3600.10/3610.00 d NCORES 21
3600.10/3610.00 d NPBCORES 5
3600.10/3610.00 d NPBREFORM 0
3600.10/3610.00 d NTRIMMED 0
3600.10/3610.00 d NEXHAUSTED 0
3600.10/3610.00 d NAM1S 0
3600.10/3610.00 d AM1LB 0
3600.10/3610.01 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: 63931 MiB (59878 MiB free)
memory of node 1: 64510 MiB (60627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454236-1721441284/watcher-4454236-1721441284 -o /tmp/evaluation-result-4454236-1721441284/solver-4454236-1721441284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063214 --watchdog 3760 pb-oll-rs HOME/instance-4454236-1721441284.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1067302, runsolver pid=1067299
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.19 4.12 4.10 5/256 1067316
/proc/meminfo: memFree=123367344/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=44120 memory=13296 CPUtime=0.09 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 2498 0 0 0 9 0 0 0 20 0 1 0 196293749 45178880 3324 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 11030 3324 1439 291 0 2564 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44120 KiB
Current children cumulated memory: 13296 KiB
[startup+0.205406 s]*
/proc/loadavg: 4.19 4.12 4.10 5/256 1067316
/proc/meminfo: memFree=123345596/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=46656 memory=17716 CPUtime=0.2 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 3155 0 0 0 19 1 0 0 20 0 1 0 196293749 47775744 4429 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 11664 4429 1439 291 0 3198 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46656 KiB
Current children cumulated memory: 17716 KiB
[startup+0.305687 s]*
/proc/loadavg: 4.19 4.12 4.10 5/256 1067316
/proc/meminfo: memFree=123335976/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=51844 memory=20964 CPUtime=0.3 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 3924 0 0 0 27 3 0 0 20 0 1 0 196293749 53088256 5241 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 12961 5241 1439 291 0 4495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51844 KiB
Current children cumulated memory: 20964 KiB
[startup+0.700221 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 1067316
/proc/meminfo: memFree=123327096/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=62924 memory=33192 CPUtime=0.68 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 5980 0 0 0 58 10 0 0 20 0 1 0 196293749 64434176 8298 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 15731 8298 1439 291 0 7265 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62924 KiB
Current children cumulated memory: 33192 KiB
[startup+1.50023 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 1067316
/proc/meminfo: memFree=123314964/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=82516 memory=49752 CPUtime=1.49 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 9570 0 0 0 115 34 0 0 20 0 1 0 196293749 84496384 12438 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 20629 12438 1439 291 0 12163 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 82516 KiB
Current children cumulated memory: 49752 KiB
[startup+3.10548 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 1067316
/proc/meminfo: memFree=123225356/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=95704 memory=61076 CPUtime=3.09 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 10378 0 0 0 246 63 0 0 20 0 1 0 196293749 98000896 15269 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 23926 15269 1439 291 0 15460 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 95704 KiB
Current children cumulated memory: 61076 KiB
[startup+6.30023 s]
/proc/loadavg: 4.17 4.12 4.10 5/256 1067362
/proc/meminfo: memFree=123177712/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=141172 memory=101836 CPUtime=6.28 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 17540 0 0 0 511 117 0 0 20 0 1 0 196293749 144560128 25459 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 35293 25459 1439 291 0 26827 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 141172 KiB
Current children cumulated memory: 101836 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 1067363
/proc/meminfo: memFree=123012264/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=223872 memory=167388 CPUtime=12.65 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 29348 0 0 0 1101 164 0 0 20 0 1 0 196293749 229244928 41847 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 55968 41847 1439 291 0 47502 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223872 KiB
Current children cumulated memory: 167388 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 1067365
/proc/meminfo: memFree=122853224/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=277876 memory=207304 CPUtime=25.42 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 32655 0 0 0 2281 261 0 0 20 0 1 0 196293749 284545024 51826 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 69469 51826 1439 291 0 61003 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 277876 KiB
Current children cumulated memory: 207304 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 1067369
/proc/meminfo: memFree=122655872/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=465688 memory=336900 CPUtime=50.95 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 54899 0 0 0 4721 374 0 0 20 0 1 0 196293749 476864512 84225 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 116422 84225 1439 291 0 107956 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 465688 KiB
Current children cumulated memory: 336900 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 1067379
/proc/meminfo: memFree=122384096/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=482508 memory=434096 CPUtime=101.99 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 62919 0 0 0 9735 464 0 0 20 0 1 0 196293749 494088192 108524 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 120627 108524 1439 291 0 112161 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 482508 KiB
Current children cumulated memory: 434096 KiB
[startup+162.3 s]
/proc/loadavg: 4.36 4.20 4.12 5/259 1067397
/proc/meminfo: memFree=121995128/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=812192 memory=648964 CPUtime=161.81 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 99792 0 0 0 15279 902 0 0 20 0 1 0 196293749 831684608 162241 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 203048 162241 1439 291 0 194582 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 812192 KiB
Current children cumulated memory: 648964 KiB
[startup+222.3 s]
/proc/loadavg: 4.60 4.28 4.15 5/259 1067407
/proc/meminfo: memFree=121804568/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=818144 memory=738312 CPUtime=221.63 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 107889 0 0 0 20821 1342 0 0 20 0 1 0 196293749 837779456 184578 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 204536 184578 1439 291 0 196070 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 818144 KiB
Current children cumulated memory: 738312 KiB
[startup+282.3 s]
/proc/loadavg: 4.59 4.34 4.18 5/259 1067420
/proc/meminfo: memFree=121716264/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=1036336 memory=815944 CPUtime=281.45 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 115113 0 0 0 26502 1643 0 0 20 0 1 0 196293749 1061208064 203986 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 259084 203986 1439 291 0 250618 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1036336 KiB
Current children cumulated memory: 815944 KiB
[startup+342.3 s]
/proc/loadavg: 4.62 4.40 4.21 5/258 1067432
/proc/meminfo: memFree=121407000/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=1387932 memory=1056820 CPUtime=341.28 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 165189 0 0 0 32245 1883 0 0 20 0 1 0 196293749 1421242368 264205 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 346983 264205 1439 291 0 338517 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 1387932 KiB
Current children cumulated memory: 1056820 KiB
[startup+402.3 s]
/proc/loadavg: 4.56 4.42 4.23 5/258 1067443
/proc/meminfo: memFree=121250432/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=1436320 memory=1132484 CPUtime=401.1 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 175953 0 0 0 37964 2146 0 0 20 0 1 0 196293749 1470791680 283121 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 359080 283121 1439 291 0 350614 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1436320 KiB
Current children cumulated memory: 1132484 KiB
[startup+462.3 s]
/proc/loadavg: 4.32 4.37 4.22 5/255 1067455
/proc/meminfo: memFree=121193320/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=1450916 memory=1184680 CPUtime=460.93 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 182044 0 0 0 43708 2385 0 0 20 0 1 0 196293749 1485737984 296170 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 362729 296170 1439 291 0 354263 0
################
# More data... #
################
Current children cumulated memory: 2835232 KiB
[startup+2862.3 s]
/proc/loadavg: 4.31 4.19 4.14 5/258 1068900
/proc/meminfo: memFree=118143712/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3227524 memory=2847116 CPUtime=2854.3 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 371702 0 0 0 277994 7436 0 0 20 0 1 0 196293749 3304984576 711779 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 806881 711779 1439 291 0 798415 0
Current children cumulated CPU time: 2854.3 s
Current children cumulated vsize: 3227524 KiB
Current children cumulated memory: 2847116 KiB
[startup+2922.3 s]
/proc/loadavg: 4.36 4.22 4.15 5/258 1068911
/proc/meminfo: memFree=118112324/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3228036 memory=2858008 CPUtime=2914.15 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 373097 0 0 0 283889 7526 0 0 20 0 1 0 196293749 3305508864 714502 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 807009 714502 1439 291 0 798543 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 3228036 KiB
Current children cumulated memory: 2858008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.20 4.15 5/258 1068923
/proc/meminfo: memFree=118077512/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3229316 memory=2869244 CPUtime=2973.99 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 374594 0 0 0 289786 7613 0 0 20 0 1 0 196293749 3306819584 717311 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 807329 717311 1439 291 0 798863 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 3229316 KiB
Current children cumulated memory: 2869244 KiB
[startup+3042.3 s]
/proc/loadavg: 4.40 4.24 4.17 5/258 1069101
/proc/meminfo: memFree=118044660/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3230852 memory=2882744 CPUtime=3033.84 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 376054 0 0 0 295698 7686 0 0 20 0 1 0 196293749 3308392448 720686 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 807713 720686 1439 291 0 799247 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 3230852 KiB
Current children cumulated memory: 2882744 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.21 4.16 5/258 1069112
/proc/meminfo: memFree=118025128/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3233668 memory=2894796 CPUtime=3093.68 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 377525 0 0 0 301600 7768 0 0 20 0 1 0 196293749 3311276032 723699 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 808417 723699 1439 291 0 799951 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 3233668 KiB
Current children cumulated memory: 2894796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.19 4.16 5/257 1069126
/proc/meminfo: memFree=118013360/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3234948 memory=2906072 CPUtime=3153.54 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 379025 0 0 0 307495 7859 0 0 20 0 1 0 196293749 3312586752 726518 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 808737 726518 1439 291 0 800271 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 3234948 KiB
Current children cumulated memory: 2906072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.18 4.16 5/258 1069148
/proc/meminfo: memFree=118000356/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3237000 memory=2915660 CPUtime=3213.38 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 380641 0 0 0 313397 7941 0 0 20 0 1 0 196293749 3314688000 728915 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 809250 728915 1439 291 0 800784 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 3237000 KiB
Current children cumulated memory: 2915660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.16 5/258 1069158
/proc/meminfo: memFree=117987128/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3237768 memory=2926656 CPUtime=3273.22 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 382118 0 0 0 319293 8029 0 0 20 0 1 0 196293749 3315474432 731664 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 809442 731664 1439 291 0 800976 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 3237768 KiB
Current children cumulated memory: 2926656 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.15 5/258 1069169
/proc/meminfo: memFree=117972776/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3239816 memory=2938364 CPUtime=3333.08 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 383880 0 0 0 325195 8113 0 0 20 0 1 0 196293749 3317571584 734591 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 809954 734591 1439 291 0 801488 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 3239816 KiB
Current children cumulated memory: 2938364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/258 1069181
/proc/meminfo: memFree=117955796/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3241864 memory=2950068 CPUtime=3392.93 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 385612 0 0 0 331094 8199 0 0 20 0 1 0 196293749 3319668736 737517 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 810466 737517 1439 291 0 802000 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 3241864 KiB
Current children cumulated memory: 2950068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.14 5/256 1069192
/proc/meminfo: memFree=117933056/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3244168 memory=2959840 CPUtime=3452.78 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 387286 0 0 0 336993 8285 0 0 20 0 1 0 196293749 3322028032 739960 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 811042 739960 1439 291 0 802576 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 3244168 KiB
Current children cumulated memory: 2959840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/255 1069202
/proc/meminfo: memFree=117916548/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3245960 memory=2971320 CPUtime=3512.61 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 388884 0 0 0 342891 8370 0 0 20 0 1 0 196293749 3323863040 742830 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 811490 742830 1439 291 0 803024 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 3245960 KiB
Current children cumulated memory: 2971320 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/255 1069213
/proc/meminfo: memFree=117901592/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3247240 memory=2982672 CPUtime=3572.46 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 390459 0 0 0 348799 8447 0 0 20 0 1 0 196293749 3325173760 745668 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 811810 745668 1439 291 0 803344 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 3247240 KiB
Current children cumulated memory: 2982672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.15 4.13 4.13 4/246 1069262
/proc/meminfo: memFree=120227644/131524600 swapFree=131071996/131071996
[pid=1067302] ppid=1067299 vsize=3247752 memory=2987272 CPUtime=3600.1 cores=1,3
/proc/1067302/stat : 1067302 (pb-oll-rs) R 1067299 1067302 1063202 0 -1 4194304 391151 0 0 0 351527 8483 0 0 20 0 1 0 196293749 3325698048 746818 134679101440 4194304 5384485 140734128545168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 12623872 140734128550933 140734128551010 140734128551010 140734128558027 0
/proc/1067302/statm: 811938 746818 1439 291 0 803472 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3247752 KiB
Current children cumulated memory: 2987272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 1067302 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3515.28 s, system=84.8454 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.12
CPU user time (s): 3515.28
CPU system time (s): 84.8454
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 3247752
Max. memory (cumulated for all children) (KiB): 2987272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3515.28
system time used= 84.8454
maximum resident set size= 2987272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391168
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= 260
involuntary context switches= 4649
# summary of solver processes directly reported to runsolver:
# pid: 1067302
# total CPU time (s): 3600.12
# total CPU user time (s): 3515.28
# total CPU system time (s): 84.8454
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39103 second user time and 16.6166 second system time
The end
Begin job on nodeC025 at 2024-07-20 04:08:16
IDJOB=4454236
IDBENCH=146775
IDSOLVER=3082
FILE ID=nodeC025/4454236-1721441284
RUNJOBID= nodeC025-1721434076-1063214
SLURM_JOB_ID= 7545633
Free space on /tmp= 890024 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454236-1721441284/watcher-4454236-1721441284 -o /tmp/evaluation-result-4454236-1721441284/solver-4454236-1721441284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063214 --watchdog 3760 pb-oll-rs HOME/instance-4454236-1721441284.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1ab00a09bce4fe90071f9bd51d0e1c65
RANDOM SEED=1683818205
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.204
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3533.771
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.090
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3595.709
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3670.175
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3633.866
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3600.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3661.611
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123398468 kB
MemAvailable: 129503716 kB
Buffers: 563848 kB
Cached: 6311068 kB
SwapCached: 0 kB
Active: 1144112 kB
Inactive: 6201676 kB
Active(anon): 1552 kB
Inactive(anon): 514900 kB
Active(file): 1142560 kB
Inactive(file): 5686776 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7872 kB
Writeback: 0 kB
AnonPages: 468528 kB
Mapped: 110140 kB
Shmem: 45912 kB
KReclaimable: 231116 kB
Slab: 360460 kB
SReclaimable: 231116 kB
SUnreclaim: 129344 kB
KernelStack: 4024 kB
PageTables: 9972 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 889408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 526336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC025 at 2024-07-20 05:08:27