Trace number 4524194

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
LSIPExact S2? (TO) 3600.12 1857.93

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
MD5SUM64dbfbfc0114f72138d7179eedb1d684
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 benchmark168
Best CPU time to get the best result obtained on this benchmark72002
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25846
Total number of constraints1501
Number of constraints which are clauses211
Number of constraints which are cardinality constraints (but not clauses)330
Number of constraints which are nor clauses,nor cardinality constraints960
Minimum length of a constraint1
Maximum length of a constraint232
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 513
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 25455
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3542.47/1800.07	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3542.47/1800.07	c numVar: 25846
3542.47/1800.07	c numCon: 1501
3542.47/1800.07	c numEqual: 315
3542.47/1800.07	c intSize: 15
3542.47/1800.07	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3542.47/1800.07	c ------------------- Paras list -------------------
3542.47/1800.07	c Name                	 Type      	 Now       	 Default   	 Comment
3542.47/1800.07	c timeout             	 double    	 3600.000000	 3600      	 
3542.47/1800.07	c mip_time            	 double    	 0.500000  	 0.5       	 
3542.47/1800.07	c ls_time             	 double    	 10.000000 	 10        	 
3542.47/1800.07	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
3542.47/1800.07	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3542.47/1800.07	c random_seed         	 int       	 0         	 0         	 
3542.47/1800.07	c sample_size         	 int       	 50        	 50        	 
3542.47/1800.07	c sub_score           	 int       	 1         	 1         	 
3542.47/1800.07	c tabu_base           	 int       	 3         	 3         	 
3542.47/1800.07	c tabu_variation      	 int       	 1         	 1         	 
3542.47/1800.07	c sub_div             	 int       	 4         	 4         	 
3542.47/1800.07	c nbcore              	 int       	 2         	 1         	 
3542.47/1800.07	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3542.47/1800.07	c print_sol           	 int       	 1         	 1         	 
3542.47/1800.07	c tmpdir              	 string		 .         	 "."       	 
3542.47/1800.07	c home                	 string		 HOME	 "."       	 
3542.47/1800.07	c benchname           	 string		 HOME/instance-4524194-1751607751.opb	 ""        	 
3542.47/1800.07	c --------------------------------------------------
3542.47/1800.07	c Local Search solver
3542.47/1800.07	c MIP solver
3542.47/1800.07	c use Exact solver
3600.05/1857.80	c receive signal 15, try to interrupt solver...
3542.56/1857.91	c Exact solver (PID 87816) interrupted gracefully.
3542.56/1857.92	s UNKNOWN
3542.56/1857.92	c Total time: 1858

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (51955 MiB free)
  memory of node 1: 64507 MiB (58282 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524194-1751607751/watcher-4524194-1751607751 -o /tmp/evaluation-result-4524194-1751607751/solver-4524194-1751607751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86139 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4524194-1751607751.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87575, runsolver pid=87572
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 5.03 5.35 5.93 6/266 87576
/proc/meminfo: memFree=112900132/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=60080 memory=25472 CPUtime=0.09 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 5342 0 0 0 8 1 0 0 20 0 1 0 76452796 61521920 6368 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 15020 6368 1184 6655 0 5255 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60080 KiB
Current children cumulated memory: 25472 KiB

[startup+0.205703 s]*
/proc/loadavg: 5.03 5.35 5.93 6/266 87576
/proc/meminfo: memFree=112900132/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=60080 memory=25472 CPUtime=0.2 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 5342 0 0 0 19 1 0 0 20 0 1 0 76452796 61521920 6368 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 15020 6368 1184 6655 0 5255 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60080 KiB
Current children cumulated memory: 25472 KiB

[startup+0.305679 s]*
/proc/loadavg: 5.03 5.35 5.93 6/266 87576
/proc/meminfo: memFree=112967716/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=60080 memory=25472 CPUtime=0.3 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 5342 0 0 0 29 1 0 0 20 0 1 0 76452796 61521920 6368 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 15020 6368 1184 6655 0 5255 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60080 KiB
Current children cumulated memory: 25472 KiB

[startup+0.700178 s]
/proc/loadavg: 5.03 5.35 5.93 6/266 87576
/proc/meminfo: memFree=113008676/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=60080 memory=25472 CPUtime=0.69 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 5342 0 0 0 68 1 0 0 20 0 1 0 76452796 61521920 6368 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 15020 6368 1184 6655 0 5255 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60080 KiB
Current children cumulated memory: 25472 KiB

[startup+1.50019 s]
/proc/loadavg: 5.03 5.35 5.93 6/266 87576
/proc/meminfo: memFree=113092644/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=60080 memory=25472 CPUtime=1.48 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 5342 0 0 0 147 1 0 0 20 0 1 0 76452796 61521920 6368 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 15020 6368 1184 6655 0 5255 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60080 KiB
Current children cumulated memory: 25472 KiB

[startup+3.10559 s]
/proc/loadavg: 5.03 5.35 5.93 6/265 87590
/proc/meminfo: memFree=116184312/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=60080 memory=25472 CPUtime=3.06 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 5342 0 0 0 305 1 0 0 20 0 1 0 76452796 61521920 6368 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 15020 6368 1184 6655 0 5255 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 60080 KiB
Current children cumulated memory: 25472 KiB

[startup+6.30017 s]
/proc/loadavg: 5.03 5.34 5.93 6/265 87590
/proc/meminfo: memFree=116152216/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=60080 memory=25472 CPUtime=6.25 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 5342 0 0 0 624 1 0 0 20 0 1 0 76452796 61521920 6368 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 15020 6368 1184 6655 0 5255 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 60080 KiB
Current children cumulated memory: 25472 KiB

[startup+12.7002 s]
/proc/loadavg: 5.03 5.34 5.92 7/267 87622
/proc/meminfo: memFree=113977808/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=259312 memory=196916 CPUtime=14.77 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 44755 0 0 0 1467 10 0 0 20 0 2 0 76452796 265535488 49229 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 64828 49229 3392 6655 0 53155 0
[pid=87575/tid=87612] ppid=87572 vsize=259312 memory=182580 CPUtime=2.14 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 12594 0 0 0 212 2 0 0 20 0 2 0 76453799 265535488 49229 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 14.77 s
Current children cumulated vsize: 259312 KiB
Current children cumulated memory: 196916 KiB

[startup+25.5002 s]
/proc/loadavg: 5.32 5.39 5.93 7/267 87623
/proc/meminfo: memFree=110096916/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=267048 memory=217908 CPUtime=40.02 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 102098 0 0 0 3987 15 0 0 20 0 2 0 76452796 273457152 54477 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 66762 54477 3392 6655 0 55089 0
[pid=87575/tid=87612] ppid=87572 vsize=267048 memory=14592 CPUtime=14.64 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 34595 0 0 0 1460 4 0 0 20 0 2 0 76453799 273457152 54477 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 40.02 s
Current children cumulated vsize: 267048 KiB
Current children cumulated memory: 217908 KiB

[startup+51.1055 s]
/proc/loadavg: 5.63 5.45 5.94 7/267 87623
/proc/meminfo: memFree=106878392/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=274768 memory=233780 CPUtime=90.88 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 115287 0 0 0 9072 16 0 0 20 0 2 0 76452796 281362432 58445 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 68692 58445 3392 6655 0 58748 0
[pid=87575/tid=87612] ppid=87572 vsize=274768 memory=222132 CPUtime=39.98 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 40294 0 0 0 3993 5 0 0 20 0 2 0 76453799 281362432 58445 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 90.88 s
Current children cumulated vsize: 274768 KiB
Current children cumulated memory: 233780 KiB

[startup+102.3 s]
/proc/loadavg: 6.11 5.61 5.96 7/268 87626
/proc/meminfo: memFree=98857016/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=397940 memory=312792 CPUtime=190.39 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 200820 0 0 0 19014 25 0 0 20 0 2 0 76452796 407490560 78198 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 99485 78198 3424 6655 0 76812 0
[pid=87575/tid=87612] ppid=87572 vsize=397940 memory=14592 CPUtime=88.6 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 71093 0 0 0 8851 9 0 0 20 0 2 0 76453799 407490560 78198 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 190.39 s
Current children cumulated vsize: 397940 KiB
Current children cumulated memory: 312792 KiB

[startup+162.3 s]
/proc/loadavg: 6.22 5.74 5.99 7/267 87632
/proc/meminfo: memFree=98825768/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=401888 memory=328976 CPUtime=307.9 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 258334 0 0 0 30760 30 0 0 20 0 2 0 76452796 411533312 82244 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 100472 82244 3424 6655 0 81125 0
[pid=87575/tid=87612] ppid=87572 vsize=401888 memory=14592 CPUtime=146.32 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 100198 0 0 0 14621 11 0 0 20 0 2 0 76453799 411533312 82244 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 307.9 s
Current children cumulated vsize: 401888 KiB
Current children cumulated memory: 328976 KiB

[startup+222.3 s]
/proc/loadavg: 6.13 5.80 6.00 7/267 87634
/proc/meminfo: memFree=98823508/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=401888 memory=328976 CPUtime=427.12 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 274929 0 0 0 42680 32 0 0 20 0 2 0 76452796 411533312 82244 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 100472 82244 3424 6655 0 81125 0
[pid=87575/tid=87612] ppid=87572 vsize=401888 memory=14592 CPUtime=205.72 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 107805 0 0 0 20560 12 0 0 20 0 2 0 76453799 411533312 82244 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 427.12 s
Current children cumulated vsize: 401888 KiB
Current children cumulated memory: 328976 KiB

[startup+282.3 s]
/proc/loadavg: 5.93 5.82 5.99 6/267 87636
/proc/meminfo: memFree=98761152/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=415200 memory=370036 CPUtime=539.75 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 333486 0 0 0 53936 39 0 0 20 0 2 0 76452796 425164800 92509 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 103800 92509 3424 6655 0 92360 0
[pid=87575/tid=87612] ppid=87572 vsize=415200 memory=364920 CPUtime=258.56 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) S 87572 87575 86128 0 -1 4194368 134257 0 0 0 25841 15 0 0 20 0 2 0 76453799 425164800 92509 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 539.75 s
Current children cumulated vsize: 415200 KiB
Current children cumulated memory: 370036 KiB

