Trace number 4485768

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 S2? (TO) 3600.29 1845.87

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUM6022b5aad9039ac1ca82f9921059af7c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables185520
Total number of constraints404
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint30
Maximum length of a constraint185520
Number of terms in the objective function 185520
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6640019433432
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 193273528320
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 11024119093221
Number of bits of the biggest sum of numbers44
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3554.87/1800.38	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3554.87/1800.38	c numVar: 185520
3554.87/1800.38	c numCon: 404
3554.87/1800.38	c numEqual: 404
3554.87/1800.38	c intSize: 44
3554.87/1800.38	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3554.87/1800.38	c ------------------- Paras list -------------------
3554.87/1800.38	c Name                	 Type      	 Now       	 Default   	 Comment
3554.87/1800.38	c timeout             	 double    	 3600.000000	 3600      	 
3554.87/1800.38	c mip_time            	 double    	 0.500000  	 0.5       	 
3554.87/1800.38	c ls_time             	 double    	 10.000000 	 10        	 
3554.87/1800.38	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
3554.87/1800.38	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3554.87/1800.38	c random_seed         	 int       	 0         	 0         	 
3554.87/1800.38	c sample_size         	 int       	 50        	 50        	 
3554.87/1800.38	c sub_score           	 int       	 1         	 1         	 
3554.87/1800.38	c tabu_base           	 int       	 3         	 3         	 
3554.87/1800.38	c tabu_variation      	 int       	 1         	 1         	 
3554.87/1800.38	c sub_div             	 int       	 4         	 4         	 
3554.87/1800.38	c nbcore              	 int       	 2         	 1         	 
3554.87/1800.38	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3554.87/1800.38	c print_sol           	 int       	 1         	 1         	 
3554.87/1800.38	c tmpdir              	 string		 .         	 "."       	 
3554.87/1800.38	c home                	 string		 HOME	 "."       	 
3554.87/1800.38	c benchname           	 string		 HOME/instance-4485768-1751304804.opb	 ""        	 
3554.87/1800.38	c --------------------------------------------------
3554.87/1800.38	c Local Search solver
3554.87/1800.38	c MIP solver
3554.87/1800.38	c use Exact solver
3600.08/1845.60	c receive signal 15, try to interrupt solver...
3555.00/1845.71	c Exact solver (PID 43461) interrupted gracefully.
3600.20/1845.85	s UNKNOWN
3600.20/1845.85	c Total time: 1846

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 (62255 MiB free)
  memory of node 1: 64507 MiB (62223 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485768-1751304804/watcher-4485768-1751304804 -o /tmp/evaluation-result-4485768-1751304804/solver-4485768-1751304804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42552 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4485768-1751304804.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=43031, runsolver pid=43028

[startup+0.100069 s]*
/proc/loadavg: 5.47 6.68 6.54 6/269 43032
/proc/meminfo: memFree=127409888/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=109420 memory=70656 CPUtime=0.08 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 13250 0 0 0 6 2 0 0 20 0 1 0 46160677 112046080 17664 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 27355 17664 1184 6655 0 17590 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 109420 KiB
Current children cumulated memory: 70656 KiB

[startup+0.205593 s]*
/proc/loadavg: 5.47 6.68 6.54 6/269 43032
/proc/meminfo: memFree=127301084/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=171544 memory=132736 CPUtime=0.19 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 28780 0 0 0 14 5 0 0 20 0 1 0 46160677 175661056 33184 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 42886 33184 1184 6655 0 33121 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 171544 KiB
Current children cumulated memory: 132736 KiB

[startup+0.305498 s]*
/proc/loadavg: 5.47 6.68 6.54 6/269 43032
/proc/meminfo: memFree=127240836/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=218724 memory=179840 CPUtime=0.29 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 40575 0 0 0 22 7 0 0 20 0 1 0 46160677 223973376 44960 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 54681 44960 1184 6655 0 44916 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 218724 KiB
Current children cumulated memory: 179840 KiB

[startup+0.700199 s]
/proc/loadavg: 5.47 6.68 6.54 6/269 43032
/proc/meminfo: memFree=127216644/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=238392 memory=199552 CPUtime=0.67 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 45488 0 0 0 60 7 0 0 20 0 1 0 46160677 244113408 49888 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 59598 49888 1184 6655 0 49833 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 238392 KiB
Current children cumulated memory: 199552 KiB

[startup+1.5002 s]
/proc/loadavg: 5.43 6.65 6.53 6/269 43032
/proc/meminfo: memFree=127212548/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=238584 memory=199680 CPUtime=1.47 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 45514 0 0 0 140 7 0 0 20 0 1 0 46160677 244310016 49920 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 59646 49920 1184 6655 0 49881 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 238584 KiB
Current children cumulated memory: 199680 KiB

[startup+3.10551 s]
/proc/loadavg: 5.43 6.65 6.53 6/269 43032
/proc/meminfo: memFree=127212572/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=238584 memory=199808 CPUtime=3.07 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 45559 0 0 0 300 7 0 0 20 0 1 0 46160677 244310016 49952 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 59646 49952 1184 6655 0 49881 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 238584 KiB
Current children cumulated memory: 199808 KiB

[startup+6.30018 s]
/proc/loadavg: 5.40 6.62 6.52 6/269 43032
/proc/meminfo: memFree=127027296/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=238968 memory=199936 CPUtime=6.26 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 45610 0 0 0 619 7 0 0 20 0 1 0 46160677 244703232 49984 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 59742 49984 1184 6655 0 49977 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 238968 KiB
Current children cumulated memory: 199936 KiB

[startup+12.7002 s]
/proc/loadavg: 5.45 6.61 6.52 6/270 43034
/proc/meminfo: memFree=126520976/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=567332 memory=455564 CPUtime=12.64 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 95092 0 0 0 1246 18 0 0 20 0 2 0 46160677 580947968 113859 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 141833 113891 2912 6655 0 115716 0
[pid=43031/tid=43034] ppid=43028 vsize=567332 memory=390416 CPUtime=0 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) S 43028 43031 42536 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 46161711 580947968 113891 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 567332 KiB
Current children cumulated memory: 455564 KiB

