Trace number 4439819

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 NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSAT-DisjCom-S 2024-07-10? (TO) 3600.08 3608.51

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nw04.opb
MD5SUMee259c95511268cb44ae8b59ce81f086
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8431
Best CPU time to get the best result obtained on this benchmark7.49871
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables87482
Total number of constraints36
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint599
Maximum length of a constraint42032
Number of terms in the objective function 87482
Biggest coefficient in the objective function 5220
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 120189580
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 5220
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 120189580
Number of bits of the biggest sum of numbers27
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

7.98/8.08	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
7.98/8.08	c Do: 140734838623512 140734838623520
15.65/15.73	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.06/3608.50	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: 63931 MiB (61468 MiB free)
  memory of node 1: 64510 MiB (61344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439819-1721207292/watcher-4439819-1721207292 -o /tmp/evaluation-result-4439819-1721207292/solver-4439819-1721207292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721207304-902398 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439819-1721207292.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100088 s]*
/proc/loadavg: 1.08 1.10 1.42 5/257 902464
/proc/meminfo: memFree=125686264/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=65540 memory=43640 CPUtime=0.09 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 11116 0 0 0 8 1 0 0 20 0 1 0 172888323 67112960 10910 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 16385 10910 750 2417 0 13487 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65540 KiB
Current children cumulated memory: 43640 KiB

[startup+0.205374 s]*
/proc/loadavg: 1.08 1.10 1.42 5/257 902464
/proc/meminfo: memFree=125650552/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=72980 memory=47864 CPUtime=0.2 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 12162 0 0 0 19 1 0 0 20 0 1 0 172888323 74731520 11966 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 18245 11966 750 2417 0 15347 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72980 KiB
Current children cumulated memory: 47864 KiB

[startup+0.305396 s]*
/proc/loadavg: 1.08 1.10 1.42 5/257 902464
/proc/meminfo: memFree=125597728/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=80140 memory=54728 CPUtime=0.3 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 13912 0 0 0 28 2 0 0 20 0 1 0 172888323 82063360 13682 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 20035 13682 750 2417 0 17137 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80140 KiB
Current children cumulated memory: 54728 KiB

[startup+0.700227 s]
/proc/loadavg: 1.08 1.10 1.42 5/257 902464
/proc/meminfo: memFree=125443728/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=110648 memory=84824 CPUtime=0.69 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 21441 0 0 0 66 3 0 0 20 0 1 0 172888323 113303552 21206 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 27662 21206 750 2417 0 24764 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 110648 KiB
Current children cumulated memory: 84824 KiB

[startup+1.50018 s]
/proc/loadavg: 1.08 1.10 1.42 5/257 902464
/proc/meminfo: memFree=125266712/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=174268 memory=147656 CPUtime=1.48 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 37103 0 0 0 143 5 0 0 20 0 1 0 172888323 178450432 36914 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 43567 36914 750 2417 0 40669 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 174268 KiB
Current children cumulated memory: 147656 KiB

[startup+3.10487 s]
/proc/loadavg: 1.32 1.14 1.43 5/257 902510
/proc/meminfo: memFree=125119308/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=276120 memory=248148 CPUtime=3.09 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 63372 0 0 0 300 9 0 0 20 0 1 0 172888323 282746880 62037 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 69030 62037 782 2417 0 66132 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 276120 KiB
Current children cumulated memory: 248148 KiB

[startup+6.30022 s]
/proc/loadavg: 1.32 1.14 1.43 5/257 902510
/proc/meminfo: memFree=124533980/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=484528 memory=446864 CPUtime=6.28 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 82652 0 0 0 615 13 0 0 20 0 1 0 172888323 496156672 111716 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 121132 111716 782 2417 0 118234 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 484528 KiB
Current children cumulated memory: 446864 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 1.19 1.45 5/257 902512
/proc/meminfo: memFree=124031888/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=610072 memory=549032 CPUtime=12.67 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 96231 0 0 0 1250 17 0 0 20 0 1 0 172888323 624713728 137258 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 152518 137258 782 2417 0 149620 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 610072 KiB
Current children cumulated memory: 549032 KiB

