Trace number 4527544

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
LSIPExact S1? (TO) 3602.22 1837.74

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
MD5SUMa008918ff26f135f427f5632a2cbbc59
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark3585.34
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/1835.70	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.01/1835.70	c numVar: 15312
3600.01/1835.70	c numCon: 65280
3600.01/1835.70	c numEqual: 0
3600.01/1835.70	c intSize: 14
3600.01/1835.70	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.01/1835.70	c ------------------- Paras list -------------------
3600.01/1835.70	c Name                	 Type      	 Now       	 Default   	 Comment
3600.01/1835.70	c timeout             	 double    	 3600.000000	 3600      	 
3600.01/1835.70	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.01/1835.70	c ls_time             	 double    	 10.000000 	 10        	 
3600.01/1835.70	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.01/1835.70	c mip_emphasis        	 int       	 1         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.01/1835.70	c random_seed         	 int       	 0         	 0         	 
3600.01/1835.70	c sample_size         	 int       	 50        	 50        	 
3600.01/1835.70	c sub_score           	 int       	 1         	 1         	 
3600.01/1835.70	c tabu_base           	 int       	 3         	 3         	 
3600.01/1835.70	c tabu_variation      	 int       	 1         	 1         	 
3600.01/1835.70	c sub_div             	 int       	 4         	 4         	 
3600.01/1835.70	c nbcore              	 int       	 2         	 1         	 
3600.01/1835.70	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.01/1835.70	c print_sol           	 int       	 1         	 1         	 
3600.01/1835.70	c tmpdir              	 string		 .         	 "."       	 
3600.01/1835.70	c home                	 string		 HOME	 "."       	 
3600.01/1835.70	c benchname           	 string		 HOME/instance-4527544-1752233169.opb	 ""        	 
3600.01/1835.70	c --------------------------------------------------
3600.01/1835.70	c Local Search solver
3600.01/1835.70	c MIP solver
3600.01/1835.70	c receive signal 15, try to interrupt solver...
3600.41/1835.93	c MIP solver find feasible solution
3600.41/1835.97	c MIP solver objective value: 68
3600.54/1836.07	c MIP find feasible solution for PBO with objective value 68
3600.54/1836.07	c copy file: 0
3600.54/1836.07	c gen ub file: HOME/instance-4527544-1752233169.opb_ub.opb
3600.54/1836.07	c use Exact solver

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: 63837 MiB (61544 MiB free)
  memory of node 1: 64465 MiB (62058 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527544-1752233169/watcher-4527544-1752233169 -o /tmp/evaluation-result-4527544-1752233169/solver-4527544-1752233169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752232205-123423 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527544-1752233169.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=123844, runsolver pid=123841

[startup+0.100066 s]*
/proc/loadavg: 7.21 7.41 5.12 8/252 123845
/proc/meminfo: memFree=126529628/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=87800 memory=45056 CPUtime=0.09 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 10265 0 0 0 7 2 0 0 20 0 1 0 138996213 89907200 11264 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 21950 11264 1184 6655 0 12185 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87800 KiB
Current children cumulated memory: 45056 KiB

[startup+0.208348 s]*
/proc/loadavg: 7.21 7.41 5.12 8/252 123845
/proc/meminfo: memFree=126513752/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=106808 memory=64000 CPUtime=0.2 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 15003 0 0 0 16 4 0 0 20 0 1 0 138996213 109371392 16000 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 26702 16000 1184 6655 0 16937 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 64000 KiB

[startup+0.308364 s]*
/proc/loadavg: 7.21 7.41 5.12 8/252 123845
/proc/meminfo: memFree=126489560/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=124496 memory=81792 CPUtime=0.3 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 19441 0 0 0 24 6 0 0 20 0 1 0 138996213 127483904 20448 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 31124 20448 1184 6655 0 21359 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 124496 KiB
Current children cumulated memory: 81792 KiB

[startup+0.700279 s]
/proc/loadavg: 7.21 7.41 5.12 8/252 123845
/proc/meminfo: memFree=126457304/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=192080 memory=149248 CPUtime=0.69 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 36314 0 0 0 57 12 0 0 20 0 1 0 138996213 196689920 37312 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 48020 37312 1184 6655 0 38255 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192080 KiB
Current children cumulated memory: 149248 KiB

[startup+1.50035 s]
/proc/loadavg: 7.19 7.40 5.14 8/252 123845
/proc/meminfo: memFree=126369380/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=320264 memory=285696 CPUtime=1.48 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 70469 0 0 0 129 19 0 0 20 0 1 0 138996213 327950336 71424 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 80066 71424 1184 6655 0 70301 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 320264 KiB
Current children cumulated memory: 285696 KiB

[startup+3.11277 s]
/proc/loadavg: 7.19 7.40 5.14 8/252 123845
/proc/meminfo: memFree=126021872/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=592744 memory=558336 CPUtime=3.08 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 138618 0 0 0 276 32 0 0 20 0 1 0 138996213 606969856 139584 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 148186 139584 1184 6655 0 138421 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 592744 KiB
Current children cumulated memory: 558336 KiB

[startup+6.30034 s]
/proc/loadavg: 7.18 7.40 5.15 8/252 123845
/proc/meminfo: memFree=125881808/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=707436 memory=672896 CPUtime=6.26 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 167262 0 0 0 590 36 0 0 20 0 1 0 138996213 724414464 168224 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 176859 168224 1184 6655 0 167094 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 707436 KiB
Current children cumulated memory: 672896 KiB

[startup+12.7004 s]
/proc/loadavg: 7.16 7.39 5.16 8/253 123847
/proc/meminfo: memFree=125484312/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=1200864 memory=1084592 CPUtime=12.65 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 220074 0 0 0 1214 51 0 0 20 0 2 0 138996213 1229684736 271148 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 300216 271148 2848 6655 0 274099 0
[pid=123844/tid=123847] ppid=123841 vsize=1200864 memory=1080660 CPUtime=0 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) S 123841 123844 123405 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 138997378 1229684736 271148 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1200864 KiB
Current children cumulated memory: 1084592 KiB

