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
2.58/2.68 c [STEP] solving
2.58/2.68 c #variables 399113 #constraints 400980
2.58/2.69 c SMALL=int, LARGE=long long
2.68/2.71 c bounds - >= -594102826 @ 2.19461
2.68/2.71 c stratification level: 6765
3601.80/3613.56 c bounds - >= -162623636 @ 31.0328
3601.80/3613.56 c bounds - >= -161168648 @ 31.1783
3601.80/3613.56 c bounds - >= -161131773 @ 31.2019
3601.80/3613.56 c bounds - >= -160658223 @ 31.2217
3601.80/3613.56 c bounds - >= -160380202 @ 31.2417
3601.80/3613.56 c bounds - >= -160299022 @ 31.2638
3601.80/3613.56 c bounds - >= -160291270 @ 31.836
3601.80/3613.56 c bounds - >= -160284505 @ 42.1766
3601.80/3613.56 c bounds - >= -160276143 @ 52.5287
3601.80/3613.56 c bounds - >= -160269378 @ 62.9149
3601.80/3613.56 c #Conflicts: 1000 | #Constraints: 404974
3601.80/3613.56 c #Conflicts: 2000 | #Constraints: 405974
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 3000 | #Constraints: 396360
3601.80/3613.56 c #Conflicts: 4000 | #Constraints: 397360
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 5000 | #Constraints: 395718
3601.80/3613.56 c #Conflicts: 6000 | #Constraints: 396718
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 7000 | #Constraints: 395853
3601.80/3613.56 c #Conflicts: 8000 | #Constraints: 396853
3601.80/3613.56 c #Conflicts: 9000 | #Constraints: 397853
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 10000 | #Constraints: 393311
3601.80/3613.56 c #Conflicts: 11000 | #Constraints: 394311
3601.80/3613.56 c #Conflicts: 12000 | #Constraints: 395311
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 13000 | #Constraints: 391582
3601.80/3613.56 c #Conflicts: 14000 | #Constraints: 392582
3601.80/3613.56 c #Conflicts: 15000 | #Constraints: 393582
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 16000 | #Constraints: 391885
3601.80/3613.56 c #Conflicts: 17000 | #Constraints: 392885
3601.80/3613.56 c #Conflicts: 18000 | #Constraints: 393885
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 19000 | #Constraints: 391914
3601.80/3613.56 c #Conflicts: 20000 | #Constraints: 392914
3601.80/3613.56 c #Conflicts: 21000 | #Constraints: 393914
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 22000 | #Constraints: 391723
3601.80/3613.56 c #Conflicts: 23000 | #Constraints: 392723
3601.80/3613.56 c #Conflicts: 24000 | #Constraints: 393723
3601.80/3613.56 c #Conflicts: 25000 | #Constraints: 394723
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 26000 | #Constraints: 392364
3601.80/3613.56 c #Conflicts: 27000 | #Constraints: 393364
3601.80/3613.56 c #Conflicts: 28000 | #Constraints: 394364
3601.80/3613.56 c #Conflicts: 29000 | #Constraints: 395364
3601.80/3613.56 c INPROCESSING
3601.80/3613.56 c GARBAGE COLLECT
3601.80/3613.56 c #Conflicts: 30000 | #Constraints: 392809
3601.80/3613.56 c #Conflicts: 31000 | #Constraints: 393809
3601.80/3613.56 c #Conflicts: 32000 | #Constraints: 394809
3601.80/3613.56 c #Conflicts: 33000 | #Constraints: 395809
3601.80/3613.56 c #Conflicts: 34000 | #Constraints: 396809
3601.80/3613.56 c #Conflicts: 35000 | #Constraints: 397809
3601.80/3613.56 c #Conflicts: 36000 | #Constraints: 398809
3601.80/3613.56 c #Conflicts: 37000 | #Constraints: 399809
3601.80/3613.56 c #Conflicts: 38000 | #Constraints: 400809
3601.80/3613.56 c Program interrupted by user.
3601.80/3613.56 c cpu time 3553.54 s
3601.80/3613.56 c deterministic time 88199958691 8.82e+10
3601.80/3613.56 c optimization time 947.678 s
3601.80/3613.56 c total solve time 2603.68 s
3601.80/3613.56 c core-guided solve time 2603.68 s
3601.80/3613.56 c propagation time 1063.65 s
3601.80/3613.56 c conflict analysis time 1970 s
3601.80/3613.56 c propagations 1750845862
3601.80/3613.56 c resolve steps 669980
3601.80/3613.56 c decisions 62565674
3601.80/3613.56 c conflicts 38843
3601.80/3613.56 c restarts 126
3601.80/3613.56 c inprocessing phases 10
3601.80/3613.56 c input clauses 401987
3601.80/3613.56 c input cardinalities 1977
3601.80/3613.56 c input general constraints 11
3601.80/3613.56 c input average constraint length 12.76
3601.80/3613.56 c input average constraint degree 10706.67
3601.80/3613.56 c learned clauses 14231
3601.80/3613.56 c learned cardinalities 7100
3601.80/3613.56 c learned general constraints 17511
3601.80/3613.56 c learned average constraint length 44285.55
3601.80/3613.56 c learned average constraint degree 111827.70
3601.80/3613.56 c watched constraints 1665
3601.80/3613.56 c counting constraints 15857
3601.80/3613.56 c gcd simplifications 18
3601.80/3613.56 c detected cardinalities 49
3601.80/3613.56 c weakened non-implied lits 3918065699
3601.80/3613.56 c weakened non-implying lits 965
3601.80/3613.56 c original variables 399113
3601.80/3613.56 c clausal propagations 548193925
3601.80/3613.56 c cardinality propagations 30090726
3601.80/3613.56 c watched propagations 81966
3601.80/3613.56 c counting propagations 1140947104
3601.80/3613.56 c watch lookups 739213314
3601.80/3613.56 c watch backjump lookups 178773154
3601.80/3613.56 c watch checks 2064119743
3601.80/3613.56 c propagation checks 70707029129
3601.80/3613.56 c constraint additions 10884294016
3601.80/3613.56 c trail pops 1813117798
3601.80/3613.56 c formula constraints 400980
3601.80/3613.56 c learned constraints 38842
3601.80/3613.56 c bound constraints 10
3601.80/3613.56 c core-guided constraints 2985
3601.80/3613.56 c encountered formula constraints 639612
3601.80/3613.56 c encountered learned constraints 44489
3601.80/3613.56 c encountered bound constraints 0
3601.80/3613.56 c encountered core-guided constraints 24823
3601.80/3613.56 c LP total time 0 s
3601.80/3613.56 c LP solve time 0 s
3601.80/3613.56 c LP constraints added 0
3601.80/3613.56 c LP constraints removed 0
3601.80/3613.56 c LP pivots internal 0
3601.80/3613.56 c LP pivots root 0
3601.80/3613.56 c LP calls 0
3601.80/3613.56 c LP optimalities 0
3601.80/3613.56 c LP no pivot count 0
3601.80/3613.56 c LP infeasibilities 0
3601.80/3613.56 c LP valid Farkas constraints 0
3601.80/3613.56 c LP learned Farkas constraints 0
3601.80/3613.56 c LP basis resets 0
3601.80/3613.56 c LP cycling count 0
3601.80/3613.56 c LP singular count 0
3601.80/3613.56 c LP no primal count 0
3601.80/3613.56 c LP no farkas count 0
3601.80/3613.56 c LP other issue count 0
3601.80/3613.56 c LP Gomory cuts 0
3601.80/3613.56 c LP learned cuts 0
3601.80/3613.56 c LP deleted cuts 0
3601.80/3613.56 c LP encountered Gomory constraints 0
3601.80/3613.56 c LP encountered Farkas constraints 0
3601.80/3613.56 c LP encountered learned Farkas constraints 0
3601.80/3613.56 c CG auxiliary variables introduced 2884
3601.80/3613.56 c CG solutions found 0
3601.80/3613.56 c CG cores constructed 10
3601.80/3613.56 c CG core cardinality constraints returned 6
3601.80/3613.56 c CG unit cores 0
3601.80/3613.56 c CG single cores 10
3601.80/3613.56 c CG blocks removed during cardinality reduction 20
3601.80/3613.56 c CG first core best 0
3601.80/3613.56 c CG decision core best 0
3601.80/3613.56 c CG core reduction tie 0
3601.80/3613.56 c CG core degree average 31.90
3601.80/3613.56 c CG core slack average 15.50
3601.80/3613.56 c CG exhausted 0
3601.80/3613.56 c CG exhaust time 0 s
3601.80/3613.56 c CG trimmed 0
3601.80/3613.56 c CG trim time 0.043163 s
3601.80/3613.56 c CG minimized 0
3601.80/3613.56 c CG minimize time 0 s
3601.80/3613.56 c CG am1 prop time 4.98814 s
3601.80/3613.56 c CG # am1s reformulated 2884
3601.80/3613.56 c CG lower bound derived from am1s 430466466
3601.80/3613.56 c CG # clausal cores 4
3601.80/3613.56 c CG # cardinality cores 6
3601.80/3613.56 c CG # pb cores 0
3601.80/3613.56 c CG # pb reforms 0
3601.80/3613.56 c CG # cores discarded because of pb reform 0
3601.80/3613.56 d LOWERBOUND -160269378
3601.80/3613.56 d NCORES 10
3601.80/3613.56 d NPBCORES 0
3601.80/3613.56 d NPBREFORM 0
3601.80/3613.56 d NTRIMMED 0
3601.80/3613.56 d NEXHAUSTED 0
3601.80/3613.56 d NAM1S 2884
3601.80/3613.56 d AM1LB 430466466
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: 64096 MiB (52120 MiB free)
memory of node 1: 64473 MiB (57769 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454521-1721476666/watcher-4454521-1721476666 -o /tmp/evaluation-result-4454521-1721476666/solver-4454521-1721476666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721472368-1059653 --watchdog 3760 pb-oll-rs HOME/instance-4454521-1721476666.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1062299, runsolver pid=1062296
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.20 4.15 4.10 5/242 1062300
/proc/meminfo: memFree=112456176/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=116072 memory=79340 CPUtime=0.1 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 9195 0 0 0 7 3 0 0 20 0 1 0 199823803 118857728 19835 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 29018 19835 1126 291 0 20552 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 116072 KiB
Current children cumulated memory: 79340 KiB
[startup+0.208336 s]*
/proc/loadavg: 4.20 4.15 4.10 5/242 1062300
/proc/meminfo: memFree=112409076/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=165040 memory=113484 CPUtime=0.21 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 14883 0 0 0 15 6 0 0 20 0 1 0 199823803 169000960 28371 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 41260 28371 1126 291 0 32794 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 165040 KiB
Current children cumulated memory: 113484 KiB
[startup+0.308213 s]*
/proc/loadavg: 4.20 4.15 4.10 5/242 1062300
/proc/meminfo: memFree=112414964/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=165040 memory=115532 CPUtime=0.31 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 14886 0 0 0 25 6 0 0 20 0 1 0 199823803 169000960 28883 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 41260 28883 1126 291 0 32794 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 165040 KiB
Current children cumulated memory: 115532 KiB
[startup+0.700321 s]
/proc/loadavg: 4.20 4.15 4.10 5/242 1062300
/proc/meminfo: memFree=112434824/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=128956 memory=95940 CPUtime=0.68 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 14975 0 0 0 55 13 0 0 20 0 1 0 199823803 132050944 23985 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 32239 23985 1162 291 0 23773 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 128956 KiB
Current children cumulated memory: 95940 KiB
[startup+1.50033 s]
/proc/loadavg: 4.20 4.15 4.10 5/242 1062300
/proc/meminfo: memFree=112424796/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=147820 memory=115288 CPUtime=1.48 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 18800 0 0 0 121 27 0 0 20 0 1 0 199823803 151367680 28822 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 36955 28822 1162 291 0 28489 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147820 KiB
Current children cumulated memory: 115288 KiB
[startup+3.11248 s]
/proc/loadavg: 4.18 4.15 4.10 5/242 1062300
/proc/meminfo: memFree=112351676/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=222660 memory=187356 CPUtime=3.09 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 27230 0 0 0 260 49 0 0 20 0 1 0 199823803 228003840 46839 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 55665 46839 1290 291 0 47199 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 222660 KiB
Current children cumulated memory: 187356 KiB
[startup+6.30031 s]
/proc/loadavg: 4.18 4.15 4.10 5/242 1062300
/proc/meminfo: memFree=112147716/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=407900 memory=372564 CPUtime=6.27 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 73581 0 0 0 567 60 0 0 20 0 1 0 199823803 417689600 93141 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 101975 93141 1290 291 0 93509 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 407900 KiB
Current children cumulated memory: 372564 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.14 4.10 5/242 1062301
/proc/meminfo: memFree=111880156/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=606360 memory=570948 CPUtime=12.65 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 121176 0 0 0 1195 70 0 0 20 0 1 0 199823803 620912640 142737 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 151590 142737 1290 291 0 143124 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 606360 KiB
Current children cumulated memory: 570948 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.10 5/242 1062303
/proc/meminfo: memFree=111408876/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=988152 memory=952600 CPUtime=25.41 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 210043 0 0 0 2452 89 0 0 20 0 1 0 199823803 1011867648 238150 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 247038 238150 1290 291 0 238572 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 988152 KiB
Current children cumulated memory: 952600 KiB
[startup+51.1125 s]
/proc/loadavg: 4.08 4.12 4.10 5/243 1062476
/proc/meminfo: memFree=111042360/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=1230992 memory=1148488 CPUtime=50.95 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 244890 0 0 0 4990 105 0 0 20 0 1 0 199823803 1260535808 287122 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 307748 287122 1370 291 0 299282 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1230992 KiB
Current children cumulated memory: 1148488 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/244 1062487
/proc/meminfo: memFree=107776184/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=1513952 memory=1390028 CPUtime=101.98 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 282907 0 0 0 10054 144 0 0 20 0 1 0 199823803 1550286848 347507 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 378488 347507 1370 291 0 370022 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1513952 KiB
Current children cumulated memory: 1390028 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/244 1062497
/proc/meminfo: memFree=106300512/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=2189472 memory=1927248 CPUtime=161.77 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 360533 0 0 0 15941 236 0 0 20 0 1 0 199823803 2242019328 481812 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 547368 481812 1370 291 0 538902 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2189472 KiB
Current children cumulated memory: 1927248 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/244 1062521
/proc/meminfo: memFree=104560592/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=2955840 memory=2703440 CPUtime=221.57 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 463872 0 0 0 21643 514 0 0 20 0 1 0 199823803 3026780160 675860 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 738960 675860 1370 291 0 730494 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 2955840 KiB
Current children cumulated memory: 2703440 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/244 1062532
/proc/meminfo: memFree=103704192/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=2964564 memory=2728712 CPUtime=281.36 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 465101 0 0 0 27599 537 0 0 20 0 1 0 199823803 3035713536 682178 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 741141 682178 1370 291 0 732675 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 2964564 KiB
Current children cumulated memory: 2728712 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/244 1062542
/proc/meminfo: memFree=102863068/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=2964564 memory=2729028 CPUtime=341.16 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 465190 0 0 0 33577 539 0 0 20 0 1 0 199823803 3035713536 682257 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 741141 682257 1449 291 0 732675 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 2964564 KiB
Current children cumulated memory: 2729028 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/243 1062552
/proc/meminfo: memFree=102180008/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=2964564 memory=2729028 CPUtime=400.95 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 465318 0 0 0 39538 557 0 0 20 0 1 0 199823803 3035713536 682257 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 741141 682257 1449 291 0 732675 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 2964564 KiB
Current children cumulated memory: 2729028 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/243 1062563
/proc/meminfo: memFree=98360536/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=3280984 memory=2990532 CPUtime=460.75 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 530405 0 0 0 45401 674 0 0 20 0 1 0 199823803 3359727616 747633 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 820246 747633 1449 291 0 811780 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.20 5/243 1063856
/proc/meminfo: memFree=121861324/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=6501868 memory=5662176 CPUtime=3151.93 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 946398 0 0 0 310765 4428 0 0 20 0 1 0 199823803 6657912832 1415544 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 1625467 1415544 1449 291 0 1617001 0
Current children cumulated CPU time: 3151.93 s
Current children cumulated vsize: 6501868 KiB
Current children cumulated memory: 5662176 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.19 5/246 1063871
/proc/meminfo: memFree=121674024/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=6501868 memory=5837228 CPUtime=3211.75 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 957274 0 0 0 316682 4493 0 0 20 0 1 0 199823803 6657912832 1459307 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 1625467 1459307 1449 291 0 1617001 0
Current children cumulated CPU time: 3211.75 s
Current children cumulated vsize: 6501868 KiB
Current children cumulated memory: 5837228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.18 5/245 1063882
/proc/meminfo: memFree=121564372/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=6502000 memory=5939356 CPUtime=3271.58 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 967718 0 0 0 322654 4504 0 0 20 0 1 0 199823803 6658048000 1484839 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 1625500 1484839 1449 291 0 1617034 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 6502000 KiB
Current children cumulated memory: 5939356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.10 4.17 5/246 1063893
/proc/meminfo: memFree=121402796/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=6502320 memory=6088164 CPUtime=3331.4 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 979920 0 0 0 328611 4529 0 0 20 0 1 0 199823803 6658375680 1522041 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 1625580 1522041 1449 291 0 1617114 0
Current children cumulated CPU time: 3331.4 s
Current children cumulated vsize: 6502320 KiB
Current children cumulated memory: 6088164 KiB
[startup+3402.3 s]
/proc/loadavg: 4.65 4.26 4.22 5/246 1063903
/proc/meminfo: memFree=120526432/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=7515100 memory=6952032 CPUtime=3391.22 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1158007 0 0 0 334509 4613 0 0 20 0 1 0 199823803 7695462400 1738008 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 1878775 1738008 1449 291 0 1870309 0
Current children cumulated CPU time: 3391.22 s
Current children cumulated vsize: 7515100 KiB
Current children cumulated memory: 6952032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.48 4.30 4.24 5/246 1063914
/proc/meminfo: memFree=120310720/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=9013732 memory=7166064 CPUtime=3451.03 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1176203 0 0 0 340438 4665 0 0 20 0 1 0 199823803 9230061568 1791516 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2253433 1791516 1449 291 0 2244967 0
Current children cumulated CPU time: 3451.03 s
Current children cumulated vsize: 9013732 KiB
Current children cumulated memory: 7166064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.27 4.23 5/245 1064309
/proc/meminfo: memFree=119944724/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=9013732 memory=7523324 CPUtime=3510.86 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1196971 0 0 0 346350 4736 0 0 20 0 1 0 199823803 9230061568 1880831 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2253433 1880831 1449 291 0 2244967 0
Current children cumulated CPU time: 3510.86 s
Current children cumulated vsize: 9013732 KiB
Current children cumulated memory: 7523324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.23 4.22 5/245 1064319
/proc/meminfo: memFree=118826696/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=10542100 memory=8627764 CPUtime=3570.69 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1437777 0 0 0 352261 4808 0 0 20 0 1 0 199823803 10795110400 2156941 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2635525 2156941 1449 291 0 2627059 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 10542100 KiB
Current children cumulated memory: 8627764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.17 4.23 4.22 5/244 1064325
/proc/meminfo: memFree=118731232/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=10563456 memory=8725156 CPUtime=3600 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1450367 0 0 0 355168 4832 0 0 20 0 1 0 199823803 10816978944 2181289 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2640864 2181289 1449 291 0 2632398 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 10563456 KiB
Current children cumulated memory: 8725156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.16 4.22 4.22 5/244 1064325
/proc/meminfo: memFree=119781904/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=9429352 memory=7411660 CPUtime=3602.02 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1450882 0 0 0 355365 4837 0 0 20 0 1 0 199823803 9655656448 1853363 134679101440 4194304 5384485 140734658069760 0 0 256 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2357338 1853363 1531 291 0 2348872 0
??? kill 1062299 sig 9
??? end of watcher thread
[startup+3613.89 s]
# the end of solver process 1062299 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3553.65 s, system=48.5411 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.17 4.23 4.22 5/244 1064325
/proc/meminfo: memFree=118727512/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=10563456 memory=8725500 CPUtime=3601.1 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1450735 0 0 0 355278 4832 0 0 20 0 1 0 199823803 10816978944 2181375 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2640864 2181375 1516 291 0 2632398 0
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 10563456 KiB
Current children cumulated memory: 8725500 KiB
[startup+3613.2 s]
/proc/loadavg: 4.16 4.22 4.22 5/244 1064325
/proc/meminfo: memFree=118727664/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=10563456 memory=8725500 CPUtime=3601.5 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1450864 0 0 0 355318 4832 0 0 20 0 1 0 199823803 10816978944 2181375 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2640864 2181375 1516 291 0 2632398 0
Current children cumulated CPU time: 3601.5 s
Current children cumulated vsize: 10563456 KiB
Current children cumulated memory: 8725500 KiB
[startup+3613.6 s]
/proc/loadavg: 4.16 4.22 4.22 5/244 1064325
/proc/meminfo: memFree=118727664/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=10559356 memory=8721460 CPUtime=3601.9 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1450881 0 0 0 355358 4832 0 0 20 0 1 0 199823803 10812780544 2180365 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2639839 2180365 1531 291 0 2631373 0
Current children cumulated CPU time: 3601.9 s
Current children cumulated vsize: 10559356 KiB
Current children cumulated memory: 8721460 KiB
[startup+3613.7 s]
/proc/loadavg: 4.16 4.22 4.22 5/244 1064325
/proc/meminfo: memFree=118727664/131655788 swapFree=131070704/131071996
[pid=1062299] ppid=1062296 vsize=9429352 memory=7903960 CPUtime=3601.99 cores=0,2
/proc/1062299/stat : 1062299 (pb-oll-rs) R 1062296 1062299 1059643 0 -1 4194304 1450882 0 0 0 355365 4834 0 0 20 0 1 0 199823803 9655656448 1975990 134679101440 4194304 5384485 140734658069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19042304 140734658073621 140734658073698 140734658073698 140734658080715 0
/proc/1062299/statm: 2357338 1975990 1531 291 0 2348872 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 9429352 KiB
Current children cumulated memory: 7903960 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.89
CPU time (s): 3602.19
CPU user time (s): 3553.65
CPU system time (s): 48.5411
CPU usage (%): 99.6763
Max. virtual memory (cumulated for all children) (KiB): 10563456
Max. memory (cumulated for all children) (KiB): 8725500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.65
system time used= 48.5411
maximum resident set size= 8725500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1450882
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= 30
involuntary context switches= 25210
# summary of solver processes directly reported to runsolver:
# pid: 1062299
# total CPU time (s): 3602.19
# total CPU user time (s): 3553.65
# total CPU system time (s): 48.5411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3351 second user time and 35.0814 second system time
The end
Begin job on nodeC011 at 2024-07-20 13:57:59
IDJOB=4454521
IDBENCH=157943
IDSOLVER=3082
FILE ID=nodeC011/4454521-1721476666
RUNJOBID= nodeC011-1721472368-1059653
SLURM_JOB_ID= 7545742
Free space on /tmp= 723336 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454521-1721476666/watcher-4454521-1721476666 -o /tmp/evaluation-result-4454521-1721476666/solver-4454521-1721476666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721472368-1059653 --watchdog 3760 pb-oll-rs HOME/instance-4454521-1721476666.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f42bed8b206e9691e6e5fc670f14b50f
RANDOM SEED=184308347
nodeC011.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 : 0xb00001f
cpu MHz : 2076.671
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3523.852
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1363.112
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.217
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3513.693
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3543.836
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.236
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.195
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 112527296 kB
MemAvailable: 113575256 kB
Buffers: 586296 kB
Cached: 1304628 kB
SwapCached: 132 kB
Active: 1552300 kB
Inactive: 17043740 kB
Active(anon): 1444 kB
Inactive(anon): 16749264 kB
Active(file): 1550856 kB
Inactive(file): 294476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 32820 kB
Writeback: 0 kB
AnonPages: 16704668 kB
Mapped: 110380 kB
Shmem: 45592 kB
KReclaimable: 85652 kB
Slab: 169180 kB
SReclaimable: 85652 kB
SUnreclaim: 83528 kB
KernelStack: 3920 kB
PageTables: 42816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 20306276 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6178816 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723740 MiB
End job on nodeC011 at 2024-07-20 14:58:13