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.042425
0.00/0.04 c stratification level: 0
3600.01/3608.70 c bounds - >= 1073741825 @ 0.047008
3600.01/3608.70 c bounds - >= 1073807360 @ 0.048923
3600.01/3608.70 c bounds - >= 1073823744 @ 0.053584
3600.01/3608.70 c bounds - >= 1073825792 @ 0.058645
3600.01/3608.70 c bounds - >= 1073826816 @ 0.063082
3600.01/3608.70 c bounds - >= 1073826944 @ 0.06703
3600.01/3608.70 c bounds - >= 1073827008 @ 0.072054
3600.01/3608.70 c bounds - >= 1073827016 @ 0.075923
3600.01/3608.70 c bounds - >= 1073827018 @ 0.079825
3600.01/3608.70 c bounds - >= 1073840128 @ 0.086082
3600.01/3608.70 c bounds - >= 1073872896 @ 0.092026
3600.01/3608.70 c bounds - >= 1073872902 @ 0.102016
3600.01/3608.70 c bounds - >= 1073872918 @ 0.106642
3600.01/3608.70 c bounds - >= 1073872920 @ 0.109595
3600.01/3608.70 c bounds - >= 1073872950 @ 0.115548
3600.01/3608.70 c bounds - >= 1073873206 @ 0.12554
3600.01/3608.70 c bounds - >= 1073873718 @ 0.128006
3600.01/3608.70 c bounds - >= 1073877814 @ 0.130797
3600.01/3608.70 c bounds - >= 1074003968 @ 0.163673
3600.01/3608.70 c bounds - >= 1074266112 @ 0.452042
3600.01/3608.70 c #Conflicts: 1000 | #Constraints: 1618
3600.01/3608.70 c #Conflicts: 2000 | #Constraints: 2618
3600.01/3608.70 c INPROCESSING
3600.01/3608.70 c #Conflicts: 3000 | #Constraints: 3505
3600.01/3608.70 c #Conflicts: 4000 | #Constraints: 4505
3600.01/3608.70 c bounds - >= 1074790400 @ 114.736
3600.01/3608.70 c #Conflicts: 5000 | #Constraints: 5506
3600.01/3608.70 c #Conflicts: 6000 | #Constraints: 6506
3600.01/3608.70 c INPROCESSING
3600.01/3608.70 c #Conflicts: 7000 | #Constraints: 7401
3600.01/3608.70 c #Conflicts: 8000 | #Constraints: 8401
3600.01/3608.70 c #Conflicts: 9000 | #Constraints: 9401
3600.01/3608.70 c #Conflicts: 10000 | #Constraints: 10401
3600.01/3608.70 c #Conflicts: 11000 | #Constraints: 11401
3600.01/3608.70 c #Conflicts: 12000 | #Constraints: 12401
3600.01/3608.70 c INPROCESSING
3600.01/3608.70 c #Conflicts: 13000 | #Constraints: 12213
3600.01/3608.70 c #Conflicts: 14000 | #Constraints: 13213
3600.01/3608.70 c #Conflicts: 15000 | #Constraints: 14213
3600.01/3608.70 c #Conflicts: 16000 | #Constraints: 15213
3600.01/3608.70 c #Conflicts: 17000 | #Constraints: 16213
3600.01/3608.70 c #Conflicts: 18000 | #Constraints: 17213
3600.01/3608.70 c #Conflicts: 19000 | #Constraints: 18213
3600.01/3608.70 c #Conflicts: 20000 | #Constraints: 19213
3600.01/3608.70 c INPROCESSING
3600.01/3608.70 c #Conflicts: 21000 | #Constraints: 19380
3600.01/3608.70 c #Conflicts: 22000 | #Constraints: 20380
3600.01/3608.70 c #Conflicts: 23000 | #Constraints: 21380
3600.01/3608.70 c #Conflicts: 24000 | #Constraints: 22380
3600.01/3608.70 c #Conflicts: 25000 | #Constraints: 23380
3600.01/3608.70 c #Conflicts: 26000 | #Constraints: 24380
3600.01/3608.70 c #Conflicts: 27000 | #Constraints: 25380
3600.01/3608.70 c #Conflicts: 28000 | #Constraints: 26380
3600.01/3608.70 c Program interrupted by user.
3600.01/3608.70 c cpu time 3516.54 s
3600.01/3608.70 c deterministic time 280067397471 2.80e+11
3600.01/3608.70 c optimization time 1733.99 s
3600.01/3608.70 c total solve time 1782.51 s
3600.01/3608.70 c core-guided solve time 1782.51 s
3600.01/3608.70 c propagation time 3369.52 s
3600.01/3608.70 c conflict analysis time 70.5437 s
3600.01/3608.70 c propagations 59028857
3600.01/3608.70 c resolve steps 81302
3600.01/3608.70 c decisions 104570015
3600.01/3608.70 c conflicts 28227
3600.01/3608.70 c restarts 100
3600.01/3608.70 c inprocessing phases 4
3600.01/3608.70 c input clauses 2
3600.01/3608.70 c input cardinalities 420
3600.01/3608.70 c input general constraints 195
3600.01/3608.70 c input average constraint length 252.43
3600.01/3608.70 c input average constraint degree 513330028903.65
3600.01/3608.70 c learned clauses 60
3600.01/3608.70 c learned cardinalities 8
3600.01/3608.70 c learned general constraints 28162
3600.01/3608.70 c learned average constraint length 5756.47
3600.01/3608.70 c learned average constraint degree 630105025.23
3600.01/3608.70 c watched constraints 25441
3600.01/3608.70 c counting constraints 2916
3600.01/3608.70 c gcd simplifications 299
3600.01/3608.70 c detected cardinalities 8
3600.01/3608.70 c weakened non-implied lits 188589
3600.01/3608.70 c weakened non-implying lits 794
3600.01/3608.70 c original variables 7287
3600.01/3608.70 c clausal propagations 19815
3600.01/3608.70 c cardinality propagations 1026882
3600.01/3608.70 c watched propagations 41041352
3600.01/3608.70 c counting propagations 16769659
3600.01/3608.70 c watch lookups 50841259591
3600.01/3608.70 c watch backjump lookups 50788400936
3600.01/3608.70 c watch checks 106948552331
3600.01/3608.70 c propagation checks 70693634332
3600.01/3608.70 c constraint additions 468329261
3600.01/3608.70 c trail pops 163622147
3600.01/3608.70 c formula constraints 595
3600.01/3608.70 c learned constraints 28230
3600.01/3608.70 c bound constraints 21
3600.01/3608.70 c core-guided constraints 1
3600.01/3608.70 c encountered formula constraints 31218
3600.01/3608.70 c encountered learned constraints 78312
3600.01/3608.70 c encountered bound constraints 0
3600.01/3608.70 c encountered core-guided constraints 0
3600.01/3608.70 c LP total time 0 s
3600.01/3608.70 c LP solve time 0 s
3600.01/3608.70 c LP constraints added 0
3600.01/3608.70 c LP constraints removed 0
3600.01/3608.70 c LP pivots internal 0
3600.01/3608.70 c LP pivots root 0
3600.01/3608.70 c LP calls 0
3600.01/3608.70 c LP optimalities 0
3600.01/3608.70 c LP no pivot count 0
3600.01/3608.70 c LP infeasibilities 0
3600.01/3608.70 c LP valid Farkas constraints 0
3600.01/3608.70 c LP learned Farkas constraints 0
3600.01/3608.70 c LP basis resets 0
3600.01/3608.70 c LP cycling count 0
3600.01/3608.70 c LP singular count 0
3600.01/3608.70 c LP no primal count 0
3600.01/3608.70 c LP no farkas count 0
3600.01/3608.70 c LP other issue count 0
3600.01/3608.70 c LP Gomory cuts 0
3600.01/3608.70 c LP learned cuts 0
3600.01/3608.70 c LP deleted cuts 0
3600.01/3608.70 c LP encountered Gomory constraints 0
3600.01/3608.70 c LP encountered Farkas constraints 0
3600.01/3608.70 c LP encountered learned Farkas constraints 0
3600.01/3608.70 c CG auxiliary variables introduced 0
3600.01/3608.70 c CG solutions found 0
3600.01/3608.70 c CG cores constructed 21
3600.01/3608.70 c CG core cardinality constraints returned 0
3600.01/3608.70 c CG unit cores 0
3600.01/3608.70 c CG single cores 18
3600.01/3608.70 c CG blocks removed during cardinality reduction 16
3600.01/3608.70 c CG first core best 0
3600.01/3608.70 c CG decision core best 1
3600.01/3608.70 c CG core reduction tie 2
3600.01/3608.70 c CG core degree average 1.00
3600.01/3608.70 c CG core slack average 14.67
3600.01/3608.70 c CG exhausted 0
3600.01/3608.70 c CG exhaust time 0 s
3600.01/3608.70 c CG trimmed 0
3600.01/3608.70 c CG trim time 0.049368 s
3600.01/3608.70 c CG minimized 0
3600.01/3608.70 c CG minimize time 0 s
3600.01/3608.70 c CG am1 prop time 0.000372 s
3600.01/3608.70 c CG # am1s reformulated 0
3600.01/3608.70 c CG lower bound derived from am1s 0
3600.01/3608.70 c CG # clausal cores 19
3600.01/3608.70 c CG # cardinality cores 0
3600.01/3608.70 c CG # pb cores 5
3600.01/3608.70 c CG # pb reforms 0
3600.01/3608.70 c CG # cores discarded because of pb reform 0
3600.01/3608.70 d LOWERBOUND 1074790400
3600.01/3608.70 d NCORES 21
3600.01/3608.70 d NPBCORES 5
3600.01/3608.70 d NPBREFORM 0
3600.01/3608.70 d NTRIMMED 0
3600.01/3608.70 d NEXHAUSTED 0
3600.01/3608.70 d NAM1S 0
3600.01/3608.70 d AM1LB 0
3600.01/3608.73 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 (62160 MiB free)
memory of node 1: 64510 MiB (62230 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435794-1721071641/watcher-4435794-1721071641 -o /tmp/evaluation-result-4435794-1721071641/solver-4435794-1721071641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721071653-822406 --watchdog 3760 pb-oll-rs HOME/instance-4435794-1721071641.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=822450, runsolver pid=822444
[startup+0.100082 s]*
/proc/loadavg: 1.93 3.18 3.78 5/256 822468
/proc/meminfo: memFree=127332116/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=44456 memory=15192 CPUtime=0.09 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 2446 0 0 0 9 0 0 0 20 0 1 0 159323222 45522944 3798 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 11114 3798 1469 291 0 2648 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44456 KiB
Current children cumulated memory: 15192 KiB
[startup+0.205329 s]*
/proc/loadavg: 1.93 3.18 3.78 5/256 822468
/proc/meminfo: memFree=127311400/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=46948 memory=17568 CPUtime=0.2 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 3077 0 0 0 19 1 0 0 20 0 1 0 159323222 48074752 4392 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 11737 4392 1469 291 0 3271 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46948 KiB
Current children cumulated memory: 17568 KiB
[startup+0.305084 s]*
/proc/loadavg: 1.93 3.18 3.78 5/256 822468
/proc/meminfo: memFree=127298988/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=51844 memory=21084 CPUtime=0.3 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 3944 0 0 0 27 3 0 0 20 0 1 0 159323222 53088256 5271 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 12961 5271 1469 291 0 4495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51844 KiB
Current children cumulated memory: 21084 KiB
[startup+0.70022 s]
/proc/loadavg: 1.93 3.18 3.78 5/256 822468
/proc/meminfo: memFree=127281568/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=62924 memory=32780 CPUtime=0.69 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 6347 0 0 0 56 13 0 0 20 0 1 0 159323222 64434176 8195 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 15731 8195 1469 291 0 7265 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62924 KiB
Current children cumulated memory: 32780 KiB
[startup+1.50021 s]
/proc/loadavg: 1.93 3.18 3.78 5/256 822470
/proc/meminfo: memFree=127260264/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=82516 memory=49080 CPUtime=1.48 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 9936 0 0 0 112 36 0 0 20 0 1 0 159323222 84496384 12270 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 20629 12270 1469 291 0 12163 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 82516 KiB
Current children cumulated memory: 49080 KiB
[startup+3.10539 s]
/proc/loadavg: 2.10 3.20 3.78 5/256 822470
/proc/meminfo: memFree=127151000/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=95572 memory=60404 CPUtime=3.09 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 10738 0 0 0 244 65 0 0 20 0 1 0 159323222 97865728 15101 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 23893 15101 1469 291 0 15427 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 95572 KiB
Current children cumulated memory: 60404 KiB
[startup+6.30021 s]
/proc/loadavg: 2.10 3.20 3.78 5/257 822471
/proc/meminfo: memFree=127055296/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=141172 memory=101428 CPUtime=6.28 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 17895 0 0 0 510 118 0 0 20 0 1 0 159323222 144560128 25357 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 35293 25357 1469 291 0 26827 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 141172 KiB
Current children cumulated memory: 101428 KiB
[startup+12.7002 s]
/proc/loadavg: 2.39 3.22 3.78 5/257 822472
/proc/meminfo: memFree=126888812/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=223872 memory=166980 CPUtime=12.66 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 29719 0 0 0 1095 171 0 0 20 0 1 0 159323222 229244928 41745 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 55968 41745 1469 291 0 47502 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 223872 KiB
Current children cumulated memory: 166980 KiB
[startup+25.5002 s]
/proc/loadavg: 2.64 3.25 3.78 5/257 822474
/proc/meminfo: memFree=126726636/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=277876 memory=206628 CPUtime=25.43 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 33016 0 0 0 2275 268 0 0 20 0 1 0 159323222 284545024 51657 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 69469 51657 1469 291 0 61003 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 277876 KiB
Current children cumulated memory: 206628 KiB
[startup+51.1055 s]
/proc/loadavg: 3.17 3.33 3.80 5/257 822478
/proc/meminfo: memFree=126535064/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=465688 memory=335964 CPUtime=50.98 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 55190 0 0 0 4720 378 0 0 20 0 1 0 159323222 476864512 83991 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 116422 83991 1469 291 0 107956 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 465688 KiB
Current children cumulated memory: 335964 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 3.46 3.82 5/259 822657
/proc/meminfo: memFree=126237204/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=470296 memory=424780 CPUtime=102.05 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 61541 0 0 0 9739 466 0 0 20 0 1 0 159323222 481583104 106195 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 117574 106195 1469 291 0 109108 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 470296 KiB
Current children cumulated memory: 424780 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 3.59 3.84 5/258 822667
/proc/meminfo: memFree=125867520/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=811232 memory=644668 CPUtime=161.91 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 99711 0 0 0 15308 883 0 0 20 0 1 0 159323222 830701568 161167 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 202808 161167 1469 291 0 194342 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 811232 KiB
Current children cumulated memory: 644668 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.68 3.86 5/261 822737
/proc/meminfo: memFree=125701140/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=818144 memory=731976 CPUtime=221.77 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 107830 0 0 0 20867 1310 0 0 20 0 1 0 159323222 837779456 182994 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 204536 182994 1469 291 0 196070 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 818144 KiB
Current children cumulated memory: 731976 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.76 3.87 5/260 822747
/proc/meminfo: memFree=125595984/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=1036336 memory=812520 CPUtime=281.64 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 115785 0 0 0 26556 1608 0 0 20 0 1 0 159323222 1061208064 203130 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 259084 203130 1469 291 0 250618 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 1036336 KiB
Current children cumulated memory: 812520 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.84 3.90 5/260 822758
/proc/meminfo: memFree=125302588/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=1381532 memory=1049180 CPUtime=341.49 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 164784 0 0 0 32306 1843 0 0 20 0 1 0 159323222 1414688768 262295 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 345383 262295 1469 291 0 336917 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 1381532 KiB
Current children cumulated memory: 1049180 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.90 3.92 5/258 822770
/proc/meminfo: memFree=125131876/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=1433504 memory=1126712 CPUtime=401.35 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 176009 0 0 0 38032 2103 0 0 20 0 1 0 159323222 1467908096 281678 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 358376 281678 1469 291 0 349910 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 1433504 KiB
Current children cumulated memory: 1126712 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.94 3.93 5/258 822780
/proc/meminfo: memFree=125039216/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=1448612 memory=1178880 CPUtime=461.21 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 182089 0 0 0 43784 2337 0 0 20 0 1 0 159323222 1483378688 294720 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 362153 294720 1469 291 0 353687 0
################
# More data... #
################
Current children cumulated memory: 2619040 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/255 823807
/proc/meminfo: memFree=122300608/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3228292 memory=2633136 CPUtime=2915.46 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 392767 0 0 0 284146 7400 0 0 20 0 1 0 159323222 3305771008 658284 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 807073 658284 1469 291 0 798607 0
Current children cumulated CPU time: 2915.46 s
Current children cumulated vsize: 3228292 KiB
Current children cumulated memory: 2633136 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 823817
/proc/meminfo: memFree=122267036/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3229572 memory=2651644 CPUtime=2975.31 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 395377 0 0 0 290047 7484 0 0 20 0 1 0 159323222 3307081728 662911 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 807393 662911 1469 291 0 798927 0
Current children cumulated CPU time: 2975.31 s
Current children cumulated vsize: 3229572 KiB
Current children cumulated memory: 2651644 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 823828
/proc/meminfo: memFree=122248144/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3231876 memory=2668940 CPUtime=3035.14 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 398171 0 0 0 295959 7555 0 0 20 0 1 0 159323222 3309441024 667235 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 807969 667235 1469 291 0 799503 0
Current children cumulated CPU time: 3035.14 s
Current children cumulated vsize: 3231876 KiB
Current children cumulated memory: 2668940 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/255 823838
/proc/meminfo: memFree=122230140/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3233668 memory=2685776 CPUtime=3094.98 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 400915 0 0 0 301857 7641 0 0 20 0 1 0 159323222 3311276032 671444 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 808417 671444 1469 291 0 799951 0
Current children cumulated CPU time: 3094.98 s
Current children cumulated vsize: 3233668 KiB
Current children cumulated memory: 2685776 KiB
[startup+3162.3 s]
/proc/loadavg: 4.33 4.21 4.12 5/255 823848
/proc/meminfo: memFree=122214360/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3235204 memory=2699444 CPUtime=3154.81 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 403417 0 0 0 307754 7727 0 0 20 0 1 0 159323222 3312848896 674861 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 808801 674861 1469 291 0 800335 0
Current children cumulated CPU time: 3154.81 s
Current children cumulated vsize: 3235204 KiB
Current children cumulated memory: 2699444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.39 4.23 4.13 5/257 823863
/proc/meminfo: memFree=122196100/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3237000 memory=2715816 CPUtime=3214.65 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 405968 0 0 0 313654 7811 0 0 20 0 1 0 159323222 3314688000 678954 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 809250 678954 1469 291 0 800784 0
Current children cumulated CPU time: 3214.65 s
Current children cumulated vsize: 3237000 KiB
Current children cumulated memory: 2715816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.25 4.14 5/257 823874
/proc/meminfo: memFree=122173424/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3238024 memory=2731476 CPUtime=3274.49 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 408537 0 0 0 319558 7891 0 0 20 0 1 0 159323222 3315736576 682869 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 809506 682869 1469 291 0 801040 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 3238024 KiB
Current children cumulated memory: 2731476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.43 4.31 4.17 5/258 823886
/proc/meminfo: memFree=122145164/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3239816 memory=2747968 CPUtime=3334.33 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 411124 0 0 0 325461 7972 0 0 20 0 1 0 159323222 3317571584 686992 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 809954 686992 1469 291 0 801488 0
Current children cumulated CPU time: 3334.33 s
Current children cumulated vsize: 3239816 KiB
Current children cumulated memory: 2747968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.28 4.17 5/258 823898
/proc/meminfo: memFree=122114068/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3241864 memory=2762344 CPUtime=3394.17 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 413843 0 0 0 331361 8056 0 0 20 0 1 0 159323222 3319668736 690586 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 810466 690586 1469 291 0 802000 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 3241864 KiB
Current children cumulated memory: 2762344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.39 4.33 4.20 5/258 823908
/proc/meminfo: memFree=122089336/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3244168 memory=2778508 CPUtime=3454 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 416486 0 0 0 337255 8145 0 0 20 0 1 0 159323222 3322028032 694627 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 811042 694627 1469 291 0 802576 0
Current children cumulated CPU time: 3454 s
Current children cumulated vsize: 3244168 KiB
Current children cumulated memory: 2778508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.30 4.19 5/258 824302
/proc/meminfo: memFree=122061696/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3245960 memory=2792320 CPUtime=3513.85 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 419091 0 0 0 343149 8236 0 0 20 0 1 0 159323222 3323863040 698080 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 811490 698080 1469 291 0 803024 0
Current children cumulated CPU time: 3513.85 s
Current children cumulated vsize: 3245960 KiB
Current children cumulated memory: 2792320 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.27 4.18 5/258 824313
/proc/meminfo: memFree=122031744/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3247240 memory=2808168 CPUtime=3573.67 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 421651 0 0 0 349053 8314 0 0 20 0 1 0 159323222 3325173760 702042 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 811810 702042 1469 291 0 803344 0
Current children cumulated CPU time: 3573.67 s
Current children cumulated vsize: 3247240 KiB
Current children cumulated memory: 2808168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.18 4.26 4.18 5/258 824318
/proc/meminfo: memFree=122016276/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3247496 memory=2812468 CPUtime=3600.01 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 422718 0 0 0 351654 8347 0 0 20 0 1 0 159323222 3325435904 703117 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 811874 703117 1469 291 0 803408 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3247496 KiB
Current children cumulated memory: 2812468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.74 s]
# the end of solver process 822450 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3516.55 s, system=83.512 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.18 4.26 4.18 5/258 824318
/proc/meminfo: memFree=122016276/131524600 swapFree=130795800/131071996
[pid=822450] ppid=822444 vsize=3247496 memory=2812468 CPUtime=3600.01 cores=4,6
/proc/822450/stat : 822450 (pb-oll-rs) R 822444 822450 822395 0 -1 4194304 422718 0 0 0 351654 8347 0 0 20 0 1 0 159323222 3325435904 703117 134679101440 4194304 5384005 140733476095088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7086080 140733476103191 140733476103268 140733476103268 140733476110283 0
/proc/822450/statm: 811874 703117 1469 291 0 803408 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3247496 KiB
Current children cumulated memory: 2812468 KiB
Child status: 0
Real time (s): 3608.74
CPU time (s): 3600.06
CPU user time (s): 3516.55
CPU system time (s): 83.512
CPU usage (%): 99.7593
Max. virtual memory (cumulated for all children) (KiB): 3247496
Max. memory (cumulated for all children) (KiB): 2812468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3516.55
system time used= 83.512
maximum resident set size= 2812468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422734
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= 240
involuntary context switches= 4713
# summary of solver processes directly reported to runsolver:
# pid: 822450
# total CPU time (s): 3600.06
# total CPU user time (s): 3516.55
# total CPU system time (s): 83.512
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66172 second user time and 16.3907 second system time
The end
Begin job on nodeC014 at 2024-07-15 21:27:33
IDJOB=4435794
IDBENCH=146775
IDSOLVER=3067
FILE ID=nodeC014/4435794-1721071641
RUNJOBID= nodeC014-1721071653-822406
SLURM_JOB_ID= 7505535
Free space on /tmp= 890080 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4435794-1721071641/watcher-4435794-1721071641 -o /tmp/evaluation-result-4435794-1721071641/solver-4435794-1721071641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721071653-822406 --watchdog 3760 pb-oll-rs HOME/instance-4435794-1721071641.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1ab00a09bce4fe90071f9bd51d0e1c65
RANDOM SEED=1618683274
nodeC014.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 : 3526.515
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.32
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 : 3661.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3480.420
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.32
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 : 3606.731
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3637.893
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.32
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 : 3657.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3628.922
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.32
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 : 3640.458
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127384104 kB
MemAvailable: 130049836 kB
Buffers: 314904 kB
Cached: 3156988 kB
SwapCached: 12852 kB
Active: 1022600 kB
Inactive: 2561908 kB
Active(anon): 9348 kB
Inactive(anon): 120796 kB
Active(file): 1013252 kB
Inactive(file): 2441112 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130795800 kB
Dirty: 7756 kB
Writeback: 0 kB
AnonPages: 104040 kB
Mapped: 46328 kB
Shmem: 17504 kB
KReclaimable: 102032 kB
Slab: 193540 kB
SReclaimable: 102032 kB
SUnreclaim: 91508 kB
KernelStack: 3972 kB
PageTables: 10168 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 747920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27648 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 191188 kB
DirectMap2M: 14262272 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC014 at 2024-07-15 22:27:42