Trace number 4489723

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.2 1820.87

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM502d6e212fd4e38a31cb5eb2ff64d408
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 benchmark242
Best CPU time to get the best result obtained on this benchmark3584.86
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 491651
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 491651
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.17/1818.80	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.17/1818.80	c numVar: 10000
3600.17/1818.80	c numCon: 656900
3600.17/1818.80	c numEqual: 0
3600.17/1818.80	c intSize: 19
3600.17/1818.80	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.17/1818.80	c ------------------- Paras list -------------------
3600.17/1818.80	c Name                	 Type      	 Now       	 Default   	 Comment
3600.17/1818.80	c timeout             	 double    	 3600.000000	 3600      	 
3600.17/1818.80	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.17/1818.80	c ls_time             	 double    	 10.000000 	 10        	 
3600.17/1818.80	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.17/1818.80	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.17/1818.80	c random_seed         	 int       	 0         	 0         	 
3600.17/1818.80	c sample_size         	 int       	 50        	 50        	 
3600.17/1818.80	c sub_score           	 int       	 1         	 1         	 
3600.17/1818.80	c tabu_base           	 int       	 3         	 3         	 
3600.17/1818.80	c tabu_variation      	 int       	 1         	 1         	 
3600.17/1818.80	c sub_div             	 int       	 4         	 4         	 
3600.17/1818.80	c nbcore              	 int       	 2         	 1         	 
3600.17/1818.80	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.17/1818.80	c print_sol           	 int       	 1         	 1         	 
3600.17/1818.80	c tmpdir              	 string		 .         	 "."       	 
3600.17/1818.80	c home                	 string		 HOME	 "."       	 
3600.17/1818.80	c benchname           	 string		 HOME/instance-4489723-1751354820.opb	 ""        	 
3600.17/1818.80	c --------------------------------------------------
3600.17/1818.80	c Local Search solver
3600.17/1818.80	c LS find feasible solution for PBO with objective value 262
3600.17/1818.80	c MIP solver
3600.17/1818.80	c receive signal 15, try to interrupt solver...
3600.17/1818.81	c MIP solver find feasible solution
3600.17/1818.84	c MIP solver objective value: 251
3600.77/1819.49	c MIP find feasible solution for PBO with objective value 251
3600.77/1819.49	c copy file: 0
3600.77/1819.49	c gen ub file: HOME/instance-4489723-1751354820.opb_ub.opb
3600.77/1819.49	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 (60769 MiB free)
  memory of node 1: 64465 MiB (61639 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=50037, runsolver pid=50034

[startup+0.100064 s]*
/proc/loadavg: 8.06 8.12 8.09 5/264 50043
/proc/meminfo: memFree=125194372/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=212584 memory=169640 CPUtime=0.08 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 31729 0 0 0 3 5 0 0 20 0 1 0 51159606 217686016 42410 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 53146 42410 1120 6655 0 43381 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 212584 KiB
Current children cumulated memory: 169640 KiB

[startup+0.205634 s]*
/proc/loadavg: 8.06 8.12 8.09 5/264 50043
/proc/meminfo: memFree=125118320/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=249652 memory=214924 CPUtime=0.18 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 37413 0 0 0 11 7 0 0 20 0 1 0 51159606 255643648 53731 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 62413 53731 1152 6655 0 52648 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 249652 KiB
Current children cumulated memory: 214924 KiB

[startup+0.305596 s]*
/proc/loadavg: 8.06 8.12 8.09 5/262 50044
/proc/meminfo: memFree=125062124/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=272224 memory=237452 CPUtime=0.28 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 43045 0 0 0 20 8 0 0 20 0 1 0 51159606 278757376 59363 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 68056 59363 1152 6655 0 58291 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 272224 KiB
Current children cumulated memory: 237452 KiB

[startup+0.700173 s]
/proc/loadavg: 8.06 8.12 8.09 5/267 50053
/proc/meminfo: memFree=124840160/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=341028 memory=306188 CPUtime=0.67 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 60250 0 0 0 56 11 0 0 20 0 1 0 51159606 349212672 76547 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 85257 76547 1152 6655 0 75492 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 341028 KiB
Current children cumulated memory: 306188 KiB

[startup+1.50014 s]
/proc/loadavg: 8.06 8.12 8.09 4/259 50081
/proc/meminfo: memFree=128301420/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=388288 memory=353420 CPUtime=1.46 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 72047 0 0 0 133 13 0 0 20 0 1 0 51159606 397606912 88355 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 97072 88355 1152 6655 0 87307 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353420 KiB

[startup+3.1054 s]
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127689908/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=388288 memory=353420 CPUtime=3.07 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 72077 0 0 0 293 14 0 0 20 0 1 0 51159606 397606912 88355 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 97072 88355 1152 6655 0 87307 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353420 KiB

[startup+6.30017 s]
/proc/loadavg: 7.82 8.07 8.07 5/265 50143
/proc/meminfo: memFree=127690884/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=388288 memory=353420 CPUtime=6.25 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 72137 0 0 0 611 14 0 0 20 0 1 0 51159606 397606912 88355 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 97072 88355 1152 6655 0 87307 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 388288 KiB
Current children cumulated memory: 353420 KiB

[startup+12.7002 s]
/proc/loadavg: 7.23 7.93 8.03 5/267 50145
/proc/meminfo: memFree=126540132/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=900088 memory=800688 CPUtime=12.8 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 143836 0 0 0 1250 30 0 0 20 0 2 0 51159606 921690112 200172 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 225022 200172 3392 6655 0 200994 0
[pid=50037/tid=50144] ppid=50034 vsize=900088 memory=804792 CPUtime=0.16 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 1500 0 0 0 16 0 0 0 20 0 2 0 51160689 921690112 200172 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 12.8 s
Current children cumulated vsize: 900088 KiB
Current children cumulated memory: 800688 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=50037] ppid=50034 vsize=900088 memory=810032 CPUtime=37.78 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 158327 0 0 0 3746 32 0 0 20 0 2 0 51159606 921690112 202508 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 225022 202508 3648 6655 0 202441 0
[pid=50037/tid=50144] ppid=50034 vsize=900088 memory=810032 CPUtime=12.38 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 8246 0 0 0 1238 0 0 0 20 0 2 0 51160689 921690112 202508 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 37.78 s
Current children cumulated vsize: 900088 KiB
Current children cumulated memory: 810032 KiB