[startup+25.5002 s]
/proc/loadavg: 2.16 1.35 1.49 5/257 902513
/proc/meminfo: memFree=123672784/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=751980 memory=665768 CPUtime=25.43 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 101271 0 0 0 2521 22 0 0 20 0 1 0 172888323 770027520 166442 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 187995 166442 814 2417 0 185097 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 751980 KiB
Current children cumulated memory: 665768 KiB

[startup+51.1054 s]
/proc/loadavg: 2.79 1.56 1.56 5/257 902518
/proc/meminfo: memFree=123278024/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=1099164 memory=995464 CPUtime=50.95 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 102578 0 0 0 5067 28 0 0 20 0 1 0 172888323 1125543936 248866 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 274791 248866 814 2417 0 271893 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1099164 KiB
Current children cumulated memory: 995464 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.95 1.70 5/257 902526
/proc/meminfo: memFree=122757968/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=2015940 memory=1512344 CPUtime=102 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 104219 0 0 0 10162 38 0 0 20 0 1 0 172888323 2064322560 378086 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 503985 378086 814 2417 0 501087 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2015940 KiB
Current children cumulated memory: 1512344 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.36 1.85 5/259 902543
/proc/meminfo: memFree=122144232/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=2938176 memory=1991112 CPUtime=161.82 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 105096 0 0 0 16133 49 0 0 20 0 1 0 172888323 3008692224 497778 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 734544 497778 814 2417 0 731646 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2938176 KiB
Current children cumulated memory: 1991112 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.69 2.00 5/259 902553
/proc/meminfo: memFree=121739008/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=2938176 memory=2282004 CPUtime=221.64 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 105478 0 0 0 22109 55 0 0 20 0 1 0 172888323 3008692224 570501 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 734544 570501 814 2417 0 731646 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2938176 KiB
Current children cumulated memory: 2282004 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 2.99 2.15 5/259 902563
/proc/meminfo: memFree=121503288/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=2938176 memory=2497044 CPUtime=281.47 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 106030 0 0 0 28087 60 0 0 20 0 1 0 172888323 3008692224 624261 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 734544 624261 814 2417 0 731646 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2938176 KiB
Current children cumulated memory: 2497044 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.21 2.28 5/257 902574
/proc/meminfo: memFree=122185856/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=2015940 memory=1819524 CPUtime=341.31 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 108094 0 0 0 34034 97 0 0 20 0 1 0 172888323 2064322560 454881 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 503985 454881 814 2417 0 501087 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2015940 KiB
Current children cumulated memory: 1819524 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.37 2.39 5/257 902587
/proc/meminfo: memFree=121617304/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=2938176 memory=2378232 CPUtime=401.14 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 109420 0 0 0 40006 108 0 0 20 0 1 0 172888323 3008692224 594558 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 734544 594558 814 2417 0 731646 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2938176 KiB
Current children cumulated memory: 2378232 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.52 2.51 5/255 902597
/proc/meminfo: memFree=121026872/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=4446464 memory=2944320 CPUtime=460.95 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 114128 0 0 0 45971 124 0 0 20 0 1 0 172888323 4553179136 736080 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 1111616 736080 814 2417 0 1108718 0

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

