Trace number 4490644

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.06 1835.2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
MD5SUM24a8c00bfc22332d2e87e9d19ffbf58d
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 variables51
Total number of constraints13
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3819
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3564.96/1800.04	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3564.96/1800.04	c numVar: 51
3564.96/1800.04	c numCon: 13
3564.96/1800.04	c numEqual: 0
3564.96/1800.04	c intSize: 12
3564.96/1800.04	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3564.96/1800.04	c ------------------- Paras list -------------------
3564.96/1800.04	c Name                	 Type      	 Now       	 Default   	 Comment
3564.96/1800.04	c timeout             	 double    	 3600.000000	 3600      	 
3564.96/1800.04	c mip_time            	 double    	 0.500000  	 0.5       	 
3564.96/1800.04	c ls_time             	 double    	 10.000000 	 10        	 
3564.96/1800.04	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
3564.96/1800.04	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3564.96/1800.04	c random_seed         	 int       	 0         	 0         	 
3564.96/1800.04	c sample_size         	 int       	 50        	 50        	 
3564.96/1800.04	c sub_score           	 int       	 1         	 1         	 
3564.96/1800.04	c tabu_base           	 int       	 3         	 3         	 
3564.96/1800.04	c tabu_variation      	 int       	 1         	 1         	 
3564.96/1800.04	c sub_div             	 int       	 4         	 4         	 
3564.96/1800.04	c nbcore              	 int       	 2         	 1         	 
3564.96/1800.04	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3564.96/1800.04	c print_sol           	 int       	 1         	 1         	 
3564.96/1800.04	c tmpdir              	 string		 .         	 "."       	 
3564.96/1800.04	c home                	 string		 HOME	 "."       	 
3564.96/1800.04	c benchname           	 string		 HOME/instance-4490644-1751363965.opb	 ""        	 
3564.96/1800.04	c --------------------------------------------------
3564.96/1800.04	c Local Search solver
3564.96/1800.04	c MIP solver
3564.96/1800.04	c use Exact solver
3600.03/1835.20	s UNKNOWN
3600.03/1835.20	c Total time: 1836

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490644-1751363965/watcher-4490644-1751363965 -o /tmp/evaluation-result-4490644-1751363965/solver-4490644-1751363965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751360343-49786 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4490644-1751363965.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=50363, runsolver pid=50360
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 7.91 8.09 8.01 6/266 50364
/proc/meminfo: memFree=125674824/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=39772 memory=5376 CPUtime=0.09 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 295 0 0 0 9 0 0 0 20 0 1 0 52074221 40726528 1344 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 9943 1344 1216 6655 0 178 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 5376 KiB

[startup+0.204398 s]*
/proc/loadavg: 7.91 8.09 8.01 6/266 50364
/proc/meminfo: memFree=125674824/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=39772 memory=5376 CPUtime=0.19 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 295 0 0 0 19 0 0 0 20 0 1 0 52074221 40726528 1344 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 9943 1344 1216 6655 0 178 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 5376 KiB

[startup+0.304322 s]*
/proc/loadavg: 7.91 8.09 8.01 6/266 50364
/proc/meminfo: memFree=125673816/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=39772 memory=5376 CPUtime=0.29 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 295 0 0 0 29 0 0 0 20 0 1 0 52074221 40726528 1344 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 9943 1344 1216 6655 0 178 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 5376 KiB

[startup+0.700094 s]
/proc/loadavg: 7.91 8.09 8.01 6/266 50364
/proc/meminfo: memFree=125673816/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=39772 memory=5376 CPUtime=0.69 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 295 0 0 0 69 0 0 0 20 0 1 0 52074221 40726528 1344 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 9943 1344 1216 6655 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 5376 KiB

[startup+1.5001 s]
/proc/loadavg: 7.91 8.09 8.01 6/266 50364
/proc/meminfo: memFree=125693228/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=39772 memory=5376 CPUtime=1.48 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 295 0 0 0 148 0 0 0 20 0 1 0 52074221 40726528 1344 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 9943 1344 1216 6655 0 178 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 5376 KiB

[startup+3.1045 s]
/proc/loadavg: 7.68 8.04 8.00 6/266 50364
/proc/meminfo: memFree=125726932/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=39772 memory=5376 CPUtime=3.09 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 295 0 0 0 309 0 0 0 20 0 1 0 52074221 40726528 1344 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 9943 1344 1216 6655 0 178 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 5376 KiB