[startup+51.1055 s]
/proc/loadavg: 7.64 7.96 8.03 9/269 50148
/proc/meminfo: memFree=125839808/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=900088 memory=819760 CPUtime=88.56 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 173241 0 0 0 8822 34 0 0 20 0 2 0 51159606 921690112 204940 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 225022 204940 3648 6655 0 204962 0
[pid=50037/tid=50144] ppid=50034 vsize=900088 memory=813872 CPUtime=37.63 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 18631 0 0 0 3761 2 0 0 20 0 2 0 51160689 921690112 204940 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 88.56 s
Current children cumulated vsize: 900088 KiB
Current children cumulated memory: 819760 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=50037] ppid=50034 vsize=905620 memory=853552 CPUtime=190.26 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 196336 0 0 0 18989 37 0 0 20 0 2 0 51159606 927354880 213388 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 226405 213388 3648 6655 0 212044 0
[pid=50037/tid=50144] ppid=50034 vsize=905620 memory=843056 CPUtime=88.28 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 33863 0 0 0 8824 4 0 0 20 0 2 0 51160689 927354880 213388 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 190.26 s
Current children cumulated vsize: 905620 KiB
Current children cumulated memory: 853552 KiB

[startup+162.3 s]
/proc/loadavg: 8.02 8.01 8.04 9/269 50156
/proc/meminfo: memFree=125431712/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=1006984 memory=931784 CPUtime=309.5 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 239071 0 0 0 30906 44 0 0 20 0 2 0 51159606 1031151616 232946 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 251746 232946 3648 6655 0 231586 0
[pid=50037/tid=50144] ppid=50034 vsize=1006984 memory=840624 CPUtime=147.67 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 59383 0 0 0 14759 8 0 0 20 0 2 0 51160689 1031151616 232946 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 309.5 s
Current children cumulated vsize: 1006984 KiB
Current children cumulated memory: 931784 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=50037] ppid=50034 vsize=1033608 memory=952376 CPUtime=427.24 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 276877 0 0 0 42676 48 0 0 20 0 2 0 51159606 1058414592 238094 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 258402 238094 3648 6655 0 238242 0
[pid=50037/tid=50144] ppid=50034 vsize=1033608 memory=952376 CPUtime=205.63 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 74920 0 0 0 20553 10 0 0 20 0 2 0 51160689 1058414592 238094 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 427.24 s
Current children cumulated vsize: 1033608 KiB
Current children cumulated memory: 952376 KiB