Current children cumulated memory: 3501632 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/258 904051
/proc/meminfo: memFree=121258968/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=3095452 memory=2301164 CPUtime=2915.4 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 212246 0 0 0 290656 884 0 0 20 0 1 0 172888323 3169742848 575291 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 773863 575291 814 2417 0 770965 0
Current children cumulated CPU time: 2915.4 s
Current children cumulated vsize: 3095452 KiB
Current children cumulated memory: 2301164 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/258 904062
/proc/meminfo: memFree=120563632/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=3096408 memory=2947504 CPUtime=2975.26 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 213600 0 0 0 296629 897 0 0 20 0 1 0 172888323 3170721792 736876 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 774102 736876 814 2417 0 771204 0
Current children cumulated CPU time: 2975.26 s
Current children cumulated vsize: 3096408 KiB
Current children cumulated memory: 2947504 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/261 904243
/proc/meminfo: memFree=120156832/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=4597056 memory=3343892 CPUtime=3035.12 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 215731 0 0 0 302604 908 0 0 20 0 1 0 172888323 4707385344 835973 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 1149264 835973 814 2417 0 1146366 0
Current children cumulated CPU time: 3035.12 s
Current children cumulated vsize: 4597056 KiB
Current children cumulated memory: 3343892 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/260 904253
/proc/meminfo: memFree=119678268/131524600 swapFree=130797592/131071996
[pid=902461] ppid=902458 vsize=4598928 memory=3818740 CPUtime=3094.99 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 217408 0 0 0 308580 919 0 0 20 0 1 0 172888323 4709302272 954685 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 1149732 954685 814 2417 0 1146834 0
Current children cumulated CPU time: 3094.99 s
Current children cumulated vsize: 4598928 KiB
Current children cumulated memory: 3818740 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/258 904277
/proc/meminfo: memFree=120738164/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=3100760 memory=2760428 CPUtime=3154.85 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 220169 0 0 0 314518 967 0 0 20 0 1 0 172888323 3175178240 690107 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 775190 690107 814 2417 0 772292 0
Current children cumulated CPU time: 3154.85 s
Current children cumulated vsize: 3100760 KiB
Current children cumulated memory: 2760428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/258 904287
/proc/meminfo: memFree=120163164/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=4600416 memory=3333748 CPUtime=3214.72 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 221802 0 0 0 320491 981 0 0 20 0 1 0 172888323 4710825984 833437 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 1150104 833437 814 2417 0 1147206 0
Current children cumulated CPU time: 3214.72 s
Current children cumulated vsize: 4600416 KiB
Current children cumulated memory: 3333748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/258 904298
/proc/meminfo: memFree=119984724/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=4603624 memory=3511036 CPUtime=3274.58 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 223488 0 0 0 326472 986 0 0 20 0 1 0 172888323 4714110976 877759 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 1150906 877759 814 2417 0 1148008 0
Current children cumulated CPU time: 3274.58 s
Current children cumulated vsize: 4603624 KiB
Current children cumulated memory: 3511036 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 904308
/proc/meminfo: memFree=119830320/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=4603896 memory=3721888 CPUtime=3334.47 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 224800 0 0 0 332455 992 0 0 20 0 1 0 172888323 4714389504 930472 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 1150974 930472 814 2417 0 1148076 0
Current children cumulated CPU time: 3334.47 s
Current children cumulated vsize: 4603896 KiB
Current children cumulated memory: 3721888 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 904320
/proc/meminfo: memFree=121226896/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=3106072 memory=2329672 CPUtime=3394.33 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 227624 0 0 0 338399 1034 0 0 20 0 1 0 172888323 3180617728 582418 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 776518 582418 814 2417 0 773620 0
Current children cumulated CPU time: 3394.33 s
Current children cumulated vsize: 3106072 KiB
Current children cumulated memory: 2329672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 904332
/proc/meminfo: memFree=120523628/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=3106964 memory=3018680 CPUtime=3454.19 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 229549 0 0 0 344373 1046 0 0 20 0 1 0 172888323 3181531136 754670 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 776741 754670 814 2417 0 773843 0
Current children cumulated CPU time: 3454.19 s
Current children cumulated vsize: 3106964 KiB
Current children cumulated memory: 3018680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/257 904342
/proc/meminfo: memFree=119927080/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=4607380 memory=3613436 CPUtime=3514.05 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 231499 0 0 0 350343 1062 0 0 20 0 1 0 172888323 4717957120 903359 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 1151845 903359 814 2417 0 1148947 0
Current children cumulated CPU time: 3514.05 s
Current children cumulated vsize: 4607380 KiB
Current children cumulated memory: 3613436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 904354
/proc/meminfo: memFree=119588416/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=4610792 memory=3950828 CPUtime=3573.91 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 233621 0 0 0 356321 1070 0 0 20 0 1 0 172888323 4721451008 987707 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 1152698 987707 814 2417 0 1149800 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 4610792 KiB
Current children cumulated memory: 3950828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.23 4.16 4.10 5/257 904358
/proc/meminfo: memFree=121219168/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=3113772 memory=2325068 CPUtime=3600.06 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 235873 0 0 0 358899 1107 0 0 20 0 1 0 172888323 3188502528 581267 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 778443 581267 814 2417 0 775545 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3113772 KiB
Current children cumulated memory: 2325068 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589 s, system=11.0789 s

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

