Trace number 4460017

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact 2024-07-05SAT (TO)-79204 3600.12 3611.31

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-60.opb
MD5SUM93ed2607cb9e7eaa6de474e9ba688804
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-82737
Best CPU time to get the best result obtained on this benchmark3600.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 52575
Biggest coefficient in the objective function 13565
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 6490280
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 13565
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 6490280
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)52515
Sum of products size (including duplicates)172450
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

9.55/9.68	o -17504
9.65/9.78	o -27485
9.85/9.99	o -28211
10.15/10.25	o -33370
10.35/10.41	o -36970
10.65/10.71	o -37054
10.96/11.02	o -45797
11.06/11.18	o -46838
11.35/11.41	o -48505
11.65/11.75	o -50652
12.15/12.26	o -53275
12.84/12.92	o -56162
13.54/13.60	o -59187
14.24/14.39	o -59743
15.23/15.36	o -60900
15.74/15.85	o -61269
16.05/16.13	o -61973
16.44/16.58	o -62212
20.52/20.69	o -62736
26.01/26.19	o -72715
26.40/26.52	o -74940
27.69/27.84	o -77257
41.75/41.98	o -77684
57.91/58.15	o -77731
60.19/60.46	o -78072
69.96/70.21	o -78219
79.74/80.08	o -78246
81.42/81.74	o -78287
205.23/205.98	o -78570
1804.32/1810.08	o -79197
1807.79/1813.57	o -79204
3600.00/3611.20	c Program interrupted by user.
3600.00/3611.20	s SATISFIABLE
3600.00/3611.20	v -x1 x2 x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 x47 x48 -x49 -x50 -x51 x52 x53 x54 x55 x56 x57 -x58 -x59 -x60

Verifier Data 