[startup+282.3 s]
/proc/loadavg: 8.07 8.03 8.04 9/266 50160
/proc/meminfo: memFree=125223808/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=1033608 memory=952376 CPUtime=546.49 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 285635 0 0 0 54600 49 0 0 20 0 2 0 51159606 1058414592 238094 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 258402 238094 3648 6655 0 238242 0
[pid=50037/tid=50144] ppid=50034 vsize=1033608 memory=14848 CPUtime=265.05 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 79834 0 0 0 26494 11 0 0 20 0 2 0 51160689 1058414592 238094 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 546.49 s
Current children cumulated vsize: 1033608 KiB
Current children cumulated memory: 952376 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=50037] ppid=50034 vsize=1033608 memory=952632 CPUtime=665.74 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 311450 0 0 0 66521 53 0 0 20 0 2 0 51159606 1058414592 238158 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 258402 238158 3648 6655 0 238242 0
[pid=50037/tid=50144] ppid=50034 vsize=1033608 memory=14848 CPUtime=324.47 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 95587 0 0 0 32434 13 0 0 20 0 2 0 51160689 1058414592 238158 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 665.74 s
Current children cumulated vsize: 1033608 KiB
Current children cumulated memory: 952632 KiB

[startup+402.3 s]

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

/proc/50037/statm: 593603 580930 3648 6655 0 580626 0
[pid=50037/tid=50144] ppid=50034 vsize=2374412 memory=2239316 CPUtime=1398.32 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 346292 0 0 0 139766 66 0 0 20 0 2 0 51160689 2431397888 580930 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 2812.18 s
Current children cumulated vsize: 2374412 KiB
Current children cumulated memory: 2323720 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=50037] ppid=50034 vsize=2454132 memory=2355632 CPUtime=2931.42 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 844077 0 0 0 292982 160 0 0 20 0 2 0 51159606 2513031168 588908 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 613533 588908 3648 6655 0 588791 0
[pid=50037/tid=50144] ppid=50034 vsize=2454132 memory=14848 CPUtime=1458.15 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 365386 0 0 0 145745 70 0 0 20 0 2 0 51160689 2513031168 588908 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 2931.42 s
Current children cumulated vsize: 2454132 KiB
Current children cumulated memory: 2355632 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=50037] ppid=50034 vsize=2470520 memory=2387504 CPUtime=3050.67 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 886222 0 0 0 304901 166 0 0 20 0 2 0 51159606 2529812480 596876 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 617630 596876 3648 6655 0 596692 0
[pid=50037/tid=50144] ppid=50034 vsize=2470520 memory=2353584 CPUtime=1517.99 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 386306 0 0 0 151726 73 0 0 20 0 2 0 51160689 2529812480 596876 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 3050.67 s
Current children cumulated vsize: 2470520 KiB
Current children cumulated memory: 2387504 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=50037] ppid=50034 vsize=2489496 memory=2430640 CPUtime=3169.9 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 924447 0 0 0 316817 173 0 0 20 0 2 0 51159606 2549243904 607660 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 622374 607660 3648 6655 0 607477 0
[pid=50037/tid=50144] ppid=50034 vsize=2489496 memory=14848 CPUtime=1577.83 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 406279 0 0 0 157706 77 0 0 20 0 2 0 51160689 2549243904 607660 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 3169.9 s
Current children cumulated vsize: 2489496 KiB
Current children cumulated memory: 2430640 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=50037] ppid=50034 vsize=2509832 memory=2465840 CPUtime=3289.15 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 966753 0 0 0 328735 180 0 0 20 0 2 0 51159606 2570067968 616460 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 627458 616460 3648 6655 0 616296 0
[pid=50037/tid=50144] ppid=50034 vsize=2509832 memory=2464560 CPUtime=1637.66 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 426953 0 0 0 163686 80 0 0 20 0 2 0 51160689 2570067968 616460 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 3289.15 s
Current children cumulated vsize: 2509832 KiB
Current children cumulated memory: 2465840 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=50037] ppid=50034 vsize=2598492 memory=2508784 CPUtime=3408.39 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 1021235 0 0 0 340649 190 0 0 20 0 2 0 51159606 2660855808 627196 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 649623 627196 3648 6655 0 626899 0
[pid=50037/tid=50144] ppid=50034 vsize=2598492 memory=2464560 CPUtime=1697.48 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 451993 0 0 0 169664 84 0 0 20 0 2 0 51160689 2660855808 627196 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 3408.39 s
Current children cumulated vsize: 2598492 KiB
Current children cumulated memory: 2508784 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.14 8.10 9/268 50237
/proc/meminfo: memFree=118822408/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=2626672 memory=2558456 CPUtime=3527.63 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 1068285 0 0 0 352567 196 0 0 20 0 2 0 51159606 2689712128 639614 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 656668 639614 3648 6655 0 639299 0
[pid=50037/tid=50144] ppid=50034 vsize=2626672 memory=14848 CPUtime=1757.32 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 474637 0 0 0 175645 87 0 0 20 0 2 0 51160689 2689712128 639614 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 3527.63 s
Current children cumulated vsize: 2626672 KiB
Current children cumulated memory: 2558456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1818.8 s]
/proc/loadavg: 8.06 8.12 8.10 9/268 50238
/proc/meminfo: memFree=118686760/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=2640696 memory=2586524 CPUtime=3600.17 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 1091497 0 0 0 359817 200 0 0 20 0 2 0 51159606 2704072704 646631 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 660174 646631 3648 6655 0 646547 0
[pid=50037/tid=50144] ppid=50034 vsize=2640696 memory=-6515139011394244963 CPUtime=1793.71 cores=1,3
/proc/50037/task/50144/stat : 50144 (LSIPExact) R 50034 50037 49202 0 -1 4194368 487725 0 0 0 179282 89 0 0 20 0 2 0 51160689 2704072704 646631 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 2640696 KiB
Current children cumulated memory: 2586524 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3599.85 s, system=2.351 s

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