[startup+25.5003 s]
/proc/loadavg: 7.22 7.39 5.18 8/253 123847
/proc/meminfo: memFree=124789996/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=1636692 memory=1585916 CPUtime=31.74 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 300207 0 0 0 3080 94 0 0 20 0 2 0 138996213 1675972608 396479 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 409173 396479 3424 6655 0 398251 0
[pid=123844/tid=123847] ppid=123841 vsize=1636692 memory=1651112 CPUtime=6.39 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) S 123841 123844 123405 0 -1 4194368 60722 0 0 0 615 24 0 0 20 0 2 0 138997378 1675972608 396479 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 31.74 s
Current children cumulated vsize: 1636692 KiB
Current children cumulated memory: 1585916 KiB

[startup+51.1089 s]
/proc/loadavg: 7.27 7.39 5.25 9/253 123847
/proc/meminfo: memFree=124547120/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2047720 memory=1985992 CPUtime=58.19 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 339281 0 0 0 5711 108 0 0 20 0 2 0 138996213 2096865280 496498 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 511930 496498 3456 6655 0 501008 0
[pid=123844/tid=123847] ppid=123841 vsize=2047720 memory=1615168 CPUtime=7.3 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 70888 0 0 0 703 27 0 0 20 0 2 0 138997378 2096865280 496498 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 58.19 s
Current children cumulated vsize: 2047720 KiB
Current children cumulated memory: 1985992 KiB

[startup+102.3 s]
/proc/loadavg: 7.82 7.52 5.41 9/253 123849
/proc/meminfo: memFree=124245128/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2240704 memory=2163652 CPUtime=159.87 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 448897 0 0 0 15850 137 0 0 20 0 2 0 138996213 2294480896 540913 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 560176 540913 3520 6655 0 549254 0
[pid=123844/tid=123847] ppid=123841 vsize=2240704 memory=2163652 CPUtime=57.93 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 114889 0 0 0 5758 35 0 0 20 0 2 0 138997378 2294480896 540913 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 159.87 s
Current children cumulated vsize: 2240704 KiB
Current children cumulated memory: 2163652 KiB

[startup+162.3 s]
/proc/loadavg: 7.98 7.62 5.58 9/253 123851
/proc/meminfo: memFree=124196052/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2199036 memory=2124136 CPUtime=279.12 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 479084 0 0 0 27769 143 0 0 20 0 2 0 138996213 2251812864 531034 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 549759 531034 3520 6655 0 538837 0
[pid=123844/tid=123847] ppid=123841 vsize=2199036 memory=2122232 CPUtime=117.34 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 139437 0 0 0 11695 39 0 0 20 0 2 0 138997378 2251812864 531034 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 279.12 s
Current children cumulated vsize: 2199036 KiB
Current children cumulated memory: 2124136 KiB

