Trace number 4460739

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
RoundingSat log (2)? (TO) 3600.59 3611.96

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
MD5SUM4a42be2aaf272439af058ac9b796a856
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.75774
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables661504
Total number of constraints5680
Number of constraints which are clauses2583
Number of constraints which are cardinality constraints (but not clauses)2583
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2584
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 935283
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2150318
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
1.78/1.84	c #variables 661504 #constraints 5680
753.23/755.30	c #Conflicts:       1000 | #Constraints:       6679
753.23/755.30	c #Conflicts:       2000 | #Constraints:       7679
753.23/755.30	c INPROCESSING
753.23/755.30	c GARBAGE COLLECT
753.23/755.30	c #Conflicts:       3000 | #Constraints:       7704
753.23/755.30	c #Conflicts:       4000 | #Constraints:       8704
753.23/755.30	c INPROCESSING
753.23/755.30	c GARBAGE COLLECT
753.23/755.30	c #Conflicts:       5000 | #Constraints:       8113
753.23/755.30	c #Conflicts:       6000 | #Constraints:       9113
753.23/755.30	c INPROCESSING
753.23/755.30	c GARBAGE COLLECT
753.23/755.30	c #Conflicts:       7000 | #Constraints:       8116
753.23/755.30	c #Conflicts:       8000 | #Constraints:       9116
753.23/755.30	c #Conflicts:       9000 | #Constraints:      10116
753.23/755.30	c INPROCESSING
753.23/755.30	c GARBAGE COLLECT
753.23/755.30	c rational objective 2825
3600.15/3611.51	c #Conflicts:      10000 | #Constraints:       8825
3600.15/3611.51	c #Conflicts:      11000 | #Constraints:       9825
3600.15/3611.51	c #Conflicts:      12000 | #Constraints:      10825
3600.15/3611.51	c INPROCESSING
3600.15/3611.51	c GARBAGE COLLECT
3600.15/3611.51	c #Conflicts:      13000 | #Constraints:       9279
3600.15/3611.51	c #Conflicts:      14000 | #Constraints:      10279
3600.15/3611.51	c #Conflicts:      15000 | #Constraints:      11279
3600.15/3611.51	c INPROCESSING
3600.15/3611.51	c GARBAGE COLLECT
3600.15/3611.51	c #Conflicts:      16000 | #Constraints:       9511
3600.15/3611.51	c #Conflicts:      17000 | #Constraints:      10511
3600.15/3611.51	c #Conflicts:      18000 | #Constraints:      11511
3600.15/3611.51	c INPROCESSING
3600.15/3611.51	c GARBAGE COLLECT
3600.15/3611.51	c #Conflicts:      19000 | #Constraints:       9527
3600.15/3611.51	c #Conflicts:      20000 | #Constraints:      10527
3600.15/3611.51	c #Conflicts:      21000 | #Constraints:      11527
3600.15/3611.51	c INPROCESSING
3600.15/3611.51	c GARBAGE COLLECT
3600.15/3611.51	c #Conflicts:      22000 | #Constraints:       9327
3600.15/3611.51	c #Conflicts:      23000 | #Constraints:      10328
3600.15/3611.51	c #Conflicts:      24000 | #Constraints:      11329
3600.15/3611.51	c #Conflicts:      25000 | #Constraints:      12329
3600.15/3611.51	c INPROCESSING
3600.15/3611.51	c GARBAGE COLLECT
3600.15/3611.51	c #Conflicts:      26000 | #Constraints:       9929
3600.15/3611.51	c Program interrupted by user.
3600.42/3611.83	c cpu time 3542.44 s
3600.42/3611.83	c deterministic time 244157523111 2.44e+11
3600.42/3611.83	c optimization time 955.276 s
3600.42/3611.83	c total solve time 2585.51 s
3600.42/3611.83	c core-guided solve time 0 s
3600.42/3611.83	c propagation time 1966.77 s
3600.42/3611.83	c conflict analysis time 825.826 s
3600.42/3611.83	c propagations 287516402
3600.42/3611.83	c resolve steps 104531
3600.42/3611.83	c decisions 41667976
3600.42/3611.83	c conflicts 26962
3600.42/3611.83	c restarts 93
3600.42/3611.83	c inprocessing phases 9
3600.42/3611.83	c input clauses 2583
3600.42/3611.83	c input cardinalities 2583
3600.42/3611.83	c input general constraints 514
3600.42/3611.83	c input average constraint length 464.38
3600.42/3611.83	c input average constraint degree 100007.46
3600.42/3611.83	c learned clauses 260
3600.42/3611.83	c learned cardinalities 54
3600.42/3611.83	c learned general constraints 26650
3600.42/3611.83	c learned average constraint length 98442.47
3600.42/3611.83	c learned average constraint degree 82817026621.00
3600.42/3611.83	c watched constraints 20003
3600.42/3611.83	c counting constraints 7161
3600.42/3611.83	c gcd simplifications 333
3600.42/3611.83	c detected cardinalities 0
3600.42/3611.83	c weakened non-implied lits 56480165
3600.42/3611.83	c weakened non-implying lits 24604
3600.42/3611.83	c original variables 661504
3600.42/3611.83	c clausal propagations 129002
3600.42/3611.83	c cardinality propagations 37759451
3600.42/3611.83	c watched propagations 201822492
3600.42/3611.83	c counting propagations 46227175
3600.42/3611.83	c watch lookups 927472856
3600.42/3611.83	c watch backjump lookups 917854810
3600.42/3611.83	c watch checks 163663308675
3600.42/3611.83	c propagation checks 74444293952
3600.42/3611.83	c constraint additions 3546680980
3600.42/3611.83	c trail pops 328661346
3600.42/3611.83	c formula constraints 5680
3600.42/3611.83	c learned constraints 26960
3600.42/3611.83	c bound constraints 0
3600.42/3611.83	c core-guided constraints 0
3600.42/3611.83	c encountered formula constraints 86822
3600.42/3611.83	c encountered learned constraints 44661
3600.42/3611.83	c encountered bound constraints 0
3600.42/3611.83	c encountered core-guided constraints 0
3600.42/3611.83	c LP total time 751.163 s
3600.42/3611.83	c LP solve time 749.13 s
3600.42/3611.83	c LP constraints added 5680
3600.42/3611.83	c LP constraints removed 0
3600.42/3611.83	c LP pivots internal 37751
3600.42/3611.83	c LP pivots root 28362
3600.42/3611.83	c LP calls 8
3600.42/3611.83	c LP optimalities 1
3600.42/3611.83	c LP no pivot count 0
3600.42/3611.83	c LP infeasibilities 2
3600.42/3611.83	c LP valid Farkas constraints 2
3600.42/3611.83	c LP learned Farkas constraints 2
3600.42/3611.83	c LP basis resets 0
3600.42/3611.83	c LP cycling count 0
3600.42/3611.83	c LP singular count 0
3600.42/3611.83	c LP no primal count 0
3600.42/3611.83	c LP no farkas count 0
3600.42/3611.83	c LP other issue count 0
3600.42/3611.83	c LP Gomory cuts 0
3600.42/3611.83	c LP learned cuts 0
3600.42/3611.83	c LP deleted cuts 0
3600.42/3611.83	c LP encountered Gomory constraints 0
3600.42/3611.83	c LP encountered Farkas constraints 1
3600.42/3611.83	c LP encountered learned Farkas constraints 7
3600.42/3611.83	c CG auxiliary variables introduced 0
3600.42/3611.83	c CG solutions found 0
3600.42/3611.83	c CG cores constructed 0
3600.42/3611.83	c CG core cardinality constraints returned 0
3600.42/3611.83	c CG unit cores 0
3600.42/3611.83	c CG single cores 0
3600.42/3611.83	c CG blocks removed during cardinality reduction 0
3600.42/3611.83	c CG first core best 0
3600.42/3611.83	c CG decision core best 0
3600.42/3611.83	c CG core reduction tie 0
3600.42/3611.83	c CG core degree average 0.00
3600.42/3611.83	c CG core slack average 0.00
3600.42/3611.83	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63968 MiB (56618 MiB free)
  memory of node 1: 64473 MiB (54169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460739-1722072126/watcher-4460739-1722072126 -o /tmp/evaluation-result-4460739-1722072126/solver-4460739-1722072126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317336 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460739-1722072126 --lp-cut-gomory=0 HOME/instance-4460739-1722072126.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=322617, runsolver pid=322614

[startup+0.100091 s]*
/proc/loadavg: 4.07 4.10 4.09 5/259 322618
/proc/meminfo: memFree=113417476/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=63980 memory=34644 CPUtime=0.09 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 7757 0 0 0 8 1 0 0 20 0 1 0 43740525 65515520 8661 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 15995 8661 1378 992 0 7853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63980 KiB
Current children cumulated memory: 34644 KiB

[startup+0.205703 s]*
/proc/loadavg: 4.07 4.10 4.09 5/259 322618
/proc/meminfo: memFree=113390564/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=118744 memory=64852 CPUtime=0.19 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 12268 0 0 0 17 2 0 0 20 0 1 0 43740525 121593856 16213 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 29686 16213 1378 992 0 21544 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118744 KiB
Current children cumulated memory: 64852 KiB

[startup+0.305659 s]*
/proc/loadavg: 4.07 4.10 4.09 5/259 322618
/proc/meminfo: memFree=113348760/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=140272 memory=104580 CPUtime=0.29 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 15072 0 0 0 26 3 0 0 20 0 1 0 43740525 143638528 26145 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 35068 26145 1378 992 0 26926 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140272 KiB
Current children cumulated memory: 104580 KiB

[startup+0.700219 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 322618
/proc/meminfo: memFree=113253148/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=249236 memory=190404 CPUtime=0.68 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 21712 0 0 0 61 7 0 0 20 0 1 0 43740525 255217664 47601 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 62309 47601 1378 992 0 54167 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 249236 KiB
Current children cumulated memory: 190404 KiB

[startup+1.50024 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 322619
/proc/meminfo: memFree=113207732/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=265892 memory=203828 CPUtime=1.48 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 24053 0 0 0 136 12 0 0 20 0 1 0 43740525 272273408 50957 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 66473 50957 1378 992 0 58331 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 265892 KiB
Current children cumulated memory: 203828 KiB

[startup+3.10552 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 322619
/proc/meminfo: memFree=112759400/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=702872 memory=621868 CPUtime=3.08 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 66389 0 0 0 278 30 0 0 20 0 1 0 43740525 719740928 155467 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 175718 155467 1713 992 0 167576 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 702872 KiB
Current children cumulated memory: 621868 KiB

[startup+6.30021 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 322619
/proc/meminfo: memFree=112718468/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=741268 memory=655488 CPUtime=6.27 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 68732 0 0 0 529 98 0 0 20 0 1 0 43740525 759058432 163872 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 185317 163872 1745 992 0 177175 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 741268 KiB
Current children cumulated memory: 655488 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.09 5/259 322621
/proc/meminfo: memFree=112589564/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=841144 memory=725768 CPUtime=12.65 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 70483 0 0 0 1131 134 0 0 20 0 1 0 43740525 861331456 181442 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 210286 181442 1745 992 0 202144 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 841144 KiB
Current children cumulated memory: 725768 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 322622
/proc/meminfo: memFree=112341008/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=922532 memory=807800 CPUtime=25.41 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 71750 0 0 0 2309 232 0 0 20 0 1 0 43740525 944672768 201950 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 230633 201950 1761 992 0 222491 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 922532 KiB
Current children cumulated memory: 807800 KiB

[startup+51.1056 s]
/proc/loadavg: 4.35 4.16 4.11 5/259 323238
/proc/meminfo: memFree=112296428/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=927652 memory=813392 CPUtime=50.93 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 72324 0 0 0 4858 235 0 0 20 0 1 0 43740525 949915648 203348 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 231913 203348 1761 992 0 223771 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 927652 KiB
Current children cumulated memory: 813392 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/259 323248
/proc/meminfo: memFree=111834640/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=971744 memory=878172 CPUtime=101.97 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 82580 0 0 0 9742 455 0 0 20 0 1 0 43740525 995065856 219543 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 242936 219543 1825 992 0 234794 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 971744 KiB
Current children cumulated memory: 878172 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/258 323258
/proc/meminfo: memFree=111609044/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=971956 memory=878240 CPUtime=161.82 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 82738 0 0 0 15726 456 0 0 20 0 1 0 43740525 995282944 219560 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 242989 219560 1825 992 0 234847 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 971956 KiB
Current children cumulated memory: 878240 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/257 323652
/proc/meminfo: memFree=111380892/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=972688 memory=879128 CPUtime=221.66 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 83043 0 0 0 21706 460 0 0 20 0 1 0 43740525 996032512 219782 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 243172 219782 1825 992 0 235030 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 972688 KiB
Current children cumulated memory: 879128 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/257 323663
/proc/meminfo: memFree=111251536/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=972688 memory=879348 CPUtime=281.5 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 83200 0 0 0 27688 462 0 0 20 0 1 0 43740525 996032512 219837 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 243172 219837 1825 992 0 235030 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 972688 KiB
Current children cumulated memory: 879348 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 323674
/proc/meminfo: memFree=110712284/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=1295596 memory=1114364 CPUtime=341.33 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 129404 0 0 0 33412 721 0 0 20 0 1 0 43740525 1326690304 278591 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 323899 278591 1825 992 0 315757 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1295596 KiB
Current children cumulated memory: 1114364 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 323854
/proc/meminfo: memFree=110586792/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=1295596 memory=1116536 CPUtime=401.18 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 129460 0 0 0 39396 722 0 0 20 0 1 0 43740525 1326690304 279134 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 323899 279134 1825 992 0 315757 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1295596 KiB
Current children cumulated memory: 1116536 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 323865
/proc/meminfo: memFree=110292528/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=1295596 memory=1117680 CPUtime=461.01 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 129590 0 0 0 45378 723 0 0 20 0 1 0 43740525 1326690304 279420 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 323899 279420 1825 992 0 315757 0

################
# More data... #
################

/proc/322617/statm: 6100916 4934231 1857 992 0 6092774 0
Current children cumulated CPU time: 2972.91 s
Current children cumulated vsize: 24403664 KiB
Current children cumulated memory: 19736924 KiB

[startup+3042.3 s]
/proc/loadavg: 3.15 3.35 3.71 4/250 325044
/proc/meminfo: memFree=82446324/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24403664 memory=19736924 CPUtime=3032.73 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1438946 0 0 0 298293 4980 0 0 20 0 1 0 43740525 24989351936 4934231 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6100916 4934231 1857 992 0 6092774 0
Current children cumulated CPU time: 3032.73 s
Current children cumulated vsize: 24403664 KiB
Current children cumulated memory: 19736924 KiB

[startup+3102.3 s]
/proc/loadavg: 3.26 3.33 3.68 4/250 325055
/proc/meminfo: memFree=81891424/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24403664 memory=19736924 CPUtime=3092.55 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1443166 0 0 0 304228 5027 0 0 20 0 1 0 43740525 24989351936 4934231 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6100916 4934231 1857 992 0 6092774 0
Current children cumulated CPU time: 3092.55 s
Current children cumulated vsize: 24403664 KiB
Current children cumulated memory: 19736924 KiB

[startup+3162.3 s]
/proc/loadavg: 3.40 3.37 3.67 4/250 325065
/proc/meminfo: memFree=81447404/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24453972 memory=19787224 CPUtime=3152.36 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1455388 0 0 0 310142 5094 0 0 20 0 1 0 43740525 25040867328 4946806 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6113493 4946806 1857 992 0 6105351 0
Current children cumulated CPU time: 3152.36 s
Current children cumulated vsize: 24453972 KiB
Current children cumulated memory: 19787224 KiB

[startup+3222.3 s]
/proc/loadavg: 3.33 3.36 3.65 4/248 325075
/proc/meminfo: memFree=80964184/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24516252 memory=19849472 CPUtime=3212.17 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1466682 0 0 0 316069 5148 0 0 20 0 1 0 43740525 25104642048 4962368 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6129063 4962368 1857 992 0 6120921 0
Current children cumulated CPU time: 3212.17 s
Current children cumulated vsize: 24516252 KiB
Current children cumulated memory: 19849472 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 3.29 3.61 4/248 325085
/proc/meminfo: memFree=80515028/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24602256 memory=19935516 CPUtime=3271.99 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1486012 0 0 0 321969 5230 0 0 20 0 1 0 43740525 25192710144 4983879 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6150564 4983879 1857 992 0 6142422 0
Current children cumulated CPU time: 3271.99 s
Current children cumulated vsize: 24602256 KiB
Current children cumulated memory: 19935516 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.27 3.58 4/248 325096
/proc/meminfo: memFree=80013112/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24698128 memory=20031388 CPUtime=3331.8 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1506327 0 0 0 327813 5367 0 0 20 0 1 0 43740525 25290883072 5007847 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6174532 5007847 1857 992 0 6166390 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 24698128 KiB
Current children cumulated memory: 20031388 KiB

[startup+3402.3 s]
/proc/loadavg: 3.15 3.25 3.55 4/248 325106
/proc/meminfo: memFree=79590200/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24757592 memory=20090688 CPUtime=3391.62 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1519652 0 0 0 333679 5483 0 0 20 0 1 0 43740525 25351774208 5022672 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6189398 5022672 1857 992 0 6181256 0
Current children cumulated CPU time: 3391.62 s
Current children cumulated vsize: 24757592 KiB
Current children cumulated memory: 20090688 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.22 3.52 4/248 325116
/proc/meminfo: memFree=79180104/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24794456 memory=20127672 CPUtime=3451.43 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1530315 0 0 0 339595 5548 0 0 20 0 1 0 43740525 25389522944 5031918 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6198614 5031918 1857 992 0 6190472 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 24794456 KiB
Current children cumulated memory: 20127672 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.20 3.49 4/251 325132
/proc/meminfo: memFree=78891696/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24811084 memory=20144340 CPUtime=3511.24 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1537764 0 0 0 345510 5614 0 0 20 0 1 0 43740525 25406550016 5036085 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6202771 5036085 1857 992 0 6194629 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 24811084 KiB
Current children cumulated memory: 20144340 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.18 3.46 4/251 325143
/proc/meminfo: memFree=78599288/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24811640 memory=20144928 CPUtime=3571.05 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1542585 0 0 0 351360 5745 0 0 20 0 1 0 43740525 25407119360 5036232 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6202910 5036232 1857 992 0 6194768 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 24811640 KiB
Current children cumulated memory: 20144928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 3.13 3.18 3.45 4/251 325149
/proc/meminfo: memFree=78430348/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24813448 memory=20146712 CPUtime=3600.05 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1545074 0 0 0 354231 5774 0 0 20 0 1 0 43740525 25408970752 5036678 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6203362 5036678 1857 992 0 6195220 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 24813448 KiB
Current children cumulated memory: 20146712 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.96 s]
# the end of solver process 322617 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3542.6 s, system=57.9905 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.6 s]
/proc/loadavg: 3.13 3.18 3.45 4/251 325149
/proc/meminfo: memFree=78430348/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24700936 memory=20034580 CPUtime=3600.22 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1545297 0 0 0 354247 5775 0 0 20 0 1 0 43740525 25293758464 5008645 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 5 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6175234 5008645 1952 992 0 6167092 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 24700936 KiB
Current children cumulated memory: 20034580 KiB

[startup+3611.8 s]
/proc/loadavg: 3.13 3.18 3.45 4/251 325149
/proc/meminfo: memFree=78430348/131524600 swapFree=131060368/131071996
[pid=322617] ppid=322614 vsize=24081076 memory=15945988 CPUtime=3600.42 cores=0,2
/proc/322617/stat : 322617 (roundingsat) R 322614 322617 317326 0 -1 4194304 1545362 0 0 0 354260 5782 0 0 20 0 1 0 43740525 24659021824 3986497 134679101440 4194304 8254357 140725958248512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 5 0 0 9037040 9046032 15585280 140725958255455 140725958255717 140725958255717 140725958262729 0
/proc/322617/statm: 6020269 3986497 1952 992 0 6012127 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 24081076 KiB
Current children cumulated memory: 15945988 KiB

[startup+3611.9 s]*
/proc/loadavg: 3.13 3.18 3.45 4/251 325149
/proc/meminfo: memFree=89914056/131524600 swapFree=131060368/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): 3611.96
CPU time (s): 3600.59
CPU user time (s): 3542.6
CPU system time (s): 57.9905
CPU usage (%): 99.6853
Max. virtual memory (cumulated for all children) (KiB): 24813448
Max. memory (cumulated for all children) (KiB): 20146712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.6
system time used= 57.9905
maximum resident set size= 20147092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1545371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31719240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1081
involuntary context switches= 25250


# summary of solver processes directly reported to runsolver:
#   pid: 322617
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3542.6
#   total CPU system time (s): 57.9905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9467 second user time and 10.4106 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-27 11:22:06
IDJOB=4460739
IDBENCH=160480
IDSOLVER=3086
FILE ID=nodeC014/4460739-1722072126
RUNJOBID= nodeC014-1722064836-317336
SLURM_JOB_ID= 8248084
Free space on /tmp= 889988 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-4460739-1722072126/watcher-4460739-1722072126 -o /tmp/evaluation-result-4460739-1722072126/solver-4460739-1722072126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317336 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460739-1722072126 --lp-cut-gomory=0 HOME/instance-4460739-1722072126.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 4a42be2aaf272439af058ac9b796a856
RANDOM SEED=1758337591

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.906
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3685.709
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.460
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.802
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.688
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3685.710
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3615.221
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.816
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113447328 kB
MemAvailable:   128448168 kB
Buffers:          372184 kB
Cached:         15417084 kB
SwapCached:          140 kB
Active:           817224 kB
Inactive:       16573332 kB
Active(anon):       2192 kB
Inactive(anon):  1652196 kB
Active(file):     815032 kB
Inactive(file): 14921136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060368 kB
Dirty:             90732 kB
Writeback:             0 kB
AnonPages:       1596588 kB
Mapped:           103320 kB
Shmem:             52988 kB
KReclaimable:     208988 kB
Slab:             335620 kB
SReclaimable:     208988 kB
SUnreclaim:       126632 kB
KernelStack:        4176 kB
PageTables:        12680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1988952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15552 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1333248 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:      393940 kB
DirectMap2M:    46565376 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC014 at 2024-07-27 12:22:18