Trace number 4489769

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.13 1821.57

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
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 benchmark240
Best CPU time to get the best result obtained on this benchmark72000.9
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 494314
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 494314
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.09/1819.50	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.09/1819.50	c numVar: 10000
3600.09/1819.50	c numCon: 656900
3600.09/1819.50	c numEqual: 0
3600.09/1819.50	c intSize: 19
3600.09/1819.50	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.09/1819.50	c ------------------- Paras list -------------------
3600.09/1819.50	c Name                	 Type      	 Now       	 Default   	 Comment
3600.09/1819.50	c timeout             	 double    	 3600.000000	 3600      	 
3600.09/1819.50	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.09/1819.50	c ls_time             	 double    	 10.000000 	 10        	 
3600.09/1819.50	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.09/1819.50	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.09/1819.50	c random_seed         	 int       	 0         	 0         	 
3600.09/1819.50	c sample_size         	 int       	 50        	 50        	 
3600.09/1819.50	c sub_score           	 int       	 1         	 1         	 
3600.09/1819.50	c tabu_base           	 int       	 3         	 3         	 
3600.09/1819.50	c tabu_variation      	 int       	 1         	 1         	 
3600.09/1819.50	c sub_div             	 int       	 4         	 4         	 
3600.09/1819.50	c nbcore              	 int       	 2         	 1         	 
3600.09/1819.50	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.09/1819.50	c print_sol           	 int       	 1         	 1         	 
3600.09/1819.50	c tmpdir              	 string		 .         	 "."       	 
3600.09/1819.50	c home                	 string		 HOME	 "."       	 
3600.09/1819.50	c benchname           	 string		 HOME/instance-4489769-1751354821.opb	 ""        	 
3600.09/1819.50	c --------------------------------------------------
3600.09/1819.50	c Local Search solver
3600.09/1819.50	c LS find feasible solution for PBO with objective value 279
3600.09/1819.50	c MIP solver
3600.09/1819.50	c receive signal 15, try to interrupt solver...
3600.09/1819.50	c MIP solver find feasible solution
3600.09/1819.54	c MIP solver objective value: 248
3600.79/1820.26	c MIP find feasible solution for PBO with objective value 248
3600.79/1820.26	c copy file: 0
3600.79/1820.26	c gen ub file: HOME/instance-4489769-1751354821.opb_ub.opb
3600.79/1820.26	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 (60703 MiB free)
  memory of node 1: 64465 MiB (61399 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100068 s]*
/proc/loadavg: 8.06 8.12 8.09 5/267 50053
/proc/meminfo: memFree=124824032/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=212584 memory=169584 CPUtime=0.08 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 31732 0 0 0 4 4 0 0 20 0 1 0 51159648 217686016 42396 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 53146 42396 1120 6655 0 43381 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 212584 KiB
Current children cumulated memory: 169584 KiB

[startup+0.205745 s]*
/proc/loadavg: 8.06 8.12 8.09 5/267 50053
/proc/meminfo: memFree=124763484/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=251104 memory=216276 CPUtime=0.19 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 37785 0 0 0 13 6 0 0 20 0 1 0 51159648 257130496 54069 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 62776 54069 1120 6655 0 53011 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 251104 KiB
Current children cumulated memory: 216276 KiB

[startup+0.305693 s]*
/proc/loadavg: 8.06 8.12 8.09 5/262 50054
/proc/meminfo: memFree=126544912/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=271036 memory=236244 CPUtime=0.29 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 42781 0 0 0 22 7 0 0 20 0 1 0 51159648 277540864 59061 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 67759 59061 1120 6655 0 57994 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 271036 KiB
Current children cumulated memory: 236244 KiB

[startup+0.700172 s]
/proc/loadavg: 8.06 8.12 8.09 3/261 50070
/proc/meminfo: memFree=128309864/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=340236 memory=305364 CPUtime=0.67 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 60058 0 0 0 57 10 0 0 20 0 1 0 51159648 348401664 76341 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 85059 76341 1120 6655 0 75294 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 340236 KiB
Current children cumulated memory: 305364 KiB

[startup+1.50019 s]
/proc/loadavg: 7.82 8.07 8.07 4/257 50121
/proc/meminfo: memFree=128375788/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=388288 memory=353364 CPUtime=1.46 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 72050 0 0 0 133 13 0 0 20 0 1 0 51159648 397606912 88341 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 97072 88341 1120 6655 0 87307 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353364 KiB