[startup+3608.5 s]
/proc/loadavg: 4.23 4.16 4.10 5/257 904358
/proc/meminfo: memFree=121219168/131524600 swapFree=130797848/131071996
[pid=902461] ppid=902458 vsize=3113772 memory=2325068 CPUtime=3600.06 cores=4,6
/proc/902461/stat : 902461 (CASHWMaxSAT-Dis) R 902458 902461 902387 0 -1 4194304 235873 0 0 0 358899 1107 0 0 20 0 1 0 172888323 3188502528 581267 134679101440 4194304 14093885 140734838625872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 43171840 140734838633444 140734838633559 140734838633559 140734838640575 0
/proc/902461/statm: 778443 581267 814 2417 0 775545 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3113772 KiB
Current children cumulated memory: 2325068 KiB

Child status: 0

Real time (s): 3608.51
CPU time (s): 3600.08
CPU user time (s): 3589
CPU system time (s): 11.0789
CPU usage (%): 99.7663
Max. virtual memory (cumulated for all children) (KiB): 7009284
Max. memory (cumulated for all children) (KiB): 5960640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589
system time used= 11.0789
maximum resident set size= 5991360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 4551


# summary of solver processes directly reported to runsolver:
#   pid: 902461
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3589
#   total CPU system time (s): 11.0789

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83974 second user time and 16.0658 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-17 11:08:24
IDJOB=4439819
IDBENCH=146976
IDSOLVER=3077
FILE ID=nodeC014/4439819-1721207292
RUNJOBID= nodeC014-1721207304-902398
SLURM_JOB_ID= 7508914
Free space on /tmp= 890036 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439819-1721207292/watcher-4439819-1721207292 -o /tmp/evaluation-result-4439819-1721207292/solver-4439819-1721207292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721207304-902398 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4439819-1721207292.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= ee259c95511268cb44ae8b59ce81f086
RANDOM SEED=703599250

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		: 3636.778
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.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	: 0xb00002a
cpu MHz		: 3625.140
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.96
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		: 3609.049
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.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	: 0xb00002a
cpu MHz		: 3659.371
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.96
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		: 3635.364
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.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	: 0xb00002a
cpu MHz		: 3657.932
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.96
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		: 3635.051
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.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	: 0xb00002a
cpu MHz		: 3643.461
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125773416 kB
MemAvailable:   129998460 kB
Buffers:          381788 kB
Cached:          4633048 kB
SwapCached:        12996 kB
Active:          1242580 kB
Inactive:        3900640 kB
Active(anon):       9348 kB
Inactive(anon):   138528 kB
Active(file):    1233232 kB
Inactive(file):  3762112 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130797592 kB
Dirty:             59820 kB
Writeback:             0 kB
AnonPages:        120272 kB
Mapped:            57092 kB
Shmem:             19160 kB
KReclaimable:     138692 kB
Slab:             237500 kB
SReclaimable:     138692 kB
SUnreclaim:        98808 kB
KernelStack:        3972 kB
PageTables:        10120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     698460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            32256 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC014 at 2024-07-17 12:08:33