[startup+222.3 s]
/proc/loadavg: 8.09 7.72 5.74 9/254 123854
/proc/meminfo: memFree=124259456/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2071788 memory=1994532 CPUtime=397.63 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 539360 0 0 0 39606 157 0 0 20 0 2 0 138996213 2121510912 498633 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 517947 498633 3520 6655 0 507025 0
[pid=123844/tid=123847] ppid=123841 vsize=2071788 memory=14080 CPUtime=176.32 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 146780 0 0 0 17589 43 0 0 20 0 2 0 138997378 2121510912 498633 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 397.63 s
Current children cumulated vsize: 2071788 KiB
Current children cumulated memory: 1994532 KiB

[startup+282.3 s]
/proc/loadavg: 8.13 7.81 5.90 9/256 123864
/proc/meminfo: memFree=124161096/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2071452 memory=2000576 CPUtime=516.78 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 571921 0 0 0 51515 163 0 0 20 0 2 0 138996213 2121166848 500144 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 517863 500144 3520 6655 0 506941 0
[pid=123844/tid=123847] ppid=123841 vsize=2071452 memory=14080 CPUtime=235.68 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 157380 0 0 0 23521 47 0 0 20 0 2 0 138997378 2121166848 500144 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 516.78 s
Current children cumulated vsize: 2071452 KiB
Current children cumulated memory: 2000576 KiB

[startup+342.3 s]
/proc/loadavg: 8.16 7.87 6.04 9/256 123866
/proc/meminfo: memFree=124076964/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2071452 memory=2000704 CPUtime=635.96 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 599242 0 0 0 63428 168 0 0 20 0 2 0 138996213 2121166848 500176 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 517863 500176 3520 6655 0 506941 0
[pid=123844/tid=123847] ppid=123841 vsize=2071452 memory=14080 CPUtime=295.05 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 164968 0 0 0 29456 49 0 0 20 0 2 0 138997378 2121166848 500176 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 635.96 s
Current children cumulated vsize: 2071452 KiB
Current children cumulated memory: 2000704 KiB

[startup+402.3 s]

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

/proc/123844/statm: 604977 588725 3520 6655 0 591643 0
[pid=123844/tid=123847] ppid=123841 vsize=2419908 memory=14080 CPUtime=1362.9 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 285397 0 0 0 136204 86 0 0 20 0 2 0 138997378 2477985792 588725 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 2779.83 s
Current children cumulated vsize: 2419908 KiB
Current children cumulated memory: 2354900 KiB

[startup+1482.3 s]
/proc/loadavg: 7.11 7.28 7.05 8/253 124100
/proc/meminfo: memFree=107386440/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2419908 memory=2354980 CPUtime=2898.83 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 846406 0 0 0 289654 229 0 0 20 0 2 0 138996213 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 604977 588745 3520 6655 0 591643 0
[pid=123844/tid=123847] ppid=123841 vsize=2419908 memory=2354980 CPUtime=1422.17 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 287991 0 0 0 142129 88 0 0 20 0 2 0 138997378 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 2898.83 s
Current children cumulated vsize: 2419908 KiB
Current children cumulated memory: 2354980 KiB

[startup+1542.3 s]
/proc/loadavg: 7.12 7.25 7.05 8/254 124109
/proc/meminfo: memFree=107411224/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2419908 memory=2354980 CPUtime=3017.94 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 852564 0 0 0 301563 231 0 0 20 0 2 0 138996213 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 604977 588745 3520 6655 0 591643 0
[pid=123844/tid=123847] ppid=123841 vsize=2419908 memory=11264 CPUtime=1481.52 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 293185 0 0 0 148062 90 0 0 20 0 2 0 138997378 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 3017.94 s
Current children cumulated vsize: 2419908 KiB
Current children cumulated memory: 2354980 KiB

[startup+1602.3 s]
/proc/loadavg: 7.64 7.36 7.10 9/254 124111
/proc/meminfo: memFree=98493480/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2419908 memory=2354980 CPUtime=3137.06 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 853528 0 0 0 313473 233 0 0 20 0 2 0 138996213 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 604977 588745 3520 6655 0 591643 0
[pid=123844/tid=123847] ppid=123841 vsize=2419908 memory=14080 CPUtime=1540.86 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 293187 0 0 0 153995 91 0 0 20 0 2 0 138997378 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 3137.06 s
Current children cumulated vsize: 2419908 KiB
Current children cumulated memory: 2354980 KiB