[startup+3.10543 s]
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127689908/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=388288 memory=353364 CPUtime=3.06 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 72080 0 0 0 293 13 0 0 20 0 1 0 51159648 397606912 88341 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 97072 88341 1120 6655 0 87307 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353364 KiB

[startup+6.3001 s]
/proc/loadavg: 7.51 8.00 8.05 5/265 50143
/proc/meminfo: memFree=127690884/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=388288 memory=353364 CPUtime=6.24 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 72140 0 0 0 611 13 0 0 20 0 1 0 51159648 397606912 88341 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 97072 88341 1120 6655 0 87307 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353364 KiB

[startup+12.7001 s]
/proc/loadavg: 7.23 7.93 8.03 5/267 50145
/proc/meminfo: memFree=126068272/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=900088 memory=801624 CPUtime=12.7 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 144168 0 0 0 1244 26 0 0 20 0 2 0 51159648 921690112 200406 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 225022 200406 3296 6655 0 200994 0
[pid=50052/tid=50145] ppid=50049 vsize=900088 memory=803520 CPUtime=0.06 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 1481 0 0 0 6 0 0 0 20 0 2 0 51160731 921690112 200406 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 900088 KiB
Current children cumulated memory: 801624 KiB

[startup+25.5002 s]
/proc/loadavg: 7.35 7.93 8.03 9/269 50147
/proc/meminfo: memFree=125805472/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=906692 memory=815448 CPUtime=37.65 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 161929 0 0 0 3737 28 0 0 20 0 2 0 51159648 928452608 203862 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 226673 203862 3616 6655 0 204741 0
[pid=50052/tid=50145] ppid=50049 vsize=906692 memory=813784 CPUtime=12.39 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 8039 0 0 0 1238 1 0 0 20 0 2 0 51160731 928452608 203862 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 37.65 s
Current children cumulated vsize: 906692 KiB
Current children cumulated memory: 815448 KiB

[startup+51.1055 s]
/proc/loadavg: 7.67 7.96 8.03 9/269 50148
/proc/meminfo: memFree=125839808/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=909644 memory=827608 CPUtime=88.4 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 183314 0 0 0 8810 30 0 0 20 0 2 0 51159648 931475456 206902 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 227411 206902 3616 6655 0 208106 0
[pid=50052/tid=50145] ppid=50049 vsize=909644 memory=14848 CPUtime=37.64 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 19040 0 0 0 3762 2 0 0 20 0 2 0 51160731 931475456 206902 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 88.4 s
Current children cumulated vsize: 909644 KiB
Current children cumulated memory: 827608 KiB

[startup+102.3 s]
/proc/loadavg: 7.94 8.00 8.04 9/269 50154
/proc/meminfo: memFree=125719184/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=933904 memory=873660 CPUtime=190.13 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 215480 0 0 0 18977 36 0 0 20 0 2 0 51159648 956317696 218415 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 233476 218415 3616 6655 0 219485 0
[pid=50052/tid=50145] ppid=50049 vsize=933904 memory=14848 CPUtime=88.32 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 33689 0 0 0 8827 5 0 0 20 0 2 0 51160731 956317696 218415 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 190.13 s
Current children cumulated vsize: 933904 KiB
Current children cumulated memory: 873660 KiB

[startup+162.3 s]
/proc/loadavg: 8.02 8.01 8.04 8/269 50156
/proc/meminfo: memFree=125431712/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=1049748 memory=945624 CPUtime=307.15 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 268836 0 0 0 30671 44 0 0 20 0 2 0 51159648 1074941952 236406 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 262437 236406 3616 6655 0 240136 0
[pid=50052/tid=50145] ppid=50049 vsize=1049748 memory=18176 CPUtime=147.09 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 51694 0 0 0 14700 9 0 0 20 0 2 0 51160731 1074941952 236406 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 307.15 s
Current children cumulated vsize: 1049748 KiB
Current children cumulated memory: 945624 KiB

