Trace number 4490183

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
LSIPExact S1? (TO) 3602.24 1838.17

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
MD5SUM1129444aa6737843c6921d1f2b98ff28
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark3.71687
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21566
Total number of constraints1314050
Number of constraints which are clauses1310032
Number of constraints which are cardinality constraints (but not clauses)4018
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint164
Number of terms in the objective function 164
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 164
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 162
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 326
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.16/1836.10	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.16/1836.10	c numVar: 21566
3600.16/1836.10	c numCon: 1314050
3600.16/1836.10	c numEqual: 4018
3600.16/1836.10	c intSize: 9
3600.16/1836.10	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.16/1836.10	c ------------------- Paras list -------------------
3600.16/1836.10	c Name                	 Type      	 Now       	 Default   	 Comment
3600.16/1836.10	c timeout             	 double    	 3600.000000	 3600      	 
3600.16/1836.10	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.16/1836.10	c ls_time             	 double    	 10.000000 	 10        	 
3600.16/1836.10	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.16/1836.10	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.16/1836.10	c random_seed         	 int       	 0         	 0         	 
3600.16/1836.10	c sample_size         	 int       	 50        	 50        	 
3600.16/1836.10	c sub_score           	 int       	 1         	 1         	 
3600.16/1836.10	c tabu_base           	 int       	 3         	 3         	 
3600.16/1836.10	c tabu_variation      	 int       	 1         	 1         	 
3600.16/1836.10	c sub_div             	 int       	 4         	 4         	 
3600.16/1836.10	c nbcore              	 int       	 2         	 1         	 
3600.16/1836.10	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.16/1836.10	c print_sol           	 int       	 1         	 1         	 
3600.16/1836.10	c tmpdir              	 string		 .         	 "."       	 
3600.16/1836.10	c home                	 string		 HOME	 "."       	 
3600.16/1836.10	c benchname           	 string		 HOME/instance-4490183-1751358492.opb	 ""        	 
3600.16/1836.10	c --------------------------------------------------
3600.16/1836.10	c Local Search solver
3600.16/1836.10	c LS find feasible solution for PBO with objective value 107
3600.16/1836.10	c MIP solver
3600.16/1836.10	c receive signal 15, try to interrupt solver...
3600.16/1836.15	c MIP solver find feasible solution
3600.31/1836.22	c MIP solver objective value: 74
3600.49/1836.40	c MIP find feasible solution for PBO with objective value 74
3600.49/1836.40	c copy file: 0
3600.49/1836.40	c gen ub file: HOME/instance-4490183-1751358492.opb_ub.opb
3600.49/1836.40	c use Exact solver

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60551 MiB free)
  memory of node 1: 64465 MiB (62006 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490183-1751358492/watcher-4490183-1751358492 -o /tmp/evaluation-result-4490183-1751358492/solver-4490183-1751358492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751349357-49212 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4490183-1751358492.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=50672, runsolver pid=50669

[startup+0.100064 s]*
/proc/loadavg: 7.57 8.04 8.06 5/266 50673
/proc/meminfo: memFree=125320376/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=278468 memory=204724 CPUtime=0.09 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 37467 0 0 0 3 6 0 0 20 0 1 0 51526839 285151232 51149 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 69617 51181 1088 6655 0 59852 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 278468 KiB
Current children cumulated memory: 204724 KiB

[startup+0.205547 s]*
/proc/loadavg: 7.57 8.04 8.06 5/266 50673
/proc/meminfo: memFree=125174712/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=376412 memory=333236 CPUtime=0.2 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 62473 0 0 0 10 10 0 0 20 0 1 0 51526839 385445888 83309 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 94103 83309 1088 6655 0 84338 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 376412 KiB
Current children cumulated memory: 333236 KiB

[startup+0.305446 s]*
/proc/loadavg: 7.57 8.04 8.06 5/266 50673
/proc/meminfo: memFree=125174712/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=376412 memory=333236 CPUtime=0.29 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 62473 0 0 0 19 10 0 0 20 0 1 0 51526839 385445888 83309 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 94103 83309 1088 6655 0 84338 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 376412 KiB
Current children cumulated memory: 333236 KiB

[startup+0.700178 s]
/proc/loadavg: 7.57 8.04 8.06 5/266 50673
/proc/meminfo: memFree=125050156/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=551180 memory=516336 CPUtime=0.68 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 94922 0 0 0 53 15 0 0 20 0 1 0 51526839 564408320 129084 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 137795 129084 1120 6655 0 128030 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 551180 KiB
Current children cumulated memory: 516336 KiB

[startup+1.50018 s]
/proc/loadavg: 7.57 8.04 8.06 5/266 50673
/proc/meminfo: memFree=124478236/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=788636 memory=753904 CPUtime=1.48 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 154303 0 0 0 123 25 0 0 20 0 1 0 51526839 807563264 188476 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 197159 188476 1120 6655 0 187394 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 788636 KiB
Current children cumulated memory: 753904 KiB

[startup+3.10529 s]
/proc/loadavg: 7.57 8.04 8.06 5/266 50719
/proc/meminfo: memFree=125284212/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=864652 memory=829680 CPUtime=3.08 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 173335 0 0 0 279 29 0 0 20 0 1 0 51526839 885403648 207420 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 216163 207420 1120 6655 0 206398 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 864652 KiB
Current children cumulated memory: 829680 KiB

[startup+6.30018 s]
/proc/loadavg: 7.28 7.97 8.04 5/267 50720
/proc/meminfo: memFree=124774116/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=864652 memory=829680 CPUtime=6.26 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 173400 0 0 0 597 29 0 0 20 0 1 0 51526839 885403648 207420 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 216163 207420 1120 6655 0 206398 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 864652 KiB
Current children cumulated memory: 829680 KiB

[startup+12.7002 s]
/proc/loadavg: 7.10 7.92 8.02 6/268 50721
/proc/meminfo: memFree=123689188/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=1910780 memory=1791752 CPUtime=12.64 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 283499 0 0 0 1208 56 0 0 20 0 2 0 51526839 1956638720 447938 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 477695 447938 2688 6655 0 451578 0
[pid=50672/tid=50721] ppid=50669 vsize=1910780 memory=4760 CPUtime=0 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) S 50669 50672 49202 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 51528000 1956638720 447938 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1910780 KiB
Current children cumulated memory: 1791752 KiB