[startup+1819.2 s]
/proc/loadavg: 8.06 8.12 8.10 8/267 50239
/proc/meminfo: memFree=118661304/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=2640696 memory=2584792 CPUtime=3600.58 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) R 50034 50037 49202 0 -1 4194304 1337569 0 0 0 359844 214 0 0 20 0 1 0 51159606 2704072704 646198 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 660174 646198 3680 6655 0 646547 0
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 2640696 KiB
Current children cumulated memory: 2584792 KiB

[startup+1820 s]*
/proc/loadavg: 8.06 8.12 8.10 7/267 50241
/proc/meminfo: memFree=119537692/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=1742996 memory=1639612 CPUtime=3600.85 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) S 50034 50037 49202 0 -1 4194304 1452088 227 0 0 359862 223 0 0 20 0 1 0 51159606 1784827904 409903 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 435749 409903 3680 6655 0 425980 0
[pid=50241] ppid=50037 vsize=56960 memory=46716 CPUtime=0.48 cores=1,3
/proc/50241/stat : 50241 (Exact) R 50037 50241 50241 0 -1 4194304 8494 0 0 0 46 2 0 0 20 0 1 0 51341555 58327040 11679 18446744073709551615 4198400 8335837 140735984003632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26374144 140735984011444 140735984011805 140735984011805 140735984017359 0
/proc/50241/statm: 14240 11679 928 1011 0 13007 0
Current children cumulated CPU time: 3601.33 s
Current children cumulated vsize: 1799956 KiB
Current children cumulated memory: 1686328 KiB