[startup+6.3001 s]
/proc/loadavg: 7.68 8.04 8.00 6/267 50395
/proc/meminfo: memFree=125804268/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=39772 memory=5376 CPUtime=6.28 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 295 0 0 0 628 0 0 0 20 0 1 0 52074221 40726528 1344 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 9943 1344 1216 6655 0 178 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 5376 KiB

[startup+12.7001 s]
/proc/loadavg: 7.43 7.97 7.98 8/269 50397
/proc/meminfo: memFree=125782968/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=125264 memory=34004 CPUtime=15.24 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 4835 0 0 0 1523 1 0 0 20 0 2 0 52074221 128270336 8501 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 31316 8501 3520 6655 0 6844 0
[pid=50363/tid=50397] ppid=50360 vsize=125264 memory=18432 CPUtime=2.64 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 1871 0 0 0 264 0 0 0 20 0 2 0 52075222 128270336 8501 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 15.24 s
Current children cumulated vsize: 125264 KiB
Current children cumulated memory: 34004 KiB

[startup+25.5002 s]
/proc/loadavg: 7.43 7.95 7.97 8/270 50400
/proc/meminfo: memFree=127384892/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=160100 memory=77668 CPUtime=40.65 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 27026 0 0 0 4060 5 0 0 20 0 2 0 52074221 163942400 19417 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 40025 19417 3520 6655 0 18443 0
[pid=50363/tid=50397] ppid=50360 vsize=160100 memory=70460 CPUtime=15.31 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 10892 0 0 0 1529 2 0 0 20 0 2 0 52075222 163942400 19417 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 40.65 s
Current children cumulated vsize: 160100 KiB
Current children cumulated memory: 77668 KiB

[startup+51.1053 s]
/proc/loadavg: 7.34 7.89 7.95 8/269 50401
/proc/meminfo: memFree=127167804/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=267664 memory=165292 CPUtime=91.5 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 41659 0 0 0 9142 8 0 0 20 0 2 0 52074221 274087936 41323 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 66916 41323 3520 6655 0 46750 0
[pid=50363/tid=50397] ppid=50360 vsize=267664 memory=126080 CPUtime=40.65 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 17706 0 0 0 4061 4 0 0 20 0 2 0 52075222 274087936 41323 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 91.5 s
Current children cumulated vsize: 267664 KiB
Current children cumulated memory: 165292 KiB

[startup+102.3 s]
/proc/loadavg: 7.75 7.90 7.95 9/269 50458
/proc/meminfo: memFree=128052472/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=366196 memory=279888 CPUtime=193.17 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 73358 0 0 0 19302 15 0 0 20 0 2 0 52074221 374984704 69972 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 91549 69972 3520 6655 0 72877 0
[pid=50363/tid=50397] ppid=50360 vsize=366196 memory=269584 CPUtime=91.32 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 36451 0 0 0 9124 8 0 0 20 0 2 0 52075222 374984704 69972 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 193.17 s
Current children cumulated vsize: 366196 KiB
Current children cumulated memory: 279888 KiB

[startup+162.3 s]
/proc/loadavg: 8.08 7.98 7.98 9/270 50467
/proc/meminfo: memFree=127689760/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=448136 memory=371460 CPUtime=312.33 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 76689 0 0 0 31213 20 0 0 20 0 2 0 52074221 458891264 92865 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 112034 92865 3520 6655 0 93362 0
[pid=50363/tid=50397] ppid=50360 vsize=448136 memory=318760 CPUtime=150.69 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 38035 0 0 0 15059 10 0 0 20 0 2 0 52075222 458891264 92865 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 312.33 s
Current children cumulated vsize: 448136 KiB
Current children cumulated memory: 371460 KiB

[startup+222.3 s]
/proc/loadavg: 8.09 8.00 7.99 9/271 50471
/proc/meminfo: memFree=127287652/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=642012 memory=552408 CPUtime=431.48 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 116116 0 0 0 43118 30 0 0 20 0 2 0 52074221 657420288 138102 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 160503 138102 3520 6655 0 141831 0
[pid=50363/tid=50397] ppid=50360 vsize=642012 memory=18432 CPUtime=210.33 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 59142 0 0 0 21017 16 0 0 20 0 2 0 52075222 657420288 138102 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 431.48 s
Current children cumulated vsize: 642012 KiB
Current children cumulated memory: 552408 KiB