OK	-79204

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: 64096 MiB (61679 MiB free)
  memory of node 1: 64473 MiB (61192 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460017-1721946589/watcher-4460017-1721946589 -o /tmp/evaluation-result-4460017-1721946589/solver-4460017-1721946589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721946585-242606 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=969513378 HOME/instance-4460017-1721946589.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=242944, runsolver pid=242941

[startup+0.10068 s]*
/proc/loadavg: 1.79 2.04 2.18 5/244 242947
/proc/meminfo: memFree=125794792/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=53512 memory=31780 CPUtime=0.1 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 6907 0 0 0 8 2 0 0 20 0 1 0 30648775 54796288 7945 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 13378 7945 852 1005 0 12141 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53512 KiB
Current children cumulated memory: 31780 KiB

[startup+0.213275 s]*
/proc/loadavg: 1.79 2.04 2.18 6/244 242947
/proc/meminfo: memFree=125757864/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=86504 memory=67480 CPUtime=0.21 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 14260 0 0 0 18 3 0 0 20 0 1 0 30648775 88580096 16804 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 21626 16870 852 1005 0 20389 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 86504 KiB
Current children cumulated memory: 67480 KiB

[startup+0.312855 s]*
/proc/loadavg: 1.79 2.04 2.18 6/244 242947
/proc/meminfo: memFree=125718292/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=121964 memory=107924 CPUtime=0.31 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 20856 0 0 0 26 5 0 0 20 0 1 0 30648775 124891136 26981 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 30524 26981 852 1005 0 29287 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 121964 KiB
Current children cumulated memory: 107924 KiB

[startup+0.700362 s]
/proc/loadavg: 1.79 2.04 2.18 5/244 242947
/proc/meminfo: memFree=125697940/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=259348 memory=247904 CPUtime=0.68 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 33675 0 0 0 58 10 0 0 20 0 1 0 30648775 265572352 61976 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 64837 61976 1012 1005 0 63600 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 259348 KiB
Current children cumulated memory: 247904 KiB

[startup+1.50032 s]
/proc/loadavg: 1.79 2.04 2.18 5/244 242947
/proc/meminfo: memFree=125512280/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=307392 memory=298432 CPUtime=1.48 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 39179 0 0 0 136 12 0 0 20 0 1 0 30648775 314769408 74608 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 76848 74608 1012 1005 0 75611 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 307392 KiB
Current children cumulated memory: 298432 KiB

[startup+3.1129 s]
/proc/loadavg: 1.79 2.04 2.18 5/244 242947
/proc/meminfo: memFree=125483868/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=332960 memory=309292 CPUtime=3.09 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 40347 0 0 0 296 13 0 0 20 0 1 0 30648775 340951040 77323 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 83240 77323 1028 1005 0 82003 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 332960 KiB
Current children cumulated memory: 309292 KiB

[startup+6.30032 s]
/proc/loadavg: 1.97 2.07 2.19 5/244 242947
/proc/meminfo: memFree=125439408/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=363456 memory=330900 CPUtime=6.27 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 41250 0 0 0 613 14 0 0 20 0 1 0 30648775 372178944 82725 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 90864 82725 1028 1005 0 89627 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 363456 KiB
Current children cumulated memory: 330900 KiB

[startup+12.7003 s]
/proc/loadavg: 2.13 2.10 2.20 5/244 242948
/proc/meminfo: memFree=125303672/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=458740 memory=439864 CPUtime=12.64 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 45226 0 0 0 1246 18 0 0 20 0 1 0 30648775 469749760 109966 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 114685 109966 1092 1005 0 113448 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 458740 KiB
Current children cumulated memory: 439864 KiB

[startup+25.5003 s]
/proc/loadavg: 2.54 2.19 2.23 5/244 242950
/proc/meminfo: memFree=124952056/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=902540 memory=728580 CPUtime=25.4 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 57295 0 0 0 2504 36 0 0 20 0 1 0 30648775 924200960 182145 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 225635 182145 1092 1005 0 224398 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 902540 KiB
Current children cumulated memory: 728580 KiB

[startup+51.1129 s]
/proc/loadavg: 3.11 2.36 2.28 5/248 243015
/proc/meminfo: memFree=124444612/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=1325380 memory=1173724 CPUtime=50.93 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 71565 0 0 0 5036 57 0 0 20 0 1 0 30648775 1357189120 293431 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 331345 293431 1092 1005 0 330108 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1325380 KiB
Current children cumulated memory: 1173724 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 2.63 2.38 5/247 243024
/proc/meminfo: memFree=123430856/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=2254656 memory=2109392 CPUtime=101.96 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 132755 0 0 0 10096 100 0 0 20 0 1 0 30648775 2308767744 527348 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 563664 527348 1124 1005 0 562427 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2254656 KiB
Current children cumulated memory: 2109392 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.91 2.49 6/247 243035
/proc/meminfo: memFree=123262788/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=2323732 memory=2246032 CPUtime=161.77 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 147112 0 0 0 16072 105 0 0 20 0 1 0 30648775 2379501568 561508 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 580933 561508 1124 1005 0 579696 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2323732 KiB
Current children cumulated memory: 2246032 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.13 2.59 5/247 243045
/proc/meminfo: memFree=121801064/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=3864984 memory=3660208 CPUtime=221.57 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 252633 0 0 0 21979 178 0 0 20 0 1 0 30648775 3957743616 915052 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 966246 915052 1124 1005 0 965009 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 3864984 KiB
Current children cumulated memory: 3660208 KiB

[startup+282.3 s]
/proc/loadavg: 4.29 3.36 2.71 6/246 243055
/proc/meminfo: memFree=121670684/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=3865188 memory=3740580 CPUtime=281.39 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 254225 0 0 0 27957 182 0 0 20 0 1 0 30648775 3957952512 935145 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 966297 935145 1124 1005 0 965060 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 3865188 KiB
Current children cumulated memory: 3740580 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 3.51 2.81 5/244 243066
/proc/meminfo: memFree=121596932/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=3867336 memory=3800172 CPUtime=341.2 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 256297 0 0 0 33935 185 0 0 20 0 1 0 30648775 3960152064 950043 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 966834 950043 1124 1005 0 965597 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 3867336 KiB
Current children cumulated memory: 3800172 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 3.63 2.89 6/245 243082
/proc/meminfo: memFree=121498528/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=5859360 memory=3863824 CPUtime=401.02 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 259617 0 0 0 39863 239 0 0 20 0 1 0 30648775 5999984640 965956 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 1464840 965956 1124 1005 0 1463603 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 5859360 KiB
Current children cumulated memory: 3863824 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.70 2.97 5/245 243093
/proc/meminfo: memFree=121437708/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=5859360 memory=3918344 CPUtime=460.85 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 261634 0 0 0 45842 243 0 0 20 0 1 0 30648775 5999984640 979586 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 1464840 979586 1124 1005 0 1463603 0

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

Current children cumulated memory: 8905860 KiB

[startup+2862.3 s]
/proc/loadavg: 3.19 3.21 3.19 4/235 244123
/proc/meminfo: memFree=116306352/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10334128 memory=8915108 CPUtime=2853.45 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 564386 0 0 0 284829 516 0 0 20 0 1 0 30648775 10582147072 2228777 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2583532 2228777 1124 1005 0 2582295 0
Current children cumulated CPU time: 2853.45 s
Current children cumulated vsize: 10334128 KiB
Current children cumulated memory: 8915108 KiB

[startup+2922.3 s]
/proc/loadavg: 3.11 3.18 3.18 6/235 244134
/proc/meminfo: memFree=116264612/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10396216 memory=8955940 CPUtime=2913.26 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 578527 0 0 0 290807 519 0 0 20 0 1 0 30648775 10645725184 2238985 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2599054 2238985 1124 1005 0 2597817 0
Current children cumulated CPU time: 2913.26 s
Current children cumulated vsize: 10396216 KiB
Current children cumulated memory: 8955940 KiB

[startup+2982.3 s]
/proc/loadavg: 3.14 3.18 3.18 4/235 244144
/proc/meminfo: memFree=116245728/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10405260 memory=8966784 CPUtime=2973.07 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 585023 0 0 0 296787 520 0 0 20 0 1 0 30648775 10654986240 2241696 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2601315 2241696 1124 1005 0 2600078 0
Current children cumulated CPU time: 2973.07 s
Current children cumulated vsize: 10405260 KiB
Current children cumulated memory: 8966784 KiB

[startup+3042.3 s]
/proc/loadavg: 3.10 3.16 3.17 5/237 244159
/proc/meminfo: memFree=116235844/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10407396 memory=8971880 CPUtime=3032.88 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 590322 0 0 0 302767 521 0 0 20 0 1 0 30648775 10657173504 2242970 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2601849 2242970 1124 1005 0 2600612 0
Current children cumulated CPU time: 3032.88 s
Current children cumulated vsize: 10407396 KiB
Current children cumulated memory: 8971880 KiB

[startup+3102.3 s]
/proc/loadavg: 3.11 3.14 3.17 4/238 244171
/proc/meminfo: memFree=116232192/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10408816 memory=8975000 CPUtime=3092.7 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 595171 0 0 0 308747 523 0 0 20 0 1 0 30648775 10658627584 2243750 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2602204 2243750 1124 1005 0 2600967 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 10408816 KiB
Current children cumulated memory: 8975000 KiB

[startup+3162.3 s]
/proc/loadavg: 3.15 3.15 3.17 5/238 244182
/proc/meminfo: memFree=116228796/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10410680 memory=8977768 CPUtime=3152.51 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 600084 0 0 0 314727 524 0 0 20 0 1 0 30648775 10660536320 2244442 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2602670 2244442 1124 1005 0 2601433 0
Current children cumulated CPU time: 3152.51 s
Current children cumulated vsize: 10410680 KiB
Current children cumulated memory: 8977768 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.13 3.16 4/238 244192
/proc/meminfo: memFree=116224988/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10413476 memory=8980800 CPUtime=3212.32 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 605099 0 0 0 320707 525 0 0 20 0 1 0 30648775 10663399424 2245200 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2603369 2245200 1124 1005 0 2602132 0
Current children cumulated CPU time: 3212.32 s
Current children cumulated vsize: 10413476 KiB
Current children cumulated memory: 8980800 KiB

[startup+3282.3 s]
/proc/loadavg: 3.07 3.12 3.15 5/238 244202
/proc/meminfo: memFree=116217396/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10419584 memory=8985840 CPUtime=3272.14 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 610669 0 0 0 326687 527 0 0 20 0 1 0 30648775 10669654016 2246460 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2604896 2246460 1124 1005 0 2603659 0
Current children cumulated CPU time: 3272.14 s
Current children cumulated vsize: 10419584 KiB
Current children cumulated memory: 8985840 KiB

[startup+3342.3 s]
/proc/loadavg: 3.15 3.13 3.15 4/237 244597
/proc/meminfo: memFree=115848452/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10419584 memory=9356600 CPUtime=3331.95 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 615038 0 0 0 332661 534 0 0 20 0 1 0 30648775 10669654016 2339150 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2604896 2339150 1124 1005 0 2603659 0
Current children cumulated CPU time: 3331.95 s
Current children cumulated vsize: 10419584 KiB
Current children cumulated memory: 9356600 KiB

[startup+3402.3 s]
/proc/loadavg: 3.17 3.13 3.15 5/236 244607
/proc/meminfo: memFree=115429492/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10427868 memory=9768220 CPUtime=3391.76 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 620994 0 0 0 338634 542 0 0 20 0 1 0 30648775 10678136832 2442055 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2606967 2442055 1124 1005 0 2605730 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 10427868 KiB
Current children cumulated memory: 9768220 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.12 3.15 4/236 244617
/proc/meminfo: memFree=114867804/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10434396 memory=10319516 CPUtime=3451.56 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 625777 0 0 0 344603 553 0 0 20 0 1 0 30648775 10684821504 2579879 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2608599 2579879 1124 1005 0 2607362 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 10434396 KiB
Current children cumulated memory: 10319516 KiB

[startup+3522.3 s]
/proc/loadavg: 3.08 3.11 3.14 5/238 244799
/proc/meminfo: memFree=114865748/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10435608 memory=10320788 CPUtime=3511.38 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 627506 0 0 0 350583 555 0 0 20 0 1 0 30648775 10686062592 2580197 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2608902 2580197 1124 1005 0 2607665 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 10435608 KiB
Current children cumulated memory: 10320788 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.12 3.14 4/239 244810
/proc/meminfo: memFree=114863156/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10437676 memory=10322832 CPUtime=3571.18 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 631498 0 0 0 356563 555 0 0 20 0 1 0 30648775 10688180224 2580708 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2609419 2580708 1124 1005 0 2608182 0
Current children cumulated CPU time: 3571.18 s
Current children cumulated vsize: 10437676 KiB
Current children cumulated memory: 10322832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 2.91 3.07 3.13 2/225 244878
/proc/meminfo: memFree=115686776/131655788 swapFree=131058856/131071996
[pid=242944] ppid=242941 vsize=10442180 memory=10327412 CPUtime=3600 cores=0,2
/proc/242944/stat : 242944 (Exact) R 242941 242944 237796 0 -1 4194304 634239 0 0 0 359444 556 0 0 20 0 1 0 30648775 10692792320 2581853 134679101440 4194304 8309489 140736103410128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 45637632 140736103412670 140736103412839 140736103412839 140736103419855 0
/proc/242944/statm: 2610545 2581853 1124 1005 0 2609308 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 10442180 KiB
Current children cumulated memory: 10327412 KiB

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

[startup+3611.31 s]
# the end of solver process 242944 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3594.51 s, system=5.60806 s

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

Child status: 10

Real time (s): 3611.31
CPU time (s): 3600.12
CPU user time (s): 3594.51
CPU system time (s): 5.60806
CPU usage (%): 99.69
Max. virtual memory (cumulated for all children) (KiB): 14469820
Max. memory (cumulated for all children) (KiB): 10679240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.51
system time used= 5.60806
maximum resident set size= 10916808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634580
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= 111
involuntary context switches= 25267


# summary of solver processes directly reported to runsolver:
#   pid: 242944
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3594.51
#   total CPU system time (s): 5.60806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8187 second user time and 34.8981 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-26 00:29:49
IDJOB=4460017
IDBENCH=160558
IDSOLVER=3060
FILE ID=nodeC009/4460017-1721946589
RUNJOBID= nodeC009-1721946585-242606
SLURM_JOB_ID= 8247263
Free space on /tmp= 723748 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.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-4460017-1721946589/watcher-4460017-1721946589 -o /tmp/evaluation-result-4460017-1721946589/solver-4460017-1721946589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721946585-242606 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=969513378 HOME/instance-4460017-1721946589.opb

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

MD5SUM BENCH= 93ed2607cb9e7eaa6de474e9ba688804
RANDOM SEED=969513378

nodeC009.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		: 2529.311
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.96
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		: 3646.327
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.36
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.260
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.96
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.340
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.36
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		: 3654.271
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.96
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		: 2189.925
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.36
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.372
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.96
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.281
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125820956 kB
MemAvailable:   129656516 kB
Buffers:          353544 kB
Cached:          4220292 kB
SwapCached:         4924 kB
Active:          1882716 kB
Inactive:        3228224 kB
Active(anon):       1608 kB
Inactive(anon):   580808 kB
Active(file):    1881108 kB
Inactive(file):  2647416 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:             26412 kB
Writeback:             0 kB
AnonPages:        531524 kB
Mapped:           104856 kB
Shmem:             45300 kB
KReclaimable:     294472 kB
Slab:             405656 kB
SReclaimable:     294472 kB
SUnreclaim:       111184 kB
KernelStack:        3920 kB
PageTables:        10328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     902512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC009 at 2024-07-26 01:30:00