[startup+1820.4 s]
/proc/loadavg: 8.06 8.12 8.10 7/267 50241
/proc/meminfo: memFree=119537692/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=1742996 memory=1639612 CPUtime=3600.85 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) S 50034 50037 49202 0 -1 4194304 1452088 227 0 0 359862 223 0 0 20 0 1 0 51159606 1784827904 409903 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 435749 409903 3680 6655 0 425980 0
[pid=50241] ppid=50037 vsize=83436 memory=70196 CPUtime=0.87 cores=1,3
/proc/50241/stat : 50241 (Exact) R 50037 50241 50241 0 -1 4194304 12032 0 0 0 84 3 0 0 20 0 1 0 51341555 85438464 17549 18446744073709551615 4198400 8335837 140735984003632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26374144 140735984011444 140735984011805 140735984011805 140735984017359 0
/proc/50241/statm: 20859 17549 928 1011 0 19626 0
Current children cumulated CPU time: 3601.72 s
Current children cumulated vsize: 1826432 KiB
Current children cumulated memory: 1709808 KiB

[startup+1820.8 s]
/proc/loadavg: 8.06 8.12 8.10 7/267 50241
/proc/meminfo: memFree=119537692/131249988 swapFree=33010684/33010684
[pid=50037] ppid=50034 vsize=1742996 memory=1639612 CPUtime=3600.85 cores=1,3
/proc/50037/stat : 50037 (LSIPExact) S 50034 50037 49202 0 -1 4194304 1452088 227 0 0 359862 223 0 0 20 0 1 0 51159606 1784827904 409903 18446744073709551615 93936554078208 93936581334609 140722233661856 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93936589837448 93936590269056 93936599347200 140722233665882 140722233666058 140722233666058 140722233671660 0
/proc/50037/statm: 435749 409903 3680 6655 0 425980 0
[pid=50241] ppid=50037 vsize=122772 memory=93376 CPUtime=1.26 cores=1,3
/proc/50241/stat : 50241 (Exact) R 50037 50241 50241 0 -1 4194304 16179 0 0 0 121 5 0 0 20 0 1 0 51341555 125718528 23344 18446744073709551615 4198400 8335837 140735984003632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26374144 140735984011444 140735984011805 140735984011805 140735984017359 0
/proc/50241/statm: 30693 23344 928 1011 0 29460 0
Current children cumulated CPU time: 3602.11 s
Current children cumulated vsize: 1865768 KiB
Current children cumulated memory: 1732988 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1820.87
CPU time (s): 3602.2
CPU user time (s): 3599.85
CPU system time (s): 2.351
CPU usage (%): 197.829
Max. virtual memory (cumulated for all children) (KiB): 2640696
Max. memory (cumulated for all children) (KiB): 2586524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 2.351
maximum resident set size= 2586780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1468495
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= 896
involuntary context switches= 85981


# summary of solver processes directly reported to runsolver:
#   pid: 50037
#   total CPU time (s): 3602.2
#   total CPU user time (s): 3599.85
#   total CPU system time (s): 2.351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80526 second user time and 8.19162 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
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.155
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		: 3700.000
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.848
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		: 3599.925
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.979
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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.961
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.878
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:        125300068 kB
MemAvailable:   125909124 kB
Buffers:            3280 kB
Cached:          1413540 kB
SwapCached:            0 kB
Active:          4086564 kB
Inactive:        1105104 kB
Active(anon):    3792936 kB
Inactive(anon):        0 kB
Active(file):     293628 kB
Inactive(file):  1105104 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61748 kB
Writeback:             0 kB
AnonPages:       3770632 kB
Mapped:           137636 kB
Shmem:             18056 kB
KReclaimable:      99124 kB
Slab:             187536 kB
SReclaimable:      99124 kB
SUnreclaim:        88412 kB
KernelStack:        4272 kB
PageTables:        10444 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    4137248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    425984 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:21