[startup+282.3 s]
/proc/loadavg: 8.08 8.01 8.00 9/270 50473
/proc/meminfo: memFree=126882668/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=740340 memory=644796 CPUtime=550.62 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 119457 0 0 0 55029 33 0 0 20 0 2 0 52074221 758108160 161199 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 185085 161199 3520 6655 0 166413 0
[pid=50363/tid=50397] ppid=50360 vsize=740340 memory=636976 CPUtime=270.11 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 60796 0 0 0 26994 17 0 0 20 0 2 0 52075222 758108160 161199 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 550.62 s
Current children cumulated vsize: 740340 KiB
Current children cumulated memory: 644796 KiB

[startup+342.3 s]
/proc/loadavg: 8.06 8.02 8.00 9/269 50475
/proc/meminfo: memFree=126567348/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=822280 memory=737500 CPUtime=669.77 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 151707 0 0 0 66936 41 0 0 20 0 2 0 52074221 842014720 184375 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 205570 184375 3520 6655 0 186898 0
[pid=50363/tid=50397] ppid=50360 vsize=822280 memory=693972 CPUtime=329.54 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 77642 0 0 0 32933 21 0 0 20 0 2 0 52075222 842014720 184375 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 669.77 s
Current children cumulated vsize: 822280 KiB
Current children cumulated memory: 737500 KiB

[startup+402.3 s]

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

[pid=50363] ppid=50360 vsize=2242792 memory=2117460 CPUtime=2338.12 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 360821 0 0 0 233693 119 0 0 20 0 2 0 52074221 2296619008 529365 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 560698 529365 3520 6655 0 542252 0
[pid=50363/tid=50397] ppid=50360 vsize=2242792 memory=1407500 CPUtime=1164.1 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 183094 0 0 0 116349 61 0 0 20 0 2 0 52075222 2296619008 529365 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 2338.12 s
Current children cumulated vsize: 2242792 KiB
Current children cumulated memory: 2117460 KiB