[startup+342.3 s]
/proc/loadavg: 6.04 5.87 6.00 7/267 87638
/proc/meminfo: memFree=98757404/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=437812 memory=391012 CPUtime=653.02 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 345396 0 0 0 65261 41 0 0 20 0 2 0 76452796 448319488 97753 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 109453 97753 3424 6655 0 98013 0
[pid=87575/tid=87612] ppid=87572 vsize=437812 memory=364920 CPUtime=312.02 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 139120 0 0 0 31187 15 0 0 20 0 2 0 76453799 448319488 97753 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 653.02 s
Current children cumulated vsize: 437812 KiB
Current children cumulated memory: 391012 KiB


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

/proc/meminfo: memFree=93516892/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=455204 memory=410212 CPUtime=2554.07 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 466333 0 0 0 255313 94 0 0 20 0 2 0 76452796 466128896 102553 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 113801 102553 3424 6655 0 102361 0
[pid=87575/tid=87612] ppid=87572 vsize=455204 memory=407908 CPUtime=1258.36 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 192400 0 0 0 125781 55 0 0 20 0 2 0 76453799 466128896 102553 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 2554.07 s
Current children cumulated vsize: 455204 KiB
Current children cumulated memory: 410212 KiB

[startup+1362.3 s]
/proc/loadavg: 6.14 6.09 6.03 7/270 87744
/proc/meminfo: memFree=93512232/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=458912 memory=413412 CPUtime=2673.29 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 472717 0 0 0 267234 95 0 0 20 0 2 0 76452796 469925888 103353 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 114728 103353 3424 6655 0 103288 0
[pid=87575/tid=87612] ppid=87572 vsize=458912 memory=412260 CPUtime=1317.74 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 196865 0 0 0 131717 57 0 0 20 0 2 0 76453799 469925888 103353 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 2673.29 s
Current children cumulated vsize: 458912 KiB
Current children cumulated memory: 413412 KiB

