Trace number 4450926

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
Exact 2024-07-05? (TO) 3600.02 3610.4

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-8.opb
MD5SUM17b9f2f8b02d6ae535b4cdc282411634
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 benchmark174.43
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3610.40	c Program interrupted by user.
3600.01/3610.40	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 (62841 MiB free)
  memory of node 1: 64510 MiB (61615 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450926-1721424761/watcher-4450926-1721424761 -o /tmp/evaluation-result-4450926-1721424761/solver-4450926-1721424761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721421163-1025546 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1545841567 HOME/instance-4450926-1721424761.opb 

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
Current StackSize limit: 8192 KiB

solver pid=1027583, runsolver pid=1027580

[startup+0.100101 s]*
/proc/loadavg: 4.11 4.16 4.17 5/246 1027599
/proc/meminfo: memFree=127417552/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=42776 memory=21128 CPUtime=0.11 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 5109 0 0 0 10 1 0 0 20 0 1 0 194634137 43802624 5282 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 10694 5282 1092 1005 0 9457 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 21128 KiB

[startup+0.213408 s]*
/proc/loadavg: 4.11 4.16 4.17 5/246 1027599
/proc/meminfo: memFree=127405412/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=42776 memory=21836 CPUtime=0.22 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 5229 0 0 0 21 1 0 0 20 0 1 0 194634137 43802624 5459 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 10694 5459 1140 1005 0 9457 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 21836 KiB

[startup+0.313046 s]*
/proc/loadavg: 4.11 4.16 4.17 6/246 1027599
/proc/meminfo: memFree=127401964/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=43088 memory=24408 CPUtime=0.32 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 5313 0 0 0 31 1 0 0 20 0 1 0 194634137 44122112 6102 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 10772 6102 1140 1005 0 9535 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43088 KiB
Current children cumulated memory: 24408 KiB

[startup+0.700263 s]
/proc/loadavg: 4.11 4.16 4.17 6/246 1027599
/proc/meminfo: memFree=127398712/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=43352 memory=24672 CPUtime=0.69 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 5393 0 0 0 68 1 0 0 20 0 1 0 194634137 44392448 6168 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 10838 6168 1140 1005 0 9601 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43352 KiB
Current children cumulated memory: 24672 KiB

[startup+1.50031 s]
/proc/loadavg: 4.11 4.16 4.17 5/246 1027599
/proc/meminfo: memFree=127394776/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=44368 memory=27508 CPUtime=1.49 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 5632 0 0 0 148 1 0 0 20 0 1 0 194634137 45432832 6877 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 11092 6877 1140 1005 0 9855 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44368 KiB
Current children cumulated memory: 27508 KiB

[startup+3.11292 s]
/proc/loadavg: 4.10 4.16 4.17 5/246 1027647
/proc/meminfo: memFree=127516912/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=45908 memory=31392 CPUtime=3.09 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 6066 0 0 0 307 2 0 0 20 0 1 0 194634137 47009792 7848 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 11477 7848 1140 1005 0 10240 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45908 KiB
Current children cumulated memory: 31392 KiB

[startup+6.3003 s]
/proc/loadavg: 4.10 4.16 4.17 5/246 1027647
/proc/meminfo: memFree=127508912/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=46516 memory=31908 CPUtime=6.27 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 6201 0 0 0 625 2 0 0 20 0 1 0 194634137 47632384 7977 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 11629 7977 1140 1005 0 10392 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46516 KiB
Current children cumulated memory: 31908 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.16 4.17 5/246 1027648
/proc/meminfo: memFree=127496332/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=47832 memory=35244 CPUtime=12.66 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 6510 0 0 0 1263 3 0 0 20 0 1 0 194634137 48979968 8811 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 11958 8811 1140 1005 0 10721 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 47832 KiB
Current children cumulated memory: 35244 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.15 4.16 5/246 1027696
/proc/meminfo: memFree=127503560/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=63032 memory=47996 CPUtime=25.43 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 7907 0 0 0 2537 6 0 0 20 0 1 0 194634137 64544768 11999 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 15758 11999 1140 1005 0 14521 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 63032 KiB
Current children cumulated memory: 47996 KiB

[startup+51.1128 s]
/proc/loadavg: 4.17 4.17 4.17 5/243 1027699
/proc/meminfo: memFree=127495332/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=66080 memory=50564 CPUtime=50.97 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 8555 0 0 0 5087 10 0 0 20 0 1 0 194634137 67665920 12641 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 16520 12641 1140 1005 0 15283 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 66080 KiB
Current children cumulated memory: 50564 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/242 1027709
/proc/meminfo: memFree=127482232/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=71380 memory=58340 CPUtime=102.02 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 9881 0 0 0 10179 23 0 0 20 0 1 0 194634137 73093120 14585 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 17845 14585 1140 1005 0 16608 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 71380 KiB
Current children cumulated memory: 58340 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 1027721
/proc/meminfo: memFree=127462772/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=76028 memory=69200 CPUtime=161.87 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 11059 0 0 0 16150 37 0 0 20 0 1 0 194634137 77852672 17300 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 19007 17300 1140 1005 0 17770 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 76028 KiB
Current children cumulated memory: 69200 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/242 1027778
/proc/meminfo: memFree=127575272/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=79284 memory=72548 CPUtime=221.73 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 11943 0 0 0 22122 51 0 0 20 0 1 0 194634137 81186816 18137 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 19821 18137 1140 1005 0 18584 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 79284 KiB
Current children cumulated memory: 72548 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/242 1027789
/proc/meminfo: memFree=127400196/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=81664 memory=74828 CPUtime=281.57 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 12548 0 0 0 28095 62 0 0 20 0 1 0 194634137 83623936 18707 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 20416 18707 1140 1005 0 19179 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 81664 KiB
Current children cumulated memory: 74828 KiB

[startup+342.3 s]
/proc/loadavg: 4.70 4.31 4.22 5/242 1027799
/proc/meminfo: memFree=127380680/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=82780 memory=76060 CPUtime=341.42 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 12841 0 0 0 34068 74 0 0 20 0 1 0 194634137 84766720 19015 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 20695 19015 1140 1005 0 19458 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 82780 KiB
Current children cumulated memory: 76060 KiB

[startup+402.3 s]
/proc/loadavg: 4.31 4.27 4.21 5/242 1027810
/proc/meminfo: memFree=127359668/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=86476 memory=79648 CPUtime=401.27 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 13798 0 0 0 40037 90 0 0 20 0 1 0 194634137 88551424 19912 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 21619 19912 1140 1005 0 20382 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 86476 KiB
Current children cumulated memory: 79648 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 4.25 4.20 5/242 1027821
/proc/meminfo: memFree=127344768/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=90076 memory=85236 CPUtime=461.1 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 14725 0 0 0 46008 102 0 0 20 0 1 0 194634137 92237824 21309 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 22519 21309 1140 1005 0 21282 0

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

Current children cumulated memory: 130076 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/241 1029783
/proc/meminfo: memFree=127389124/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=149940 memory=130604 CPUtime=2854.03 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 26130 0 0 0 284799 604 0 0 20 0 1 0 194634137 153538560 32651 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37485 32651 1140 1005 0 36248 0
Current children cumulated CPU time: 2854.03 s
Current children cumulated vsize: 149940 KiB
Current children cumulated memory: 130604 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.15 6/243 1029797
/proc/meminfo: memFree=127388072/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=149940 memory=130640 CPUtime=2913.88 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 26179 0 0 0 290772 616 0 0 20 0 1 0 194634137 153538560 32660 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37485 32660 1140 1005 0 36248 0
Current children cumulated CPU time: 2913.88 s
Current children cumulated vsize: 149940 KiB
Current children cumulated memory: 130640 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/243 1029808
/proc/meminfo: memFree=127383964/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=150504 memory=131116 CPUtime=2973.73 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 26367 0 0 0 296744 629 0 0 20 0 1 0 194634137 154116096 32779 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37626 32779 1140 1005 0 36389 0
Current children cumulated CPU time: 2973.73 s
Current children cumulated vsize: 150504 KiB
Current children cumulated memory: 131116 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/243 1029818
/proc/meminfo: memFree=127382736/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=150504 memory=131252 CPUtime=3033.58 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 26441 0 0 0 302718 640 0 0 20 0 1 0 194634137 154116096 32813 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37626 32813 1140 1005 0 36389 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 150504 KiB
Current children cumulated memory: 131252 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.14 6/243 1029828
/proc/meminfo: memFree=127380272/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=150904 memory=131660 CPUtime=3093.43 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 26602 0 0 0 308690 653 0 0 20 0 1 0 194634137 154525696 32915 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37726 32915 1140 1005 0 36489 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 150904 KiB
Current children cumulated memory: 131660 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/243 1029839
/proc/meminfo: memFree=127378884/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=151424 memory=131972 CPUtime=3153.24 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 26774 0 0 0 314657 667 0 0 20 0 1 0 194634137 155058176 32993 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37856 32993 1140 1005 0 36619 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 151424 KiB
Current children cumulated memory: 131972 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/244 1030236
/proc/meminfo: memFree=127377036/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=151424 memory=132160 CPUtime=3213.05 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 26836 0 0 0 320623 682 0 0 20 0 1 0 194634137 155058176 33040 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37856 33040 1140 1005 0 36619 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 151424 KiB
Current children cumulated memory: 132160 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/244 1030246
/proc/meminfo: memFree=127376364/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=151424 memory=132196 CPUtime=3272.86 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 26894 0 0 0 326593 693 0 0 20 0 1 0 194634137 155058176 33049 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37856 33049 1140 1005 0 36619 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 151424 KiB
Current children cumulated memory: 132196 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/244 1030256
/proc/meminfo: memFree=127375128/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=151812 memory=132380 CPUtime=3332.68 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 27045 0 0 0 332560 708 0 0 20 0 1 0 194634137 155455488 33095 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 37953 33095 1140 1005 0 36716 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 151812 KiB
Current children cumulated memory: 132380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/246 1030438
/proc/meminfo: memFree=127371556/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=152968 memory=133480 CPUtime=3392.5 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 27366 0 0 0 338531 719 0 0 20 0 1 0 194634137 156639232 33370 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 38242 33370 1140 1005 0 37005 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 152968 KiB
Current children cumulated memory: 133480 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/246 1030586
/proc/meminfo: memFree=127535728/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=153904 memory=134468 CPUtime=3452.31 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 27656 0 0 0 344497 734 0 0 20 0 1 0 194634137 157597696 33617 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 38476 33617 1140 1005 0 37239 0
Current children cumulated CPU time: 3452.31 s
Current children cumulated vsize: 153904 KiB
Current children cumulated memory: 134468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/244 1030653
/proc/meminfo: memFree=127532720/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=153904 memory=134576 CPUtime=3512.13 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 27722 0 0 0 350467 746 0 0 20 0 1 0 194634137 157597696 33644 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 38476 33644 1140 1005 0 37239 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 153904 KiB
Current children cumulated memory: 134576 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/244 1030664
/proc/meminfo: memFree=127525980/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=154504 memory=139256 CPUtime=3571.97 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 27936 0 0 0 356439 758 0 0 20 0 1 0 194634137 158212096 34814 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 38626 34814 1140 1005 0 37389 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 154504 KiB
Current children cumulated memory: 139256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.15 4.11 4.11 5/244 1030667
/proc/meminfo: memFree=127525208/131655788 swapFree=131071996/131071996
[pid=1027583] ppid=1027580 vsize=154504 memory=139256 CPUtime=3600.01 cores=1,3
/proc/1027583/stat : 1027583 (Exact) R 1027580 1027583 1025534 0 -1 4194304 27936 0 0 0 359237 764 0 0 20 0 1 0 194634137 158212096 34814 134679101440 4194304 8309489 140733422014048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44384256 140733422015420 140733422015590 140733422015590 140733422022607 0
/proc/1027583/statm: 38626 34814 1140 1005 0 37389 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 154504 KiB
Current children cumulated memory: 139256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.38 s, system=7.64302 s

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

Child status: 0

Real time (s): 3610.4
CPU time (s): 3600.02
CPU user time (s): 3592.38
CPU system time (s): 7.64302
CPU usage (%): 99.7124
Max. virtual memory (cumulated for all children) (KiB): 154504
Max. memory (cumulated for all children) (KiB): 139256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.38
system time used= 7.64302
maximum resident set size= 139256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27938
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= 43
involuntary context switches= 2818


# summary of solver processes directly reported to runsolver:
#   pid: 1027583
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3592.38
#   total CPU system time (s): 7.64302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1915 second user time and 32.5001 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-19 23:32:53
IDJOB=4450926
IDBENCH=162315
IDSOLVER=3060
FILE ID=nodeC002/4450926-1721424761
RUNJOBID= nodeC002-1721421163-1025546
SLURM_JOB_ID= 7545493
Free space on /tmp= 723764 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round23-8.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450926-1721424761/watcher-4450926-1721424761 -o /tmp/evaluation-result-4450926-1721424761/solver-4450926-1721424761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721421163-1025546 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1545841567 HOME/instance-4450926-1721424761.opb

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

MD5SUM BENCH= 17b9f2f8b02d6ae535b4cdc282411634
RANDOM SEED=1545841567

nodeC002.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		: 3654.831
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.38
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		: 3602.174
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.31
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.277
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.38
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.153
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.31
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		: 3494.285
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.38
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		: 3649.877
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.31
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.154
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.38
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.241
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127437208 kB
MemAvailable:   129598424 kB
Buffers:          560252 kB
Cached:          2426548 kB
SwapCached:            0 kB
Active:          1018652 kB
Inactive:        2598228 kB
Active(anon):       2716 kB
Inactive(anon):   673252 kB
Active(file):    1015936 kB
Inactive(file):  1924976 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6224 kB
Writeback:             0 kB
AnonPages:        626212 kB
Mapped:           116692 kB
Shmem:             45896 kB
KReclaimable:     120024 kB
Slab:             227020 kB
SReclaimable:     120024 kB
SUnreclaim:       106996 kB
KernelStack:        3964 kB
PageTables:        10544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1030276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62624 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 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:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC002 at 2024-07-20 00:33:04