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.68/2.75 c [STEP] solving
2.68/2.75 c #variables 399113 #constraints 400980
2.68/2.75 c SMALL=int, LARGE=long long
2.68/2.76 c bounds - >= -105742757 @ 2.21001
2.68/2.76 c stratification level: 999
3601.28/3609.72 c bounds - >= -71802947 @ 20.9607
3601.28/3609.72 c bounds - >= -70352494 @ 21.3051
3601.28/3609.72 c bounds - >= -70351494 @ 21.3231
3601.28/3609.72 c bounds - >= -70350494 @ 21.344
3601.28/3609.72 c bounds - >= -70349494 @ 21.3654
3601.28/3609.72 c bounds - >= -69973866 @ 21.394
3601.28/3609.72 c bounds - >= -69972866 @ 21.56
3601.28/3609.72 c #Conflicts: 1000 | #Constraints: 402323
3601.28/3609.72 c bounds - >= -69966188 @ 24.9775
3601.28/3609.72 c #Conflicts: 2000 | #Constraints: 403324
3601.28/3609.72 c INPROCESSING
3601.28/3609.72 c GARBAGE COLLECT
3601.28/3609.72 c bounds - >= -69965188 @ 27.4396
3601.28/3609.72 c bounds - >= -69964188 @ 30.3143
3601.28/3609.72 c bounds - >= -69963188 @ 30.7055
3601.28/3609.72 c bounds - >= -69962188 @ 31.002
3601.28/3609.72 c bounds - >= -69742800 @ 31.8785
3601.28/3609.72 c #Conflicts: 3000 | #Constraints: 392659
3601.28/3609.72 c #Conflicts: 4000 | #Constraints: 393659
3601.28/3609.72 c INPROCESSING
3601.28/3609.72 c GARBAGE COLLECT
3601.28/3609.72 c #Conflicts: 5000 | #Constraints: 391772
3601.28/3609.72 c #Conflicts: 6000 | #Constraints: 392772
3601.28/3609.72 c INPROCESSING
3601.28/3609.72 c GARBAGE COLLECT
3601.28/3609.72 c #Conflicts: 7000 | #Constraints: 391791
3601.28/3609.72 c #Conflicts: 8000 | #Constraints: 392791
3601.28/3609.72 c #Conflicts: 9000 | #Constraints: 393791
3601.28/3609.72 c INPROCESSING
3601.28/3609.72 c GARBAGE COLLECT
3601.28/3609.72 c #Conflicts: 10000 | #Constraints: 392520
3601.28/3609.72 c #Conflicts: 11000 | #Constraints: 393520
3601.28/3609.72 c #Conflicts: 12000 | #Constraints: 394520
3601.28/3609.72 c INPROCESSING
3601.28/3609.72 c GARBAGE COLLECT
3601.28/3609.72 c #Conflicts: 13000 | #Constraints: 392988
3601.28/3609.72 c Program interrupted by user.
3601.28/3609.73 c cpu time 3578.66 s
3601.28/3609.73 c deterministic time 121975876459 1.22e+11
3601.28/3609.73 c optimization time 336.457 s
3601.28/3609.73 c total solve time 3240 s
3601.28/3609.73 c core-guided solve time 3240 s
3601.28/3609.73 c propagation time 968.898 s
3601.28/3609.73 c conflict analysis time 2223.77 s
3601.28/3609.73 c propagations 421775742
3601.28/3609.73 c resolve steps 502082
3601.28/3609.73 c decisions 20450379
3601.28/3609.73 c conflicts 13103
3601.28/3609.73 c restarts 58
3601.28/3609.73 c inprocessing phases 5
3601.28/3609.73 c input clauses 399338
3601.28/3609.73 c input cardinalities 1977
3601.28/3609.73 c input general constraints 14
3601.28/3609.73 c input average constraint length 11.29
3601.28/3609.73 c input average constraint degree 1076.74
3601.28/3609.73 c learned clauses 2173
3601.28/3609.73 c learned cardinalities 1452
3601.28/3609.73 c learned general constraints 9478
3601.28/3609.73 c learned average constraint length 193675.05
3601.28/3609.73 c learned average constraint degree 475475813.14
3601.28/3609.73 c watched constraints 349
3601.28/3609.73 c counting constraints 9143
3601.28/3609.73 c gcd simplifications 21
3601.28/3609.73 c detected cardinalities 7
3601.28/3609.73 c weakened non-implied lits 624539060
3601.28/3609.73 c weakened non-implying lits 7846
3601.28/3609.73 c original variables 399113
3601.28/3609.73 c clausal propagations 129913398
3601.28/3609.73 c cardinality propagations 12432042
3601.28/3609.73 c watched propagations 66824
3601.28/3609.73 c counting propagations 266419692
3601.28/3609.73 c watch lookups 564982704
3601.28/3609.73 c watch backjump lookups 430725110
3601.28/3609.73 c watch checks 970864990
3601.28/3609.73 c propagation checks 114236066586
3601.28/3609.73 c constraint additions 4889158656
3601.28/3609.73 c trail pops 441852291
3601.28/3609.73 c formula constraints 400980
3601.28/3609.73 c learned constraints 13103
3601.28/3609.73 c bound constraints 13
3601.28/3609.73 c core-guided constraints 336
3601.28/3609.73 c encountered formula constraints 489432
3601.28/3609.73 c encountered learned constraints 24678
3601.28/3609.73 c encountered bound constraints 0
3601.28/3609.73 c encountered core-guided constraints 1163
3601.28/3609.73 c LP total time 0 s
3601.28/3609.73 c LP solve time 0 s
3601.28/3609.73 c LP constraints added 0
3601.28/3609.73 c LP constraints removed 0
3601.28/3609.73 c LP pivots internal 0
3601.28/3609.73 c LP pivots root 0
3601.28/3609.73 c LP calls 0
3601.28/3609.73 c LP optimalities 0
3601.28/3609.73 c LP no pivot count 0
3601.28/3609.73 c LP infeasibilities 0
3601.28/3609.73 c LP valid Farkas constraints 0
3601.28/3609.73 c LP learned Farkas constraints 0
3601.28/3609.73 c LP basis resets 0
3601.28/3609.73 c LP cycling count 0
3601.28/3609.73 c LP singular count 0
3601.28/3609.73 c LP no primal count 0
3601.28/3609.73 c LP no farkas count 0
3601.28/3609.73 c LP other issue count 0
3601.28/3609.73 c LP Gomory cuts 0
3601.28/3609.73 c LP learned cuts 0
3601.28/3609.73 c LP deleted cuts 0
3601.28/3609.73 c LP encountered Gomory constraints 0
3601.28/3609.73 c LP encountered Farkas constraints 0
3601.28/3609.73 c LP encountered learned Farkas constraints 0
3601.28/3609.73 c CG auxiliary variables introduced 248
3601.28/3609.73 c CG solutions found 0
3601.28/3609.73 c CG cores constructed 13
3601.28/3609.73 c CG core cardinality constraints returned 0
3601.28/3609.73 c CG unit cores 0
3601.28/3609.73 c CG single cores 13
3601.28/3609.73 c CG blocks removed during cardinality reduction 0
3601.28/3609.73 c CG first core best 0
3601.28/3609.73 c CG decision core best 0
3601.28/3609.73 c CG core reduction tie 0
3601.28/3609.73 c CG core degree average 1.00
3601.28/3609.73 c CG core slack average 18.08
3601.28/3609.73 c CG exhausted 0
3601.28/3609.73 c CG exhaust time 0 s
3601.28/3609.73 c CG trimmed 0
3601.28/3609.73 c CG trim time 0.049811 s
3601.28/3609.73 c CG minimized 0
3601.28/3609.73 c CG minimize time 0 s
3601.28/3609.73 c CG am1 prop time 3.43795 s
3601.28/3609.73 c CG # am1s reformulated 248
3601.28/3609.73 c CG lower bound derived from am1s 33850810
3601.28/3609.73 c CG # clausal cores 13
3601.28/3609.73 c CG # cardinality cores 0
3601.28/3609.73 c CG # pb cores 0
3601.28/3609.73 c CG # pb reforms 0
3601.28/3609.73 c CG # cores discarded because of pb reform 0
3601.28/3609.73 d LOWERBOUND -69742800
3601.28/3609.73 d NCORES 13
3601.28/3609.73 d NPBCORES 0
3601.28/3609.73 d NPBREFORM 0
3601.28/3609.73 d NTRIMMED 0
3601.28/3609.73 d NEXHAUSTED 0
3601.28/3609.73 d NAM1S 248
3601.28/3609.73 d AM1LB 33850810
3601.69/3610.19 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: 64096 MiB (59394 MiB free)
memory of node 1: 64473 MiB (56275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436084-1721153057/watcher-4436084-1721153057 -o /tmp/evaluation-result-4436084-1721153057/solver-4436084-1721153057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721145836-858084 --watchdog 3760 pb-oll-rs HOME/instance-4436084-1721153057.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=862191, runsolver pid=862188
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.74 4.41 4.25 5/244 862192
/proc/meminfo: memFree=118371592/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=116600 memory=79380 CPUtime=0.1 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 9142 0 0 0 7 3 0 0 20 0 1 0 167462926 119398400 19845 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 29150 19845 1136 291 0 20684 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 116600 KiB
Current children cumulated memory: 79380 KiB
[startup+0.208832 s]*
/proc/loadavg: 4.74 4.41 4.25 5/244 862192
/proc/meminfo: memFree=118340660/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=146300 memory=105132 CPUtime=0.2 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 15439 0 0 0 15 5 0 0 20 0 1 0 167462926 149811200 26283 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 36575 26283 1136 291 0 28109 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 146300 KiB
Current children cumulated memory: 105132 KiB
[startup+0.30877 s]*
/proc/loadavg: 4.74 4.41 4.25 5/244 862192
/proc/meminfo: memFree=118351068/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=127776 memory=92372 CPUtime=0.31 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 15481 0 0 0 25 6 0 0 20 0 1 0 167462926 130842624 23093 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 31944 23093 1152 291 0 23478 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 127776 KiB
Current children cumulated memory: 92372 KiB
[startup+0.700318 s]
/proc/loadavg: 4.74 4.41 4.25 7/244 862192
/proc/meminfo: memFree=118345060/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=127776 memory=96060 CPUtime=0.68 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 15864 0 0 0 52 16 0 0 20 0 1 0 167462926 130842624 24015 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 31944 24015 1168 291 0 23478 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127776 KiB
Current children cumulated memory: 96060 KiB
[startup+1.50033 s]
/proc/loadavg: 4.68 4.40 4.25 5/244 862192
/proc/meminfo: memFree=118321560/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=146388 memory=112900 CPUtime=1.49 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 20072 0 0 0 118 31 0 0 20 0 1 0 167462926 149901312 28225 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 36597 28225 1168 291 0 28131 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 146388 KiB
Current children cumulated memory: 112900 KiB
[startup+3.11266 s]
/proc/loadavg: 4.68 4.40 4.25 5/238 862227
/proc/meminfo: memFree=119651892/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=215892 memory=179888 CPUtime=3.1 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 26546 0 0 0 256 54 0 0 20 0 1 0 167462926 221073408 44972 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 53973 44972 1296 291 0 45507 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 215892 KiB
Current children cumulated memory: 179888 KiB
[startup+6.3003 s]
/proc/loadavg: 4.63 4.39 4.25 5/244 862238
/proc/meminfo: memFree=119390644/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=389956 memory=353748 CPUtime=6.28 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 70093 0 0 0 566 62 0 0 20 0 1 0 167462926 399314944 88437 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 97489 88437 1296 291 0 89023 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 389956 KiB
Current children cumulated memory: 353748 KiB
[startup+12.7003 s]
/proc/loadavg: 4.58 4.38 4.25 5/244 862240
/proc/meminfo: memFree=119057604/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=596676 memory=560464 CPUtime=12.66 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 120787 0 0 0 1192 74 0 0 20 0 1 0 167462926 610996224 140116 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 149169 140116 1296 291 0 140703 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 596676 KiB
Current children cumulated memory: 560464 KiB
[startup+25.5003 s]
/proc/loadavg: 4.49 4.37 4.25 5/244 862242
/proc/meminfo: memFree=118484196/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=908548 memory=842452 CPUtime=25.44 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 176645 0 0 0 2449 95 0 0 20 0 1 0 167462926 930353152 210613 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 227137 210613 1375 291 0 218671 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 908548 KiB
Current children cumulated memory: 842452 KiB
[startup+51.113 s]
/proc/loadavg: 4.41 4.37 4.25 5/244 862247
/proc/meminfo: memFree=117597388/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=1375892 memory=1300056 CPUtime=50.98 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 244085 0 0 0 4962 136 0 0 20 0 1 0 167462926 1408913408 325014 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 343973 325014 1435 291 0 335507 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1375892 KiB
Current children cumulated memory: 1300056 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.32 4.24 5/243 862257
/proc/meminfo: memFree=116534976/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=2306388 memory=2209004 CPUtime=102.07 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 385581 0 0 0 9999 208 0 0 20 0 1 0 167462926 2361741312 552251 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 576597 552251 1435 291 0 568131 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 2306388 KiB
Current children cumulated memory: 2209004 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.29 4.23 5/243 862267
/proc/meminfo: memFree=115714368/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=2859684 memory=2635144 CPUtime=161.95 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 431419 0 0 0 15975 220 0 0 20 0 1 0 167462926 2928316416 658786 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 714921 658786 1435 291 0 706455 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 2859684 KiB
Current children cumulated memory: 2635144 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.25 4.22 5/243 862277
/proc/meminfo: memFree=113664256/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=4102404 memory=3685220 CPUtime=221.83 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 598136 0 0 0 21820 363 0 0 20 0 1 0 167462926 4200861696 921305 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 1025601 921305 1435 291 0 1017135 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 4102404 KiB
Current children cumulated memory: 3685220 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.22 4.21 5/243 862289
/proc/meminfo: memFree=111638312/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=6270756 memory=5469344 CPUtime=281.71 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 910014 0 0 0 27676 495 0 0 20 0 1 0 167462926 6421254144 1367336 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 1567689 1367336 1435 291 0 1559223 0
Current children cumulated CPU time: 281.71 s
Current children cumulated vsize: 6270756 KiB
Current children cumulated memory: 5469344 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.21 4.21 5/241 862299
/proc/meminfo: memFree=110491504/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=6766164 memory=6370852 CPUtime=341.59 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 1020266 0 0 0 33623 536 0 0 20 0 1 0 167462926 6928551936 1592713 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 1691541 1592713 1435 291 0 1683075 0
Current children cumulated CPU time: 341.59 s
Current children cumulated vsize: 6766164 KiB
Current children cumulated memory: 6370852 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.18 4.19 5/243 862313
/proc/meminfo: memFree=109908416/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=8268580 memory=6835024 CPUtime=401.47 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 1024977 0 0 0 39556 591 0 0 20 0 1 0 167462926 8467025920 1708756 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 2067145 1708756 1435 291 0 2058679 0
Current children cumulated CPU time: 401.47 s
Current children cumulated vsize: 8268580 KiB
Current children cumulated memory: 6835024 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.16 4.18 5/243 862323
/proc/meminfo: memFree=108600956/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=9147552 memory=8086556 CPUtime=461.35 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 1205057 0 0 0 45422 713 0 0 20 0 1 0 167462926 9367093248 2021639 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 2286888 2021639 1435 291 0 2278422 0
################
# More data... #
################
/proc/862191/statm: 3885390 3557321 1435 291 0 3876924 0
Current children cumulated CPU time: 2975.18 s
Current children cumulated vsize: 15541560 KiB
Current children cumulated memory: 14229284 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.15 4.17 5/244 863672
/proc/meminfo: memFree=105475160/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=15541560 memory=14229436 CPUtime=3035.05 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2140352 0 0 0 301674 1831 0 0 20 0 1 0 167462926 15914557440 3557359 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 3885390 3557359 1435 291 0 3876924 0
Current children cumulated CPU time: 3035.05 s
Current children cumulated vsize: 15541560 KiB
Current children cumulated memory: 14229436 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/242 864068
/proc/meminfo: memFree=105573948/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=15541560 memory=14229504 CPUtime=3094.94 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2142444 0 0 0 307658 1836 0 0 20 0 1 0 167462926 15914557440 3557376 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 3885390 3557376 1435 291 0 3876924 0
Current children cumulated CPU time: 3094.94 s
Current children cumulated vsize: 15541560 KiB
Current children cumulated memory: 14229504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/242 864078
/proc/meminfo: memFree=105133504/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=15852360 memory=14624188 CPUtime=3154.81 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2196063 0 0 0 313595 1886 0 0 20 0 1 0 167462926 16232816640 3656047 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 3963090 3656047 1435 291 0 3954624 0
Current children cumulated CPU time: 3154.81 s
Current children cumulated vsize: 15852360 KiB
Current children cumulated memory: 14624188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/242 864088
/proc/meminfo: memFree=102752516/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19061128 memory=16990932 CPUtime=3214.67 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2722445 0 0 0 319449 2018 0 0 20 0 1 0 167462926 19518595072 4247733 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4765282 4247733 1435 291 0 4756816 0
Current children cumulated CPU time: 3214.67 s
Current children cumulated vsize: 19061128 KiB
Current children cumulated memory: 16990932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/244 864269
/proc/meminfo: memFree=102481968/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19068936 memory=17260708 CPUtime=3274.54 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2750839 0 0 0 325404 2050 0 0 20 0 1 0 167462926 19526590464 4315177 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4767234 4315177 1435 291 0 4758768 0
Current children cumulated CPU time: 3274.54 s
Current children cumulated vsize: 19068936 KiB
Current children cumulated memory: 17260708 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 864279
/proc/meminfo: memFree=102472076/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19077944 memory=17269680 CPUtime=3334.42 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2754076 0 0 0 331377 2065 0 0 20 0 1 0 167462926 19535814656 4317420 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4769486 4317420 1435 291 0 4761020 0
Current children cumulated CPU time: 3334.42 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17269680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/244 864303
/proc/meminfo: memFree=102461344/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19077944 memory=17279884 CPUtime=3394.29 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2754662 0 0 0 337354 2075 0 0 20 0 1 0 167462926 19535814656 4319971 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4769486 4319971 1435 291 0 4761020 0
Current children cumulated CPU time: 3394.29 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17279884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/244 864313
/proc/meminfo: memFree=102457284/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19077944 memory=17281360 CPUtime=3454.17 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2755525 0 0 0 343274 2143 0 0 20 0 1 0 167462926 19535814656 4320340 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4769486 4320340 1435 291 0 4761020 0
Current children cumulated CPU time: 3454.17 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17281360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/244 864324
/proc/meminfo: memFree=102456840/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19077944 memory=17281360 CPUtime=3514.05 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2756560 0 0 0 349196 2209 0 0 20 0 1 0 167462926 19535814656 4320340 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4769486 4320340 1435 291 0 4761020 0
Current children cumulated CPU time: 3514.05 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17281360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/243 864334
/proc/meminfo: memFree=102456520/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19077944 memory=17281360 CPUtime=3573.93 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2757837 0 0 0 355139 2254 0 0 20 0 1 0 167462926 19535814656 4320340 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4769486 4320340 1435 291 0 4761020 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17281360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.14 4.12 4.14 5/243 864338
/proc/meminfo: memFree=102456356/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19077944 memory=17281360 CPUtime=3600.08 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2758628 0 0 0 357743 2265 0 0 20 0 1 0 167462926 19535814656 4320340 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4769486 4320340 1435 291 0 4761020 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17281360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.29 s]
# the end of solver process 862191 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.84 s, system=23.041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.14 4.12 4.14 6/242 864352
/proc/meminfo: memFree=106029712/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=19077944 memory=17281648 CPUtime=3601.18 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2758832 0 0 0 357853 2265 0 0 20 0 1 0 167462926 19535814656 4320412 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 4769486 4320412 1507 291 0 4761020 0
Current children cumulated CPU time: 3601.18 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17281648 KiB
[startup+3610 s]*
/proc/loadavg: 4.14 4.12 4.14 5/241 864352
/proc/meminfo: memFree=109173772/131655788 swapFree=131071996/131071996
[pid=862191] ppid=862188 vsize=15848408 memory=13834968 CPUtime=3601.59 cores=4,6
/proc/862191/stat : 862191 (pb-oll-rs) R 862188 862191 858073 0 -1 4194304 2759255 0 0 0 357882 2277 0 0 20 0 1 0 167462926 16228769792 3458905 134679101440 4194304 5384005 140720574420496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 20365312 140720574428183 140720574428260 140720574428260 140720574435275 0
/proc/862191/statm: 3962102 3458742 1522 291 0 3953636 0
Current children cumulated CPU time: 3601.59 s
Current children cumulated vsize: 15848408 KiB
Current children cumulated memory: 13834968 KiB
[startup+3610.2 s]*
/proc/loadavg: 4.14 4.12 4.14 5/241 864352
/proc/meminfo: memFree=115005248/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.29
CPU time (s): 3601.88
CPU user time (s): 3578.84
CPU system time (s): 23.041
CPU usage (%): 99.767
Max. virtual memory (cumulated for all children) (KiB): 19077944
Max. memory (cumulated for all children) (KiB): 17281648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.84
system time used= 23.041
maximum resident set size= 17281648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2759277
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= 38
involuntary context switches= 3017
# summary of solver processes directly reported to runsolver:
# pid: 862191
# total CPU time (s): 3601.88
# total CPU user time (s): 3578.84
# total CPU system time (s): 23.041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3165 second user time and 35.9509 second system time
The end
Begin job on nodeC011 at 2024-07-16 20:04:30
IDJOB=4436084
IDBENCH=158125
IDSOLVER=3067
FILE ID=nodeC011/4436084-1721153057
RUNJOBID= nodeC011-1721145836-858084
SLURM_JOB_ID= 7505737
Free space on /tmp= 723716 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.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-4436084-1721153057/watcher-4436084-1721153057 -o /tmp/evaluation-result-4436084-1721153057/solver-4436084-1721153057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721145836-858084 --watchdog 3760 pb-oll-rs HOME/instance-4436084-1721153057.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c394902a34a3ecc31aded0750ee67503
RANDOM SEED=748556819
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 : 3661.105
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 : 3597.565
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 : 1197.186
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.168
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 : 1197.140
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 : 1958.618
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 : 1411.147
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.124
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: 118446588 kB
MemAvailable: 123172612 kB
Buffers: 449224 kB
Cached: 5060864 kB
SwapCached: 0 kB
Active: 850832 kB
Inactive: 11687132 kB
Active(anon): 1444 kB
Inactive(anon): 7064172 kB
Active(file): 849388 kB
Inactive(file): 4622960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 60916 kB
Writeback: 0 kB
AnonPages: 7027644 kB
Mapped: 108104 kB
Shmem: 37704 kB
KReclaimable: 187748 kB
Slab: 297504 kB
SReclaimable: 187748 kB
SUnreclaim: 109756 kB
KernelStack: 3952 kB
PageTables: 24220 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 8521044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1650688 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= 723600 MiB
End job on nodeC011 at 2024-07-16 21:04:41