[startup+1422.3 s]
/proc/loadavg: 6.11 6.09 6.03 7/269 87751
/proc/meminfo: memFree=93513152/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=459864 memory=414692 CPUtime=2792.4 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 489099 0 0 0 279142 98 0 0 20 0 2 0 76452796 470900736 103673 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 114966 103673 3424 6655 0 103526 0
[pid=87575/tid=87612] ppid=87572 vsize=459864 memory=412260 CPUtime=1377.05 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 203345 0 0 0 137647 58 0 0 20 0 2 0 76453799 470900736 103673 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 2792.4 s
Current children cumulated vsize: 459864 KiB
Current children cumulated memory: 414692 KiB

[startup+1482.3 s]
/proc/loadavg: 6.09 6.09 6.03 7/267 87753
/proc/meminfo: memFree=93506748/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=463064 memory=418148 CPUtime=2911.54 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 492366 0 0 0 291054 100 0 0 20 0 2 0 76452796 474177536 104537 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 115766 104537 3424 6655 0 104326 0
[pid=87575/tid=87612] ppid=87572 vsize=463064 memory=417636 CPUtime=1436.38 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 205238 0 0 0 143579 59 0 0 20 0 2 0 76453799 474177536 104537 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 2911.54 s
Current children cumulated vsize: 463064 KiB
Current children cumulated memory: 418148 KiB