[startup+25.5002 s]
/proc/loadavg: 5.53 6.59 6.51 7/270 43035
/proc/meminfo: memFree=126090088/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=953788 memory=851572 CPUtime=35.99 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 202813 0 0 0 3564 35 0 0 20 0 2 0 46160677 976678912 212893 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 238447 212893 3520 6655 0 224076 0
[pid=43031/tid=43034] ppid=43028 vsize=953788 memory=851572 CPUtime=11.63 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 28450 0 0 0 1159 4 0 0 20 0 2 0 46161711 976678912 212893 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 35.99 s
Current children cumulated vsize: 953788 KiB
Current children cumulated memory: 851572 KiB

[startup+51.1056 s]
/proc/loadavg: 5.64 6.52 6.49 6/270 43035
/proc/meminfo: memFree=125991608/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=930748 memory=821872 CPUtime=86.78 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 233807 0 0 0 8640 38 0 0 20 0 2 0 46160677 953085952 205468 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 232687 205468 3520 6655 0 218316 0
[pid=43031/tid=43034] ppid=43028 vsize=930748 memory=821872 CPUtime=36.93 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 47736 0 0 0 3687 6 0 0 20 0 2 0 46161711 953085952 205468 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 86.78 s
Current children cumulated vsize: 930748 KiB
Current children cumulated memory: 821872 KiB

[startup+102.3 s]
/proc/loadavg: 5.96 6.47 6.47 7/270 43041
/proc/meminfo: memFree=125664024/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=945716 memory=842788 CPUtime=188.35 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 304906 0 0 0 18789 46 0 0 20 0 2 0 46160677 968413184 210697 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 236429 210697 3520 6655 0 222058 0
[pid=43031/tid=43034] ppid=43028 vsize=945716 memory=14720 CPUtime=87.51 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 68614 0 0 0 8742 9 0 0 20 0 2 0 46161711 968413184 210697 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 188.35 s
Current children cumulated vsize: 945716 KiB
Current children cumulated memory: 842788 KiB