[startup+1662.3 s]
/proc/loadavg: 7.42 7.35 7.11 8/254 124114
/proc/meminfo: memFree=98390200/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2419908 memory=2354980 CPUtime=3256.13 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 857048 0 0 0 325379 234 0 0 20 0 2 0 138996213 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 604977 588745 3520 6655 0 591643 0
[pid=123844/tid=123847] ppid=123841 vsize=2419908 memory=-8743292723313550012 CPUtime=1600.18 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 296512 0 0 0 159926 92 0 0 20 0 2 0 138997378 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 3256.13 s
Current children cumulated vsize: 2419908 KiB
Current children cumulated memory: 2354980 KiB

[startup+1722.3 s]
/proc/loadavg: 7.19 7.30 7.11 8/254 124116
/proc/meminfo: memFree=98191224/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2419908 memory=2354980 CPUtime=3375.1 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 864488 0 0 0 337274 236 0 0 20 0 2 0 138996213 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 604977 588745 3520 6655 0 591643 0
[pid=123844/tid=123847] ppid=123841 vsize=2419908 memory=2354980 CPUtime=1659.43 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 303298 0 0 0 165850 93 0 0 20 0 2 0 138997378 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 3375.1 s
Current children cumulated vsize: 2419908 KiB
Current children cumulated memory: 2354980 KiB

[startup+1782.3 s]
/proc/loadavg: 7.12 7.26 7.10 8/255 124119
/proc/meminfo: memFree=98159816/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2419908 memory=2354980 CPUtime=3494.11 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 868385 0 0 0 349173 238 0 0 20 0 2 0 138996213 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 604977 588745 3520 6655 0 591643 0
[pid=123844/tid=123847] ppid=123841 vsize=2419908 memory=2354980 CPUtime=1718.71 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 306536 0 0 0 171777 94 0 0 20 0 2 0 138997378 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 3494.11 s
Current children cumulated vsize: 2419908 KiB
Current children cumulated memory: 2354980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1835.7 s]
/proc/loadavg: 7.14 7.25 7.10 8/255 124121
/proc/meminfo: memFree=100894508/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=2419908 memory=2354980 CPUtime=3600.01 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) R 123841 123844 123405 0 -1 4194304 868400 0 0 0 359762 239 0 0 20 0 2 0 138996213 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 604977 588745 3520 6655 0 591643 0
[pid=123844/tid=123847] ppid=123841 vsize=2419908 memory=2354980 CPUtime=1771.47 cores=4,6
/proc/123844/task/123847/stat : 123847 (LSIPExact) R 123841 123844 123405 0 -1 4194368 306541 0 0 0 177052 95 0 0 20 0 2 0 138997378 2477985792 588745 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2419908 KiB
Current children cumulated memory: 2354980 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1837.74 s]
# the end of solver process 123844 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3599.68 s, system=2.54248 s

Solver just ended.
Dumping a history of the last processes samples

[startup+1836.8 s]
/proc/loadavg: 7.14 7.25 7.10 7/254 124121
/proc/meminfo: memFree=101546040/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=1722128 memory=1678044 CPUtime=3600.56 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) S 123841 123844 123405 0 -1 4194304 940082 227 0 0 359813 243 0 0 20 0 1 0 138996213 1763459072 419511 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 430532 419511 3584 6655 0 419610 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 1722128 KiB
Current children cumulated memory: 1678044 KiB

[startup+1837.2 s]
/proc/loadavg: 7.05 7.23 7.10 7/255 124123
/proc/meminfo: memFree=101495508/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=1722128 memory=1678044 CPUtime=3600.56 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) S 123841 123844 123405 0 -1 4194304 940082 227 0 0 359813 243 0 0 20 0 1 0 138996213 1763459072 419511 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 430532 419511 3584 6655 0 419610 0
[pid=124123] ppid=123844 vsize=85808 memory=75256 CPUtime=1.09 cores=4,6
/proc/124123/stat : 124123 (Exact) R 123844 124123 124123 0 -1 4194304 16430 0 0 0 105 4 0 0 20 0 1 0 139179821 87867392 18814 18446744073709551615 4198400 8335837 140726503734768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19611648 140726503737522 140726503737883 140726503737883 140726503743439 0
/proc/124123/statm: 21452 18814 928 1011 0 20219 0
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 1807936 KiB
Current children cumulated memory: 1753300 KiB

