Trace number 4448686

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-05UNSAT 1324.32 1328.04

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x100split.opb
MD5SUMeb6e9a4b9cb8532f79ed61cad5cbae76
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 benchmark0.163348
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables601
Total number of constraints301
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)301
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 

1324.27/1328.04	s UNSATISFIABLE

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: 63968 MiB (62263 MiB free)
  memory of node 1: 64473 MiB (62701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448686-1721363733/watcher-4448686-1721363733 -o /tmp/evaluation-result-4448686-1721363733/solver-4448686-1721363733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721363623-991886 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1761944480 HOME/instance-4448686-1721363733.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=992381, runsolver pid=992378

[startup+0.100976 s]*
/proc/loadavg: 3.73 2.66 3.19 5/256 992382
/proc/meminfo: memFree=127958020/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=29176 memory=10236 CPUtime=0.09 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 1054 0 0 0 9 0 0 0 20 0 1 0 188540020 29876224 2559 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 7294 2559 1140 1005 0 6057 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29176 KiB
Current children cumulated memory: 10236 KiB

[startup+0.205623 s]*
/proc/loadavg: 3.73 2.66 3.19 5/256 992382
/proc/meminfo: memFree=127957460/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=29792 memory=10868 CPUtime=0.2 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 1198 0 0 0 20 0 0 0 20 0 1 0 188540020 30507008 2717 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 7448 2717 1140 1005 0 6211 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29792 KiB
Current children cumulated memory: 10868 KiB

[startup+0.305451 s]*
/proc/loadavg: 3.73 2.66 3.19 5/256 992382
/proc/meminfo: memFree=127954684/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=30324 memory=13436 CPUtime=0.3 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 1338 0 0 0 30 0 0 0 20 0 1 0 188540020 31051776 3359 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 7581 3359 1140 1005 0 6344 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30324 KiB
Current children cumulated memory: 13436 KiB

[startup+0.700171 s]
/proc/loadavg: 3.73 2.66 3.19 5/256 992382
/proc/meminfo: memFree=127951572/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=31872 memory=15004 CPUtime=0.68 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 1726 0 0 0 68 0 0 0 20 0 1 0 188540020 32636928 3751 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 7968 3751 1140 1005 0 6731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 15004 KiB

[startup+1.50018 s]
/proc/loadavg: 3.73 2.66 3.19 5/256 992382
/proc/meminfo: memFree=127950144/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=32256 memory=17436 CPUtime=1.48 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 1811 0 0 0 148 0 0 0 20 0 1 0 188540020 33030144 4359 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 8064 4359 1140 1005 0 6827 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32256 KiB
Current children cumulated memory: 17436 KiB

[startup+3.10557 s]
/proc/loadavg: 3.75 2.68 3.19 5/256 992382
/proc/meminfo: memFree=127942140/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=35136 memory=24196 CPUtime=3.08 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 2484 0 0 0 307 1 0 0 20 0 1 0 188540020 35979264 6049 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 8784 6049 1140 1005 0 7547 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 35136 KiB
Current children cumulated memory: 24196 KiB

[startup+6.3002 s]
/proc/loadavg: 3.75 2.68 3.19 5/256 992385
/proc/meminfo: memFree=127935336/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=36128 memory=31440 CPUtime=6.27 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 2767 0 0 0 625 2 0 0 20 0 1 0 188540020 36995072 7860 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 9032 7860 1140 1005 0 7795 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36128 KiB
Current children cumulated memory: 31440 KiB

[startup+12.7002 s]
/proc/loadavg: 3.79 2.73 3.20 5/256 992385
/proc/meminfo: memFree=127924180/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=53420 memory=38588 CPUtime=12.65 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 3862 0 0 0 1260 5 0 0 20 0 1 0 188540020 54702080 9647 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 13355 9647 1140 1005 0 12118 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 38588 KiB

[startup+25.5002 s]
/proc/loadavg: 3.82 2.77 3.21 5/256 992386
/proc/meminfo: memFree=127903260/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=56328 memory=45752 CPUtime=25.42 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 4602 0 0 0 2534 8 0 0 20 0 1 0 188540020 57679872 11438 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 14082 11438 1140 1005 0 12845 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 56328 KiB
Current children cumulated memory: 45752 KiB

[startup+51.1056 s]
/proc/loadavg: 3.95 2.88 3.24 5/256 992391
/proc/meminfo: memFree=127890024/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=61912 memory=51128 CPUtime=50.95 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 5520 0 0 0 5081 14 0 0 20 0 1 0 188540020 63397888 12782 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 15478 12782 1140 1005 0 14241 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 61912 KiB
Current children cumulated memory: 51128 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 3.07 3.28 5/256 992537
/proc/meminfo: memFree=127879208/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=64736 memory=55912 CPUtime=102.01 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 6186 0 0 0 10174 27 0 0 20 0 1 0 188540020 66289664 13978 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 16184 13978 1140 1005 0 14947 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 64736 KiB
Current children cumulated memory: 55912 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.28 3.34 5/256 992593
/proc/meminfo: memFree=127885100/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=64736 memory=58676 CPUtime=161.85 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 6274 0 0 0 16141 44 0 0 20 0 1 0 188540020 66289664 14669 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 16184 14669 1140 1005 0 14947 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 64736 KiB
Current children cumulated memory: 58676 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.41 3.38 5/256 992790
/proc/meminfo: memFree=127030444/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=64928 memory=58676 CPUtime=221.69 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 6315 0 0 0 22112 57 0 0 20 0 1 0 188540020 66486272 14669 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 16232 14669 1140 1005 0 14995 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 64928 KiB
Current children cumulated memory: 58676 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.53 3.43 5/256 992800
/proc/meminfo: memFree=124597884/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=64928 memory=59072 CPUtime=281.53 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 6436 0 0 0 28078 75 0 0 20 0 1 0 188540020 66486272 14768 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 16232 14768 1140 1005 0 14995 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 64928 KiB
Current children cumulated memory: 59072 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.64 3.47 5/258 992814
/proc/meminfo: memFree=124136732/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=65116 memory=59500 CPUtime=341.38 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 6550 0 0 0 34044 94 0 0 20 0 1 0 188540020 66678784 14875 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 16279 14875 1140 1005 0 15042 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 65116 KiB
Current children cumulated memory: 59500 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.72 3.52 5/258 992824
/proc/meminfo: memFree=123879340/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=65116 memory=59620 CPUtime=401.22 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 6615 0 0 0 40013 109 0 0 20 0 1 0 188540020 66678784 14905 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 16279 14905 1140 1005 0 15042 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 65116 KiB
Current children cumulated memory: 59620 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.81 3.56 5/258 992836
/proc/meminfo: memFree=123715308/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=87764 memory=60680 CPUtime=461.07 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 7279 0 0 0 45979 128 0 0 20 0 1 0 188540020 89870336 15170 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 21941 15170 1140 1005 0 20704 0

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

/proc/loadavg: 4.09 4.04 3.78 5/258 993098
/proc/meminfo: memFree=109112052/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=91224 memory=67316 CPUtime=879.97 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8135 0 0 0 87752 245 0 0 20 0 1 0 188540020 93413376 16829 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 22806 16829 1140 1005 0 21569 0
Current children cumulated CPU time: 879.97 s
Current children cumulated vsize: 91224 KiB
Current children cumulated memory: 67316 KiB

[startup+942.3 s]
/proc/loadavg: 4.14 4.07 3.81 5/258 993153
/proc/meminfo: memFree=119271428/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=92200 memory=76324 CPUtime=939.81 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8392 0 0 0 93722 259 0 0 20 0 1 0 188540020 94412800 19081 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23050 19081 1140 1005 0 21813 0
Current children cumulated CPU time: 939.81 s
Current children cumulated vsize: 92200 KiB
Current children cumulated memory: 76324 KiB

[startup+1002.3 s]
/proc/loadavg: 4.11 4.07 3.83 5/258 993208
/proc/meminfo: memFree=102423448/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=92456 memory=76852 CPUtime=999.65 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8524 0 0 0 99692 273 0 0 20 0 1 0 188540020 94674944 19213 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23114 19213 1140 1005 0 21877 0
Current children cumulated CPU time: 999.65 s
Current children cumulated vsize: 92456 KiB
Current children cumulated memory: 76852 KiB

[startup+1062.3 s]
/proc/loadavg: 4.39 4.15 3.87 5/258 993220
/proc/meminfo: memFree=88679872/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=92456 memory=76992 CPUtime=1059.48 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8563 0 0 0 105661 287 0 0 20 0 1 0 188540020 94674944 19248 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23114 19248 1140 1005 0 21877 0
Current children cumulated CPU time: 1059.48 s
Current children cumulated vsize: 92456 KiB
Current children cumulated memory: 76992 KiB

[startup+1122.3 s]
/proc/loadavg: 4.20 4.13 3.89 5/258 993276
/proc/meminfo: memFree=96239700/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=92456 memory=77100 CPUtime=1119.27 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8621 0 0 0 111627 300 0 0 20 0 1 0 188540020 94674944 19275 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23114 19275 1140 1005 0 21877 0
Current children cumulated CPU time: 1119.27 s
Current children cumulated vsize: 92456 KiB
Current children cumulated memory: 77100 KiB

[startup+1182.3 s]
/proc/loadavg: 4.16 4.14 3.91 5/256 993671
/proc/meminfo: memFree=92726032/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=92712 memory=79316 CPUtime=1179.07 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8703 0 0 0 117594 313 0 0 20 0 1 0 188540020 94937088 19829 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23178 19829 1140 1005 0 21941 0
Current children cumulated CPU time: 1179.07 s
Current children cumulated vsize: 92712 KiB
Current children cumulated memory: 79316 KiB

[startup+1242.3 s]
/proc/loadavg: 4.16 4.14 3.93 5/256 993727
/proc/meminfo: memFree=89947516/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=92968 memory=79588 CPUtime=1238.86 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8820 0 0 0 123557 329 0 0 20 0 1 0 188540020 95199232 19897 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23242 19897 1140 1005 0 22005 0
Current children cumulated CPU time: 1238.86 s
Current children cumulated vsize: 92968 KiB
Current children cumulated memory: 79588 KiB

[startup+1302.3 s]
/proc/loadavg: 4.12 4.13 3.94 5/257 993740
/proc/meminfo: memFree=82932072/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=93224 memory=81860 CPUtime=1298.66 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8885 0 0 0 129523 343 0 0 20 0 1 0 188540020 95461376 20465 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23306 20465 1140 1005 0 22069 0
Current children cumulated CPU time: 1298.66 s
Current children cumulated vsize: 93224 KiB
Current children cumulated memory: 81860 KiB

[startup+1328.04 s]
# the end of solver process 992381 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1320.77 s, system=3.55811 s

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

[startup+1305.6 s]
/proc/loadavg: 4.11 4.13 3.94 5/257 993740
/proc/meminfo: memFree=82890096/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=93224 memory=81860 CPUtime=1301.94 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 8886 0 0 0 129850 344 0 0 20 0 1 0 188540020 95461376 20465 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23306 20465 1140 1005 0 22069 0
Current children cumulated CPU time: 1301.94 s
Current children cumulated vsize: 93224 KiB
Current children cumulated memory: 81860 KiB

[startup+1318.4 s]
/proc/loadavg: 4.08 4.12 3.94 5/257 993744
/proc/meminfo: memFree=82606064/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=93800 memory=87700 CPUtime=1314.7 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 9347 0 0 0 131122 348 0 0 20 0 1 0 188540020 96051200 21925 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 23450 21925 1140 1005 0 22213 0
Current children cumulated CPU time: 1314.7 s
Current children cumulated vsize: 93800 KiB
Current children cumulated memory: 87700 KiB

[startup+1324.8 s]
/proc/loadavg: 4.16 4.13 3.94 5/257 993744
/proc/meminfo: memFree=82482432/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=99724 memory=92188 CPUtime=1321.08 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 10462 0 0 0 131756 352 0 0 20 0 1 0 188540020 102117376 23047 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 24931 23047 1140 1005 0 23694 0
Current children cumulated CPU time: 1321.08 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 92188 KiB

[startup+1326.4 s]
/proc/loadavg: 4.16 4.13 3.94 5/257 993745
/proc/meminfo: memFree=82454556/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=100804 memory=93244 CPUtime=1322.68 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 10718 0 0 0 131915 353 0 0 20 0 1 0 188540020 103223296 23311 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 25201 23311 1140 1005 0 23964 0
Current children cumulated CPU time: 1322.68 s
Current children cumulated vsize: 100804 KiB
Current children cumulated memory: 93244 KiB

[startup+1327.2 s]
/proc/loadavg: 4.16 4.13 3.94 5/257 993745
/proc/meminfo: memFree=82432260/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=100804 memory=93244 CPUtime=1323.48 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 10718 0 0 0 131993 355 0 0 20 0 1 0 188540020 103223296 23311 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 25201 23311 1140 1005 0 23964 0
Current children cumulated CPU time: 1323.48 s
Current children cumulated vsize: 100804 KiB
Current children cumulated memory: 93244 KiB

[startup+1327.6 s]
/proc/loadavg: 4.16 4.13 3.94 5/257 993745
/proc/meminfo: memFree=82432260/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=100804 memory=93244 CPUtime=1323.87 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 10718 0 0 0 132032 355 0 0 20 0 1 0 188540020 103223296 23311 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 25201 23311 1140 1005 0 23964 0
Current children cumulated CPU time: 1323.87 s
Current children cumulated vsize: 100804 KiB
Current children cumulated memory: 93244 KiB

[startup+1328 s]*
/proc/loadavg: 4.14 4.13 3.94 5/257 993745
/proc/meminfo: memFree=82413128/131524600 swapFree=131071996/131071996
[pid=992381] ppid=992378 vsize=100804 memory=93244 CPUtime=1324.27 cores=1,3
/proc/992381/stat : 992381 (Exact) R 992378 992381 991874 0 -1 4194304 10718 0 0 0 132072 355 0 0 20 0 1 0 188540020 103223296 23311 134679101440 4194304 8309489 140723671906000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17068032 140723671913405 140723671913575 140723671913575 140723671920591 0
/proc/992381/statm: 25201 23311 1140 1005 0 23964 0
Current children cumulated CPU time: 1324.27 s
Current children cumulated vsize: 100804 KiB
Current children cumulated memory: 93244 KiB

Child status: 20

Real time (s): 1328.04
CPU time (s): 1324.32
CPU user time (s): 1320.77
CPU system time (s): 3.55811
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 100804
Max. memory (cumulated for all children) (KiB): 93244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1320.77
system time used= 3.55811
maximum resident set size= 93244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10719
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= 8
involuntary context switches= 1200


# summary of solver processes directly reported to runsolver:
#   pid: 992381
#   total CPU time (s): 1324.32
#   total CPU user time (s): 1320.77
#   total CPU system time (s): 3.55811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.6271 second user time and 6.04953 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-19 06:35:46
IDJOB=4448686
IDBENCH=160436
IDSOLVER=3060
FILE ID=nodeC027/4448686-1721363733
RUNJOBID= nodeC027-1721363623-991886
SLURM_JOB_ID= 7542790
Free space on /tmp= 890064 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid3x100split.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-4448686-1721363733/watcher-4448686-1721363733 -o /tmp/evaluation-result-4448686-1721363733/solver-4448686-1721363733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721363623-991886 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1761944480 HOME/instance-4448686-1721363733.opb

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

MD5SUM BENCH= eb6e9a4b9cb8532f79ed61cad5cbae76
RANDOM SEED=1761944480

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127964552 kB
MemAvailable:   129599212 kB
Buffers:          507564 kB
Cached:          1958028 kB
SwapCached:            0 kB
Active:           928436 kB
Inactive:        2015304 kB
Active(anon):       1568 kB
Inactive(anon):   513972 kB
Active(file):     926868 kB
Inactive(file):  1501332 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12320 kB
Writeback:             0 kB
AnonPages:        475884 kB
Mapped:           120104 kB
Shmem:             37720 kB
KReclaimable:      92564 kB
Slab:             202624 kB
SReclaimable:      92564 kB
SUnreclaim:       110060 kB
KernelStack:        4076 kB
PageTables:        10136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     974568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC027 at 2024-07-19 06:57:54