Trace number 4489861

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.07 1821.59

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.04/1819.50	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.04/1819.50	c numVar: 10000
3600.04/1819.50	c numCon: 656900
3600.04/1819.50	c numEqual: 0
3600.04/1819.50	c intSize: 19
3600.04/1819.50	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.04/1819.50	c ------------------- Paras list -------------------
3600.04/1819.50	c Name                	 Type      	 Now       	 Default   	 Comment
3600.04/1819.50	c timeout             	 double    	 3600.000000	 3600      	 
3600.04/1819.50	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.04/1819.50	c ls_time             	 double    	 10.000000 	 10        	 
3600.04/1819.50	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.04/1819.50	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.04/1819.50	c random_seed         	 int       	 0         	 0         	 
3600.04/1819.50	c sample_size         	 int       	 50        	 50        	 
3600.04/1819.50	c sub_score           	 int       	 1         	 1         	 
3600.04/1819.50	c tabu_base           	 int       	 3         	 3         	 
3600.04/1819.50	c tabu_variation      	 int       	 1         	 1         	 
3600.04/1819.50	c sub_div             	 int       	 4         	 4         	 
3600.04/1819.50	c nbcore              	 int       	 2         	 1         	 
3600.04/1819.50	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.04/1819.50	c print_sol           	 int       	 1         	 1         	 
3600.04/1819.50	c tmpdir              	 string		 .         	 "."       	 
3600.04/1819.50	c home                	 string		 HOME	 "."       	 
3600.04/1819.50	c benchname           	 string		 HOME/instance-4489861-1751354822.opb	 ""        	 
3600.04/1819.50	c --------------------------------------------------
3600.04/1819.50	c Local Search solver
3600.04/1819.50	c LS find feasible solution for PBO with objective value 255
3600.04/1819.50	c MIP solver
3600.04/1819.50	c receive signal 15, try to interrupt solver...
3600.04/1819.51	c MIP solver find feasible solution
3600.04/1819.54	c MIP solver objective value: 237
3600.75/1820.24	c MIP find feasible solution for PBO with objective value 237
3600.75/1820.24	c copy file: 0
3600.75/1820.24	c gen ub file: HOME/instance-4489861-1751354822.opb_ub.opb
3600.75/1820.24	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 (62018 MiB free)
  memory of node 1: 64465 MiB (63094 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=50142, runsolver pid=50139

[startup+0.100062 s]*
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127974780/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=212584 memory=169900 CPUtime=0.08 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 31735 0 0 0 3 5 0 0 20 0 1 0 51159791 217686016 42475 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 53146 42475 1184 6655 0 43381 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 212584 KiB
Current children cumulated memory: 169900 KiB

[startup+0.20557 s]*
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127915240/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=249916 memory=215312 CPUtime=0.19 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 37477 0 0 0 12 7 0 0 20 0 1 0 51159791 255913984 53828 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 62479 53828 1184 6655 0 52714 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 249916 KiB
Current children cumulated memory: 215312 KiB

[startup+0.305569 s]*
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127899112/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=270508 memory=235920 CPUtime=0.29 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 42646 0 0 0 21 8 0 0 20 0 1 0 51159791 277000192 58980 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 67627 58980 1184 6655 0 57862 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 270508 KiB
Current children cumulated memory: 235920 KiB

[startup+0.700165 s]
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127826788/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=333108 memory=298512 CPUtime=0.67 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 58276 0 0 0 56 11 0 0 20 0 1 0 51159791 341102592 74628 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 83277 74628 1184 6655 0 73512 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 333108 KiB
Current children cumulated memory: 298512 KiB

[startup+1.50017 s]
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127689908/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=388288 memory=353552 CPUtime=1.47 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 72053 0 0 0 134 13 0 0 20 0 1 0 51159791 397606912 88388 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 97072 88388 1184 6655 0 87307 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353552 KiB

[startup+3.10539 s]
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127690884/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=388288 memory=353552 CPUtime=3.07 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 72083 0 0 0 294 13 0 0 20 0 1 0 51159791 397606912 88388 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 97072 88388 1184 6655 0 87307 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353552 KiB

[startup+6.30016 s]
/proc/loadavg: 7.51 8.00 8.05 5/265 50143
/proc/meminfo: memFree=127691388/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=388288 memory=353552 CPUtime=6.26 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 72143 0 0 0 613 13 0 0 20 0 1 0 51159791 397606912 88388 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 97072 88388 1184 6655 0 87307 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353552 KiB

[startup+12.7002 s]
/proc/loadavg: 7.23 7.93 8.03 7/269 50147
/proc/meminfo: memFree=125850704/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=900088 memory=800028 CPUtime=12.74 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 143264 0 0 0 1246 28 0 0 20 0 2 0 51159791 921690112 200007 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 225022 200007 3360 6655 0 200994 0
[pid=50142/tid=50147] ppid=50139 vsize=900088 memory=828788 CPUtime=0.09 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 1482 0 0 0 9 0 0 0 20 0 2 0 51160875 921690112 200007 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 900088 KiB
Current children cumulated memory: 800028 KiB

[startup+25.5002 s]
/proc/loadavg: 7.40 7.94 8.03 9/269 50147
/proc/meminfo: memFree=125838596/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=900088 memory=809784 CPUtime=37.77 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 156939 0 0 0 3748 29 0 0 20 0 2 0 51159791 921690112 202446 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 225022 202446 3776 6655 0 202365 0
[pid=50142/tid=50147] ppid=50139 vsize=900088 memory=809784 CPUtime=12.46 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 7313 0 0 0 1246 0 0 0 20 0 2 0 51160875 921690112 202446 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 37.77 s
Current children cumulated vsize: 900088 KiB
Current children cumulated memory: 809784 KiB

[startup+51.1055 s]
/proc/loadavg: 7.67 7.96 8.03 9/269 50148
/proc/meminfo: memFree=125840320/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=900088 memory=815544 CPUtime=88.55 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 168785 0 0 0 8824 31 0 0 20 0 2 0 51159791 921690112 203886 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 225022 203886 3776 6655 0 203919 0
[pid=50142/tid=50147] ppid=50139 vsize=900088 memory=812856 CPUtime=37.72 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 14198 0 0 0 3770 2 0 0 20 0 2 0 51160875 921690112 203886 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 88.55 s
Current children cumulated vsize: 900088 KiB
Current children cumulated memory: 815544 KiB

[startup+102.3 s]
/proc/loadavg: 7.94 8.00 8.04 9/269 50154
/proc/meminfo: memFree=125713892/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=916928 memory=865100 CPUtime=190.26 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 197176 0 0 0 18991 35 0 0 20 0 2 0 51159791 938934272 216275 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 229232 216275 3776 6655 0 214913 0
[pid=50142/tid=50147] ppid=50139 vsize=916928 memory=861772 CPUtime=88.37 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 29163 0 0 0 8833 4 0 0 20 0 2 0 51160875 938934272 216275 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 190.26 s
Current children cumulated vsize: 916928 KiB
Current children cumulated memory: 865100 KiB

[startup+162.3 s]
/proc/loadavg: 8.02 8.01 8.04 9/268 50156
/proc/meminfo: memFree=125430704/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=1018384 memory=935688 CPUtime=309.43 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 228535 0 0 0 30903 40 0 0 20 0 2 0 51159791 1042825216 233922 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 254596 233922 3776 6655 0 232995 0
[pid=50142/tid=50147] ppid=50139 vsize=1018384 memory=889804 CPUtime=147.7 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 46229 0 0 0 14763 7 0 0 20 0 2 0 51160875 1042825216 233922 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 309.43 s
Current children cumulated vsize: 1018384 KiB
Current children cumulated memory: 935688 KiB

[startup+222.3 s]
/proc/loadavg: 8.07 8.02 8.04 9/268 50159
/proc/meminfo: memFree=125305904/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=1053192 memory=999992 CPUtime=428.6 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 248246 0 0 0 42815 45 0 0 20 0 2 0 51159791 1078468608 249998 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 263298 249998 3776 6655 0 248649 0
[pid=50142/tid=50147] ppid=50139 vsize=1053192 memory=976392 CPUtime=207.03 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 54616 0 0 0 20693 10 0 0 20 0 2 0 51160875 1078468608 249998 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 428.6 s
Current children cumulated vsize: 1053192 KiB
Current children cumulated memory: 999992 KiB

[startup+282.3 s]
/proc/loadavg: 8.07 8.03 8.04 9/266 50161
/proc/meminfo: memFree=125224060/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=1190636 memory=1087456 CPUtime=546.53 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 310844 0 0 0 54602 51 0 0 20 0 2 0 51159791 1219211264 271864 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 297659 271864 3776 6655 0 272083 0
[pid=50142/tid=50147] ppid=50139 vsize=1190636 memory=1039672 CPUtime=265.62 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 65056 0 0 0 26550 12 0 0 20 0 2 0 51160875 1219211264 271864 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 546.53 s
Current children cumulated vsize: 1190636 KiB
Current children cumulated memory: 1087456 KiB

[startup+342.3 s]
/proc/loadavg: 8.09 8.04 8.04 9/266 50163
/proc/meminfo: memFree=125186096/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=1190636 memory=1087456 CPUtime=665.77 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 347542 0 0 0 66523 54 0 0 20 0 2 0 51159791 1219211264 271864 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 297659 271864 3776 6655 0 272083 0
[pid=50142/tid=50147] ppid=50139 vsize=1190636 memory=1039672 CPUtime=325.01 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 83569 0 0 0 32487 14 0 0 20 0 2 0 51160875 1219211264 271864 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 665.77 s
Current children cumulated vsize: 1190636 KiB
Current children cumulated memory: 1087456 KiB

[startup+402.3 s]

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

/proc/50142/statm: 550523 525313 3776 6655 0 525362 0
[pid=50142/tid=50147] ppid=50139 vsize=2202092 memory=1927408 CPUtime=1393.47 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 354916 0 0 0 139282 65 0 0 20 0 2 0 51160875 2254942208 525313 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 2811.22 s
Current children cumulated vsize: 2202092 KiB
Current children cumulated memory: 2101252 KiB

[startup+1482.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/269 50223
/proc/meminfo: memFree=120104932/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2241788 memory=2179716 CPUtime=2930.38 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 909885 0 0 0 292881 157 0 0 20 0 2 0 51159791 2295590912 544929 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 560447 544929 3776 6655 0 544860 0
[pid=50142/tid=50147] ppid=50139 vsize=2241788 memory=-6514857536417534302 CPUtime=1452.79 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 373850 0 0 0 145210 69 0 0 20 0 2 0 51160875 2295590912 544929 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 2930.38 s
Current children cumulated vsize: 2241788 KiB
Current children cumulated memory: 2179716 KiB

[startup+1542.3 s]
/proc/loadavg: 8.15 8.10 8.09 9/269 50225
/proc/meminfo: memFree=119871780/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2348816 memory=2258456 CPUtime=3049.54 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 951605 0 0 0 304790 164 0 0 20 0 2 0 51159791 2405187584 564614 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 587204 564614 3776 6655 0 564754 0
[pid=50142/tid=50147] ppid=50139 vsize=2348816 memory=14848 CPUtime=1512.12 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 396257 0 0 0 151139 73 0 0 20 0 2 0 51160875 2405187584 564614 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 3049.54 s
Current children cumulated vsize: 2348816 KiB
Current children cumulated memory: 2258456 KiB

[startup+1602.3 s]
/proc/loadavg: 8.34 8.17 8.12 9/268 50227
/proc/meminfo: memFree=119593680/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2385560 memory=2333080 CPUtime=3168.68 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 992245 0 0 0 316698 170 0 0 20 0 2 0 51159791 2442813440 583270 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 596390 583270 3776 6655 0 583331 0
[pid=50142/tid=50147] ppid=50139 vsize=2385560 memory=2258456 CPUtime=1571.43 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 415691 0 0 0 157066 77 0 0 20 0 2 0 51160875 2442813440 583270 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 3168.68 s
Current children cumulated vsize: 2385560 KiB
Current children cumulated memory: 2333080 KiB

[startup+1662.3 s]
/proc/loadavg: 8.16 8.15 8.11 9/268 50229
/proc/meminfo: memFree=119335860/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2492888 memory=2415384 CPUtime=3287.84 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 1036186 0 0 0 328609 175 0 0 20 0 2 0 51159791 2552717312 603846 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 623222 603846 3776 6655 0 603819 0
[pid=50142/tid=50147] ppid=50139 vsize=2492888 memory=2258456 CPUtime=1630.75 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 437395 0 0 0 162996 79 0 0 20 0 2 0 51160875 2552717312 603846 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 3287.84 s
Current children cumulated vsize: 2492888 KiB
Current children cumulated memory: 2415384 KiB

[startup+1722.3 s]
/proc/loadavg: 8.16 8.15 8.11 9/267 50234
/proc/meminfo: memFree=119091348/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2529420 memory=2490620 CPUtime=3407.01 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 1076491 0 0 0 340519 182 0 0 20 0 2 0 51159791 2590126080 622655 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 632355 622655 3776 6655 0 622544 0
[pid=50142/tid=50147] ppid=50139 vsize=2529420 memory=2258456 CPUtime=1690.07 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 458605 0 0 0 168924 83 0 0 20 0 2 0 51160875 2590126080 622655 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 3407.01 s
Current children cumulated vsize: 2529420 KiB
Current children cumulated memory: 2490620 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.14 8.10 9/268 50237
/proc/meminfo: memFree=118810500/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2638916 memory=2577532 CPUtime=3526.17 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 1113521 0 0 0 352428 189 0 0 20 0 2 0 51159791 2702249984 644383 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 659729 644383 3776 6655 0 644570 0
[pid=50142/tid=50147] ppid=50139 vsize=2638916 memory=14848 CPUtime=1749.4 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 478759 0 0 0 174853 87 0 0 20 0 2 0 51160875 2702249984 644383 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 3526.17 s
Current children cumulated vsize: 2638916 KiB
Current children cumulated memory: 2577532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1819.5 s]
/proc/loadavg: 8.06 8.12 8.10 7/266 50243
/proc/meminfo: memFree=121345828/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2662568 memory=2622972 CPUtime=3600.04 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) R 50139 50142 49202 0 -1 4194304 1139011 0 0 0 359812 192 0 0 20 0 2 0 51159791 2726469632 655743 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 665642 655743 3776 6655 0 655823 0
[pid=50142/tid=50147] ppid=50139 vsize=2662568 memory=2593404 CPUtime=1786.17 cores=5,7
/proc/50142/task/50147/stat : 50147 (LSIPExact) R 50139 50142 49202 0 -1 4194368 492036 0 0 0 178528 89 0 0 20 0 2 0 51160875 2726469632 655743 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2662568 KiB
Current children cumulated memory: 2622972 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3599.72 s, system=2.35321 s

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