[startup+1242.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/268 50520
/proc/meminfo: memFree=122692792/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2308344 memory=2183044 CPUtime=2457.31 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 389971 0 0 0 245603 128 0 0 20 0 2 0 52074221 2363744256 545761 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 577086 545761 3520 6655 0 558640 0
[pid=50363/tid=50397] ppid=50360 vsize=2308344 memory=14592 CPUtime=1223.52 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 198331 0 0 0 122286 66 0 0 20 0 2 0 52075222 2363744256 545761 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 2457.31 s
Current children cumulated vsize: 2308344 KiB
Current children cumulated memory: 2183044 KiB

[startup+1302.3 s]
/proc/loadavg: 8.09 8.08 8.01 9/267 50522
/proc/meminfo: memFree=122477776/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2373896 memory=2258868 CPUtime=2576.5 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 415323 0 0 0 257515 135 0 0 20 0 2 0 52074221 2430869504 564717 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 593474 564717 3520 6655 0 575028 0
[pid=50363/tid=50397] ppid=50360 vsize=2373896 memory=14592 CPUtime=1282.96 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 210733 0 0 0 128227 69 0 0 20 0 2 0 52075222 2430869504 564717 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 2576.5 s
Current children cumulated vsize: 2373896 KiB
Current children cumulated memory: 2258868 KiB

[startup+1362.3 s]
/proc/loadavg: 8.07 8.08 8.01 9/269 50532
/proc/meminfo: memFree=122284100/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2423060 memory=2318296 CPUtime=2695.71 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 431461 0 0 0 269431 140 0 0 20 0 2 0 52074221 2481213440 579574 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 605765 579574 3520 6655 0 587319 0
[pid=50363/tid=50397] ppid=50360 vsize=2423060 memory=2252724 CPUtime=1342.74 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 218642 0 0 0 134203 71 0 0 20 0 2 0 52075222 2481213440 579574 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 2695.71 s
Current children cumulated vsize: 2423060 KiB
Current children cumulated memory: 2318296 KiB

[startup+1422.3 s]
/proc/loadavg: 8.12 8.09 8.02 9/271 50536
/proc/meminfo: memFree=121555676/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2488612 memory=2386056 CPUtime=2814.88 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 456651 0 0 0 281342 146 0 0 20 0 2 0 52074221 2548338688 596514 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 622153 596514 3520 6655 0 603707 0
[pid=50363/tid=50397] ppid=50360 vsize=2488612 memory=14592 CPUtime=1402.52 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 231702 0 0 0 140177 75 0 0 20 0 2 0 52075222 2548338688 596514 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 2814.88 s
Current children cumulated vsize: 2488612 KiB
Current children cumulated memory: 2386056 KiB

[startup+1482.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/271 50538
/proc/meminfo: memFree=121343264/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2570552 memory=2455992 CPUtime=2934.04 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 489043 0 0 0 293250 154 0 0 20 0 2 0 52074221 2632245248 613998 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 642638 613998 3520 6655 0 624192 0
[pid=50363/tid=50397] ppid=50360 vsize=2570552 memory=2377736 CPUtime=1462.3 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 247223 0 0 0 146151 79 0 0 20 0 2 0 52075222 2632245248 613998 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 2934.04 s
Current children cumulated vsize: 2570552 KiB
Current children cumulated memory: 2455992 KiB

[startup+1542.3 s]
/proc/loadavg: 8.14 8.10 8.03 9/270 50540
/proc/meminfo: memFree=121141020/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2636104 memory=2528104 CPUtime=3053.19 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 529283 0 0 0 305156 163 0 0 20 0 2 0 52074221 2699370496 632026 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 659026 632026 3520 6655 0 640580 0
[pid=50363/tid=50397] ppid=50360 vsize=2636104 memory=10752 CPUtime=1522.07 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 267007 0 0 0 152124 83 0 0 20 0 2 0 52075222 2699370496 632026 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 3053.19 s
Current children cumulated vsize: 2636104 KiB
Current children cumulated memory: 2528104 KiB

[startup+1602.3 s]
/proc/loadavg: 8.11 8.09 8.03 9/271 50543
/proc/meminfo: memFree=120983496/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2685268 memory=2592920 CPUtime=3172.35 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 545515 0 0 0 317065 170 0 0 20 0 2 0 52074221 2749714432 648230 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 671317 648230 3520 6655 0 652871 0
[pid=50363/tid=50397] ppid=50360 vsize=2685268 memory=18432 CPUtime=1581.85 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 274905 0 0 0 158099 86 0 0 20 0 2 0 52075222 2749714432 648230 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 3172.35 s
Current children cumulated vsize: 2685268 KiB
Current children cumulated memory: 2592920 KiB

[startup+1662.3 s]
/proc/loadavg: 8.16 8.11 8.03 9/271 50546
/proc/meminfo: memFree=120837836/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2750820 memory=2656456 CPUtime=3291.52 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 579928 0 0 0 328974 178 0 0 20 0 2 0 52074221 2816839680 664114 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 687705 664114 3520 6655 0 669259 0
[pid=50363/tid=50397] ppid=50360 vsize=2750820 memory=2654408 CPUtime=1641.63 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 291225 0 0 0 164074 89 0 0 20 0 2 0 52075222 2816839680 664114 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 3291.52 s
Current children cumulated vsize: 2750820 KiB
Current children cumulated memory: 2656456 KiB

[startup+1722.3 s]
/proc/loadavg: 8.12 8.10 8.03 9/269 50548
/proc/meminfo: memFree=120674180/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2816372 memory=2717944 CPUtime=3410.65 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 626274 0 0 0 340878 187 0 0 20 0 2 0 52074221 2883964928 679486 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 704093 679486 3520 6655 0 685647 0
[pid=50363/tid=50397] ppid=50360 vsize=2816372 memory=2709740 CPUtime=1701.07 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 313641 0 0 0 170013 94 0 0 20 0 2 0 52075222 2883964928 679486 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 3410.65 s
Current children cumulated vsize: 2816372 KiB
Current children cumulated memory: 2717944 KiB

[startup+1782.3 s]
/proc/loadavg: 8.09 8.09 8.03 9/269 50550
/proc/meminfo: memFree=120494468/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=2881924 memory=2791720 CPUtime=3529.81 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) R 50360 50363 49774 0 -1 4194304 645089 0 0 0 352788 193 0 0 20 0 2 0 52074221 2951090176 697930 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 720481 697930 3520 6655 0 702035 0
[pid=50363/tid=50397] ppid=50360 vsize=2881924 memory=2709740 CPUtime=1760.43 cores=1,3
/proc/50363/task/50397/stat : 50397 (LSIPExact) R 50360 50363 49774 0 -1 4194368 322488 0 0 0 175947 96 0 0 20 0 2 0 52075222 2951090176 697930 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
Current children cumulated CPU time: 3529.81 s
Current children cumulated vsize: 2881924 KiB
Current children cumulated memory: 2791720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1835.2 s]
/proc/loadavg: 6.80 7.77 7.93 5/267 50569
/proc/meminfo: memFree=127621368/131249996 swapFree=33010684/33010684
[pid=50363] ppid=50360 vsize=144868 memory=76448 CPUtime=3565 cores=1,3
/proc/50363/stat : 50363 (LSIPExact) S 50360 50363 49774 0 -1 4194304 655907 0 0 0 356304 196 0 0 20 0 1 0 52074221 148344832 19112 18446744073709551615 93871666978816 93871694235217 140724581613344 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93871702738056 93871703169664 93871713574912 140724581620058 140724581620234 140724581620234 140724581625836 0
/proc/50363/statm: 36217 19112 3552 6655 0 17771 0
[pid=50552] ppid=50363 vsize=31896 memory=13636 CPUtime=35.03 cores=1,3
/proc/50552/stat : 50552 (Exact) R 50363 50552 50552 0 -1 4194304 1954 0 0 0 3415 88 0 0 20 0 1 0 52254225 32661504 3409 18446744073709551615 4198400 8335837 140729879920096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 31383552 140729879926971 140729879927325 140729879927325 140729879932879 0
/proc/50552/statm: 7974 3409 1120 1011 0 6741 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 176764 KiB
Current children cumulated memory: 90084 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.2 s, system=2.85276 s

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