[startup+1542.3 s]
/proc/loadavg: 6.10 6.08 6.03 7/268 87756
/proc/meminfo: memFree=93493336/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=470248 memory=427620 CPUtime=3030.67 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 495922 0 0 0 302966 101 0 0 20 0 2 0 76452796 481533952 106905 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 117562 106905 3424 6655 0 106122 0
[pid=87575/tid=87612] ppid=87572 vsize=470248 memory=427236 CPUtime=1495.7 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 206648 0 0 0 149511 59 0 0 20 0 2 0 76453799 481533952 106905 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 3030.67 s
Current children cumulated vsize: 470248 KiB
Current children cumulated memory: 427620 KiB

[startup+1602.3 s]
/proc/loadavg: 6.09 6.08 6.03 7/268 87758
/proc/meminfo: memFree=93487724/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=472428 memory=430052 CPUtime=3149.78 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 496870 0 0 0 314877 101 0 0 20 0 2 0 76452796 483766272 107513 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 118107 107513 3424 6655 0 106667 0
[pid=87575/tid=87612] ppid=87572 vsize=472428 memory=427236 CPUtime=1555.03 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 206919 0 0 0 155443 60 0 0 20 0 2 0 76453799 483766272 107513 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 3149.78 s
Current children cumulated vsize: 472428 KiB
Current children cumulated memory: 430052 KiB

[startup+1662.3 s]
/proc/loadavg: 6.07 6.08 6.03 7/269 87763
/proc/meminfo: memFree=93495648/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=475308 memory=432996 CPUtime=3268.89 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 498184 0 0 0 326787 102 0 0 20 0 2 0 76452796 486715392 108249 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 118827 108249 3424 6655 0 107387 0
[pid=87575/tid=87612] ppid=87572 vsize=475308 memory=427236 CPUtime=1614.34 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 207473 0 0 0 161373 61 0 0 20 0 2 0 76453799 486715392 108249 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 3268.89 s
Current children cumulated vsize: 475308 KiB
Current children cumulated memory: 432996 KiB

[startup+1722.3 s]
/proc/loadavg: 5.46 5.91 5.98 6/269 87766
/proc/meminfo: memFree=80088256/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=476904 memory=435044 CPUtime=3388.13 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 499887 0 0 0 338710 103 0 0 20 0 2 0 76452796 488349696 108761 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 119226 108761 3424 6655 0 107975 0
[pid=87575/tid=87612] ppid=87572 vsize=476904 memory=427236 CPUtime=1673.73 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 208649 0 0 0 167311 62 0 0 20 0 2 0 76453799 488349696 108761 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 3388.13 s
Current children cumulated vsize: 476904 KiB
Current children cumulated memory: 435044 KiB

[startup+1782.3 s]
/proc/loadavg: 5.66 5.87 5.96 7/270 87815
/proc/meminfo: memFree=98634664/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=486868 memory=448612 CPUtime=3507.31 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) R 87572 87575 86128 0 -1 4194304 515016 0 0 0 350624 107 0 0 20 0 2 0 76452796 498552832 112153 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 121717 112153 3424 6655 0 111237 0
[pid=87575/tid=87612] ppid=87572 vsize=486868 memory=443364 CPUtime=1733.1 cores=4,6
/proc/87575/task/87612/stat : 87612 (LSIPExact) R 87572 87575 86128 0 -1 4194368 212853 0 0 0 173248 62 0 0 20 0 2 0 76453799 498552832 112153 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
Current children cumulated CPU time: 3507.31 s
Current children cumulated vsize: 486868 KiB
Current children cumulated memory: 448612 KiB