[startup+1820.8 s]
/proc/loadavg: 7.81 8.07 8.08 4/261 50251
/proc/meminfo: memFree=121958436/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2158084 memory=2117152 CPUtime=3600.75 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) S 50139 50142 49202 0 -1 4194304 1625697 226 0 0 359854 221 0 0 20 0 1 0 51159791 2209878016 529288 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 539521 529288 3840 6655 0 529728 0
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 2158084 KiB
Current children cumulated memory: 2117152 KiB

[startup+1821.2 s]
/proc/loadavg: 7.81 8.07 8.08 4/259 50319
/proc/meminfo: memFree=124979728/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2158084 memory=2117152 CPUtime=3600.75 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) S 50139 50142 49202 0 -1 4194304 1625697 226 0 0 359854 221 0 0 20 0 1 0 51159791 2209878016 529288 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 539521 529288 3840 6655 0 529728 0
[pid=50267] ppid=50142 vsize=92472 memory=80992 CPUtime=0.92 cores=5,7
/proc/50267/stat : 50267 (Exact) R 50142 50267 50267 0 -1 4194304 14213 0 0 0 88 4 0 0 20 0 1 0 51341815 94691328 20248 18446744073709551615 4198400 8335837 140730346595024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 40222720 140730346596532 140730346596893 140730346596893 140730346602447 0
/proc/50267/statm: 23118 20248 928 1011 0 21885 0
Current children cumulated CPU time: 3601.67 s
Current children cumulated vsize: 2250556 KiB
Current children cumulated memory: 2198144 KiB

