0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
2.89/9.00 c #variables 661504 #constraints 5680
758.44/766.44 c #Conflicts: 1000 | #Constraints: 6679
758.44/766.44 c #Conflicts: 2000 | #Constraints: 7679
758.44/766.44 c INPROCESSING
758.44/766.44 c GARBAGE COLLECT
758.44/766.44 c #Conflicts: 3000 | #Constraints: 7704
758.44/766.44 c #Conflicts: 4000 | #Constraints: 8704
758.44/766.44 c INPROCESSING
758.44/766.44 c GARBAGE COLLECT
758.44/766.44 c #Conflicts: 5000 | #Constraints: 8113
758.44/766.44 c #Conflicts: 6000 | #Constraints: 9113
758.44/766.44 c INPROCESSING
758.44/766.44 c GARBAGE COLLECT
758.44/766.44 c #Conflicts: 7000 | #Constraints: 8116
758.44/766.44 c #Conflicts: 8000 | #Constraints: 9116
758.44/766.44 c #Conflicts: 9000 | #Constraints: 10116
758.44/766.44 c INPROCESSING
758.44/766.44 c GARBAGE COLLECT
758.44/766.44 c rational objective 2825
3600.12/3614.81 c #Conflicts: 10000 | #Constraints: 8825
3600.12/3614.81 c #Conflicts: 11000 | #Constraints: 9825
3600.12/3614.81 c #Conflicts: 12000 | #Constraints: 10825
3600.12/3614.81 c INPROCESSING
3600.12/3614.81 c GARBAGE COLLECT
3600.12/3614.81 c #Conflicts: 13000 | #Constraints: 9279
3600.12/3614.81 c #Conflicts: 14000 | #Constraints: 10279
3600.12/3614.81 c #Conflicts: 15000 | #Constraints: 11279
3600.12/3614.81 c INPROCESSING
3600.12/3614.81 c GARBAGE COLLECT
3600.12/3614.81 c #Conflicts: 16000 | #Constraints: 9511
3600.12/3614.81 c #Conflicts: 17000 | #Constraints: 10511
3600.12/3614.81 c #Conflicts: 18000 | #Constraints: 11511
3600.12/3614.81 c INPROCESSING
3600.12/3614.81 c GARBAGE COLLECT
3600.12/3614.81 c #Conflicts: 19000 | #Constraints: 9527
3600.12/3614.81 c #Conflicts: 20000 | #Constraints: 10527
3600.12/3614.81 c #Conflicts: 21000 | #Constraints: 11527
3600.12/3614.81 c INPROCESSING
3600.12/3614.81 c GARBAGE COLLECT
3600.12/3614.81 c #Conflicts: 22000 | #Constraints: 9327
3600.12/3614.81 c #Conflicts: 23000 | #Constraints: 10328
3600.12/3614.81 c #Conflicts: 24000 | #Constraints: 11329
3600.12/3614.81 c #Conflicts: 25000 | #Constraints: 12329
3600.12/3614.81 c INPROCESSING
3600.12/3614.81 c GARBAGE COLLECT
3600.12/3614.81 c #Conflicts: 26000 | #Constraints: 9929
3600.12/3614.81 c Program interrupted by user.
3600.39/3615.18 c cpu time 3542.85 s
3600.39/3615.18 c deterministic time 242585494821 2.43e+11
3600.39/3615.18 c optimization time 986.051 s
3600.39/3615.18 c total solve time 2554.02 s
3600.39/3615.18 c core-guided solve time 0 s
3600.39/3615.18 c propagation time 1978.3 s
3600.39/3615.18 c conflict analysis time 810.733 s
3600.39/3615.18 c propagations 287267470
3600.39/3615.18 c resolve steps 104508
3600.39/3615.18 c decisions 41475989
3600.39/3615.18 c conflicts 26954
3600.39/3615.18 c restarts 93
3600.39/3615.18 c inprocessing phases 9
3600.39/3615.18 c input clauses 2583
3600.39/3615.18 c input cardinalities 2583
3600.39/3615.18 c input general constraints 514
3600.39/3615.18 c input average constraint length 464.38
3600.39/3615.18 c input average constraint degree 100007.46
3600.39/3615.18 c learned clauses 260
3600.39/3615.18 c learned cardinalities 54
3600.39/3615.18 c learned general constraints 26642
3600.39/3615.18 c learned average constraint length 98306.03
3600.39/3615.18 c learned average constraint degree 82750752328.63
3600.39/3615.18 c watched constraints 19995
3600.39/3615.18 c counting constraints 7161
3600.39/3615.18 c gcd simplifications 333
3600.39/3615.18 c detected cardinalities 0
3600.39/3615.18 c weakened non-implied lits 56480165
3600.39/3615.18 c weakened non-implying lits 24604
3600.39/3615.18 c original variables 661504
3600.39/3615.18 c clausal propagations 128818
3600.39/3615.18 c cardinality propagations 37735576
3600.39/3615.18 c watched propagations 201626210
3600.39/3615.18 c counting propagations 46198584
3600.39/3615.18 c watch lookups 923320854
3600.39/3615.18 c watch backjump lookups 913501920
3600.39/3615.18 c watch checks 162873183737
3600.39/3615.18 c propagation checks 73677038903
3600.39/3615.18 c constraint additions 3541422586
3600.39/3615.18 c trail pops 328217248
3600.39/3615.18 c formula constraints 5680
3600.39/3615.18 c learned constraints 26952
3600.39/3615.18 c bound constraints 0
3600.39/3615.18 c core-guided constraints 0
3600.39/3615.18 c encountered formula constraints 86800
3600.39/3615.18 c encountered learned constraints 44652
3600.39/3615.18 c encountered bound constraints 0
3600.39/3615.18 c encountered core-guided constraints 0
3600.39/3615.18 c LP total time 749.567 s
3600.39/3615.18 c LP solve time 747.46 s
3600.39/3615.18 c LP constraints added 5680
3600.39/3615.18 c LP constraints removed 0
3600.39/3615.18 c LP pivots internal 37751
3600.39/3615.18 c LP pivots root 28362
3600.39/3615.18 c LP calls 8
3600.39/3615.18 c LP optimalities 1
3600.39/3615.18 c LP no pivot count 0
3600.39/3615.18 c LP infeasibilities 2
3600.39/3615.18 c LP valid Farkas constraints 2
3600.39/3615.18 c LP learned Farkas constraints 2
3600.39/3615.18 c LP basis resets 0
3600.39/3615.18 c LP cycling count 0
3600.39/3615.18 c LP singular count 0
3600.39/3615.18 c LP no primal count 0
3600.39/3615.18 c LP no farkas count 0
3600.39/3615.18 c LP other issue count 0
3600.39/3615.18 c LP Gomory cuts 0
3600.39/3615.18 c LP learned cuts 0
3600.39/3615.18 c LP deleted cuts 0
3600.39/3615.18 c LP encountered Gomory constraints 0
3600.39/3615.18 c LP encountered Farkas constraints 1
3600.39/3615.18 c LP encountered learned Farkas constraints 7
3600.39/3615.18 c CG auxiliary variables introduced 0
3600.39/3615.18 c CG solutions found 0
3600.39/3615.18 c CG cores constructed 0
3600.39/3615.18 c CG core cardinality constraints returned 0
3600.39/3615.18 c CG unit cores 0
3600.39/3615.18 c CG single cores 0
3600.39/3615.18 c CG blocks removed during cardinality reduction 0
3600.39/3615.18 c CG first core best 0
3600.39/3615.18 c CG decision core best 0
3600.39/3615.18 c CG core reduction tie 0
3600.39/3615.18 c CG core degree average 0.00
3600.39/3615.18 c CG core slack average 0.00
3600.39/3615.18 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 (46083 MiB free)
memory of node 1: 64473 MiB (62664 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463112-1722348067/watcher-4463112-1722348067 -o /tmp/evaluation-result-4463112-1722348067/solver-4463112-1722348067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6266 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463112-1722348067 --lp-cut-gomory=0 HOME/instance-4463112-1722348067.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=10697, runsolver pid=10694
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.24 4.20 4.21 4/250 10698
/proc/meminfo: memFree=111348564/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/10697/stat : 10697 (roundingsat) D 10694 10697 6253 0 -1 1077936128 212 0 0 0 0 0 0 0 20 0 1 0 1177379 38273024 638 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.209486 s]*
/proc/loadavg: 4.24 4.20 4.21 4/250 10698
/proc/meminfo: memFree=111344684/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/10697/stat : 10697 (roundingsat) D 10694 10697 6253 0 -1 1077936128 212 0 0 0 0 0 0 0 20 0 1 0 1177379 38273024 638 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.307818 s]*
/proc/loadavg: 4.24 4.20 4.21 4/250 10698
/proc/meminfo: memFree=111339208/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/10697/stat : 10697 (roundingsat) D 10694 10697 6253 0 -1 1077936128 212 0 0 0 0 0 0 0 20 0 1 0 1177379 38273024 638 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.700277 s]
/proc/loadavg: 4.24 4.20 4.21 4/250 10698
/proc/meminfo: memFree=111335036/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/10697/stat : 10697 (roundingsat) D 10694 10697 6253 0 -1 1077936128 212 0 0 0 0 0 0 0 20 0 1 0 1177379 38273024 638 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+1.50026 s]
/proc/loadavg: 4.24 4.20 4.21 4/250 10698
/proc/meminfo: memFree=111325728/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/10697/stat : 10697 (roundingsat) D 10694 10697 6253 0 -1 1077936128 212 0 0 0 0 0 0 0 20 0 1 0 1177379 38273024 638 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+3.1124 s]
/proc/loadavg: 4.24 4.20 4.21 4/250 10698
/proc/meminfo: memFree=111275916/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/10697/stat : 10697 (roundingsat) D 10694 10697 6253 0 -1 1077936128 212 0 0 0 0 0 0 0 20 0 1 0 1177379 38273024 638 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
heavy processes:
[startup+6.30067 s]
/proc/loadavg: 4.22 4.20 4.21 5/250 10698
/proc/meminfo: memFree=111202776/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=80856 memory=48264 CPUtime=0.29 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 9112 0 0 0 26 3 0 0 20 0 1 0 1177379 82796544 12066 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 20214 12066 1365 992 0 12072 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80856 KiB
Current children cumulated memory: 48264 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.20 4.20 4.20 5/245 10699
/proc/meminfo: memFree=110514860/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=702872 memory=624632 CPUtime=6.68 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 64538 0 0 0 583 85 0 0 20 0 1 0 1177379 719740928 156158 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 175718 156158 1715 992 0 167576 0
Current children cumulated CPU time: 6.68 s
Current children cumulated vsize: 702872 KiB
Current children cumulated memory: 624632 KiB
heavy processes:
[startup+25.5003 s]
/proc/loadavg: 4.24 4.20 4.21 5/245 10701
/proc/meminfo: memFree=110083068/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=922532 memory=768100 CPUtime=19.45 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 68804 0 0 0 1804 141 0 0 20 0 1 0 1177379 944672768 192025 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 230633 192025 1760 992 0 222491 0
Current children cumulated CPU time: 19.45 s
Current children cumulated vsize: 922532 KiB
Current children cumulated memory: 768100 KiB
heavy processes:
[startup+51.1128 s]
/proc/loadavg: 4.15 4.19 4.20 5/245 10705
/proc/meminfo: memFree=109396448/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=927652 memory=818224 CPUtime=45 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 69815 0 0 0 4266 234 0 0 20 0 1 0 1177379 949915648 204556 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 231913 204556 1760 992 0 223771 0
Current children cumulated CPU time: 45 s
Current children cumulated vsize: 927652 KiB
Current children cumulated memory: 818224 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.19 5/246 10716
/proc/meminfo: memFree=107551784/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=971744 memory=881948 CPUtime=96.07 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 80442 0 0 0 9149 458 0 0 20 0 1 0 1177379 995065856 220487 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 242936 220487 1815 992 0 234794 0
Current children cumulated CPU time: 96.07 s
Current children cumulated vsize: 971744 KiB
Current children cumulated memory: 881948 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.19 4.19 5/248 11244
/proc/meminfo: memFree=125013068/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=971956 memory=882496 CPUtime=155.93 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 80620 0 0 0 15133 460 0 0 20 0 1 0 1177379 995282944 220624 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 242989 220624 1815 992 0 234847 0
Current children cumulated CPU time: 155.93 s
Current children cumulated vsize: 971956 KiB
Current children cumulated memory: 882496 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/249 11630
/proc/meminfo: memFree=124158560/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=972688 memory=883284 CPUtime=215.81 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 80941 0 0 0 21117 464 0 0 20 0 1 0 1177379 996032512 220821 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 243172 220821 1815 992 0 235030 0
Current children cumulated CPU time: 215.81 s
Current children cumulated vsize: 972688 KiB
Current children cumulated memory: 883284 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.13 4.17 5/247 11641
/proc/meminfo: memFree=123700160/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=972688 memory=883484 CPUtime=275.67 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 81103 0 0 0 27102 465 0 0 20 0 1 0 1177379 996032512 220871 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 243172 220871 1815 992 0 235030 0
Current children cumulated CPU time: 275.67 s
Current children cumulated vsize: 972688 KiB
Current children cumulated memory: 883484 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/247 11652
/proc/meminfo: memFree=122960600/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=1295596 memory=1117076 CPUtime=335.5 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 127416 0 0 0 32827 723 0 0 20 0 1 0 1177379 1326690304 279269 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 323899 279269 1815 992 0 315757 0
Current children cumulated CPU time: 335.5 s
Current children cumulated vsize: 1295596 KiB
Current children cumulated memory: 1117076 KiB
[startup+402.301 s]
/proc/loadavg: 4.11 4.14 4.17 5/248 11663
/proc/meminfo: memFree=122442172/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=1295596 memory=1117196 CPUtime=395.34 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 127484 0 0 0 38811 723 0 0 20 0 1 0 1177379 1326690304 279299 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 323899 279299 1815 992 0 315757 0
Current children cumulated CPU time: 395.34 s
Current children cumulated vsize: 1295596 KiB
Current children cumulated memory: 1117196 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/246 11673
################
# More data... #
################
/proc/meminfo: memFree=71883520/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24403664 memory=19738764 CPUtime=2969.02 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1428679 0 0 0 291995 4907 0 0 20 0 1 0 1177379 24989351936 4934691 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6100916 4934691 1847 992 0 6092774 0
Current children cumulated CPU time: 2969.02 s
Current children cumulated vsize: 24403664 KiB
Current children cumulated memory: 19738764 KiB
[startup+3042.3 s]
/proc/loadavg: 3.10 3.18 3.39 4/248 12816
/proc/meminfo: memFree=71159224/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24403664 memory=19738764 CPUtime=3028.89 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1432558 0 0 0 297927 4962 0 0 20 0 1 0 1177379 24989351936 4934691 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6100916 4934691 1847 992 0 6092774 0
Current children cumulated CPU time: 3028.89 s
Current children cumulated vsize: 24403664 KiB
Current children cumulated memory: 19738764 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.18 3.37 4/249 12828
/proc/meminfo: memFree=70025900/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24403664 memory=19738764 CPUtime=3088.76 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1436495 0 0 0 303878 4998 0 0 20 0 1 0 1177379 24989351936 4934691 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6100916 4934691 1847 992 0 6092774 0
Current children cumulated CPU time: 3088.76 s
Current children cumulated vsize: 24403664 KiB
Current children cumulated memory: 19738764 KiB
[startup+3162.3 s]
/proc/loadavg: 3.29 3.21 3.37 4/247 12838
/proc/meminfo: memFree=68855328/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24461268 memory=19796368 CPUtime=3148.63 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1449889 0 0 0 309793 5070 0 0 20 0 1 0 1177379 25048338432 4949092 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6115317 4949092 1847 992 0 6107175 0
Current children cumulated CPU time: 3148.63 s
Current children cumulated vsize: 24461268 KiB
Current children cumulated memory: 19796368 KiB
[startup+3222.3 s]
/proc/loadavg: 3.21 3.20 3.35 4/247 12849
/proc/meminfo: memFree=68059200/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24523992 memory=19859080 CPUtime=3208.5 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1463553 0 0 0 315729 5121 0 0 20 0 1 0 1177379 25112567808 4964770 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6130998 4964770 1847 992 0 6122856 0
Current children cumulated CPU time: 3208.5 s
Current children cumulated vsize: 24523992 KiB
Current children cumulated memory: 19859080 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.17 3.34 4/246 13243
/proc/meminfo: memFree=67240472/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24603400 memory=19938384 CPUtime=3268.36 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1482499 0 0 0 321616 5220 0 0 20 0 1 0 1177379 25193881600 4984596 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6150850 4984596 1847 992 0 6142708 0
Current children cumulated CPU time: 3268.36 s
Current children cumulated vsize: 24603400 KiB
Current children cumulated memory: 19938384 KiB
[startup+3342.3 s]
/proc/loadavg: 3.20 3.19 3.33 6/248 13255
/proc/meminfo: memFree=66246124/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24698128 memory=20033232 CPUtime=3328.23 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1504692 0 0 0 327481 5342 0 0 20 0 1 0 1177379 25290883072 5008308 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6174532 5008308 1847 992 0 6166390 0
Current children cumulated CPU time: 3328.23 s
Current children cumulated vsize: 24698128 KiB
Current children cumulated memory: 20033232 KiB
[startup+3402.3 s]
/proc/loadavg: 3.17 3.18 3.32 4/247 13265
/proc/meminfo: memFree=65166180/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24752672 memory=20087536 CPUtime=3388.1 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1517475 0 0 0 333351 5459 0 0 20 0 1 0 1177379 25346736128 5021884 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6188168 5021884 1847 992 0 6180026 0
Current children cumulated CPU time: 3388.1 s
Current children cumulated vsize: 24752672 KiB
Current children cumulated memory: 20087536 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.18 3.31 4/248 13445
/proc/meminfo: memFree=64174212/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24793132 memory=20128236 CPUtime=3447.97 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1528586 0 0 0 339282 5515 0 0 20 0 1 0 1177379 25388167168 5032059 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6198283 5032059 1847 992 0 6190141 0
Current children cumulated CPU time: 3447.97 s
Current children cumulated vsize: 24793132 KiB
Current children cumulated memory: 20128236 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.17 3.30 4/248 13456
/proc/meminfo: memFree=63506040/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24811084 memory=20146280 CPUtime=3507.83 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1536945 0 0 0 345203 5580 0 0 20 0 1 0 1177379 25406550016 5036570 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6202771 5036570 1847 992 0 6194629 0
Current children cumulated CPU time: 3507.83 s
Current children cumulated vsize: 24811084 KiB
Current children cumulated memory: 20146280 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.17 3.28 4/248 13470
/proc/meminfo: memFree=62765896/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24811640 memory=20146904 CPUtime=3567.7 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1542500 0 0 0 351054 5716 0 0 20 0 1 0 1177379 25407119360 5036726 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6202910 5036726 1847 992 0 6194768 0
Current children cumulated CPU time: 3567.7 s
Current children cumulated vsize: 24811640 KiB
Current children cumulated memory: 20146904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.7 s]
/proc/loadavg: 3.16 3.17 3.28 4/242 13513
/proc/meminfo: memFree=77915784/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24811640 memory=20146904 CPUtime=3600.02 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1545285 0 0 0 354273 5729 0 0 20 0 1 0 1177379 25407119360 5036726 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6202910 5036726 1847 992 0 6194768 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 24811640 KiB
Current children cumulated memory: 20146904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.33 s]
# the end of solver process 10697 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3543.08 s, system=57.5416 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.8 s]
/proc/loadavg: 3.16 3.17 3.28 4/242 13513
/proc/meminfo: memFree=77915784/131655788 swapFree=131071216/131071996
[pid=10697] ppid=10694 vsize=24811640 memory=20146904 CPUtime=3600.12 cores=5,7
/proc/10697/stat : 10697 (roundingsat) R 10694 10697 6253 0 -1 4194304 1545288 0 0 0 354283 5729 0 0 20 0 1 0 1177379 25407119360 5036726 134679101440 4194304 8255733 140736547148288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38637568 140736547152738 140736547153000 140736547153000 140736547160009 0
/proc/10697/statm: 6202910 5036726 1847 992 0 6194768 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 24811640 KiB
Current children cumulated memory: 20146904 KiB
[startup+3615.2 s]*
/proc/loadavg: 3.15 3.17 3.28 4/242 13513
/proc/meminfo: memFree=95205116/131655788 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3615.31 s]
/proc/loadavg: 3.15 3.17 3.28 4/242 13513
/proc/meminfo: memFree=95205116/131655788 swapFree=131071216/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): 3615.33
CPU time (s): 3600.62
CPU user time (s): 3543.08
CPU system time (s): 57.5416
CPU usage (%): 99.5932
Max. virtual memory (cumulated for all children) (KiB): 24811640
Max. memory (cumulated for all children) (KiB): 20146904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.08
system time used= 57.5416
maximum resident set size= 20147240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1545727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31651864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1574
involuntary context switches= 7779
# summary of solver processes directly reported to runsolver:
# pid: 10697
# total CPU time (s): 3600.62
# total CPU user time (s): 3543.08
# total CPU system time (s): 57.5416
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5498 second user time and 35.9812 second system time
The end
Begin job on nodeC007 at 2024-07-30 16:01:08
IDJOB=4463112
IDBENCH=160480
IDSOLVER=3089
FILE ID=nodeC007/4463112-1722348067
RUNJOBID= nodeC007-1722340763-6266
SLURM_JOB_ID= 8248987
Free space on /tmp= 723696 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463112-1722348067/watcher-4463112-1722348067 -o /tmp/evaluation-result-4463112-1722348067/solver-4463112-1722348067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6266 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463112-1722348067 --lp-cut-gomory=0 HOME/instance-4463112-1722348067.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4a42be2aaf272439af058ac9b796a856
RANDOM SEED=768974306
nodeC007.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 : 3571.428
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.58
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 : 3674.289
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.35
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.392
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.58
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.253
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.35
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 : 3617.870
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.58
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 : 1539.768
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.35
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.266
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.58
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 : 1403.247
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 111359300 kB
MemAvailable: 125857132 kB
Buffers: 44064 kB
Cached: 15278868 kB
SwapCached: 100 kB
Active: 192524 kB
Inactive: 19644488 kB
Active(anon): 1632 kB
Inactive(anon): 4533600 kB
Active(file): 190892 kB
Inactive(file): 15110888 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 157640 kB
Writeback: 0 kB
AnonPages: 4510736 kB
Mapped: 97148 kB
Shmem: 21076 kB
KReclaimable: 72504 kB
Slab: 150988 kB
SReclaimable: 72504 kB
SUnreclaim: 78484 kB
KernelStack: 4016 kB
PageTables: 18120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5076052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3571712 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC007 at 2024-07-30 17:01:23