[startup+1842.3 s]
/proc/loadavg: 5.46 5.78 5.92 6/270 87818
/proc/meminfo: memFree=98902592/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=384452 memory=348064 CPUtime=3542.56 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) S 87572 87575 86128 0 -1 4194304 546383 0 0 0 354146 110 0 0 20 0 1 0 76452796 393678848 87016 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 96113 87016 3456 6655 0 86335 0
[pid=87816] ppid=87575 vsize=217812 memory=201184 CPUtime=42.05 cores=4,6
/proc/87816/stat : 87816 (Exact) R 87575 87816 87816 0 -1 4194304 40361 0 0 0 4192 13 0 0 20 0 1 0 76632803 223039488 50296 18446744073709551615 4198400 8335837 140720706698752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 24231936 140720706701499 140720706701853 140720706701853 140720706707407 0
/proc/87816/statm: 54453 50296 1120 1011 0 53220 0
Current children cumulated CPU time: 3584.61 s
Current children cumulated vsize: 602264 KiB
Current children cumulated memory: 549248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1857.8 s]
/proc/loadavg: 5.35 5.75 5.91 6/269 87818
/proc/meminfo: memFree=98815188/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=384452 memory=348064 CPUtime=3542.56 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) S 87572 87575 86128 0 -1 4194304 546383 0 0 0 354146 110 0 0 20 0 1 0 76452796 393678848 87016 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 96113 87016 3456 6655 0 86335 0
[pid=87816] ppid=87575 vsize=341872 memory=276064 CPUtime=57.49 cores=4,6
/proc/87816/stat : 87816 (Exact) R 87575 87816 87816 0 -1 4194304 44824 0 0 0 5730 19 0 0 20 0 1 0 76632803 350076928 69016 18446744073709551615 4198400 8335837 140720706698752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 24231936 140720706701499 140720706701853 140720706701853 140720706707407 0
/proc/87816/statm: 85468 69016 1120 1011 0 84235 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 726324 KiB
Current children cumulated memory: 624128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.79 s, system=1.3309 s

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

[startup+1857.9 s]
/proc/loadavg: 5.35 5.75 5.91 6/269 87818
/proc/meminfo: memFree=98815188/131249996 swapFree=33003468/33010684
[pid=87575] ppid=87572 vsize=384452 memory=348064 CPUtime=3542.56 cores=4,6
/proc/87575/stat : 87575 (LSIPExact) S 87572 87575 86128 0 -1 4194304 546384 136 0 0 354146 110 0 0 20 0 1 0 76452796 393678848 87016 18446744073709551615 94468753596416 94468780852817 140722213038176 0 0 0 16384 0 16386 1 0 0 17 6 0 0 0 0 0 94468789355656 94468789787264 94468811673600 140722213042522 140722213042698 140722213042698 140722213048300 0
/proc/87575/statm: 96113 87016 3456 6655 0 86335 0
Current children cumulated CPU time: 3542.56 s
Current children cumulated vsize: 384452 KiB
Current children cumulated memory: 348064 KiB

Child status: 0

Real time (s): 1857.93
CPU time (s): 3600.12
CPU user time (s): 3598.79
CPU system time (s): 1.3309
CPU usage (%): 193.77
Max. virtual memory (cumulated for all children) (KiB): 726324
Max. memory (cumulated for all children) (KiB): 624128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.79
system time used= 1.3309
maximum resident set size= 452580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 462
involuntary context switches= 36249


# summary of solver processes directly reported to runsolver:
#   pid: 87575
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3598.79
#   total CPU system time (s): 1.3309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87891 second user time and 9.09874 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-04 07:42:31
IDJOB=4524194
IDBENCH=180627
IDSOLVER=3337
FILE ID=nodeC021/4524194-1751607751
RUNJOBID= nodeC021-1751599645-86139
SLURM_JOB_ID= 9598875
Free space on /tmp= 430728 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-GolombRuler-a3v18-15_c18.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524194-1751607751/watcher-4524194-1751607751 -o /tmp/evaluation-result-4524194-1751607751/solver-4524194-1751607751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86139 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4524194-1751607751.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 64dbfbfc0114f72138d7179eedb1d684
RANDOM SEED=81211014

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.784
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.988
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.792
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.706
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.763
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.772
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.848
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112878548 kB
MemAvailable:   119428996 kB
Buffers:            1056 kB
Cached:          7283608 kB
SwapCached:           32 kB
Active:         10735788 kB
Inactive:        6821092 kB
Active(anon):   10244868 kB
Inactive(anon):    40824 kB
Active(file):     490920 kB
Inactive(file):  6780268 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             51012 kB
Writeback:             4 kB
AnonPages:      10269780 kB
Mapped:           137640 kB
Shmem:             13452 kB
KReclaimable:     236596 kB
Slab:             329108 kB
SReclaimable:     236596 kB
SUnreclaim:        92512 kB
KernelStack:        4288 kB
PageTables:        23536 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11321168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6098944 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429888 MiB
End job on nodeC021 at 2025-07-04 08:13:29