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
1.69/1.77 c [STEP] solving
1.69/1.77 c #variables 399113 #constraints 400980
1.69/1.77 c SMALL=int, LARGE=long long
1.69/1.78 c bounds - >= -139771126 @ 1.42172
1.69/1.78 c stratification level: 4181
3600.34/3611.24 c bounds - >= -56037385 @ 9.48626
3600.34/3611.24 c bounds - >= -55362865 @ 9.54439
3600.34/3611.24 c bounds - >= -55358632 @ 9.56085
3600.34/3611.24 c bounds - >= -55350270 @ 9.57275
3600.34/3611.24 c bounds - >= -55346089 @ 9.85512
3600.34/3611.24 c #Conflicts: 1000 | #Constraints: 402594
3600.34/3611.24 c #Conflicts: 2000 | #Constraints: 403594
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 3000 | #Constraints: 399378
3600.34/3611.24 c #Conflicts: 4000 | #Constraints: 400378
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 5000 | #Constraints: 398544
3600.34/3611.24 c #Conflicts: 6000 | #Constraints: 399544
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 7000 | #Constraints: 398608
3600.34/3611.24 c #Conflicts: 8000 | #Constraints: 399608
3600.34/3611.24 c #Conflicts: 9000 | #Constraints: 400608
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 10000 | #Constraints: 399282
3600.34/3611.24 c #Conflicts: 11000 | #Constraints: 400282
3600.34/3611.24 c #Conflicts: 12000 | #Constraints: 401282
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 13000 | #Constraints: 399751
3600.34/3611.24 c #Conflicts: 14000 | #Constraints: 400751
3600.34/3611.24 c #Conflicts: 15000 | #Constraints: 401751
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 16000 | #Constraints: 398852
3600.34/3611.24 c #Conflicts: 17000 | #Constraints: 399852
3600.34/3611.24 c #Conflicts: 18000 | #Constraints: 400852
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 19000 | #Constraints: 398869
3600.34/3611.24 c #Conflicts: 20000 | #Constraints: 399869
3600.34/3611.24 c #Conflicts: 21000 | #Constraints: 400869
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 22000 | #Constraints: 398428
3600.34/3611.24 c #Conflicts: 23000 | #Constraints: 399428
3600.34/3611.24 c #Conflicts: 24000 | #Constraints: 400428
3600.34/3611.24 c #Conflicts: 25000 | #Constraints: 401428
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 26000 | #Constraints: 399228
3600.34/3611.24 c #Conflicts: 27000 | #Constraints: 400228
3600.34/3611.24 c #Conflicts: 28000 | #Constraints: 401228
3600.34/3611.24 c #Conflicts: 29000 | #Constraints: 402228
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 30000 | #Constraints: 399684
3600.34/3611.24 c #Conflicts: 31000 | #Constraints: 400684
3600.34/3611.24 c #Conflicts: 32000 | #Constraints: 401684
3600.34/3611.24 c #Conflicts: 33000 | #Constraints: 402684
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 34000 | #Constraints: 399886
3600.34/3611.24 c #Conflicts: 35000 | #Constraints: 400886
3600.34/3611.24 c #Conflicts: 36000 | #Constraints: 401886
3600.34/3611.24 c #Conflicts: 37000 | #Constraints: 402886
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 38000 | #Constraints: 399877
3600.34/3611.24 c #Conflicts: 39000 | #Constraints: 400877
3600.34/3611.24 c #Conflicts: 40000 | #Constraints: 401877
3600.34/3611.24 c #Conflicts: 41000 | #Constraints: 402877
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 42000 | #Constraints: 399680
3600.34/3611.24 c #Conflicts: 43000 | #Constraints: 400680
3600.34/3611.24 c #Conflicts: 44000 | #Constraints: 401680
3600.34/3611.24 c #Conflicts: 45000 | #Constraints: 402680
3600.34/3611.24 c #Conflicts: 46000 | #Constraints: 403680
3600.34/3611.24 c INPROCESSING
3600.34/3611.24 c GARBAGE COLLECT
3600.34/3611.24 c #Conflicts: 47000 | #Constraints: 400309
3600.34/3611.24 c #Conflicts: 48000 | #Constraints: 401309
3600.34/3611.24 c #Conflicts: 49000 | #Constraints: 402309
3600.34/3611.24 c Program interrupted by user.
3600.34/3611.24 c cpu time 3579.2 s
3600.34/3611.24 c deterministic time 51899597562 5.19e+10
3600.34/3611.24 c optimization time 223.062 s
3600.34/3611.24 c total solve time 3354.72 s
3600.34/3611.24 c core-guided solve time 3354.72 s
3600.34/3611.24 c propagation time 579.9 s
3600.34/3611.24 c conflict analysis time 2757.77 s
3600.34/3611.24 c propagations 1892250430
3600.34/3611.24 c resolve steps 90108
3600.34/3611.24 c decisions 24683276
3600.34/3611.24 c conflicts 49291
3600.34/3611.24 c restarts 150
3600.34/3611.24 c inprocessing phases 14
3600.34/3611.24 c input clauses 399612
3600.34/3611.24 c input cardinalities 1977
3600.34/3611.24 c input general constraints 6
3600.34/3611.24 c input average constraint length 8.01
3600.34/3611.24 c input average constraint degree 1051.31
3600.34/3611.24 c learned clauses 19226
3600.34/3611.24 c learned cardinalities 4810
3600.34/3611.24 c learned general constraints 25254
3600.34/3611.24 c learned average constraint length 28269.89
3600.34/3611.24 c learned average constraint degree 41249.33
3600.34/3611.24 c watched constraints 6
3600.34/3611.24 c counting constraints 25254
3600.34/3611.24 c gcd simplifications 1
3600.34/3611.24 c detected cardinalities 0
3600.34/3611.24 c weakened non-implied lits 2580583910
3600.34/3611.24 c weakened non-implying lits 0
3600.34/3611.24 c original variables 399113
3600.34/3611.24 c clausal propagations 27935863
3600.34/3611.24 c cardinality propagations 5265437
3600.34/3611.24 c watched propagations 0
3600.34/3611.24 c counting propagations 1779388139
3600.34/3611.24 c watch lookups 108419304
3600.34/3611.24 c watch backjump lookups 77128828
3600.34/3611.24 c watch checks 505499186
3600.34/3611.24 c propagation checks 28333483372
3600.34/3611.24 c constraint additions 19041199424
3600.34/3611.24 c trail pops 1916933741
3600.34/3611.24 c formula constraints 400980
3600.34/3611.24 c learned constraints 49290
3600.34/3611.24 c bound constraints 5
3600.34/3611.24 c core-guided constraints 610
3600.34/3611.24 c encountered formula constraints 71449
3600.34/3611.24 c encountered learned constraints 19067
3600.34/3611.24 c encountered bound constraints 0
3600.34/3611.24 c encountered core-guided constraints 48922
3600.34/3611.24 c LP total time 0 s
3600.34/3611.24 c LP solve time 0 s
3600.34/3611.24 c LP constraints added 0
3600.34/3611.24 c LP constraints removed 0
3600.34/3611.24 c LP pivots internal 0
3600.34/3611.24 c LP pivots root 0
3600.34/3611.24 c LP calls 0
3600.34/3611.24 c LP optimalities 0
3600.34/3611.24 c LP no pivot count 0
3600.34/3611.24 c LP infeasibilities 0
3600.34/3611.24 c LP valid Farkas constraints 0
3600.34/3611.24 c LP learned Farkas constraints 0
3600.34/3611.24 c LP basis resets 0
3600.34/3611.24 c LP cycling count 0
3600.34/3611.24 c LP singular count 0
3600.34/3611.24 c LP no primal count 0
3600.34/3611.24 c LP no farkas count 0
3600.34/3611.24 c LP other issue count 0
3600.34/3611.24 c LP Gomory cuts 0
3600.34/3611.24 c LP learned cuts 0
3600.34/3611.24 c LP deleted cuts 0
3600.34/3611.24 c LP encountered Gomory constraints 0
3600.34/3611.24 c LP encountered Farkas constraints 0
3600.34/3611.24 c LP encountered learned Farkas constraints 0
3600.34/3611.24 c CG auxiliary variables introduced 571
3600.34/3611.24 c CG solutions found 0
3600.34/3611.24 c CG cores constructed 5
3600.34/3611.24 c CG core cardinality constraints returned 3
3600.34/3611.24 c CG unit cores 0
3600.34/3611.24 c CG single cores 5
3600.34/3611.24 c CG blocks removed during cardinality reduction 10
3600.34/3611.24 c CG first core best 0
3600.34/3611.24 c CG decision core best 0
3600.34/3611.24 c CG core reduction tie 0
3600.34/3611.24 c CG core degree average 32.20
3600.34/3611.24 c CG core slack average 2.00
3600.34/3611.24 c CG exhausted 0
3600.34/3611.24 c CG exhaust time 0 s
3600.34/3611.24 c CG trimmed 0
3600.34/3611.24 c CG trim time 0.005982 s
3600.34/3611.24 c CG minimized 0
3600.34/3611.24 c CG minimize time 0 s
3600.34/3611.24 c CG am1 prop time 1.60109 s
3600.34/3611.24 c CG # am1s reformulated 571
3600.34/3611.24 c CG lower bound derived from am1s 83496131
3600.34/3611.24 c CG # clausal cores 2
3600.34/3611.24 c CG # cardinality cores 3
3600.34/3611.24 c CG # pb cores 0
3600.34/3611.24 c CG # pb reforms 0
3600.34/3611.24 c CG # cores discarded because of pb reform 0
3600.34/3611.24 d LOWERBOUND -55346089
3600.34/3611.24 d NCORES 5
3600.34/3611.24 d NPBCORES 0
3600.34/3611.24 d NPBREFORM 0
3600.34/3611.24 d NTRIMMED 0
3600.34/3611.24 d NEXHAUSTED 0
3600.34/3611.24 d NAM1S 571
3600.34/3611.24 d AM1LB 83496131
3600.53/3611.42 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 (61043 MiB free)
memory of node 1: 64510 MiB (55934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454523-1721476307/watcher-4454523-1721476307 -o /tmp/evaluation-result-4454523-1721476307/solver-4454523-1721476307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077167 --watchdog 3760 pb-oll-rs HOME/instance-4454523-1721476307.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=1081321, runsolver pid=1081318
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.36 4.27 4.16 5/258 1081322
/proc/meminfo: memFree=119683132/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=146032 memory=105980 CPUtime=0.1 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 15473 0 0 0 7 3 0 0 20 0 1 0 199798963 149536768 26495 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 36508 26495 1127 291 0 28042 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 146032 KiB
Current children cumulated memory: 105980 KiB
[startup+0.205594 s]*
/proc/loadavg: 4.36 4.27 4.16 5/258 1081322
/proc/meminfo: memFree=119694124/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=127644 memory=95116 CPUtime=0.2 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 15692 0 0 0 15 5 0 0 20 0 1 0 199798963 130707456 23779 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 31911 23779 1163 291 0 23445 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127644 KiB
Current children cumulated memory: 95116 KiB
[startup+0.305522 s]*
/proc/loadavg: 4.36 4.27 4.16 5/258 1081322
/proc/meminfo: memFree=119693984/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=127644 memory=95376 CPUtime=0.3 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 15767 0 0 0 23 7 0 0 20 0 1 0 199798963 130707456 23844 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 31911 23844 1163 291 0 23445 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 127644 KiB
Current children cumulated memory: 95376 KiB
[startup+0.700187 s]
/proc/loadavg: 4.36 4.27 4.16 5/258 1081322
/proc/meminfo: memFree=119672696/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=146256 memory=114396 CPUtime=0.69 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 19473 0 0 0 55 14 0 0 20 0 1 0 199798963 149766144 28599 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 36597 28599 1163 291 0 28131 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 146256 KiB
Current children cumulated memory: 114396 KiB
[startup+1.50021 s]
/proc/loadavg: 4.36 4.27 4.16 5/258 1081322
/proc/meminfo: memFree=119651164/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=213756 memory=170644 CPUtime=1.49 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 25916 0 0 0 115 34 0 0 20 0 1 0 199798963 218886144 42661 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 53439 42661 1163 291 0 44973 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 213756 KiB
Current children cumulated memory: 170644 KiB
[startup+3.10548 s]
/proc/loadavg: 4.36 4.27 4.16 5/258 1081322
/proc/meminfo: memFree=119508068/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=248352 memory=213500 CPUtime=3.08 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 35895 0 0 0 272 36 0 0 20 0 1 0 199798963 254312448 53375 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 62088 53375 1291 291 0 53622 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 248352 KiB
Current children cumulated memory: 213500 KiB
[startup+6.3002 s]
/proc/loadavg: 4.33 4.26 4.16 5/258 1081322
/proc/meminfo: memFree=119330372/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=333588 memory=298776 CPUtime=6.28 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 56213 0 0 0 585 43 0 0 20 0 1 0 199798963 341594112 74694 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 83397 74694 1291 291 0 74931 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 333588 KiB
Current children cumulated memory: 298776 KiB
[startup+12.7002 s]
/proc/loadavg: 4.30 4.26 4.16 5/258 1081324
/proc/meminfo: memFree=119035656/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=483808 memory=418188 CPUtime=12.65 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 73478 0 0 0 1193 72 0 0 20 0 1 0 199798963 495419392 104547 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 120952 104547 1370 291 0 112486 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 483808 KiB
Current children cumulated memory: 418188 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.25 4.16 5/258 1081325
/proc/meminfo: memFree=118742912/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=483808 memory=418240 CPUtime=25.41 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 73551 0 0 0 2467 74 0 0 20 0 1 0 199798963 495419392 104560 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 120952 104560 1370 291 0 112486 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 483808 KiB
Current children cumulated memory: 418240 KiB
[startup+51.1055 s]
/proc/loadavg: 4.23 4.24 4.16 5/258 1081331
/proc/meminfo: memFree=118303284/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=587616 memory=531972 CPUtime=50.95 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 92396 0 0 0 4992 103 0 0 20 0 1 0 199798963 601718784 132993 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 146904 132993 1370 291 0 138438 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 587616 KiB
Current children cumulated memory: 531972 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.22 4.16 5/258 1081340
/proc/meminfo: memFree=117321640/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=1241468 memory=1171100 CPUtime=102 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 190950 0 0 0 10029 171 0 0 20 0 1 0 199798963 1271263232 292775 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 310367 292775 1370 291 0 301901 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1241468 KiB
Current children cumulated memory: 1171100 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/257 1081351
/proc/meminfo: memFree=116673816/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=1675040 memory=1567912 CPUtime=161.83 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 244334 0 0 0 15980 203 0 0 20 0 1 0 199798963 1715240960 391978 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 418760 391978 1370 291 0 410294 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1675040 KiB
Current children cumulated memory: 1567912 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/256 1081363
/proc/meminfo: memFree=116427992/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=1675040 memory=1568248 CPUtime=221.67 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 244496 0 0 0 21953 214 0 0 20 0 1 0 199798963 1715240960 392062 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 418760 392062 1444 291 0 410294 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1675040 KiB
Current children cumulated memory: 1568248 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.19 4.15 5/258 1081757
/proc/meminfo: memFree=115632552/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=2256396 memory=1885512 CPUtime=281.49 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 298410 0 0 0 27890 259 0 0 20 0 1 0 199798963 2310549504 471378 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 564099 471378 1444 291 0 555633 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 2256396 KiB
Current children cumulated memory: 1885512 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/259 1081771
/proc/meminfo: memFree=114966672/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=2267568 memory=1920320 CPUtime=341.32 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 302521 0 0 0 33852 280 0 0 20 0 1 0 199798963 2321989632 480080 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 566892 480080 1444 291 0 558426 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 2267568 KiB
Current children cumulated memory: 1920320 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/261 1081951
/proc/meminfo: memFree=114454548/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=2267568 memory=1920320 CPUtime=401.14 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 302615 0 0 0 39812 302 0 0 20 0 1 0 199798963 2321989632 480080 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 566892 480080 1444 291 0 558426 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2267568 KiB
Current children cumulated memory: 1920320 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/261 1081961
/proc/meminfo: memFree=113338732/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=2267568 memory=1926932 CPUtime=460.97 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 304382 0 0 0 45784 313 0 0 20 0 1 0 199798963 2321989632 481733 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 566892 481733 1444 291 0 558426 0
################
# More data... #
################
Current children cumulated memory: 5653032 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/257 1083190
/proc/meminfo: memFree=107194832/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6467628 memory=5653032 CPUtime=2973.5 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 891421 0 0 0 295544 1806 0 0 20 0 1 0 199798963 6622851072 1413258 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1616907 1413258 1444 291 0 1608441 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 6467628 KiB
Current children cumulated memory: 5653032 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.10 4.13 4/251 1083233
/proc/meminfo: memFree=111324648/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6467628 memory=5653032 CPUtime=3033.31 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 891633 0 0 0 301514 1817 0 0 20 0 1 0 199798963 6622851072 1413258 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1616907 1413258 1444 291 0 1608441 0
Current children cumulated CPU time: 3033.31 s
Current children cumulated vsize: 6467628 KiB
Current children cumulated memory: 5653032 KiB
[startup+3102.3 s]
/proc/loadavg: 3.50 3.93 4.06 4/251 1083243
/proc/meminfo: memFree=111323844/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6467628 memory=5653104 CPUtime=3093.11 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 892658 0 0 0 307479 1832 0 0 20 0 1 0 199798963 6622851072 1413276 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1616907 1413276 1444 291 0 1608441 0
Current children cumulated CPU time: 3093.11 s
Current children cumulated vsize: 6467628 KiB
Current children cumulated memory: 5653104 KiB
[startup+3162.3 s]
/proc/loadavg: 3.56 3.85 4.03 4/251 1083256
/proc/meminfo: memFree=111322468/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6467628 memory=5653104 CPUtime=3152.92 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 892819 0 0 0 313448 1844 0 0 20 0 1 0 199798963 6622851072 1413276 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1616907 1413276 1444 291 0 1608441 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 6467628 KiB
Current children cumulated memory: 5653104 KiB
[startup+3222.3 s]
/proc/loadavg: 3.29 3.72 3.97 4/249 1083266
/proc/meminfo: memFree=111319572/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6467628 memory=5653104 CPUtime=3212.71 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 894038 0 0 0 319414 1857 0 0 20 0 1 0 199798963 6622851072 1413276 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1616907 1413276 1444 291 0 1608441 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 6467628 KiB
Current children cumulated memory: 5653104 KiB
[startup+3282.3 s]
/proc/loadavg: 3.22 3.62 3.92 4/249 1083276
/proc/meminfo: memFree=111308568/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6467628 memory=5663868 CPUtime=3272.52 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 897107 0 0 0 325379 1873 0 0 20 0 1 0 199798963 6622851072 1415967 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1616907 1415967 1444 291 0 1608441 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 6467628 KiB
Current children cumulated memory: 5663868 KiB
[startup+3342.3 s]
/proc/loadavg: 3.19 3.54 3.87 4/249 1083287
/proc/meminfo: memFree=111278820/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6467628 memory=5692692 CPUtime=3332.32 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 904973 0 0 0 331274 1958 0 0 20 0 1 0 199798963 6622851072 1423173 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1616907 1423173 1444 291 0 1608441 0
Current children cumulated CPU time: 3332.32 s
Current children cumulated vsize: 6467628 KiB
Current children cumulated memory: 5692692 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.45 3.82 4/248 1083298
/proc/meminfo: memFree=111233432/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6477240 memory=5736656 CPUtime=3392.13 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 916012 0 0 0 337219 1994 0 0 20 0 1 0 199798963 6632693760 1434164 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1619310 1434164 1444 291 0 1610844 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 6477240 KiB
Current children cumulated memory: 5736656 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.38 3.77 4/249 1083309
/proc/meminfo: memFree=111232900/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6477240 memory=5736656 CPUtime=3451.93 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 916204 0 0 0 343166 2027 0 0 20 0 1 0 199798963 6632693760 1434164 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1619310 1434164 1444 291 0 1610844 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 6477240 KiB
Current children cumulated memory: 5736656 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.32 3.72 4/252 1083325
/proc/meminfo: memFree=111232496/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6477240 memory=5736656 CPUtime=3511.72 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 916533 0 0 0 349116 2056 0 0 20 0 1 0 199798963 6632693760 1434164 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1619310 1434164 1444 291 0 1610844 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 6477240 KiB
Current children cumulated memory: 5736656 KiB
[startup+3582.3 s]
/proc/loadavg: 3.17 3.31 3.69 4/252 1083336
/proc/meminfo: memFree=111229488/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6477240 memory=5736656 CPUtime=3571.53 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 917258 0 0 0 355044 2109 0 0 20 0 1 0 199798963 6632693760 1434164 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1619310 1434164 1444 291 0 1610844 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 6477240 KiB
Current children cumulated memory: 5736656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 3.03 3.27 3.67 3/245 1083371
/proc/meminfo: memFree=116786656/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6477240 memory=5736656 CPUtime=3600.04 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 917603 0 0 0 357885 2119 0 0 20 0 1 0 199798963 6632693760 1434164 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1619310 1434164 1444 291 0 1610844 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6477240 KiB
Current children cumulated memory: 5736656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.49 s]
# the end of solver process 1081321 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.28 s, system=21.3593 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 2.95 3.24 3.66 3/245 1083371
/proc/meminfo: memFree=116786704/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=6477240 memory=5736948 CPUtime=3600.34 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 917622 0 0 0 357915 2119 0 0 20 0 1 0 199798963 6632693760 1434237 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1619310 1434237 1517 291 0 1610844 0
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 6477240 KiB
Current children cumulated memory: 5736948 KiB
[startup+3611.4 s]
/proc/loadavg: 2.95 3.24 3.66 3/245 1083371
/proc/meminfo: memFree=116786704/131524600 swapFree=131071996/131071996
[pid=1081321] ppid=1081318 vsize=4611576 memory=3614656 CPUtime=3600.53 cores=0,2
/proc/1081321/stat : 1081321 (pb-oll-rs) R 1081318 1081321 1077157 0 -1 4194304 917719 0 0 0 357926 2127 0 0 20 0 1 0 199798963 4722253824 903675 134679101440 4194304 5384485 140737395526032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27013120 140737395528725 140737395528802 140737395528802 140737395535819 0
/proc/1081321/statm: 1152894 903675 1532 291 0 1144428 0
Current children cumulated CPU time: 3600.53 s
Current children cumulated vsize: 4611576 KiB
Current children cumulated memory: 3614656 KiB
Child status: 0
Real time (s): 3611.49
CPU time (s): 3600.64
CPU user time (s): 3579.28
CPU system time (s): 21.3593
CPU usage (%): 99.6994
Max. virtual memory (cumulated for all children) (KiB): 6477240
Max. memory (cumulated for all children) (KiB): 5736948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.28
system time used= 21.3593
maximum resident set size= 5736948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917731
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= 6
involuntary context switches= 25232
# summary of solver processes directly reported to runsolver:
# pid: 1081321
# total CPU time (s): 3600.64
# total CPU user time (s): 3579.28
# total CPU system time (s): 21.3593
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74237 second user time and 16.5018 second system time
The end
Begin job on nodeC031 at 2024-07-20 13:52:00
IDJOB=4454523
IDBENCH=157239
IDSOLVER=3082
FILE ID=nodeC031/4454523-1721476307
RUNJOBID= nodeC031-1721469094-1077167
SLURM_JOB_ID= 7545727
Free space on /tmp= 889948 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454523-1721476307/watcher-4454523-1721476307 -o /tmp/evaluation-result-4454523-1721476307/solver-4454523-1721476307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077167 --watchdog 3760 pb-oll-rs HOME/instance-4454523-1721476307.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6518815c856eaafc5c2f585e9c40549
RANDOM SEED=884895745
nodeC031.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 : 3652.547
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.55
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 : 3686.516
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 : 7006.11
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 : 3684.281
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.55
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 : 3599.819
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 : 7006.11
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 : 3684.450
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.55
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 : 3686.505
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 : 7006.11
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 : 3604.494
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.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.986
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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119785528 kB
MemAvailable: 126817864 kB
Buffers: 544828 kB
Cached: 7248836 kB
SwapCached: 0 kB
Active: 1200316 kB
Inactive: 9729400 kB
Active(anon): 1544 kB
Inactive(anon): 3180736 kB
Active(file): 1198772 kB
Inactive(file): 6548664 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 40736 kB
Writeback: 44 kB
AnonPages: 3135032 kB
Mapped: 111876 kB
Shmem: 45912 kB
KReclaimable: 249092 kB
Slab: 381120 kB
SReclaimable: 249092 kB
SUnreclaim: 132028 kB
KernelStack: 4176 kB
PageTables: 16076 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4133540 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1062912 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: 260820 kB
DirectMap2M: 41455616 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC031 at 2024-07-20 14:52:11