[startup+162.3 s]
/proc/loadavg: 6.20 6.43 6.46 7/270 43043
/proc/meminfo: memFree=125606020/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=930748 memory=828112 CPUtime=307.38 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 358556 0 0 0 30686 52 0 0 20 0 2 0 46160677 953085952 207028 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 232687 207028 3520 6655 0 218316 0
[pid=43031/tid=43034] ppid=43028 vsize=930748 memory=0 CPUtime=146.77 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 87576 0 0 0 14667 10 0 0 20 0 2 0 46161711 953085952 207028 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 307.38 s
Current children cumulated vsize: 930748 KiB
Current children cumulated memory: 828112 KiB

[startup+222.3 s]
/proc/loadavg: 6.18 6.39 6.44 7/270 43045
/proc/meminfo: memFree=125432056/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=930748 memory=828496 CPUtime=426.46 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 373343 0 0 0 42593 53 0 0 20 0 2 0 46160677 953085952 207124 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 232687 207124 3520 6655 0 218316 0
[pid=43031/tid=43034] ppid=43028 vsize=930748 memory=828496 CPUtime=206.06 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 99014 0 0 0 20595 11 0 0 20 0 2 0 46161711 953085952 207124 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 426.46 s
Current children cumulated vsize: 930748 KiB
Current children cumulated memory: 828496 KiB

[startup+282.3 s]
/proc/loadavg: 6.16 6.35 6.42 7/268 43047
/proc/meminfo: memFree=125325012/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=930748 memory=852432 CPUtime=543.75 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 454808 0 0 0 54315 60 0 0 20 0 2 0 46160677 953085952 213108 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 232687 213108 3520 6655 0 222859 0
[pid=43031/tid=43034] ppid=43028 vsize=930748 memory=325038830080049 CPUtime=263.68 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 132422 0 0 0 26354 14 0 0 20 0 2 0 46161711 953085952 213108 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 543.75 s
Current children cumulated vsize: 930748 KiB
Current children cumulated memory: 852432 KiB

[startup+342.3 s]
/proc/loadavg: 6.11 6.30 6.40 7/268 43049
/proc/meminfo: memFree=125304656/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=930748 memory=866276 CPUtime=662.74 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 477245 0 0 0 66211 63 0 0 20 0 2 0 46160677 953085952 216569 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 232687 216569 3520 6655 0 222883 0
[pid=43031/tid=43034] ppid=43028 vsize=930748 memory=325038830080049 CPUtime=322.93 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 147692 0 0 0 32277 16 0 0 20 0 2 0 46161711 953085952 216569 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 662.74 s
Current children cumulated vsize: 930748 KiB
Current children cumulated memory: 866276 KiB


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

/proc/meminfo: memFree=126499188/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=912792 CPUtime=2567.26 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 741194 0 0 0 256640 86 0 0 20 0 2 0 46160677 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228198 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=907800 CPUtime=1271.53 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 241342 0 0 0 127127 26 0 0 20 0 2 0 46161711 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 2567.26 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 912792 KiB

[startup+1362.3 s]
/proc/loadavg: 6.12 6.12 6.20 7/268 43147
/proc/meminfo: memFree=126473696/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=912792 CPUtime=2686.26 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 744231 0 0 0 268539 87 0 0 20 0 2 0 46160677 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228198 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=907800 CPUtime=1330.81 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 241983 0 0 0 133055 26 0 0 20 0 2 0 46161711 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 2686.26 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 912792 KiB

[startup+1422.3 s]
/proc/loadavg: 6.09 6.11 6.19 7/268 43149
/proc/meminfo: memFree=126464716/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=912792 CPUtime=2805.24 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 747497 0 0 0 280437 87 0 0 20 0 2 0 46160677 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228198 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=907800 CPUtime=1390.07 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 243439 0 0 0 138981 26 0 0 20 0 2 0 46161711 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 2805.24 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 912792 KiB