[startup+222.3 s]
/proc/loadavg: 8.07 8.02 8.04 9/268 50159
/proc/meminfo: memFree=125305652/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=1066132 memory=959512 CPUtime=426.33 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 284709 0 0 0 42586 47 0 0 20 0 2 0 51159648 1091719168 239878 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 266533 239878 3616 6655 0 244232 0
[pid=50052/tid=50145] ppid=50049 vsize=1066132 memory=959512 CPUtime=206.45 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 57725 0 0 0 20635 10 0 0 20 0 2 0 51160731 1091719168 239878 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 426.33 s
Current children cumulated vsize: 1066132 KiB
Current children cumulated memory: 959512 KiB

[startup+282.3 s]
/proc/loadavg: 8.07 8.03 8.04 9/266 50161
/proc/meminfo: memFree=125223808/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=1066132 memory=959512 CPUtime=545.56 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 310483 0 0 0 54505 51 0 0 20 0 2 0 51159648 1091719168 239878 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 266533 239878 3616 6655 0 244232 0
[pid=50052/tid=50145] ppid=50049 vsize=1066132 memory=959512 CPUtime=265.87 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 72718 0 0 0 26574 13 0 0 20 0 2 0 51160731 1091719168 239878 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 545.56 s
Current children cumulated vsize: 1066132 KiB
Current children cumulated memory: 959512 KiB

[startup+342.3 s]
/proc/loadavg: 8.09 8.04 8.04 9/266 50162
/proc/meminfo: memFree=125185844/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=1066132 memory=974232 CPUtime=664.79 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 341310 0 0 0 66423 56 0 0 20 0 2 0 51159648 1091719168 243558 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 266533 243558 3616 6655 0 247895 0
[pid=50052/tid=50145] ppid=50049 vsize=1066132 memory=959512 CPUtime=325.29 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 88536 0 0 0 32511 18 0 0 20 0 2 0 51160731 1091719168 243558 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 664.79 s
Current children cumulated vsize: 1066132 KiB
Current children cumulated memory: 974232 KiB

[startup+402.3 s]

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

/proc/50052/statm: 590651 564733 3616 6655 0 566518 0
[pid=50052/tid=50145] ppid=50049 vsize=2362604 memory=14848 CPUtime=1397.5 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 462168 0 0 0 139653 97 0 0 20 0 2 0 51160731 2419306496 564733 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 2810.81 s
Current children cumulated vsize: 2362604 KiB
Current children cumulated memory: 2258932 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=50052] ppid=50049 vsize=2384156 memory=2299124 CPUtime=2930.03 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 1134321 0 0 0 292790 213 0 0 20 0 2 0 51159648 2441375744 574781 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 596039 574781 3616 6655 0 577010 0
[pid=50052/tid=50145] ppid=50049 vsize=2384156 memory=10752 CPUtime=1457.3 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 497808 0 0 0 145629 101 0 0 20 0 2 0 51160731 2441375744 574781 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 2930.03 s
Current children cumulated vsize: 2384156 KiB
Current children cumulated memory: 2299124 KiB

[startup+1542.3 s]
/proc/loadavg: 8.15 8.10 8.09 9/269 50225
/proc/meminfo: memFree=119877324/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=2408128 memory=2356852 CPUtime=3049.26 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 1203613 0 0 0 304702 224 0 0 20 0 2 0 51159648 2465923072 589213 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 602032 589213 3616 6655 0 591086 0
[pid=50052/tid=50145] ppid=50049 vsize=2408128 memory=18176 CPUtime=1517.11 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 534861 0 0 0 151604 107 0 0 20 0 2 0 51160731 2465923072 589213 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 3049.26 s
Current children cumulated vsize: 2408128 KiB
Current children cumulated memory: 2356852 KiB

[startup+1602.3 s]
/proc/loadavg: 8.34 8.17 8.12 9/268 50227
/proc/meminfo: memFree=119594968/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=2495628 memory=2397812 CPUtime=3168.49 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 1253359 0 0 0 316617 232 0 0 20 0 2 0 51159648 2555523072 599453 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 623907 599453 3616 6655 0 601298 0
[pid=50052/tid=50145] ppid=50049 vsize=2495628 memory=2349556 CPUtime=1576.92 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 559024 0 0 0 157582 110 0 0 20 0 2 0 51160731 2555523072 599453 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 3168.49 s
Current children cumulated vsize: 2495628 KiB
Current children cumulated memory: 2397812 KiB