[startup+1837.6 s]
/proc/loadavg: 7.05 7.23 7.10 7/255 124123
/proc/meminfo: memFree=101495508/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=1722128 memory=1678044 CPUtime=3600.56 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) S 123841 123844 123405 0 -1 4194304 940082 227 0 0 359813 243 0 0 20 0 1 0 138996213 1763459072 419511 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 430532 419511 3584 6655 0 419610 0
[pid=124123] ppid=123844 vsize=90460 memory=83936 CPUtime=1.49 cores=4,6
/proc/124123/stat : 124123 (Exact) R 123844 124123 124123 0 -1 4194304 17570 0 0 0 144 5 0 0 20 0 1 0 139179821 92631040 20984 18446744073709551615 4198400 8335837 140726503734768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19611648 140726503737522 140726503737883 140726503737883 140726503743439 0
/proc/124123/statm: 22615 20984 928 1011 0 21382 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 1812588 KiB
Current children cumulated memory: 1761980 KiB

[startup+1837.7 s]
/proc/loadavg: 7.05 7.23 7.10 7/255 124123
/proc/meminfo: memFree=101495508/131382116 swapFree=33009904/33010684
[pid=123844] ppid=123841 vsize=1722128 memory=1678044 CPUtime=3600.56 cores=4,6
/proc/123844/stat : 123844 (LSIPExact) S 123841 123844 123405 0 -1 4194304 940082 227 0 0 359813 243 0 0 20 0 1 0 138996213 1763459072 419511 18446744073709551615 94622505058304 94622532315473 140733618355296 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94622540817544 94622541249152 94622557827072 140733618358616 140733618358792 140733618358792 140733618364396 0
/proc/123844/statm: 430532 419511 3584 6655 0 419610 0
[pid=124123] ppid=123844 vsize=90748 memory=84320 CPUtime=1.59 cores=4,6
/proc/124123/stat : 124123 (Exact) R 123844 124123 124123 0 -1 4194304 17665 0 0 0 153 6 0 0 20 0 1 0 139179821 92925952 21080 18446744073709551615 4198400 8335837 140726503734768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19611648 140726503737522 140726503737883 140726503737883 140726503743439 0
/proc/124123/statm: 22687 21080 928 1011 0 21454 0
Current children cumulated CPU time: 3602.15 s
Current children cumulated vsize: 1812876 KiB
Current children cumulated memory: 1762364 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1837.74
CPU time (s): 3602.22
CPU user time (s): 3599.68
CPU system time (s): 2.54248
CPU usage (%): 196.014
Max. virtual memory (cumulated for all children) (KiB): 2485444
Max. memory (cumulated for all children) (KiB): 2364200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.68
system time used= 2.54248
maximum resident set size= 2364200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957974
page faults= 0
swaps= 0
block input operations= 81224
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 515
involuntary context switches= 52588


# summary of solver processes directly reported to runsolver:
#   pid: 123844
#   total CPU time (s): 3602.22
#   total CPU user time (s): 3599.68
#   total CPU system time (s): 2.54248

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2988 second user time and 9.23174 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-11 13:26:10
IDJOB=4527544
IDBENCH=155399
IDSOLVER=3384
FILE ID=nodeC004/4527544-1752233169
RUNJOBID= nodeC004-1752232205-123423
SLURM_JOB_ID= 9682515
Free space on /tmp= 431496 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527544-1752233169/watcher-4527544-1752233169 -o /tmp/evaluation-result-4527544-1752233169/solver-4527544-1752233169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752232205-123423 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527544-1752233169.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=1632632239

nodeC004 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	: 0xb00001f
cpu MHz		: 3591.646
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 pti 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	: 6983.74
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		: 3591.749
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 pti 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	: 6983.74
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		: 3591.634
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 pti 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	: 6983.74
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		: 3591.573
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 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.753
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 pti 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	: 6983.74
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		: 3591.641
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 pti 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	: 6983.74
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		: 1995.352
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 pti 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	: 6983.74
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		: 3591.732
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 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126569636 kB
MemAvailable:   127851680 kB
Buffers:            2128 kB
Cached:          2028008 kB
SwapCached:           32 kB
Active:          2683824 kB
Inactive:        1421904 kB
Active(anon):    2082800 kB
Inactive(anon):    10724 kB
Active(file):     601024 kB
Inactive(file):  1411180 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             92672 kB
Writeback:             4 kB
AnonPages:       2078688 kB
Mapped:           142788 kB
Shmem:             17932 kB
KReclaimable:     218936 kB
Slab:             308320 kB
SReclaimable:     218936 kB
SUnreclaim:        89384 kB
KernelStack:        4064 kB
PageTables:         7196 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2441680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    669696 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431212 MiB
End job on nodeC004 at 2025-07-11 13:56:48