[startup+1482.3 s]
/proc/loadavg: 6.15 6.12 6.18 7/267 43387
/proc/meminfo: memFree=128098744/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=912792 CPUtime=2924.23 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 748113 0 0 0 292336 87 0 0 20 0 2 0 46160677 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228198 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=907800 CPUtime=1449.35 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 243588 0 0 0 144909 26 0 0 20 0 2 0 46161711 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 2924.23 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 912792 KiB

[startup+1542.3 s]
/proc/loadavg: 6.68 6.27 6.23 8/266 43391
/proc/meminfo: memFree=128020396/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=912792 CPUtime=3043.24 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 767365 0 0 0 304235 89 0 0 20 0 2 0 46160677 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228198 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=17040 CPUtime=1508.63 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 249542 0 0 0 150836 27 0 0 20 0 2 0 46161711 1020194816 228198 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 3043.24 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 912792 KiB

[startup+1602.3 s]
/proc/loadavg: 6.92 6.42 6.29 8/266 43393
/proc/meminfo: memFree=128039544/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=913176 CPUtime=3162.21 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 788665 0 0 0 316131 90 0 0 20 0 2 0 46160677 1020194816 228294 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228294 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=912792 CPUtime=1567.89 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 252255 0 0 0 156762 27 0 0 20 0 2 0 46161711 1020194816 228294 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 3162.21 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 913176 KiB

[startup+1662.3 s]
/proc/loadavg: 7.07 6.56 6.34 8/267 43407
/proc/meminfo: memFree=128029904/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=913304 CPUtime=3281.21 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 792120 0 0 0 328031 90 0 0 20 0 2 0 46160677 1020194816 228326 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228326 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=913176 CPUtime=1627.17 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 255183 0 0 0 162690 27 0 0 20 0 2 0 46161711 1020194816 228326 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 3281.21 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 913304 KiB

[startup+1722.3 s]
/proc/loadavg: 7.08 6.66 6.39 8/267 43409
/proc/meminfo: memFree=127991680/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=914584 CPUtime=3400.19 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 792480 0 0 0 339928 91 0 0 20 0 2 0 46160677 1020194816 228646 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228646 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=913176 CPUtime=1686.43 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 255446 0 0 0 168616 27 0 0 20 0 2 0 46161711 1020194816 228646 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 3400.19 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 914584 KiB

[startup+1782.3 s]
/proc/loadavg: 6.66 6.62 6.40 7/267 43412
/proc/meminfo: memFree=127933980/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=996284 memory=915480 CPUtime=3519.17 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 792887 0 0 0 351826 91 0 0 20 0 2 0 46160677 1020194816 228870 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 249071 228870 3584 6655 0 235057 0
[pid=43031/tid=43034] ppid=43028 vsize=996284 memory=915480 CPUtime=1745.69 cores=5,7
/proc/43031/task/43034/stat : 43034 (LSIPExact) R 43028 43031 42536 0 -1 4194368 255739 0 0 0 174542 27 0 0 20 0 2 0 46161711 1020194816 228870 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
Current children cumulated CPU time: 3519.17 s
Current children cumulated vsize: 996284 KiB
Current children cumulated memory: 915480 KiB

[startup+1842.3 s]
/proc/loadavg: 6.21 6.50 6.37 7/267 43509
/proc/meminfo: memFree=127514128/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=885692 memory=844040 CPUtime=3555 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) S 43028 43031 42536 0 -1 4194304 816592 0 0 0 355407 93 0 0 20 0 1 0 46160677 906948608 211010 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 221423 211010 3616 6655 0 211619 0
[pid=43461] ppid=43031 vsize=697468 memory=666956 CPUtime=41.79 cores=5,7
/proc/43461/stat : 43461 (Exact) R 43031 43461 43461 0 -1 4194304 112521 0 0 0 4149 30 0 0 20 0 1 0 46340715 714207232 166739 18446744073709551615 4198400 8335837 140726555815456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 22048768 140726555822267 140726555822621 140726555822621 140726555828175 0
/proc/43461/statm: 174367 166739 1088 1011 0 173134 0
Current children cumulated CPU time: 3596.79 s
Current children cumulated vsize: 1583160 KiB
Current children cumulated memory: 1510996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1845.6 s]
/proc/loadavg: 6.21 6.50 6.37 7/267 43509
/proc/meminfo: memFree=127512140/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=885692 memory=844040 CPUtime=3555 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) S 43028 43031 42536 0 -1 4194304 816592 0 0 0 355407 93 0 0 20 0 1 0 46160677 906948608 211010 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 221423 211010 3616 6655 0 211619 0
[pid=43461] ppid=43031 vsize=704484 memory=676016 CPUtime=45.08 cores=5,7
/proc/43461/stat : 43461 (Exact) R 43031 43461 43461 0 -1 4194304 114313 0 0 0 4478 30 0 0 20 0 1 0 46340715 721391616 169004 18446744073709551615 4198400 8335837 140726555815456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 22048768 140726555822267 140726555822621 140726555822621 140726555828175 0
/proc/43461/statm: 176121 169004 1088 1011 0 174888 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1590176 KiB
Current children cumulated memory: 1520056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599 s, system=1.28969 s

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