[startup+25.5002 s]
/proc/loadavg: 6.86 7.83 7.99 7/268 50722
/proc/meminfo: memFree=123147184/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=1949236 memory=1876356 CPUtime=25.85 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 307916 0 0 0 2520 65 0 0 20 0 2 0 51526839 1996017664 469089 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 487309 469089 3296 6655 0 474802 0
[pid=50672/tid=50721] ppid=50669 vsize=1949236 memory=1876100 CPUtime=0.45 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) S 50669 50672 49202 0 -1 4194368 17730 0 0 0 42 3 0 0 20 0 2 0 51528000 1996017664 469089 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 25.85 s
Current children cumulated vsize: 1949236 KiB
Current children cumulated memory: 1876356 KiB

[startup+51.1055 s]
/proc/loadavg: 6.94 7.76 7.97 9/268 50723
/proc/meminfo: memFree=123089504/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2050772 memory=1978236 CPUtime=61.04 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 364922 0 0 0 6034 70 0 0 20 0 2 0 51526839 2099990528 494559 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 512693 494559 3360 6655 0 500186 0
[pid=50672/tid=50721] ppid=50669 vsize=2050772 memory=14848 CPUtime=10.12 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 51191 0 0 0 1007 5 0 0 20 0 2 0 51528000 2099990528 494559 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 61.04 s
Current children cumulated vsize: 2050772 KiB
Current children cumulated memory: 1978236 KiB

[startup+102.3 s]
/proc/loadavg: 7.59 7.81 7.98 9/269 50729
/proc/meminfo: memFree=122987952/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2044080 memory=1993684 CPUtime=162.6 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 460011 0 0 0 16171 89 0 0 20 0 2 0 51526839 2093137920 498421 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 511020 498421 3360 6655 0 500874 0
[pid=50672/tid=50721] ppid=50669 vsize=2044080 memory=2024852 CPUtime=60.71 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 89055 0 0 0 6060 11 0 0 20 0 2 0 51528000 2093137920 498421 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 162.6 s
Current children cumulated vsize: 2044080 KiB
Current children cumulated memory: 1993684 KiB

[startup+162.3 s]
/proc/loadavg: 7.91 7.87 7.99 9/268 50732
/proc/meminfo: memFree=122923684/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2050084 memory=2000796 CPUtime=281.63 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 507401 0 0 0 28065 98 0 0 20 0 2 0 51526839 2099286016 500199 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 512521 500199 3360 6655 0 502375 0
[pid=50672/tid=50721] ppid=50669 vsize=2050084 memory=2085836 CPUtime=119.99 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 103956 0 0 0 11985 14 0 0 20 0 2 0 51528000 2099286016 500199 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 2050084 KiB
Current children cumulated memory: 2000796 KiB