[startup+1821.4 s]
/proc/loadavg: 7.81 8.07 8.08 4/259 50319
/proc/meminfo: memFree=124979728/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2158084 memory=2117152 CPUtime=3600.75 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) S 50139 50142 49202 0 -1 4194304 1625697 226 0 0 359854 221 0 0 20 0 1 0 51159791 2209878016 529288 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 539521 529288 3840 6655 0 529728 0
[pid=50267] ppid=50142 vsize=98412 memory=91064 CPUtime=1.12 cores=5,7
/proc/50267/stat : 50267 (Exact) R 50142 50267 50267 0 -1 4194304 15707 0 0 0 107 5 0 0 20 0 1 0 51341815 100773888 22766 18446744073709551615 4198400 8335837 140730346595024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 40222720 140730346596532 140730346596893 140730346596893 140730346602447 0
/proc/50267/statm: 24603 22766 928 1011 0 23370 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 2256496 KiB
Current children cumulated memory: 2208216 KiB

[startup+1821.5 s]
/proc/loadavg: 7.81 8.07 8.08 4/259 50319
/proc/meminfo: memFree=124979728/131249988 swapFree=33010684/33010684
[pid=50142] ppid=50139 vsize=2158084 memory=2117152 CPUtime=3600.75 cores=5,7
/proc/50142/stat : 50142 (LSIPExact) S 50139 50142 49202 0 -1 4194304 1625697 226 0 0 359854 221 0 0 20 0 1 0 51159791 2209878016 529288 18446744073709551615 94851725697024 94851752953425 140730784813824 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94851761456264 94851761887872 94851784368128 140730784819546 140730784819722 140730784819722 140730784825324 0
/proc/50142/statm: 539521 529288 3840 6655 0 529728 0
[pid=50267] ppid=50142 vsize=125660 memory=97312 CPUtime=1.22 cores=5,7
/proc/50267/stat : 50267 (Exact) R 50142 50267 50267 0 -1 4194304 17230 0 0 0 117 5 0 0 20 0 1 0 51341815 128675840 24328 18446744073709551615 4198400 8335837 140730346595024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 40222720 140730346596532 140730346596893 140730346596893 140730346602447 0
/proc/50267/statm: 31415 24328 960 1011 0 30182 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 2283744 KiB
Current children cumulated memory: 2214464 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1821.59
CPU time (s): 3602.07
CPU user time (s): 3599.72
CPU system time (s): 2.35321
CPU usage (%): 197.744
Max. virtual memory (cumulated for all children) (KiB): 2662568
Max. memory (cumulated for all children) (KiB): 2622972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 2.35321
maximum resident set size= 2623356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1643153
page faults= 0
swaps= 0
block input operations= 33664
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 741
involuntary context switches= 88220