[startup+1845.8 s]
/proc/loadavg: 6.21 6.50 6.37 7/267 43509
/proc/meminfo: memFree=127512140/131250000 swapFree=33010684/33010684
[pid=43031] ppid=43028 vsize=875544 memory=833924 CPUtime=3600.2 cores=5,7
/proc/43031/stat : 43031 (LSIPExact) R 43028 43031 42536 0 -1 4194304 836527 114549 0 0 355415 94 4480 31 20 0 1 0 46160677 896557056 208481 18446744073709551615 94145406275584 94145433531985 140721121924800 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94145442034824 94145442466432 94145448640512 140721121929562 140721121929738 140721121929738 140721121935340 0
/proc/43031/statm: 218886 208481 3616 6655 0 209082 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 875544 KiB
Current children cumulated memory: 833924 KiB

Child status: 0

Real time (s): 1845.87
CPU time (s): 3600.29
CPU user time (s): 3599
CPU system time (s): 1.28969
CPU usage (%): 195.046
Max. virtual memory (cumulated for all children) (KiB): 1590176
Max. memory (cumulated for all children) (KiB): 1520056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599
system time used= 1.28968
maximum resident set size= 920216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965099
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= 386
involuntary context switches= 40022


# summary of solver processes directly reported to runsolver:
#   pid: 43031
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3599
#   total CPU system time (s): 1.28969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.17653 second user time and 9.36978 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-30 19:33:24
IDJOB=4485768
IDBENCH=146886
IDSOLVER=3337
FILE ID=nodeC013/4485768-1751304804
RUNJOBID= nodeC013-1751302914-42552
SLURM_JOB_ID= 9594288
Free space on /tmp= 432892 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485768-1751304804/watcher-4485768-1751304804 -o /tmp/evaluation-result-4485768-1751304804/solver-4485768-1751304804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42552 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4485768-1751304804.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 6022b5aad9039ac1ca82f9921059af7c
RANDOM SEED=1185810132

nodeC013 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		: 3599.848
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	: 6999.67
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		: 3599.832
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	: 6999.67
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		: 3599.836
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	: 6999.67
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		: 3600.455
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	: 6999.67
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		: 3599.854
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	: 6999.67
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		: 3700.000
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	: 6999.67
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		: 3604.986
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	: 6999.67
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		: 3599.827
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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127465276 kB
MemAvailable:   127710604 kB
Buffers:            3280 kB
Cached:          1046860 kB
SwapCached:            0 kB
Active:          2314576 kB
Inactive:         803220 kB
Active(anon):    2080944 kB
Inactive(anon):        0 kB
Active(file):     233632 kB
Inactive(file):   803220 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            122128 kB
Writeback:            96 kB
AnonPages:       2068796 kB
Mapped:           136540 kB
Shmem:             13284 kB
KReclaimable:      95028 kB
Slab:             182100 kB
SReclaimable:      95028 kB
SUnreclaim:        87072 kB
KernelStack:        4336 kB
PageTables:         7472 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2597652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432864 MiB
End job on nodeC013 at 2025-06-30 20:04:10