[startup+1662.3 s]
/proc/loadavg: 8.16 8.15 8.11 9/268 50229
/proc/meminfo: memFree=119371644/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=2528352 memory=2455668 CPUtime=3287.72 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 1312831 0 0 0 328531 241 0 0 20 0 2 0 51159648 2589032448 613917 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 632088 613917 3616 6655 0 615748 0
[pid=50052/tid=50145] ppid=50049 vsize=2528352 memory=2349556 CPUtime=1636.73 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 588463 0 0 0 163559 114 0 0 20 0 2 0 51160731 2589032448 613917 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 3287.72 s
Current children cumulated vsize: 2528352 KiB
Current children cumulated memory: 2455668 KiB

[startup+1722.3 s]
/proc/loadavg: 8.16 8.15 8.11 9/267 50234
/proc/meminfo: memFree=119090828/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=2552784 memory=2502548 CPUtime=3406.94 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 1377703 0 0 0 340445 249 0 0 20 0 2 0 51159648 2614050816 625637 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 638196 625637 3616 6655 0 627534 0
[pid=50052/tid=50145] ppid=50049 vsize=2552784 memory=2349556 CPUtime=1696.54 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 623601 0 0 0 169536 118 0 0 20 0 2 0 51160731 2614050816 625637 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 3406.94 s
Current children cumulated vsize: 2552784 KiB
Current children cumulated memory: 2502548 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.14 8.10 9/268 50237
/proc/meminfo: memFree=118810248/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=2643640 memory=2553092 CPUtime=3526.17 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 1437547 0 0 0 352360 257 0 0 20 0 2 0 51159648 2707087360 638273 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 660910 638273 3616 6655 0 640262 0
[pid=50052/tid=50145] ppid=50049 vsize=2643640 memory=2550532 CPUtime=1756.35 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 655222 0 0 0 175513 122 0 0 20 0 2 0 51160731 2707087360 638273 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 3526.17 s
Current children cumulated vsize: 2643640 KiB
Current children cumulated memory: 2553092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1819.5 s]
/proc/loadavg: 8.06 8.12 8.10 8/267 50239
/proc/meminfo: memFree=119564752/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=2659756 memory=2586500 CPUtime=3600.09 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) R 50049 50052 49202 0 -1 4194304 1470137 0 0 0 359745 264 0 0 20 0 2 0 51159648 2723590144 646625 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 664939 646625 3616 6655 0 648552 0
[pid=50052/tid=50145] ppid=50049 vsize=2659756 memory=14848 CPUtime=1793.43 cores=4,6
/proc/50052/task/50145/stat : 50145 (LSIPExact) R 50049 50052 49202 0 -1 4194368 671687 0 0 0 179217 126 0 0 20 0 2 0 51160731 2723590144 646625 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2659756 KiB
Current children cumulated memory: 2586500 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3599.12 s, system=3.00727 s

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

[startup+1820.8 s]
/proc/loadavg: 8.06 8.12 8.10 7/267 50241
/proc/meminfo: memFree=119517844/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=1762056 memory=1713428 CPUtime=3600.84 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) S 50049 50052 49202 0 -1 4194304 1877798 228 0 0 359795 289 0 0 20 0 1 0 51159648 1804345344 428357 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 440514 428357 3616 6655 0 430735 0
Current children cumulated CPU time: 3600.84 s
Current children cumulated vsize: 1762056 KiB
Current children cumulated memory: 1713428 KiB

[startup+1821.2 s]
/proc/loadavg: 8.06 8.12 8.10 5/262 50251
/proc/meminfo: memFree=121968340/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=1762056 memory=1713428 CPUtime=3600.84 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) S 50049 50052 49202 0 -1 4194304 1877798 228 0 0 359795 289 0 0 20 0 1 0 51159648 1804345344 428357 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 440514 428357 3616 6655 0 430735 0
[pid=50243] ppid=50052 vsize=87796 memory=74944 CPUtime=0.9 cores=4,6
/proc/50243/stat : 50243 (Exact) R 50052 50243 50243 0 -1 4194304 13209 0 0 0 87 3 0 0 20 0 1 0 51341675 89903104 18736 18446744073709551615 4198400 8335837 140726857287888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44666880 140726857296052 140726857296413 140726857296413 140726857301967 0
/proc/50243/statm: 21949 18736 928 1011 0 20716 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 1849852 KiB
Current children cumulated memory: 1788372 KiB