[startup+222.3 s]
/proc/loadavg: 8.02 7.91 8.00 9/268 50734
/proc/meminfo: memFree=122829192/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2050084 memory=2001308 CPUtime=400.63 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 509068 0 0 0 39963 100 0 0 20 0 2 0 51526839 2099286016 500327 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 512521 500327 3360 6655 0 502375 0
[pid=50672/tid=50721] ppid=50669 vsize=2050084 memory=2001052 CPUtime=179.27 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 105151 0 0 0 17911 16 0 0 20 0 2 0 51528000 2099286016 500327 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 400.63 s
Current children cumulated vsize: 2050084 KiB
Current children cumulated memory: 2001308 KiB

[startup+282.3 s]
/proc/loadavg: 8.12 7.96 8.01 9/268 50736
/proc/meminfo: memFree=122729420/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2075216 memory=2019436 CPUtime=518.88 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 551873 0 0 0 51782 106 0 0 20 0 2 0 51526839 2125021184 504859 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 518804 504859 3360 6655 0 508741 0
[pid=50672/tid=50721] ppid=50669 vsize=2075216 memory=14848 CPUtime=237.78 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 133104 0 0 0 23758 20 0 0 20 0 2 0 51528000 2125021184 504859 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 518.88 s
Current children cumulated vsize: 2075216 KiB
Current children cumulated memory: 2019436 KiB

[startup+342.3 s]
/proc/loadavg: 7.95 7.94 8.00 9/269 50739
/proc/meminfo: memFree=122814336/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2075216 memory=2019696 CPUtime=637.93 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 552024 0 0 0 63685 108 0 0 20 0 2 0 51526839 2125021184 504924 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 518804 504924 3360 6655 0 508741 0
[pid=50672/tid=50721] ppid=50669 vsize=2075216 memory=2019568 CPUtime=297.08 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 133171 0 0 0 29686 22 0 0 20 0 2 0 51528000 2125021184 504924 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 637.93 s
Current children cumulated vsize: 2075216 KiB
Current children cumulated memory: 2019696 KiB

[startup+402.3 s]

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

/proc/50672/statm: 541149 522366 3360 6655 0 524075 0
[pid=50672/tid=50721] ppid=50669 vsize=2164596 memory=14848 CPUtime=1368.63 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 284722 0 0 0 136813 50 0 0 20 0 2 0 51528000 2216546304 522366 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 2779.62 s
Current children cumulated vsize: 2164596 KiB
Current children cumulated memory: 2089464 KiB

[startup+1482.3 s]
/proc/loadavg: 8.49 8.21 8.08 9/269 50797
/proc/meminfo: memFree=122571920/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2166416 memory=2091384 CPUtime=2898.66 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 854990 0 0 0 289697 169 0 0 20 0 2 0 51526839 2218409984 522846 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 541604 522846 3360 6655 0 524530 0
[pid=50672/tid=50721] ppid=50669 vsize=2166416 memory=14848 CPUtime=1428.38 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 285137 0 0 0 142788 50 0 0 20 0 2 0 51528000 2218409984 522846 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 2898.66 s
Current children cumulated vsize: 2166416 KiB
Current children cumulated memory: 2091384 KiB

[startup+1542.3 s]
/proc/loadavg: 8.24 8.19 8.08 9/269 50799
/proc/meminfo: memFree=122539244/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2178476 memory=2102860 CPUtime=3017.66 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 895098 0 0 0 301592 174 0 0 20 0 2 0 51526839 2230759424 525715 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 544619 525715 3360 6655 0 527545 0
[pid=50672/tid=50721] ppid=50669 vsize=2178476 memory=2089464 CPUtime=1488.11 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 310637 0 0 0 148758 53 0 0 20 0 2 0 51528000 2230759424 525715 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 3017.66 s
Current children cumulated vsize: 2178476 KiB
Current children cumulated memory: 2102860 KiB

[startup+1602.3 s]
/proc/loadavg: 8.18 8.18 8.09 9/268 50802
/proc/meminfo: memFree=122485676/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2178476 memory=2103372 CPUtime=3136.64 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 908146 0 0 0 313489 175 0 0 20 0 2 0 51526839 2230759424 525843 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 544619 525843 3360 6655 0 527545 0
[pid=50672/tid=50721] ppid=50669 vsize=2178476 memory=10752 CPUtime=1547.82 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 311519 0 0 0 154729 53 0 0 20 0 2 0 51528000 2230759424 525843 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 3136.64 s
Current children cumulated vsize: 2178476 KiB
Current children cumulated memory: 2103372 KiB

