Trace number 4459446

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-DisjCad-S 2024-07-10? (TO) 3600.12 3611.14

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-859770.opb
MD5SUM4a685e943d6a7da38bd3737149184f18
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.77196
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2504
Total number of constraints2065
Number of constraints which are clauses1536
Number of constraints which are cardinality constraints (but not clauses)529
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint8
Maximum length of a constraint1446
Number of terms in the objective function 2504
Biggest coefficient in the objective function 10
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 16472
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 16472
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

21.83/21.96	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
21.83/21.96	c Do: 140723732120408 140723732120416
3600.09/3611.11	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: 64059 MiB (53232 MiB free)
  memory of node 1: 64510 MiB (55001 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459446-1721885449/watcher-4459446-1721885449 -o /tmp/evaluation-result-4459446-1721885449/solver-4459446-1721885449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214045 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4459446-1721885449.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=219073, runsolver pid=219070
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 4.26 4.17 4.16 5/246 219074
/proc/meminfo: memFree=110827100/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=22900 memory=8384 CPUtime=0.11 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 1350 0 0 0 11 0 0 0 20 0 1 0 24534674 23449600 2096 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 5725 2096 878 2594 0 2618 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 22900 KiB
Current children cumulated memory: 8384 KiB

[startup+0.212792 s]*
/proc/loadavg: 4.26 4.17 4.16 5/246 219074
/proc/meminfo: memFree=110823612/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=26344 memory=11816 CPUtime=0.22 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 2208 0 0 0 22 0 0 0 20 0 1 0 24534674 26976256 2954 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 6586 2954 878 2594 0 3479 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 26344 KiB
Current children cumulated memory: 11816 KiB

[startup+0.312723 s]*
/proc/loadavg: 4.26 4.17 4.16 5/246 219074
/proc/meminfo: memFree=110820476/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=29520 memory=14720 CPUtime=0.31 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 2967 0 0 0 31 0 0 0 20 0 1 0 24534674 30228480 3680 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 7380 3680 878 2594 0 4273 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 14720 KiB

[startup+0.700302 s]
/proc/loadavg: 4.26 4.17 4.16 5/246 219074
/proc/meminfo: memFree=110813952/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=44888 memory=29504 CPUtime=0.69 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 6655 0 0 0 68 1 0 0 20 0 1 0 24534674 45965312 7376 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 11222 7376 878 2594 0 8115 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44888 KiB
Current children cumulated memory: 29504 KiB

[startup+1.50037 s]
/proc/loadavg: 4.26 4.17 4.16 5/246 219074
/proc/meminfo: memFree=110789920/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=88324 memory=72008 CPUtime=1.49 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 17280 0 0 0 145 4 0 0 20 0 1 0 24534674 90443776 18002 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 22081 18002 878 2594 0 18974 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88324 KiB
Current children cumulated memory: 72008 KiB

[startup+3.11385 s]
/proc/loadavg: 4.24 4.17 4.16 5/246 219074
/proc/meminfo: memFree=109931772/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=315352 memory=281024 CPUtime=3.09 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 50512 0 0 0 298 11 0 0 20 0 1 0 24534674 322920448 70256 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 78838 70256 926 2594 0 75731 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 315352 KiB
Current children cumulated memory: 281024 KiB

[startup+6.30032 s]
/proc/loadavg: 4.24 4.17 4.16 5/246 219074
/proc/meminfo: memFree=110156672/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=741412 memory=678736 CPUtime=6.27 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 75882 0 0 0 604 23 0 0 20 0 1 0 24534674 759205888 169684 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 185353 169684 926 2594 0 182246 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 741412 KiB
Current children cumulated memory: 678736 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.16 4.16 5/246 219076
/proc/meminfo: memFree=108493648/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=1231776 memory=1088956 CPUtime=12.65 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 113007 0 0 0 1225 40 0 0 20 0 1 0 24534674 1261338624 272239 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 307944 272239 926 2594 0 304837 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1231776 KiB
Current children cumulated memory: 1088956 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.16 4.16 5/246 219077
/proc/meminfo: memFree=106040056/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4463584 memory=4115648 CPUtime=25.42 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 465746 0 0 0 2396 146 0 0 20 0 1 0 24534674 4570710016 1028912 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1115896 1028912 974 2594 0 1112789 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4463584 KiB
Current children cumulated memory: 4115648 KiB

[startup+51.1133 s]
/proc/loadavg: 4.18 4.16 4.16 5/246 219083
/proc/meminfo: memFree=106696344/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4586824 memory=4129980 CPUtime=50.97 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 470300 0 0 0 4945 152 0 0 20 0 1 0 24534674 4696907776 1032495 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1146706 1032495 990 2594 0 1143599 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4586824 KiB
Current children cumulated memory: 4129980 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/246 219092
/proc/meminfo: memFree=105701912/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4586824 memory=4130224 CPUtime=102.01 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 470710 0 0 0 10049 152 0 0 20 0 1 0 24534674 4696907776 1032556 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1146706 1032556 990 2594 0 1143599 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 4586824 KiB
Current children cumulated memory: 4130224 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/244 219102
/proc/meminfo: memFree=105179696/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4586824 memory=4130904 CPUtime=161.85 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 471410 0 0 0 16033 152 0 0 20 0 1 0 24534674 4696907776 1032726 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1146706 1032726 990 2594 0 1143599 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 4586824 KiB
Current children cumulated memory: 4130904 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.18 4.16 5/244 219112
/proc/meminfo: memFree=105815496/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=5199072 memory=4744400 CPUtime=221.69 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 493754 0 0 0 21994 175 0 0 20 0 1 0 24534674 5323849728 1186100 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1299768 1186100 990 2594 0 1296661 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 5199072 KiB
Current children cumulated memory: 4744400 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/244 219123
/proc/meminfo: memFree=105369860/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=5215428 memory=4762900 CPUtime=281.53 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 505568 0 0 0 27921 232 0 0 20 0 1 0 24534674 5340598272 1190725 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1303857 1190725 990 2594 0 1300750 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 5215428 KiB
Current children cumulated memory: 4762900 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/242 219134
/proc/meminfo: memFree=106036352/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4840500 memory=4388760 CPUtime=341.37 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 533126 0 0 0 33790 347 0 0 20 0 1 0 24534674 4956672000 1097190 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1210125 1097190 1006 2594 0 1207018 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 4840500 KiB
Current children cumulated memory: 4388760 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/242 219145
/proc/meminfo: memFree=105077720/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4840500 memory=4388760 CPUtime=401.22 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 533838 0 0 0 39774 348 0 0 20 0 1 0 24534674 4956672000 1097190 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1210125 1097190 1006 2594 0 1207018 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 4840500 KiB
Current children cumulated memory: 4388760 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/242 219155
/proc/meminfo: memFree=105048632/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4840500 memory=4388760 CPUtime=461.05 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 534403 0 0 0 45757 348 0 0 20 0 1 0 24534674 4956672000 1097190 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1210125 1097190 1006 2594 0 1207018 0

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

Current children cumulated memory: 4412928 KiB

[startup+2922.3 s]
/proc/loadavg: 2.07 2.11 2.58 3/228 220238
/proc/meminfo: memFree=119440860/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4850668 memory=4412928 CPUtime=2913.82 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 620311 0 0 0 290659 723 0 0 20 0 1 0 24534674 4967084032 1103232 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1212667 1103232 1006 2594 0 1209560 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 4850668 KiB
Current children cumulated memory: 4412928 KiB

[startup+2982.3 s]
/proc/loadavg: 2.11 2.12 2.55 3/231 220253
/proc/meminfo: memFree=119440576/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4850668 memory=4412928 CPUtime=2973.62 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 621515 0 0 0 296638 724 0 0 20 0 1 0 24534674 4967084032 1103232 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1212667 1103232 1006 2594 0 1209560 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 4850668 KiB
Current children cumulated memory: 4412928 KiB

[startup+3042.3 s]
/proc/loadavg: 2.08 2.11 2.52 3/231 220264
/proc/meminfo: memFree=119440236/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4850668 memory=4412928 CPUtime=3033.43 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 622556 0 0 0 302619 724 0 0 20 0 1 0 24534674 4967084032 1103232 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1212667 1103232 1006 2594 0 1209560 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 4850668 KiB
Current children cumulated memory: 4412928 KiB

[startup+3102.3 s]
/proc/loadavg: 2.14 2.12 2.49 3/231 220275
/proc/meminfo: memFree=119439944/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4850668 memory=4412928 CPUtime=3093.25 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 623661 0 0 0 308601 724 0 0 20 0 1 0 24534674 4967084032 1103232 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1212667 1103232 1006 2594 0 1209560 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 4850668 KiB
Current children cumulated memory: 4412928 KiB

[startup+3162.3 s]
/proc/loadavg: 1.71 2.02 2.43 2/224 220315
/proc/meminfo: memFree=120504320/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4850668 memory=4412928 CPUtime=3153.03 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 624902 0 0 0 314579 724 0 0 20 0 1 0 24534674 4967084032 1103232 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1212667 1103232 1006 2594 0 1209560 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 4850668 KiB
Current children cumulated memory: 4412928 KiB

[startup+3222.3 s]
/proc/loadavg: 1.39 1.86 2.35 2/224 220325
/proc/meminfo: memFree=120504172/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4850668 memory=4412928 CPUtime=3212.8 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 626077 0 0 0 320555 725 0 0 20 0 1 0 24534674 4967084032 1103232 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1212667 1103232 1006 2594 0 1209560 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 4850668 KiB
Current children cumulated memory: 4412928 KiB

[startup+3282.3 s]
/proc/loadavg: 1.21 1.72 2.27 2/223 220720
/proc/meminfo: memFree=120494228/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4856972 memory=4421704 CPUtime=3272.56 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 632956 0 0 0 326488 768 0 0 20 0 1 0 24534674 4973539328 1105426 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1214243 1105426 1006 2594 0 1211136 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 4856972 KiB
Current children cumulated memory: 4421704 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.60 2.19 2/223 220731
/proc/meminfo: memFree=120445436/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4856972 memory=4472904 CPUtime=3332.34 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 637409 0 0 0 332440 794 0 0 20 0 1 0 24534674 4973539328 1118226 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1214243 1118226 1006 2594 0 1211136 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 4856972 KiB
Current children cumulated memory: 4472904 KiB

[startup+3402.3 s]
/proc/loadavg: 1.16 1.52 2.12 2/223 220742
/proc/meminfo: memFree=120412220/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4856972 memory=4503624 CPUtime=3392.11 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 640727 0 0 0 338407 804 0 0 20 0 1 0 24534674 4973539328 1125906 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1214243 1125906 1006 2594 0 1211136 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 4856972 KiB
Current children cumulated memory: 4503624 KiB

[startup+3462.3 s]
/proc/loadavg: 1.35 1.49 2.07 2/226 220923
/proc/meminfo: memFree=120409992/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4858476 memory=4505128 CPUtime=3451.88 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 643487 0 0 0 344370 818 0 0 20 0 1 0 24534674 4975079424 1126282 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1214619 1126282 1006 2594 0 1211512 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 4858476 KiB
Current children cumulated memory: 4505128 KiB

[startup+3522.3 s]
/proc/loadavg: 1.91 1.65 2.09 2/226 220933
/proc/meminfo: memFree=120409960/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4858476 memory=4505128 CPUtime=3511.63 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 644907 0 0 0 350345 818 0 0 20 0 1 0 24534674 4975079424 1126282 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1214619 1126282 1006 2594 0 1211512 0
Current children cumulated CPU time: 3511.63 s
Current children cumulated vsize: 4858476 KiB
Current children cumulated memory: 4505128 KiB

[startup+3582.3 s]
/proc/loadavg: 1.43 1.56 2.03 2/231 221005
/proc/meminfo: memFree=120409292/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4858476 memory=4505128 CPUtime=3571.4 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 646567 0 0 0 356321 819 0 0 20 0 1 0 24534674 4975079424 1126282 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1214619 1126282 1006 2594 0 1211512 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 4858476 KiB
Current children cumulated memory: 4505128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 1.26 1.51 2.00 2/229 221009
/proc/meminfo: memFree=120409368/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4858476 memory=4505128 CPUtime=3600.09 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 647452 0 0 0 359190 819 0 0 20 0 1 0 24534674 4975079424 1126282 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1214619 1126282 1006 2594 0 1211512 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4858476 KiB
Current children cumulated memory: 4505128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.91 s, system=8.21234 s

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

[startup+3611.11 s]
/proc/loadavg: 1.26 1.51 2.00 2/229 221009
/proc/meminfo: memFree=120409368/131655788 swapFree=131057052/131071996
[pid=219073] ppid=219070 vsize=4858476 memory=4505128 CPUtime=3600.09 cores=1,3
/proc/219073/stat : 219073 (CASHWMaxSAT-Dis) R 219070 219073 214033 0 -1 4194304 647452 0 0 0 359190 819 0 0 20 0 1 0 24534674 4975079424 1126282 134679101440 4194304 14817773 140723732122816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 32313344 140723732124645 140723732124760 140723732124760 140723732131775 0
/proc/219073/statm: 1214619 1126282 1006 2594 0 1211512 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4858476 KiB
Current children cumulated memory: 4505128 KiB

Child status: 0

Real time (s): 3611.14
CPU time (s): 3600.12
CPU user time (s): 3591.91
CPU system time (s): 8.21234
CPU usage (%): 99.695
Max. virtual memory (cumulated for all children) (KiB): 6276812
Max. memory (cumulated for all children) (KiB): 5753420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.91
system time used= 8.21234
maximum resident set size= 5796760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647452
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= 569
involuntary context switches= 1536


# summary of solver processes directly reported to runsolver:
#   pid: 219073
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3591.91
#   total CPU system time (s): 8.21234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2949 second user time and 29.401 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-25 07:30:49
IDJOB=4459446
IDBENCH=178796
IDSOLVER=3075
FILE ID=nodeC012/4459446-1721885449
RUNJOBID= nodeC012-1721877735-214045
SLURM_JOB_ID= 8089276
Free space on /tmp= 723536 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-859770.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459446-1721885449/watcher-4459446-1721885449 -o /tmp/evaluation-result-4459446-1721885449/solver-4459446-1721885449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214045 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4459446-1721885449.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 4a685e943d6a7da38bd3737149184f18
RANDOM SEED=1091016221

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        110832216 kB
MemAvailable:   116045888 kB
Buffers:          308632 kB
Cached:          5690700 kB
SwapCached:          188 kB
Active:          2787512 kB
Inactive:       17365960 kB
Active(anon):       3996 kB
Inactive(anon): 14203216 kB
Active(file):    2783516 kB
Inactive(file):  3162744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057052 kB
Dirty:             21236 kB
Writeback:             4 kB
AnonPages:      14150152 kB
Mapped:           135164 kB
Shmem:             53076 kB
KReclaimable:     214888 kB
Slab:             327060 kB
SReclaimable:     214888 kB
SUnreclaim:       112172 kB
KernelStack:        3968 kB
PageTables:        37164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   15571220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15136 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8175616 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:      402248 kB
DirectMap2M:    55076864 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC012 at 2024-07-25 08:31:01