[startup+1821.4 s]
/proc/loadavg: 8.06 8.12 8.10 5/262 50251
/proc/meminfo: memFree=121968340/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=1762056 memory=1713428 CPUtime=3600.84 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) S 50049 50052 49202 0 -1 4194304 1877798 228 0 0 359795 289 0 0 20 0 1 0 51159648 1804345344 428357 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 440514 428357 3616 6655 0 430735 0
[pid=50243] ppid=50052 vsize=96556 memory=89028 CPUtime=1.1 cores=4,6
/proc/50243/stat : 50243 (Exact) R 50052 50243 50243 0 -1 4194304 15198 0 0 0 106 4 0 0 20 0 1 0 51341675 98873344 22257 18446744073709551615 4198400 8335837 140726857287888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44666880 140726857296052 140726857296413 140726857296413 140726857301967 0
/proc/50243/statm: 24139 22257 928 1011 0 22906 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 1858612 KiB
Current children cumulated memory: 1802456 KiB

[startup+1821.5 s]
/proc/loadavg: 8.06 8.12 8.10 5/262 50251
/proc/meminfo: memFree=121968340/131249988 swapFree=33010684/33010684
[pid=50052] ppid=50049 vsize=1762056 memory=1713428 CPUtime=3600.84 cores=4,6
/proc/50052/stat : 50052 (LSIPExact) S 50049 50052 49202 0 -1 4194304 1877798 228 0 0 359795 289 0 0 20 0 1 0 51159648 1804345344 428357 18446744073709551615 94210526470144 94210553726545 140730023689968 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94210562229384 94210562660992 94210563493888 140730023696730 140730023696906 140730023696906 140730023702508 0
/proc/50052/statm: 440514 428357 3616 6655 0 430735 0
[pid=50243] ppid=50052 vsize=123032 memory=94508 CPUtime=1.19 cores=4,6
/proc/50243/stat : 50243 (Exact) R 50052 50243 50243 0 -1 4194304 16444 0 0 0 115 4 0 0 20 0 1 0 51341675 125984768 23627 18446744073709551615 4198400 8335837 140726857287888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44666880 140726857296052 140726857296413 140726857296413 140726857301967 0
/proc/50243/statm: 30758 23627 928 1011 0 29525 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 1885088 KiB
Current children cumulated memory: 1807936 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1821.57
CPU time (s): 3602.13
CPU user time (s): 3599.12
CPU system time (s): 3.00727
CPU usage (%): 197.749
Max. virtual memory (cumulated for all children) (KiB): 2659756
Max. memory (cumulated for all children) (KiB): 2586500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 3.00727
maximum resident set size= 2586628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1894472
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= 862
involuntary context switches= 90486


# summary of solver processes directly reported to runsolver:
#   pid: 50052
#   total CPU time (s): 3602.13
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 3.00727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2302 second user time and 8.43003 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 09:27:01
IDJOB=4489769
IDBENCH=147563
IDSOLVER=3336
FILE ID=nodeC020/4489769-1751354821
RUNJOBID= nodeC020-1751349357-49213
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_2.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-4489769-1751354821/watcher-4489769-1751354821 -o /tmp/evaluation-result-4489769-1751354821/solver-4489769-1751354821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751349357-49213 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4489769-1751354821.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
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		: 3600.107
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.945
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.845
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		: 3700.000
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		: 3700.000
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.891
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.911
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:        125048452 kB
MemAvailable:   125670328 kB
Buffers:            3280 kB
Cached:          1426328 kB
SwapCached:            0 kB
Active:          4389500 kB
Inactive:        1117924 kB
Active(anon):    4095872 kB
Inactive(anon):        0 kB
Active(file):     293628 kB
Inactive(file):  1117924 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            123204 kB
Writeback:             4 kB
AnonPages:       4073496 kB
Mapped:           140416 kB
Shmem:             18056 kB
KReclaimable:      99128 kB
Slab:             187380 kB
SReclaimable:      99128 kB
SUnreclaim:        88252 kB
KernelStack:        4304 kB
PageTables:        11060 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    4456832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    509952 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= 432712 MiB
End job on nodeC020 at 2025-07-01 09:57:23