Trace number 4515181

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
SynLSCD-PS 2025-06-01? (TO) 3600.1 3610.58

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.u.opb
MD5SUM84d6a262f1f6531f4a7714720272edd7
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 benchmark56.7591
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11891
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint11734
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 1285216
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501285383
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c #vars 12675 #constraints 11891 0.938146 1
1.47/1.55	c 11891 constraints
1.47/1.55	c Finish cloning data from SAT to LS
1.47/1.55	c restart_num_ls  -100000 0
61.43/61.69	c Use LS-small
61.43/61.69	c update_LS_target_phase-runLS
2943.54/2952.06	c restart_num  0 307
2943.54/2952.06	c LS-restart 90 19
3600.01/3610.51	c Use LS-small
3600.01/3610.51	c Program interrupted by user.
3600.01/3610.51	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: 63665 MiB (62355 MiB free)
  memory of node 1: 64507 MiB (55131 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515181-1751221090/watcher-4515181-1751221090 -o /tmp/evaluation-result-4515181-1751221090/solver-4515181-1751221090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31561 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4515181-1751221090.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=33072, runsolver pid=33069

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.13 4.10 5/265 33073
/proc/meminfo: memFree=120279080/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=103508 memory=32364 CPUtime=0.09 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 6504 0 0 0 8 1 0 0 20 0 1 0 37786721 105992192 8059 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 25877 8091 2368 595 0 10544 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103508 KiB
Current children cumulated memory: 32364 KiB

[startup+0.205603 s]*
/proc/loadavg: 4.11 4.13 4.10 5/265 33073
/proc/meminfo: memFree=120279080/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=116156 memory=43500 CPUtime=0.19 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 9233 0 0 0 18 1 0 0 20 0 1 0 37786721 118943744 10875 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 29039 10875 2432 595 0 13706 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 116156 KiB
Current children cumulated memory: 43500 KiB

[startup+0.305522 s]*
/proc/loadavg: 4.11 4.13 4.10 5/265 33073
/proc/meminfo: memFree=120278324/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=116456 memory=44012 CPUtime=0.29 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 9370 0 0 0 28 1 0 0 20 0 1 0 37786721 119250944 11003 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 29114 11003 2432 595 0 13781 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116456 KiB
Current children cumulated memory: 44012 KiB

[startup+0.700143 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 33073
/proc/meminfo: memFree=120278324/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=116456 memory=44140 CPUtime=0.68 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 9394 0 0 0 67 1 0 0 20 0 1 0 37786721 119250944 11035 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 29114 11035 2432 595 0 13781 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116456 KiB
Current children cumulated memory: 44140 KiB

[startup+1.50015 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 33073
/proc/meminfo: memFree=120126116/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=619396 memory=545516 CPUtime=1.47 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 134746 0 0 0 128 19 0 0 20 0 1 0 37786721 634261504 136379 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 154849 136379 2432 595 0 139516 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 619396 KiB
Current children cumulated memory: 545516 KiB

[startup+3.10532 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 33073
/proc/meminfo: memFree=119703300/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=661904 memory=589804 CPUtime=3.08 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 145811 0 0 0 286 22 0 0 20 0 1 0 37786721 677789696 147451 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 165476 147451 2432 595 0 150143 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 661904 KiB
Current children cumulated memory: 589804 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 33073
/proc/meminfo: memFree=119669868/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=661904 memory=589804 CPUtime=6.26 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 145812 0 0 0 602 24 0 0 20 0 1 0 37786721 677789696 147451 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 165476 147451 2432 595 0 150143 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 661904 KiB
Current children cumulated memory: 589804 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 33073
/proc/meminfo: memFree=119657848/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=661904 memory=589804 CPUtime=12.65 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 145813 0 0 0 1237 28 0 0 20 0 1 0 37786721 677789696 147451 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 165476 147451 2432 595 0 150143 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 661904 KiB
Current children cumulated memory: 589804 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 33073
/proc/meminfo: memFree=119608560/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=661904 memory=589804 CPUtime=25.42 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 145813 0 0 0 2504 38 0 0 20 0 1 0 37786721 677789696 147451 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 165476 147451 2432 595 0 150143 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 661904 KiB
Current children cumulated memory: 589804 KiB

[startup+51.1054 s]
/proc/loadavg: 4.09 4.12 4.10 5/265 33073
/proc/meminfo: memFree=119405828/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=661904 memory=589804 CPUtime=50.96 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 145813 0 0 0 5037 59 0 0 20 0 1 0 37786721 677789696 147451 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 165476 147451 2432 595 0 150143 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 661904 KiB
Current children cumulated memory: 589804 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 33076
/proc/meminfo: memFree=118794540/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=1030300 memory=959824 CPUtime=102.02 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 172090 0 0 0 10110 92 0 0 20 0 1 0 37786721 1055027200 239956 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 257575 239956 2496 595 0 242242 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1030300 KiB
Current children cumulated memory: 959824 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 33078
/proc/meminfo: memFree=118579560/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=1295100 memory=1065940 CPUtime=161.86 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 184698 0 0 0 16081 105 0 0 20 0 1 0 37786721 1326182400 266485 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 323775 266485 2496 595 0 308442 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1295100 KiB
Current children cumulated memory: 1065940 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 33080
/proc/meminfo: memFree=118471472/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=1316160 memory=1100772 CPUtime=221.71 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 190453 0 0 0 22063 108 0 0 20 0 1 0 37786721 1347747840 275193 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 329040 275193 2496 595 0 313707 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1316160 KiB
Current children cumulated memory: 1100772 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 33082
/proc/meminfo: memFree=118212888/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=1415164 memory=1294900 CPUtime=281.55 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 209933 0 0 0 28039 116 0 0 20 0 1 0 37786721 1449127936 323725 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 353791 323725 2496 595 0 338458 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1415164 KiB
Current children cumulated memory: 1294900 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 33084
/proc/meminfo: memFree=118159812/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=1452264 memory=1328692 CPUtime=341.4 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 218555 0 0 0 34018 122 0 0 20 0 1 0 37786721 1487118336 332173 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 363066 332173 2496 595 0 347733 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 1452264 KiB
Current children cumulated memory: 1328692 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 33088
/proc/meminfo: memFree=117976248/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2435004 memory=1558744 CPUtime=401.24 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 241860 0 0 0 39993 131 0 0 20 0 1 0 37786721 2493444096 389686 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 608751 389686 2496 595 0 593418 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2435004 KiB
Current children cumulated memory: 1558744 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 33093
/proc/meminfo: memFree=117928188/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=1947768 memory=1472264 CPUtime=461.08 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 244099 0 0 0 45961 147 0 0 20 0 1 0 37786721 1994514432 368066 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 486942 368066 2496 595 0 471609 0

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

Current children cumulated memory: 1713928 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/263 33268
/proc/meminfo: memFree=108644112/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2222332 memory=1714312 CPUtime=2913.93 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 306230 0 0 0 291136 257 0 0 20 0 1 0 37786721 2275667968 428578 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 555583 428578 2496 595 0 540250 0
Current children cumulated CPU time: 2913.93 s
Current children cumulated vsize: 2222332 KiB
Current children cumulated memory: 1714312 KiB

[startup+2982.3 s]
/proc/loadavg: 4.33 4.21 4.14 5/265 33276
/proc/meminfo: memFree=107951612/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2222820 memory=1715208 CPUtime=2973.75 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 306452 0 0 0 297090 285 0 0 20 0 1 0 37786721 2276167680 428802 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 555705 428802 2496 595 0 540372 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 2222820 KiB
Current children cumulated memory: 1715208 KiB

[startup+3042.3 s]
/proc/loadavg: 4.22 4.20 4.14 5/265 33278
/proc/meminfo: memFree=107233576/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2222820 memory=1715208 CPUtime=3033.57 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 306452 0 0 0 303047 310 0 0 20 0 1 0 37786721 2276167680 428802 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 555705 428802 2496 595 0 540372 0
Current children cumulated CPU time: 3033.57 s
Current children cumulated vsize: 2222820 KiB
Current children cumulated memory: 1715208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/265 33280
/proc/meminfo: memFree=106934340/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2223548 memory=1715592 CPUtime=3093.37 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 306552 0 0 0 309026 311 0 0 20 0 1 0 37786721 2276913152 428898 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 555887 428898 2496 595 0 540554 0
Current children cumulated CPU time: 3093.37 s
Current children cumulated vsize: 2223548 KiB
Current children cumulated memory: 1715592 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/265 33282
/proc/meminfo: memFree=106449740/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2226772 memory=1718024 CPUtime=3153.19 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 307174 0 0 0 315005 314 0 0 20 0 1 0 37786721 2280214528 429506 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 556693 429506 2496 595 0 541360 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 2226772 KiB
Current children cumulated memory: 1718024 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 33328
/proc/meminfo: memFree=113880312/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2232812 memory=1724552 CPUtime=3213.02 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 308733 0 0 0 320984 318 0 0 20 0 1 0 37786721 2286399488 431138 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 558203 431138 2496 595 0 542870 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 2232812 KiB
Current children cumulated memory: 1724552 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/264 33330
/proc/meminfo: memFree=113154644/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2234396 memory=1725960 CPUtime=3272.82 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 309117 0 0 0 326962 320 0 0 20 0 1 0 37786721 2288021504 431490 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 558599 431490 2496 595 0 543266 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 2234396 KiB
Current children cumulated memory: 1725960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 33332
/proc/meminfo: memFree=112885940/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2235692 memory=1727496 CPUtime=3332.63 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 309482 0 0 0 332937 326 0 0 20 0 1 0 37786721 2289348608 431874 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 558923 431874 2496 595 0 543590 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 2235692 KiB
Current children cumulated memory: 1727496 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/265 33335
/proc/meminfo: memFree=112813184/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2237956 memory=1729288 CPUtime=3392.44 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 309956 0 0 0 338915 329 0 0 20 0 1 0 37786721 2291666944 432322 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 559489 432322 2496 595 0 544156 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 2237956 KiB
Current children cumulated memory: 1729288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.13 4.11 5/264 33337
/proc/meminfo: memFree=112754688/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2243632 memory=1735048 CPUtime=3452.25 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 311393 0 0 0 344893 332 0 0 20 0 1 0 37786721 2297479168 433762 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 560908 433762 2496 595 0 545575 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 2243632 KiB
Current children cumulated memory: 1735048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/265 33342
/proc/meminfo: memFree=112666692/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2243976 memory=1735688 CPUtime=3512.06 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 311582 0 0 0 350873 333 0 0 20 0 1 0 37786721 2297831424 433922 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 560994 433922 2496 595 0 545661 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 2243976 KiB
Current children cumulated memory: 1735688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 33434
/proc/meminfo: memFree=111030532/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2244884 memory=1736840 CPUtime=3571.88 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 311851 0 0 0 356855 333 0 0 20 0 1 0 37786721 2298761216 434210 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 561221 434210 2496 595 0 545888 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 2244884 KiB
Current children cumulated memory: 1736840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.03 4.09 4.09 5/265 33440
/proc/meminfo: memFree=110863900/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2245872 memory=1738760 CPUtime=3600.01 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 312137 0 0 0 359667 334 0 0 20 0 1 0 37786721 2299772928 434690 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 561468 434690 2496 595 0 546135 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2245872 KiB
Current children cumulated memory: 1738760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.73 s, system=3.3646 s

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

[startup+3610.5 s]
/proc/loadavg: 4.03 4.09 4.09 5/265 33440
/proc/meminfo: memFree=110863900/131249996 swapFree=33010684/33010684
[pid=33072] ppid=33069 vsize=2245872 memory=1738760 CPUtime=3600.01 cores=0,2
/proc/33072/stat : 33072 (SynLSCD-PS) R 33069 33072 31551 0 -1 4194304 312137 0 0 0 359667 334 0 0 20 0 1 0 37786721 2299772928 434690 18446744073709551615 94099817009152 94099819444153 140725319450112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94099819924728 94099819957760 94099853697024 140725319457120 140725319457256 140725319457256 140725319462858 0
/proc/33072/statm: 561468 434690 2496 595 0 546135 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2245872 KiB
Current children cumulated memory: 1738760 KiB

Child status: 0

Real time (s): 3610.58
CPU time (s): 3600.1
CPU user time (s): 3596.73
CPU system time (s): 3.3646
CPU usage (%): 99.7097
Max. virtual memory (cumulated for all children) (KiB): 2435004
Max. memory (cumulated for all children) (KiB): 1890520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.73
system time used= 3.3646
maximum resident set size= 1945816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312170
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= 201
involuntary context switches= 4865


# summary of solver processes directly reported to runsolver:
#   pid: 33072
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3596.73
#   total CPU system time (s): 3.3646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13077 second user time and 15.7156 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 20:18:10
IDJOB=4515181
IDBENCH=164178
IDSOLVER=3370
FILE ID=nodeC017/4515181-1751221090
RUNJOBID= nodeC017-1751216507-31561
SLURM_JOB_ID= 9587656
Free space on /tmp= 432572 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.u.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515181-1751221090/watcher-4515181-1751221090 -o /tmp/evaluation-result-4515181-1751221090/solver-4515181-1751221090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31561 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4515181-1751221090.opb

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

MD5SUM BENCH= 84d6a262f1f6531f4a7714720272edd7
RANDOM SEED=379901174

nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.049
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.065
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3811.711
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3377.073
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.043
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.067
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3369.953
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3519.382
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        120306300 kB
MemAvailable:   123508660 kB
Buffers:            2380 kB
Cached:          3974948 kB
SwapCached:            0 kB
Active:          6517408 kB
Inactive:        3669792 kB
Active(anon):    6227936 kB
Inactive(anon):       16 kB
Active(file):     289472 kB
Inactive(file):  3669776 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4268 kB
Writeback:             0 kB
AnonPages:       6212960 kB
Mapped:           113520 kB
Shmem:             18080 kB
KReclaimable:     164304 kB
Slab:             252536 kB
SReclaimable:     164304 kB
SUnreclaim:        88232 kB
KernelStack:        4320 kB
PageTables:        15368 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6719740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3518464 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC017 at 2025-06-29 21:18:20