# summary of solver processes directly reported to runsolver:
#   pid: 50142
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3599.72
#   total CPU system time (s): 2.35321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6244 second user time and 8.4755 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 09:27:02
IDJOB=4489861
IDBENCH=147565
IDSOLVER=3336
FILE ID=nodeC020/4489861-1751354822
RUNJOBID= nodeC020-1751349357-49215
SLURM_JOB_ID= 9598127
Free space on /tmp= 432752 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489861-1751354822/watcher-4489861-1751354822 -o /tmp/evaluation-result-4489861-1751354822/solver-4489861-1751354822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751349357-49215 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4489861-1751354822.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1466905106

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		: 3616.265
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.891
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.892
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		: 3600.510
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.886
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.887
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		: 3700.000
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		: 3700.000
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:        128155600 kB
MemAvailable:   128746472 kB
Buffers:            3280 kB
Cached:          1395316 kB
SwapCached:            0 kB
Active:          1257676 kB
Inactive:        1086908 kB
Active(anon):     964048 kB
Inactive(anon):        0 kB
Active(file):     293628 kB
Inactive(file):  1086908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            221364 kB
Writeback:         20480 kB
AnonPages:        949168 kB
Mapped:           112036 kB
Shmem:             18056 kB
KReclaimable:      99148 kB
Slab:             187552 kB
SReclaimable:      99148 kB
SUnreclaim:        88404 kB
KernelStack:        4272 kB
PageTables:         4868 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1289368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 432648 MiB
End job on nodeC020 at 2025-07-01 09:57:24