Trace number 4450836

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.16 3610.41

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
MD5SUMb3190b6d7590b4907713913d99d6bfc0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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 constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
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.15/3610.40	c Program interrupted by user.
3600.15/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 (62720 MiB free)
  memory of node 1: 64510 MiB (61379 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450836-1721422702/watcher-4450836-1721422702 -o /tmp/evaluation-result-4450836-1721422702/solver-4450836-1721422702 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721422714-1036159 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=863820583 HOME/instance-4450836-1721422702.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1036208, runsolver pid=1036201

[startup+0.10104 s]*
/proc/loadavg: 2.96 3.84 4.00 8/246 1036219
/proc/meminfo: memFree=127044936/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=34272 memory=14268 CPUtime=0.1 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 2156 0 0 0 10 0 0 0 20 0 1 0 194426790 35094528 3567 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 8568 3567 1076 1005 0 7331 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34272 KiB
Current children cumulated memory: 14268 KiB

[startup+0.215214 s]*
/proc/loadavg: 2.96 3.84 4.00 7/246 1036219
/proc/meminfo: memFree=127014444/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=42828 memory=22436 CPUtime=0.21 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 4909 0 0 0 19 2 0 0 20 0 1 0 194426790 43855872 5609 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 10707 5609 1092 1005 0 9470 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42828 KiB
Current children cumulated memory: 22436 KiB

[startup+0.315232 s]*
/proc/loadavg: 2.96 3.84 4.00 7/246 1036219
/proc/meminfo: memFree=127012984/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=42960 memory=22688 CPUtime=0.31 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 4985 0 0 0 29 2 0 0 20 0 1 0 194426790 43991040 5672 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 10740 5672 1092 1005 0 9503 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 22688 KiB

[startup+0.700277 s]
/proc/loadavg: 2.96 3.84 4.00 5/246 1036219
/proc/meminfo: memFree=127009240/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=42960 memory=22688 CPUtime=0.68 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 4988 0 0 0 66 2 0 0 20 0 1 0 194426790 43991040 5672 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 10740 5672 1092 1005 0 9503 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 22688 KiB

[startup+1.50029 s]
/proc/loadavg: 3.04 3.85 4.00 6/246 1036221
/proc/meminfo: memFree=127005016/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=43224 memory=25440 CPUtime=1.48 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 5079 0 0 0 146 2 0 0 20 0 1 0 194426790 44261376 6360 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 10806 6360 1140 1005 0 9569 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43224 KiB
Current children cumulated memory: 25440 KiB

[startup+3.11396 s]
/proc/loadavg: 3.04 3.85 4.00 7/246 1036221
/proc/meminfo: memFree=126980244/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=45184 memory=29060 CPUtime=3.08 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 5506 0 0 0 306 2 0 0 20 0 1 0 194426790 46268416 7265 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 11296 7265 1140 1005 0 10059 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45184 KiB
Current children cumulated memory: 29060 KiB

[startup+6.30026 s]
/proc/loadavg: 3.12 3.85 4.00 6/246 1036221
/proc/meminfo: memFree=126970356/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=46624 memory=32936 CPUtime=6.26 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 5946 0 0 0 623 3 0 0 20 0 1 0 194426790 47742976 8234 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 11656 8234 1140 1005 0 10419 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 46624 KiB
Current children cumulated memory: 32936 KiB

[startup+12.7002 s]
/proc/loadavg: 3.19 3.85 4.00 6/246 1036222
/proc/meminfo: memFree=126942940/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=47752 memory=40084 CPUtime=12.65 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 6222 0 0 0 1260 5 0 0 20 0 1 0 194426790 48898048 10021 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 11938 10021 1140 1005 0 10701 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47752 KiB
Current children cumulated memory: 40084 KiB

[startup+25.5003 s]
/proc/loadavg: 3.32 3.86 4.00 6/246 1036224
/proc/meminfo: memFree=126930220/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=50160 memory=42412 CPUtime=25.42 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 6818 0 0 0 2535 7 0 0 20 0 1 0 194426790 51363840 10603 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 12540 10603 1140 1005 0 11303 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 50160 KiB
Current children cumulated memory: 42412 KiB

[startup+51.1134 s]
/proc/loadavg: 3.77 3.92 4.02 5/246 1036274
/proc/meminfo: memFree=126911832/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=53068 memory=47304 CPUtime=50.96 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 7542 0 0 0 5084 12 0 0 20 0 1 0 194426790 54341632 11826 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 13267 11826 1140 1005 0 12030 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 53068 KiB
Current children cumulated memory: 47304 KiB

[startup+102.3 s]
/proc/loadavg: 3.97 3.95 4.02 5/246 1036328
/proc/meminfo: memFree=126891608/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=70628 memory=53928 CPUtime=102.02 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 8935 0 0 0 10178 24 0 0 20 0 1 0 194426790 72323072 13482 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 17657 13482 1140 1005 0 16420 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 53928 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.97 4.02 5/246 1036352
/proc/meminfo: memFree=126852448/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=75076 memory=61968 CPUtime=161.84 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 10037 0 0 0 16147 37 0 0 20 0 1 0 194426790 76877824 15492 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 18769 15492 1140 1005 0 17532 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 61968 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.01 4.02 5/246 1036362
/proc/meminfo: memFree=126820600/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=77444 memory=68608 CPUtime=221.69 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 10718 0 0 0 22119 50 0 0 20 0 1 0 194426790 79302656 17152 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 19361 17152 1140 1005 0 18124 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 77444 KiB
Current children cumulated memory: 68608 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.02 4.02 5/245 1036373
/proc/meminfo: memFree=126807992/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=79336 memory=70628 CPUtime=281.5 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 11227 0 0 0 28087 63 0 0 20 0 1 0 194426790 81240064 17657 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 19834 17657 1140 1005 0 18597 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 79336 KiB
Current children cumulated memory: 70628 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.03 4.02 5/243 1036384
/proc/meminfo: memFree=126797552/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=81812 memory=72908 CPUtime=341.31 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 11836 0 0 0 34055 76 0 0 20 0 1 0 194426790 83775488 18227 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 20453 18227 1140 1005 0 19216 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 81812 KiB
Current children cumulated memory: 72908 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.05 4.03 5/243 1036395
/proc/meminfo: memFree=126781808/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=85556 memory=76768 CPUtime=401.13 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 12809 0 0 0 40022 91 0 0 20 0 1 0 194426790 87609344 19192 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 21389 19192 1140 1005 0 20152 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 85556 KiB
Current children cumulated memory: 76768 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.06 4.03 5/242 1036405
/proc/meminfo: memFree=126769592/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=87656 memory=78880 CPUtime=460.94 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 13369 0 0 0 45990 104 0 0 20 0 1 0 194426790 89759744 19720 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 21914 19720 1140 1005 0 20677 0

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

Current children cumulated memory: 130916 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 1037466
/proc/meminfo: memFree=126553684/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=149520 memory=131068 CPUtime=2913.97 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 25007 0 0 0 290732 665 0 0 20 0 1 0 194426790 153108480 32767 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 37380 32767 1140 1005 0 36143 0
Current children cumulated CPU time: 2913.97 s
Current children cumulated vsize: 149520 KiB
Current children cumulated memory: 131068 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/242 1037476
/proc/meminfo: memFree=126551608/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=149848 memory=131272 CPUtime=2973.83 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 25139 0 0 0 296704 679 0 0 20 0 1 0 194426790 153444352 32818 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 37462 32818 1140 1005 0 36225 0
Current children cumulated CPU time: 2973.83 s
Current children cumulated vsize: 149848 KiB
Current children cumulated memory: 131272 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/242 1037487
/proc/meminfo: memFree=126549724/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=151028 memory=132572 CPUtime=3033.65 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 25498 0 0 0 302673 692 0 0 20 0 1 0 194426790 154652672 33143 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 37757 33143 1140 1005 0 36520 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 151028 KiB
Current children cumulated memory: 132572 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/242 1037497
/proc/meminfo: memFree=126548092/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=151204 memory=132780 CPUtime=3093.47 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 25599 0 0 0 308642 705 0 0 20 0 1 0 194426790 154832896 33195 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 37801 33195 1140 1005 0 36564 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 151204 KiB
Current children cumulated memory: 132780 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/245 1037512
/proc/meminfo: memFree=126546816/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=151652 memory=133204 CPUtime=3153.28 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 25763 0 0 0 314607 721 0 0 20 0 1 0 194426790 155291648 33301 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 37913 33301 1140 1005 0 36676 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 151652 KiB
Current children cumulated memory: 133204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/245 1037522
/proc/meminfo: memFree=126545388/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=151652 memory=133228 CPUtime=3213.09 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 25819 0 0 0 320573 736 0 0 20 0 1 0 194426790 155291648 33307 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 37913 33307 1140 1005 0 36676 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 151652 KiB
Current children cumulated memory: 133228 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/245 1037533
/proc/meminfo: memFree=126542648/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=152612 memory=133884 CPUtime=3272.91 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 26101 0 0 0 326541 750 0 0 20 0 1 0 194426790 156274688 33471 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 38153 33471 1140 1005 0 36916 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 152612 KiB
Current children cumulated memory: 133884 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/245 1037543
/proc/meminfo: memFree=126538032/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=153492 memory=134984 CPUtime=3332.72 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 26376 0 0 0 332510 762 0 0 20 0 1 0 194426790 157175808 33746 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 38373 33746 1140 1005 0 37136 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 134984 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/245 1037554
/proc/meminfo: memFree=126533564/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=154232 memory=135764 CPUtime=3392.56 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 26625 0 0 0 338480 776 0 0 20 0 1 0 194426790 157933568 33941 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 38558 33941 1140 1005 0 37321 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 154232 KiB
Current children cumulated memory: 135764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.75 4.27 4.15 5/244 1037948
/proc/meminfo: memFree=126531936/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=154232 memory=135804 CPUtime=3452.41 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 26696 0 0 0 344452 789 0 0 20 0 1 0 194426790 157933568 33951 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 38558 33951 1140 1005 0 37321 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 154232 KiB
Current children cumulated memory: 135804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.28 4.16 5/244 1037958
/proc/meminfo: memFree=126530112/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=154232 memory=135832 CPUtime=3512.26 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 26750 0 0 0 350424 802 0 0 20 0 1 0 194426790 157933568 33958 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 38558 33958 1140 1005 0 37321 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 154232 KiB
Current children cumulated memory: 135832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.82 4.41 4.22 5/244 1037968
/proc/meminfo: memFree=126527392/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=155752 memory=136476 CPUtime=3572.12 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 26995 0 0 0 356395 817 0 0 20 0 1 0 194426790 159490048 34119 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 38938 34119 1140 1005 0 37701 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 155752 KiB
Current children cumulated memory: 136476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.79 4.44 4.23 5/245 1038140
/proc/meminfo: memFree=126526876/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=155752 memory=136476 CPUtime=3600.04 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 26998 0 0 0 359183 821 0 0 20 0 1 0 194426790 159490048 34119 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 38938 34119 1140 1005 0 37701 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 155752 KiB
Current children cumulated memory: 136476 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.94 s, system=8.22258 s

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

[startup+3610.4 s]
/proc/loadavg: 4.79 4.44 4.23 5/245 1038140
/proc/meminfo: memFree=126526876/131655788 swapFree=131071996/131071996
[pid=1036208] ppid=1036201 vsize=155752 memory=136476 CPUtime=3600.15 cores=5,7
/proc/1036208/stat : 1036208 (Exact) R 1036201 1036208 1036146 0 -1 4194304 26998 0 0 0 359193 822 0 0 20 0 1 0 194426790 159490048 34119 134679101440 4194304 8309489 140735423371184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 46620672 140735423374269 140735423374438 140735423374438 140735423381455 0
/proc/1036208/statm: 38938 34119 1140 1005 0 37701 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 155752 KiB
Current children cumulated memory: 136476 KiB

Child status: 0

Real time (s): 3610.41
CPU time (s): 3600.16
CPU user time (s): 3591.94
CPU system time (s): 8.22258
CPU usage (%): 99.7162
Max. virtual memory (cumulated for all children) (KiB): 155752
Max. memory (cumulated for all children) (KiB): 136476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.94
system time used= 8.22258
maximum resident set size= 136476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27000
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= 41
involuntary context switches= 2507


# summary of solver processes directly reported to runsolver:
#   pid: 1036208
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3591.94
#   total CPU system time (s): 8.22258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.05 second user time and 34.2677 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-19 22:58:34
IDJOB=4450836
IDBENCH=162293
IDSOLVER=3060
FILE ID=nodeC007/4450836-1721422702
RUNJOBID= nodeC007-1721422714-1036159
SLURM_JOB_ID= 7545601
Free space on /tmp= 723780 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-0.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-4450836-1721422702/watcher-4450836-1721422702 -o /tmp/evaluation-result-4450836-1721422702/solver-4450836-1721422702 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721422714-1036159 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=863820583 HOME/instance-4450836-1721422702.opb

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

MD5SUM BENCH= b3190b6d7590b4907713913d99d6bfc0
RANDOM SEED=863820583

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.132
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.25
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		: 1197.134
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.30
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.139
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.25
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.136
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.30
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		: 1197.136
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.25
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		: 1197.135
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.30
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.138
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.25
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.139
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127080816 kB
MemAvailable:   129911392 kB
Buffers:          532196 kB
Cached:          3134904 kB
SwapCached:            0 kB
Active:          1079892 kB
Inactive:        2923728 kB
Active(anon):       1364 kB
Inactive(anon):   381044 kB
Active(file):    1078528 kB
Inactive(file):  2542684 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25952 kB
Writeback:             0 kB
AnonPages:        336556 kB
Mapped:           107648 kB
Shmem:             45896 kB
KReclaimable:      98788 kB
Slab:             201604 kB
SReclaimable:      98788 kB
SUnreclaim:       102816 kB
KernelStack:        3680 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     619520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60768 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC007 at 2024-07-19 23:58:44