0.00/0.04 c RoundingSat 2
0.00/0.04 c branch
0.00/0.04 c commit
0.00/0.04 c [STEP] parsing instance
2.43/2.59 c [STEP] solving
2.43/2.59 c #variables 399113 #constraints 400980
2.53/2.60 c SMALL=int, LARGE=long long
2.53/2.62 c bounds - >= -246044672 @ 2.0936
2.53/2.62 c stratification level: 4181
3601.20/3612.98 c bounds - >= -96680967 @ 21.0158
3601.20/3612.98 c bounds - >= -96668262 @ 21.1148
3601.20/3612.98 c bounds - >= -95950230 @ 21.1407
3601.20/3612.98 c bounds - >= -95946018 @ 21.1679
3601.20/3612.98 c bounds - >= -95937640 @ 21.191
3601.20/3612.98 c #Conflicts: 1000 | #Constraints: 403916
3601.20/3612.98 c #Conflicts: 2000 | #Constraints: 404916
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c #Conflicts: 3000 | #Constraints: 404851
3601.20/3612.98 c #Conflicts: 4000 | #Constraints: 405851
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c GARBAGE COLLECT
3601.20/3612.98 c #Conflicts: 5000 | #Constraints: 405248
3601.20/3612.98 c #Conflicts: 6000 | #Constraints: 406248
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c GARBAGE COLLECT
3601.20/3612.98 c #Conflicts: 7000 | #Constraints: 405255
3601.20/3612.98 c #Conflicts: 8000 | #Constraints: 406255
3601.20/3612.98 c #Conflicts: 9000 | #Constraints: 407255
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c #Conflicts: 10000 | #Constraints: 405960
3601.20/3612.98 c #Conflicts: 11000 | #Constraints: 406960
3601.20/3612.98 c #Conflicts: 12000 | #Constraints: 407960
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c GARBAGE COLLECT
3601.20/3612.98 c #Conflicts: 13000 | #Constraints: 406424
3601.20/3612.98 c #Conflicts: 14000 | #Constraints: 407424
3601.20/3612.98 c #Conflicts: 15000 | #Constraints: 408424
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c #Conflicts: 16000 | #Constraints: 406695
3601.20/3612.98 c #Conflicts: 17000 | #Constraints: 407695
3601.20/3612.98 c #Conflicts: 18000 | #Constraints: 408695
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c GARBAGE COLLECT
3601.20/3612.98 c #Conflicts: 19000 | #Constraints: 406859
3601.20/3612.98 c #Conflicts: 20000 | #Constraints: 407859
3601.20/3612.98 c #Conflicts: 21000 | #Constraints: 408859
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c #Conflicts: 22000 | #Constraints: 406594
3601.20/3612.98 c #Conflicts: 23000 | #Constraints: 407594
3601.20/3612.98 c #Conflicts: 24000 | #Constraints: 408594
3601.20/3612.98 c #Conflicts: 25000 | #Constraints: 409594
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c GARBAGE COLLECT
3601.20/3612.98 c #Conflicts: 26000 | #Constraints: 407218
3601.20/3612.98 c #Conflicts: 27000 | #Constraints: 408218
3601.20/3612.98 c #Conflicts: 28000 | #Constraints: 409218
3601.20/3612.98 c #Conflicts: 29000 | #Constraints: 410218
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c #Conflicts: 30000 | #Constraints: 407575
3601.20/3612.98 c #Conflicts: 31000 | #Constraints: 408575
3601.20/3612.98 c #Conflicts: 32000 | #Constraints: 409575
3601.20/3612.98 c #Conflicts: 33000 | #Constraints: 410575
3601.20/3612.98 c INPROCESSING
3601.20/3612.98 c GARBAGE COLLECT
3601.20/3612.98 c #Conflicts: 34000 | #Constraints: 407775
3601.20/3612.98 c #Conflicts: 35000 | #Constraints: 408775
3601.20/3612.98 c #Conflicts: 36000 | #Constraints: 409775
3601.20/3612.98 c Program interrupted by user.
3601.20/3612.98 c cpu time 3591.57 s
3601.20/3612.98 c deterministic time 67807855627 6.78e+10
3601.20/3612.98 c optimization time 286.276 s
3601.20/3612.98 c total solve time 3303.21 s
3601.20/3612.98 c core-guided solve time 3303.21 s
3601.20/3612.98 c propagation time 729.295 s
3601.20/3612.98 c conflict analysis time 2543.19 s
3601.20/3612.98 c propagations 7333038900
3601.20/3612.98 c resolve steps 47057
3601.20/3612.98 c decisions 10425927
3601.20/3612.98 c conflicts 36000
3601.20/3612.98 c restarts 125
3601.20/3612.98 c inprocessing phases 11
3601.20/3612.98 c input clauses 400933
3601.20/3612.98 c input cardinalities 1977
3601.20/3612.98 c input general constraints 6
3601.20/3612.98 c input average constraint length 9.35
3601.20/3612.98 c input average constraint degree 1859.38
3601.20/3612.98 c learned clauses 22532
3601.20/3612.98 c learned cardinalities 7748
3601.20/3612.98 c learned general constraints 5720
3601.20/3612.98 c learned average constraint length 15920.40
3601.20/3612.98 c learned average constraint degree 29127.42
3601.20/3612.98 c watched constraints 16
3601.20/3612.98 c counting constraints 5710
3601.20/3612.98 c gcd simplifications 0
3601.20/3612.98 c detected cardinalities 3
3601.20/3612.98 c weakened non-implied lits 3039609741
3601.20/3612.98 c weakened non-implying lits 0
3601.20/3612.98 c original variables 399113
3601.20/3612.98 c clausal propagations 43581639
3601.20/3612.98 c cardinality propagations 7158989
3601.20/3612.98 c watched propagations 2
3601.20/3612.98 c counting propagations 7252783643
3601.20/3612.98 c watch lookups 114845631
3601.20/3612.98 c watch backjump lookups 64070000
3601.20/3612.98 c watch checks 502207061
3601.20/3612.98 c propagation checks 38629603863
3601.20/3612.98 c constraint additions 13810198848
3601.20/3612.98 c trail pops 7343465396
3601.20/3612.98 c formula constraints 400980
3601.20/3612.98 c learned constraints 36000
3601.20/3612.98 c bound constraints 5
3601.20/3612.98 c core-guided constraints 1931
3601.20/3612.98 c encountered formula constraints 38836
3601.20/3612.98 c encountered learned constraints 12021
3601.20/3612.98 c encountered bound constraints 0
3601.20/3612.98 c encountered core-guided constraints 32279
3601.20/3612.98 c LP total time 0 s
3601.20/3612.98 c LP solve time 0 s
3601.20/3612.98 c LP constraints added 0
3601.20/3612.98 c LP constraints removed 0
3601.20/3612.98 c LP pivots internal 0
3601.20/3612.98 c LP pivots root 0
3601.20/3612.98 c LP calls 0
3601.20/3612.98 c LP optimalities 0
3601.20/3612.98 c LP no pivot count 0
3601.20/3612.98 c LP infeasibilities 0
3601.20/3612.98 c LP valid Farkas constraints 0
3601.20/3612.98 c LP learned Farkas constraints 0
3601.20/3612.98 c LP basis resets 0
3601.20/3612.98 c LP cycling count 0
3601.20/3612.98 c LP singular count 0
3601.20/3612.98 c LP no primal count 0
3601.20/3612.98 c LP no farkas count 0
3601.20/3612.98 c LP other issue count 0
3601.20/3612.98 c LP Gomory cuts 0
3601.20/3612.98 c LP learned cuts 0
3601.20/3612.98 c LP deleted cuts 0
3601.20/3612.98 c LP encountered Gomory constraints 0
3601.20/3612.98 c LP encountered Farkas constraints 0
3601.20/3612.98 c LP encountered learned Farkas constraints 0
3601.20/3612.98 c CG auxiliary variables introduced 1852
3601.20/3612.98 c CG solutions found 0
3601.20/3612.98 c CG cores constructed 5
3601.20/3612.98 c CG core cardinality constraints returned 4
3601.20/3612.98 c CG unit cores 0
3601.20/3612.98 c CG single cores 4
3601.20/3612.98 c CG blocks removed during cardinality reduction 27
3601.20/3612.98 c CG first core best 0
3601.20/3612.98 c CG decision core best 0
3601.20/3612.98 c CG core reduction tie 1
3601.20/3612.98 c CG core degree average 67.40
3601.20/3612.98 c CG core slack average 1.00
3601.20/3612.98 c CG exhausted 0
3601.20/3612.98 c CG exhaust time 0 s
3601.20/3612.98 c CG trimmed 109
3601.20/3612.98 c CG trim time 0.004176 s
3601.20/3612.98 c CG minimized 0
3601.20/3612.98 c CG minimize time 0 s
3601.20/3612.98 c CG am1 prop time 3.77506 s
3601.20/3612.98 c CG # am1s reformulated 1852
3601.20/3612.98 c CG lower bound derived from am1s 148424089
3601.20/3612.98 c CG # clausal cores 1
3601.20/3612.98 c CG # cardinality cores 5
3601.20/3612.98 c CG # pb cores 0
3601.20/3612.98 c CG # pb reforms 0
3601.20/3612.98 c CG # cores discarded because of pb reform 0
3601.20/3612.98 d LOWERBOUND -95937640
3601.20/3612.98 d NCORES 5
3601.20/3612.98 d NPBCORES 0
3601.20/3612.98 d NPBREFORM 0
3601.20/3612.98 d NTRIMMED 109
3601.20/3612.98 d NEXHAUSTED 0
3601.20/3612.98 d NAM1S 1852
3601.20/3612.98 d AM1LB 148424089
3601.41/3613.15 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: 63794 MiB (55580 MiB free)
memory of node 1: 64507 MiB (63829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505856-1751489461/watcher-4505856-1751489461 -o /tmp/evaluation-result-4505856-1751489461/solver-4505856-1751489461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751489461-68485 --watchdog 3760 pb-oll-rs HOME/instance-4505856-1751489461.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68534, runsolver pid=68525
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=122060916/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=82300 memory=67148 CPUtime=0.06 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 7166 0 1 0 3 3 0 0 20 0 1 0 64625511 84275200 16787 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 20575 16787 1120 243 0 16824 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 82300 KiB
Current children cumulated memory: 67148 KiB
[startup+0.213723 s]*
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121842604/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=162368 memory=131120 CPUtime=0.18 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 16726 0 1 0 11 7 0 0 20 0 1 0 64625511 166264832 32780 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 40592 32780 1120 243 0 36841 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 162368 KiB
Current children cumulated memory: 131120 KiB
[startup+0.313665 s]*
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121801392/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=145980 memory=114732 CPUtime=0.28 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 16726 0 1 0 21 7 0 0 20 0 1 0 64625511 149483520 28683 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 36495 28683 1120 243 0 32744 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 145980 KiB
Current children cumulated memory: 114732 KiB
[startup+0.700271 s]
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121801392/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=110008 memory=97988 CPUtime=0.65 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 17382 0 1 0 51 14 0 0 20 0 1 0 64625511 112648192 24497 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 27502 24497 1152 243 0 23751 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 110008 KiB
Current children cumulated memory: 97988 KiB
[startup+1.50028 s]
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121797284/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=129276 memory=117324 CPUtime=1.44 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 22288 0 1 0 118 26 0 0 20 0 1 0 64625511 132378624 29331 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 32319 29331 1152 243 0 28568 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 129276 KiB
Current children cumulated memory: 117324 KiB
[startup+3.11284 s]
/proc/loadavg: 1.28 1.28 1.79 5/253 68543
/proc/meminfo: memFree=121458648/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=196088 memory=179336 CPUtime=3.05 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 29671 0 1 0 259 46 0 0 20 0 1 0 64625511 200794112 44834 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 49022 44834 1312 243 0 45271 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 196088 KiB
Current children cumulated memory: 179336 KiB
[startup+6.3003 s]
/proc/loadavg: 1.50 1.32 1.81 5/254 68545
/proc/meminfo: memFree=120604324/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=319644 memory=302856 CPUtime=6.23 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 60557 0 1 0 570 53 0 0 20 0 1 0 64625511 327315456 75714 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 79911 75714 1312 243 0 76160 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 319644 KiB
Current children cumulated memory: 302856 KiB
[startup+12.7003 s]
/proc/loadavg: 1.70 1.37 1.82 5/254 68545
/proc/meminfo: memFree=119257888/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=494016 memory=477212 CPUtime=12.61 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 101118 0 1 0 1199 62 0 0 20 0 1 0 64625511 505872384 119303 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 123504 119303 1312 243 0 119753 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 494016 KiB
Current children cumulated memory: 477212 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 1.50 1.85 5/254 68545
/proc/meminfo: memFree=116834192/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=777896 memory=734140 CPUtime=25.35 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 153271 0 1 0 2451 84 0 0 20 0 1 0 64625511 796565504 183535 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 194474 183535 1376 243 0 190723 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 777896 KiB
Current children cumulated memory: 734140 KiB
[startup+51.113 s]
/proc/loadavg: 2.82 1.70 1.91 5/254 68545
/proc/meminfo: memFree=113237184/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=786844 memory=749248 CPUtime=50.89 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 155016 0 1 0 5000 89 0 0 20 0 1 0 64625511 805728256 187312 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 196711 187312 1376 243 0 192960 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 786844 KiB
Current children cumulated memory: 749248 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.07 2.03 5/254 68548
/proc/meminfo: memFree=109219472/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=861192 memory=800728 CPUtime=101.92 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 166355 0 1 0 10091 101 0 0 20 0 1 0 64625511 881860608 200182 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 215298 200182 1376 243 0 211547 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 861192 KiB
Current children cumulated memory: 800728 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.47 2.17 5/254 68550
/proc/meminfo: memFree=103687804/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=863836 memory=807772 CPUtime=161.74 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 167127 0 1 0 16068 106 0 0 20 0 1 0 64625511 884568064 201943 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 215959 201943 1376 243 0 212208 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 863836 KiB
Current children cumulated memory: 807772 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.77 2.29 5/254 68552
/proc/meminfo: memFree=103166740/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=1012688 memory=954788 CPUtime=221.56 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 192163 0 1 0 22033 123 0 0 20 0 1 0 64625511 1036992512 238697 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 253172 238697 1376 243 0 249421 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1012688 KiB
Current children cumulated memory: 954788 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.01 2.41 5/254 68556
/proc/meminfo: memFree=102616696/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=1467876 memory=1350824 CPUtime=281.37 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 252880 0 1 0 27949 188 0 0 20 0 1 0 64625511 1503105024 337706 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 366969 337706 1376 243 0 363218 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 1467876 KiB
Current children cumulated memory: 1350824 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.21 2.52 5/250 68558
/proc/meminfo: memFree=101880392/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=1470100 memory=1384784 CPUtime=341.18 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 254216 0 1 0 33920 198 0 0 20 0 1 0 64625511 1505382400 346196 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 367525 346196 1376 243 0 363774 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1470100 KiB
Current children cumulated memory: 1384784 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.37 2.62 5/250 68560
/proc/meminfo: memFree=101012012/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=1835108 memory=1627044 CPUtime=400.99 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 292321 0 1 0 39873 226 0 0 20 0 1 0 64625511 1879150592 406761 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 458777 406761 1376 243 0 455026 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1835108 KiB
Current children cumulated memory: 1627044 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.50 2.71 5/250 68562
/proc/meminfo: memFree=99462948/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=2128144 memory=1930320 CPUtime=460.8 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 351875 0 1 0 45827 253 0 0 20 0 1 0 64625511 2179219456 482580 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 532036 482580 1376 243 0 528285 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
/proc/68534/statm: 1660898 1355798 1376 243 0 1657147 0
Current children cumulated CPU time: 2972.65 s
Current children cumulated vsize: 6643592 KiB
Current children cumulated memory: 5423192 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/251 68714
/proc/meminfo: memFree=69574132/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643592 memory=5423192 CPUtime=3032.46 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 917214 0 1 0 302380 866 0 0 20 0 1 0 64625511 6803038208 1355798 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660898 1355798 1376 243 0 1657147 0
Current children cumulated CPU time: 3032.46 s
Current children cumulated vsize: 6643592 KiB
Current children cumulated memory: 5423192 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/250 68716
/proc/meminfo: memFree=69305712/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643592 memory=5423192 CPUtime=3092.27 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 917314 0 1 0 308351 876 0 0 20 0 1 0 64625511 6803038208 1355798 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660898 1355798 1376 243 0 1657147 0
Current children cumulated CPU time: 3092.27 s
Current children cumulated vsize: 6643592 KiB
Current children cumulated memory: 5423192 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/251 68719
/proc/meminfo: memFree=68602824/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643592 memory=5523740 CPUtime=3152.07 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 919563 0 1 0 314312 895 0 0 20 0 1 0 64625511 6803038208 1380935 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660898 1380935 1376 243 0 1657147 0
Current children cumulated CPU time: 3152.07 s
Current children cumulated vsize: 6643592 KiB
Current children cumulated memory: 5523740 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/251 68721
/proc/meminfo: memFree=67478692/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643592 memory=5558336 CPUtime=3211.87 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 920189 0 1 0 320278 909 0 0 20 0 1 0 64625511 6803038208 1389584 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660898 1389584 1376 243 0 1657147 0
Current children cumulated CPU time: 3211.87 s
Current children cumulated vsize: 6643592 KiB
Current children cumulated memory: 5558336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/251 68726
/proc/meminfo: memFree=66713040/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643592 memory=5604412 CPUtime=3271.68 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 921502 0 1 0 326238 930 0 0 20 0 1 0 64625511 6803038208 1401103 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660898 1401103 1376 243 0 1657147 0
Current children cumulated CPU time: 3271.68 s
Current children cumulated vsize: 6643592 KiB
Current children cumulated memory: 5604412 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/251 68728
/proc/meminfo: memFree=66117124/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643932 memory=5677728 CPUtime=3331.48 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 926082 0 1 0 332207 941 0 0 20 0 1 0 64625511 6803386368 1419432 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660983 1419432 1376 243 0 1657232 0
Current children cumulated CPU time: 3331.48 s
Current children cumulated vsize: 6643932 KiB
Current children cumulated memory: 5677728 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/250 68730
/proc/meminfo: memFree=65222392/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643932 memory=5677728 CPUtime=3391.29 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 926116 0 1 0 338178 951 0 0 20 0 1 0 64625511 6803386368 1419432 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660983 1419432 1376 243 0 1657232 0
Current children cumulated CPU time: 3391.29 s
Current children cumulated vsize: 6643932 KiB
Current children cumulated memory: 5677728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/249 68732
/proc/meminfo: memFree=63573808/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643932 memory=5677728 CPUtime=3451.09 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 926130 0 1 0 344154 955 0 0 20 0 1 0 64625511 6803386368 1419432 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660983 1419432 1376 243 0 1657232 0
Current children cumulated CPU time: 3451.09 s
Current children cumulated vsize: 6643932 KiB
Current children cumulated memory: 5677728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/249 68734
/proc/meminfo: memFree=62781568/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643932 memory=5677728 CPUtime=3510.9 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 926177 0 1 0 350127 963 0 0 20 0 1 0 64625511 6803386368 1419432 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660983 1419432 1376 243 0 1657232 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 6643932 KiB
Current children cumulated memory: 5677728 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/249 68737
/proc/meminfo: memFree=62249424/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643932 memory=5677728 CPUtime=3570.7 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 926204 0 1 0 356101 969 0 0 20 0 1 0 64625511 6803386368 1419432 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660983 1419432 1376 243 0 1657232 0
Current children cumulated CPU time: 3570.7 s
Current children cumulated vsize: 6643932 KiB
Current children cumulated memory: 5677728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.10 4.09 4.04 4/246 68751
/proc/meminfo: memFree=64919148/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643932 memory=5677728 CPUtime=3600.01 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 926269 0 1 0 359029 972 0 0 20 0 1 0 64625511 6803386368 1419432 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660983 1419432 1376 243 0 1657232 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6643932 KiB
Current children cumulated memory: 5677728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.22 s]
# the end of solver process 68534 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.64 s, system=9.89729 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 4.10 4.09 4.04 3/241 68759
/proc/meminfo: memFree=96245920/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643932 memory=5677984 CPUtime=3600.32 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 926720 0 1 0 359060 972 0 0 20 0 1 0 64625511 6803386368 1419496 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660983 1419496 1440 243 0 1657232 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 6643932 KiB
Current children cumulated memory: 5677984 KiB
[startup+3612.8 s]
/proc/loadavg: 4.10 4.09 4.04 3/241 68759
/proc/meminfo: memFree=96245920/131382120 swapFree=33010416/33010684
[pid=68534] ppid=68525 vsize=6643932 memory=5677984 CPUtime=3601.1 cores=4,6
/proc/68534/stat : 68534 (pb-oll-rs) R 68525 68534 68474 0 -1 4194304 926787 0 1 0 359138 972 0 0 20 0 1 0 64625511 6803386368 1419496 18446744073709551615 4218880 5211445 140722925893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 13434880 140722925898140 140722925898217 140722925898217 140722925903819 0
/proc/68534/statm: 1660983 1419496 1440 243 0 1657232 0
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 6643932 KiB
Current children cumulated memory: 5677984 KiB
[startup+3613.2 s]*
/proc/loadavg: 4.10 4.09 4.04 5/245 68805
/proc/meminfo: memFree=120189912/131382120 swapFree=33010416/33010684
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): 3613.22
CPU time (s): 3601.54
CPU user time (s): 3591.64
CPU system time (s): 9.89729
CPU usage (%): 99.6766
Max. virtual memory (cumulated for all children) (KiB): 6643932
Max. memory (cumulated for all children) (KiB): 5677984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.64
system time used= 9.89729
maximum resident set size= 5678112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926820
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 20221
# summary of solver processes directly reported to runsolver:
# pid: 68534
# total CPU time (s): 3601.54
# total CPU user time (s): 3591.64
# total CPU system time (s): 9.89729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0746 second user time and 34.133 second system time
The end
Begin job on nodeC006 at 2025-07-02 22:51:01
IDJOB=4505856
IDBENCH=157342
IDSOLVER=3345
FILE ID=nodeC006/4505856-1751489461
RUNJOBID= nodeC006-1751489461-68485
SLURM_JOB_ID= 9598551
Free space on /tmp= 432216 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505856-1751489461/watcher-4505856-1751489461 -o /tmp/evaluation-result-4505856-1751489461/solver-4505856-1751489461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751489461-68485 --watchdog 3760 pb-oll-rs HOME/instance-4505856-1751489461.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 98a5f88ebd5d10d5c10cd6435ed09c83
RANDOM SEED=679736515
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 1995.828
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.809
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
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.450
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.138
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
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 : 1795.782
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.127
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
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.142
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.752
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 122272496 kB
MemAvailable: 129913380 kB
Buffers: 2128 kB
Cached: 8411472 kB
SwapCached: 12 kB
Active: 479720 kB
Inactive: 7999720 kB
Active(anon): 72808 kB
Inactive(anon): 11092 kB
Active(file): 406912 kB
Inactive(file): 7988628 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 127372 kB
Writeback: 0 kB
AnonPages: 69012 kB
Mapped: 103540 kB
Shmem: 17948 kB
KReclaimable: 169560 kB
Slab: 256424 kB
SReclaimable: 169560 kB
SUnreclaim: 86864 kB
KernelStack: 3904 kB
PageTables: 2932 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 331320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432208 MiB
End job on nodeC006 at 2025-07-02 23:51:15