[startup+1662.3 s]
/proc/loadavg: 8.13 8.16 8.09 9/269 50805
/proc/meminfo: memFree=122413160/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2180960 memory=2105932 CPUtime=3255.61 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 936626 0 0 0 325383 178 0 0 20 0 2 0 51526839 2233303040 526483 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 545240 526483 3360 6655 0 528166 0
[pid=50672/tid=50721] ppid=50669 vsize=2180960 memory=2105932 CPUtime=1607.55 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 327226 0 0 0 160701 54 0 0 20 0 2 0 51528000 2233303040 526483 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 3255.61 s
Current children cumulated vsize: 2180960 KiB
Current children cumulated memory: 2105932 KiB

[startup+1722.3 s]
/proc/loadavg: 8.10 8.14 8.09 9/269 50810
/proc/meminfo: memFree=122325116/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2185776 memory=2117972 CPUtime=3374.58 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 961522 0 0 0 337276 182 0 0 20 0 2 0 51526839 2238234624 529493 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 546444 529493 3360 6655 0 531074 0
[pid=50672/tid=50721] ppid=50669 vsize=2185776 memory=2105932 CPUtime=1667.26 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 340750 0 0 0 166671 55 0 0 20 0 2 0 51528000 2238234624 529493 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 3374.58 s
Current children cumulated vsize: 2185776 KiB
Current children cumulated memory: 2117972 KiB

[startup+1782.3 s]
/proc/loadavg: 8.08 8.13 8.09 9/269 50812
/proc/meminfo: memFree=122242700/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2197768 memory=2135016 CPUtime=3493.58 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 984564 0 0 0 349172 186 0 0 20 0 2 0 51526839 2250514432 533754 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 549442 533754 3360 6655 0 535368 0
[pid=50672/tid=50721] ppid=50669 vsize=2197768 memory=-6297277379420197214 CPUtime=1726.99 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 351343 0 0 0 172643 56 0 0 20 0 2 0 51528000 2250514432 533754 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 3493.58 s
Current children cumulated vsize: 2197768 KiB
Current children cumulated memory: 2135016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1836.11 s]
/proc/loadavg: 7.44 7.99 8.04 3/248 50913
/proc/meminfo: memFree=127073328/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=2214768 memory=2155636 CPUtime=3600.16 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) R 50669 50672 49202 0 -1 4194304 1007733 0 0 0 359817 199 0 0 20 0 2 0 51526839 2267922432 538909 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 553692 538909 3360 6655 0 540868 0
[pid=50672/tid=50721] ppid=50669 vsize=2214768 memory=2142468 CPUtime=1780.45 cores=0,2
/proc/50672/task/50721/stat : 50721 (LSIPExact) R 50669 50672 49202 0 -1 4194368 360477 0 0 0 177981 64 0 0 20 0 2 0 51528000 2267922432 538909 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 2214768 KiB
Current children cumulated memory: 2155636 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3600.08 s, system=2.16081 s

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

[startup+1836.8 s]
/proc/loadavg: 7.44 7.99 8.04 3/248 50913
/proc/meminfo: memFree=127073328/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=1782736 memory=1740752 CPUtime=3600.49 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) S 50669 50672 49202 0 -1 4194304 1167342 228 0 0 359842 207 0 0 20 0 1 0 51526839 1825521664 435188 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 445684 435188 3392 6655 0 435887 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 1782736 KiB
Current children cumulated memory: 1740752 KiB

[startup+1837.6 s]
/proc/loadavg: 7.44 7.99 8.04 2/248 50915
/proc/meminfo: memFree=127443876/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=1782736 memory=1740752 CPUtime=3600.49 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) S 50669 50672 49202 0 -1 4194304 1167342 228 0 0 359842 207 0 0 20 0 1 0 51526839 1825521664 435188 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 445684 435188 3392 6655 0 435887 0
[pid=50915] ppid=50672 vsize=50308 memory=33148 CPUtime=1.16 cores=0,2
/proc/50915/stat : 50915 (Exact) R 50672 50915 50915 0 -1 4194304 6302 0 0 0 114 2 0 0 20 0 1 0 51710480 51515392 8287 18446744073709551615 4198400 8335837 140729600246512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24633344 140729600247988 140729600248349 140729600248349 140729600253903 0
/proc/50915/statm: 12577 8287 960 1011 0 11344 0
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 1833044 KiB
Current children cumulated memory: 1773900 KiB