Child status: 0

Real time (s): 1835.2
CPU time (s): 3600.06
CPU user time (s): 3597.2
CPU system time (s): 2.85276
CPU usage (%): 196.167
Max. virtual memory (cumulated for all children) (KiB): 2898312
Max. memory (cumulated for all children) (KiB): 2812212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.2
system time used= 2.85276
maximum resident set size= 2812212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 657891
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= 2075
involuntary context switches= 78672


# summary of solver processes directly reported to runsolver:
#   pid: 50363
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3597.2
#   total CPU system time (s): 2.85276

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.61792 second user time and 6.48286 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-01 11:59:25
IDJOB=4490644
IDBENCH=147604
IDSOLVER=3337
FILE ID=nodeC021/4490644-1751363965
RUNJOBID= nodeC021-1751360343-49786
SLURM_JOB_ID= 9598162
Free space on /tmp= 432416 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490644-1751363965/watcher-4490644-1751363965 -o /tmp/evaluation-result-4490644-1751363965/solver-4490644-1751363965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751360343-49786 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4490644-1751363965.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 24a8c00bfc22332d2e87e9d19ffbf58d
RANDOM SEED=882210295

nodeC021 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.797
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.56
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		: 3598.127
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.56
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		: 3700.000
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.56
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		: 3599.765
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.56
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.773
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.56
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		: 3599.769
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.56
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		: 3599.778
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125675012 kB
MemAvailable:   126630176 kB
Buffers:            3280 kB
Cached:          1761040 kB
SwapCached:            0 kB
Active:          3351420 kB
Inactive:        1491992 kB
Active(anon):    3097156 kB
Inactive(anon):        0 kB
Active(file):     254264 kB
Inactive(file):  1491992 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             89528 kB
Writeback:             0 kB
AnonPages:       3080956 kB
Mapped:           118916 kB
Shmem:             18060 kB
KReclaimable:      95892 kB
Slab:             184640 kB
SReclaimable:      95892 kB
SUnreclaim:        88748 kB
KernelStack:        4272 kB
PageTables:         9056 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3426008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432416 MiB
End job on nodeC021 at 2025-07-01 12:30:01