Trace number 4451106

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.06 3608.9

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUM6d6cd561f3b9d650ea4fe5a812bf9deb
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark53.2646
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.04/3608.90	c Program interrupted by user.
3600.04/3608.90	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 (62459 MiB free)
  memory of node 1: 64510 MiB (61233 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451106-1721426313/watcher-4451106-1721426313 -o /tmp/evaluation-result-4451106-1721426313/solver-4451106-1721426313 -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=862452746 HOME/instance-4451106-1721426313.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=1038185, runsolver pid=1038182

[startup+0.100105 s]*
/proc/loadavg: 4.79 4.44 4.23 5/245 1038188
/proc/meminfo: memFree=126654144/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=31664 memory=11880 CPUtime=0.1 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 1548 0 0 0 10 0 0 0 20 0 1 0 194787885 32423936 2970 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 7916 2970 1140 1005 0 6679 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31664 KiB
Current children cumulated memory: 11880 KiB

[startup+0.213236 s]*
/proc/loadavg: 4.79 4.44 4.23 5/245 1038188
/proc/meminfo: memFree=126650696/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=32592 memory=14980 CPUtime=0.21 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 1757 0 0 0 21 0 0 0 20 0 1 0 194787885 33374208 3745 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 8148 3745 1140 1005 0 6911 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32592 KiB
Current children cumulated memory: 14980 KiB

[startup+0.313362 s]*
/proc/loadavg: 4.79 4.44 4.23 5/245 1038188
/proc/meminfo: memFree=126650584/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=32592 memory=14980 CPUtime=0.31 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 1778 0 0 0 31 0 0 0 20 0 1 0 194787885 33374208 3745 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 8148 3745 1140 1005 0 6911 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32592 KiB
Current children cumulated memory: 14980 KiB

[startup+0.700266 s]
/proc/loadavg: 4.79 4.44 4.23 5/245 1038188
/proc/meminfo: memFree=126647024/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=33896 memory=18344 CPUtime=0.69 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 2100 0 0 0 68 1 0 0 20 0 1 0 194787885 34709504 4586 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 8474 4586 1140 1005 0 7237 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 18344 KiB

[startup+1.50027 s]
/proc/loadavg: 4.72 4.43 4.23 5/245 1038188
/proc/meminfo: memFree=126642668/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=36596 memory=27124 CPUtime=1.49 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 2795 0 0 0 148 1 0 0 20 0 1 0 194787885 37474304 6781 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 9149 6781 1140 1005 0 7912 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 27124 KiB

[startup+3.11284 s]
/proc/loadavg: 4.72 4.43 4.23 5/239 1038316
/proc/meminfo: memFree=126761164/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=55032 memory=40984 CPUtime=3.09 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 4438 0 0 0 306 3 0 0 20 0 1 0 194787885 56352768 10246 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 13758 10246 1140 1005 0 12521 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55032 KiB
Current children cumulated memory: 40984 KiB

[startup+6.30024 s]
/proc/loadavg: 4.66 4.43 4.23 4/243 1038556
/proc/meminfo: memFree=126742560/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=64336 memory=57028 CPUtime=6.27 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 6380 0 0 0 622 5 0 0 20 0 1 0 194787885 65880064 14257 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 16084 14257 1140 1005 0 14847 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 64336 KiB
Current children cumulated memory: 57028 KiB

[startup+12.7003 s]
/proc/loadavg: 4.61 4.42 4.23 5/245 1038787
/proc/meminfo: memFree=126700636/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=96460 memory=81900 CPUtime=12.65 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 9467 0 0 0 1258 7 0 0 20 0 1 0 194787885 98775040 20475 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 24115 20475 1140 1005 0 22878 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 96460 KiB
Current children cumulated memory: 81900 KiB

[startup+25.5003 s]
/proc/loadavg: 4.52 4.40 4.23 5/245 1038789
/proc/meminfo: memFree=126655660/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=155536 memory=123116 CPUtime=25.42 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 14137 0 0 0 2530 12 0 0 20 0 1 0 194787885 159268864 30779 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 38884 30779 1140 1005 0 37647 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 155536 KiB
Current children cumulated memory: 123116 KiB

[startup+51.1133 s]
/proc/loadavg: 4.39 4.38 4.22 5/245 1038886
/proc/meminfo: memFree=126732872/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=237076 memory=165124 CPUtime=50.96 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 17648 0 0 0 5078 18 0 0 20 0 1 0 194787885 242765824 41281 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 59269 41281 1140 1005 0 58032 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 237076 KiB
Current children cumulated memory: 165124 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.34 4.21 6/246 1039175
/proc/meminfo: memFree=126694560/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=264560 memory=208432 CPUtime=102.02 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 22173 0 0 0 10176 26 0 0 20 0 1 0 194787885 270909440 52108 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 66140 52108 1140 1005 0 64903 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 264560 KiB
Current children cumulated memory: 208432 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.29 4.20 6/245 1039198
/proc/meminfo: memFree=126657932/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=275184 memory=221024 CPUtime=161.87 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 23853 0 0 0 16154 33 0 0 20 0 1 0 194787885 281788416 55256 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 68796 55256 1140 1005 0 67559 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 275184 KiB
Current children cumulated memory: 221024 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.27 4.20 6/245 1039208
/proc/meminfo: memFree=126636880/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=275952 memory=227880 CPUtime=221.71 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 24131 0 0 0 22131 40 0 0 20 0 1 0 194787885 282574848 56970 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 68988 56970 1140 1005 0 67751 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 275952 KiB
Current children cumulated memory: 227880 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.25 4.19 6/245 1039219
/proc/meminfo: memFree=126602172/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=275952 memory=232304 CPUtime=281.54 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 24354 0 0 0 28105 49 0 0 20 0 1 0 194787885 282574848 58076 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 68988 58076 1140 1005 0 67751 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 275952 KiB
Current children cumulated memory: 232304 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.22 4.18 6/244 1039229
/proc/meminfo: memFree=126594388/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=276336 memory=234856 CPUtime=341.36 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 24513 0 0 0 34078 58 0 0 20 0 1 0 194787885 282968064 58714 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 69084 58714 1140 1005 0 67847 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 276336 KiB
Current children cumulated memory: 234856 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.22 4.18 6/244 1039240
/proc/meminfo: memFree=126580752/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=276336 memory=245424 CPUtime=401.19 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 24629 0 0 0 40052 67 0 0 20 0 1 0 194787885 282968064 61356 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 69084 61356 1140 1005 0 67847 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 276336 KiB
Current children cumulated memory: 245424 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.19 4.18 6/242 1039251
/proc/meminfo: memFree=126561468/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=276592 memory=260400 CPUtime=461.01 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 24885 0 0 0 46028 73 0 0 20 0 1 0 194787885 283230208 65100 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 69148 65100 1140 1005 0 67911 0

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

Current children cumulated memory: 321416 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.15 4.17 6/242 1040829
/proc/meminfo: memFree=126453516/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=417868 memory=321424 CPUtime=2914.99 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 35012 0 0 0 291166 333 0 0 20 0 1 0 194787885 427896832 80356 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104467 80356 1140 1005 0 103230 0
Current children cumulated CPU time: 2914.99 s
Current children cumulated vsize: 417868 KiB
Current children cumulated memory: 321424 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.15 4.17 6/242 1040839
/proc/meminfo: memFree=126453128/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=417868 memory=321424 CPUtime=2974.85 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 35164 0 0 0 297147 338 0 0 20 0 1 0 194787885 427896832 80356 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104467 80356 1140 1005 0 103230 0
Current children cumulated CPU time: 2974.85 s
Current children cumulated vsize: 417868 KiB
Current children cumulated memory: 321424 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.17 6/242 1040851
/proc/meminfo: memFree=126450976/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=417868 memory=321424 CPUtime=3034.71 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 35316 0 0 0 303127 344 0 0 20 0 1 0 194787885 427896832 80356 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104467 80356 1140 1005 0 103230 0
Current children cumulated CPU time: 3034.71 s
Current children cumulated vsize: 417868 KiB
Current children cumulated memory: 321424 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.16 6/244 1040866
/proc/meminfo: memFree=126450384/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=417868 memory=321424 CPUtime=3094.58 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 35442 0 0 0 309108 350 0 0 20 0 1 0 194787885 427896832 80356 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104467 80356 1140 1005 0 103230 0
Current children cumulated CPU time: 3094.58 s
Current children cumulated vsize: 417868 KiB
Current children cumulated memory: 321424 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.16 6/244 1040876
/proc/meminfo: memFree=126447828/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=417868 memory=323472 CPUtime=3154.44 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 35596 0 0 0 315088 356 0 0 20 0 1 0 194787885 427896832 80868 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104467 80868 1140 1005 0 103230 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 417868 KiB
Current children cumulated memory: 323472 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.15 6/244 1040886
/proc/meminfo: memFree=126445720/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=418000 memory=323608 CPUtime=3214.31 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 35785 0 0 0 321070 361 0 0 20 0 1 0 194787885 428032000 80902 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104500 80902 1140 1005 0 103263 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 418000 KiB
Current children cumulated memory: 323608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.15 6/244 1040897
/proc/meminfo: memFree=126443964/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=418252 memory=323940 CPUtime=3274.17 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 35999 0 0 0 327050 367 0 0 20 0 1 0 194787885 428290048 80985 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104563 80985 1140 1005 0 103326 0
Current children cumulated CPU time: 3274.17 s
Current children cumulated vsize: 418252 KiB
Current children cumulated memory: 323940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.15 6/244 1040907
/proc/meminfo: memFree=126440308/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=419396 memory=326660 CPUtime=3334.04 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 36331 0 0 0 333029 375 0 0 20 0 1 0 194787885 429461504 81665 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104849 81665 1140 1005 0 103612 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 419396 KiB
Current children cumulated memory: 326660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.16 4.16 6/246 1041302
/proc/meminfo: memFree=126438872/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=419652 memory=326792 CPUtime=3393.91 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 36552 0 0 0 339010 381 0 0 20 0 1 0 194787885 429723648 81698 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104913 81698 1140 1005 0 103676 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 326792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.90 4.36 4.23 6/244 1041313
/proc/meminfo: memFree=126438052/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=419908 memory=326964 CPUtime=3453.77 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 36771 0 0 0 344991 386 0 0 20 0 1 0 194787885 429985792 81741 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 104977 81741 1140 1005 0 103740 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 419908 KiB
Current children cumulated memory: 326964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.38 4.31 4.22 6/244 1041323
/proc/meminfo: memFree=126434916/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=420420 memory=329444 CPUtime=3513.64 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 37027 0 0 0 350971 393 0 0 20 0 1 0 194787885 430510080 82361 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 105105 82361 1140 1005 0 103868 0
Current children cumulated CPU time: 3513.64 s
Current children cumulated vsize: 420420 KiB
Current children cumulated memory: 329444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.28 4.21 6/244 1041501
/proc/meminfo: memFree=126433288/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=421188 memory=330140 CPUtime=3573.51 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 37314 0 0 0 356951 400 0 0 20 0 1 0 194787885 431296512 82535 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 105297 82535 1140 1005 0 104060 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 421188 KiB
Current children cumulated memory: 330140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.16 4.26 4.21 6/244 1041504
/proc/meminfo: memFree=126433072/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=421188 memory=330140 CPUtime=3600.04 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 37314 0 0 0 359601 403 0 0 20 0 1 0 194787885 431296512 82535 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 105297 82535 1140 1005 0 104060 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 421188 KiB
Current children cumulated memory: 330140 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.02 s, system=4.04033 s

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

[startup+3608.9 s]
/proc/loadavg: 4.16 4.26 4.21 6/244 1041504
/proc/meminfo: memFree=126433072/131655788 swapFree=131071996/131071996
[pid=1038185] ppid=1038182 vsize=421188 memory=330140 CPUtime=3600.04 cores=5,7
/proc/1038185/stat : 1038185 (Exact) R 1038182 1038185 1036146 0 -1 4194304 37314 0 0 0 359601 403 0 0 20 0 1 0 194787885 431296512 82535 134679101440 4194304 8309489 140732582520288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 36880384 140732582527933 140732582528102 140732582528102 140732582535119 0
/proc/1038185/statm: 105297 82535 1140 1005 0 104060 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 421188 KiB
Current children cumulated memory: 330140 KiB

Child status: 0

Real time (s): 3608.9
CPU time (s): 3600.06
CPU user time (s): 3596.02
CPU system time (s): 4.04033
CPU usage (%): 99.7549
Max. virtual memory (cumulated for all children) (KiB): 570904
Max. memory (cumulated for all children) (KiB): 393008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.02
system time used= 4.04033
maximum resident set size= 438064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37316
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= 25
involuntary context switches= 1294


# summary of solver processes directly reported to runsolver:
#   pid: 1038185
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.02
#   total CPU system time (s): 4.04033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7114 second user time and 35.3972 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-19 23:58:45
IDJOB=4451106
IDBENCH=162352
IDSOLVER=3060
FILE ID=nodeC007/4451106-1721426313
RUNJOBID= nodeC007-1721422714-1036159
SLURM_JOB_ID= 7545601
Free space on /tmp= 723764 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.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-4451106-1721426313/watcher-4451106-1721426313 -o /tmp/evaluation-result-4451106-1721426313/solver-4451106-1721426313 -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=862452746 HOME/instance-4451106-1721426313.opb

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

MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=862452746

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		: 3669.971
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		: 3654.028
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.317
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.142
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		: 3670.209
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		: 3491.656
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.355
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.131
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:        126662028 kB
MemAvailable:   129511052 kB
Buffers:          533616 kB
Cached:          3151852 kB
SwapCached:            0 kB
Active:          1082592 kB
Inactive:        3338312 kB
Active(anon):       1460 kB
Inactive(anon):   779848 kB
Active(file):    1081132 kB
Inactive(file):  2558464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6204 kB
Writeback:             4 kB
AnonPages:        731080 kB
Mapped:           121520 kB
Shmem:             45896 kB
KReclaimable:      98916 kB
Slab:             202048 kB
SReclaimable:      98916 kB
SUnreclaim:       103132 kB
KernelStack:        3968 kB
PageTables:        10536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1141464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60896 kB
HardwareCorrupted:     0 kB
AnonHugePages:    573440 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= 723752 MiB
End job on nodeC007 at 2024-07-20 00:58:54