[startup+1838 s]*
/proc/loadavg: 7.44 7.99 8.04 2/248 50915
/proc/meminfo: memFree=127413924/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=1782736 memory=1740752 CPUtime=3600.49 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) S 50669 50672 49202 0 -1 4194304 1167342 228 0 0 359842 207 0 0 20 0 1 0 51526839 1825521664 435188 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 445684 435188 3392 6655 0 435887 0
[pid=50915] ppid=50672 vsize=52684 memory=35708 CPUtime=1.57 cores=0,2
/proc/50915/stat : 50915 (Exact) R 50672 50915 50915 0 -1 4194304 6943 0 0 0 154 3 0 0 20 0 1 0 51710480 53948416 8927 18446744073709551615 4198400 8335837 140729600246512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24633344 140729600247988 140729600248349 140729600248349 140729600253903 0
/proc/50915/statm: 13171 8927 960 1011 0 11938 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1835420 KiB
Current children cumulated memory: 1776460 KiB

[startup+1838.1 s]
/proc/loadavg: 7.44 7.99 8.04 2/248 50915
/proc/meminfo: memFree=127413924/131249988 swapFree=33010684/33010684
[pid=50672] ppid=50669 vsize=1782736 memory=1740752 CPUtime=3600.49 cores=0,2
/proc/50672/stat : 50672 (LSIPExact) S 50669 50672 49202 0 -1 4194304 1167342 228 0 0 359842 207 0 0 20 0 1 0 51526839 1825521664 435188 18446744073709551615 94882801639424 94882828895825 140722885121184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94882837398664 94882837830272 94882866110464 140722885126490 140722885126666 140722885126666 140722885132268 0
/proc/50672/statm: 445684 435188 3392 6655 0 435887 0
[pid=50915] ppid=50672 vsize=53344 memory=36220 CPUtime=1.67 cores=0,2
/proc/50915/stat : 50915 (Exact) R 50672 50915 50915 0 -1 4194304 7090 0 0 0 164 3 0 0 20 0 1 0 51710480 54624256 9055 18446744073709551615 4198400 8335837 140729600246512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24633344 140729600247988 140729600248349 140729600248349 140729600253903 0
/proc/50915/statm: 13336 9055 960 1011 0 12103 0
Current children cumulated CPU time: 3602.16 s
Current children cumulated vsize: 1836080 KiB
Current children cumulated memory: 1776972 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1838.17
CPU time (s): 3602.24
CPU user time (s): 3600.08
CPU system time (s): 2.16081
CPU usage (%): 195.968
Max. virtual memory (cumulated for all children) (KiB): 2214768
Max. memory (cumulated for all children) (KiB): 2155636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.08
system time used= 2.16081
maximum resident set size= 2155892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1174660
page faults= 0
swaps= 0
block input operations= 89416
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 439
involuntary context switches= 137282


# summary of solver processes directly reported to runsolver:
#   pid: 50672
#   total CPU time (s): 3602.24
#   total CPU user time (s): 3600.08
#   total CPU system time (s): 2.16081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83079 second user time and 8.87768 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 10:28:13
IDJOB=4490183
IDBENCH=147572
IDSOLVER=3336
FILE ID=nodeC020/4490183-1751358492
RUNJOBID= nodeC020-1751349357-49212
SLURM_JOB_ID= 9598127
Free space on /tmp= 432640 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.02.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490183-1751358492/watcher-4490183-1751358492 -o /tmp/evaluation-result-4490183-1751358492/solver-4490183-1751358492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751349357-49212 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4490183-1751358492.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 1129444aa6737843c6921d1f2b98ff28
RANDOM SEED=504354584

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.738
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.79
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.898
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.79
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.903
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.79
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		: 3683.809
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.79
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.862
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.79
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.908
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.79
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.541
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.79
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.351
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        125507740 kB
MemAvailable:   126227024 kB
Buffers:            3280 kB
Cached:          1523724 kB
SwapCached:            0 kB
Active:          3905120 kB
Inactive:        1215320 kB
Active(anon):    3611492 kB
Inactive(anon):        0 kB
Active(file):     293628 kB
Inactive(file):  1215320 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            150668 kB
Writeback:             4 kB
AnonPages:       3593172 kB
Mapped:           125076 kB
Shmem:             18056 kB
KReclaimable:      99152 kB
Slab:             187588 kB
SReclaimable:      99152 kB
SUnreclaim:        88436 kB
KernelStack:        4304 kB
PageTables:        10092 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    3969568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    796672 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432860 MiB
End job on nodeC020 at 2025-07-01 10:58:51