Trace number 4527339

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) 4694.81 2914.65

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
MD5SUMd9affe619068a6673989e4355ed78893
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 benchmark182
Best CPU time to get the best result obtained on this benchmark3586.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints469
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints469
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 470
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527339-1752232206/watcher-4527339-1752232206 -o /tmp/evaluation-result-4527339-1752232206/solver-4527339-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752232205-117682 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527339-1752232206.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117739, runsolver pid=117736
Current StackSize limit: 8192 KiB


[startup+0.100055 s]*
/proc/loadavg: 0.11 0.10 0.09 5/265 117740
/proc/meminfo: memFree=127681480/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=40432 memory=6016 CPUtime=0.09 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 461 0 0 0 9 0 0 0 20 0 1 0 138898212 41402368 1504 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 10108 1504 1216 6655 0 343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 6016 KiB

[startup+0.204666 s]*
/proc/loadavg: 0.11 0.10 0.09 5/265 117740
/proc/meminfo: memFree=127681480/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=40432 memory=6016 CPUtime=0.2 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 461 0 0 0 20 0 0 0 20 0 1 0 138898212 41402368 1504 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 10108 1504 1216 6655 0 343 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 6016 KiB

[startup+0.304601 s]*
/proc/loadavg: 0.11 0.10 0.09 5/265 117740
/proc/meminfo: memFree=127681480/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=40432 memory=6016 CPUtime=0.3 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 461 0 0 0 30 0 0 0 20 0 1 0 138898212 41402368 1504 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 10108 1504 1216 6655 0 343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 6016 KiB

[startup+0.700099 s]
/proc/loadavg: 0.11 0.10 0.09 5/265 117740
/proc/meminfo: memFree=127681480/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=40432 memory=6016 CPUtime=0.69 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 461 0 0 0 69 0 0 0 20 0 1 0 138898212 41402368 1504 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 10108 1504 1216 6655 0 343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 6016 KiB

[startup+1.50009 s]
/proc/loadavg: 0.42 0.16 0.11 5/265 117740
/proc/meminfo: memFree=127681848/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=40432 memory=6016 CPUtime=1.48 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 461 0 0 0 148 0 0 0 20 0 1 0 138898212 41402368 1504 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 10108 1504 1216 6655 0 343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 6016 KiB

[startup+3.10418 s]
/proc/loadavg: 0.42 0.16 0.11 5/265 117740
/proc/meminfo: memFree=127682244/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=40432 memory=6016 CPUtime=3.09 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 461 0 0 0 309 0 0 0 20 0 1 0 138898212 41402368 1504 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 10108 1504 1216 6655 0 343 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 6016 KiB

[startup+6.30009 s]
/proc/loadavg: 0.71 0.22 0.13 5/265 117740
/proc/meminfo: memFree=127682896/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=40432 memory=6016 CPUtime=6.27 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 461 0 0 0 627 0 0 0 20 0 1 0 138898212 41402368 1504 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 10108 1504 1216 6655 0 343 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 6016 KiB

[startup+12.7001 s]
/proc/loadavg: 1.13 0.32 0.16 5/259 117760
/proc/meminfo: memFree=127600524/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=130748 memory=33348 CPUtime=15.05 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 4132 0 0 0 1505 0 0 0 20 0 2 0 138898212 133885952 8337 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 32687 8337 3552 6655 0 7381 0
[pid=117739/tid=117745] ppid=117736 vsize=130748 memory=27464 CPUtime=2.49 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) S 117736 117739 117663 0 -1 4194368 855 0 0 0 249 0 0 0 20 0 2 0 138899213 133885952 8337 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 15.05 s
Current children cumulated vsize: 130748 KiB
Current children cumulated memory: 33348 KiB

[startup+25.5001 s]
/proc/loadavg: 1.88 0.51 0.23 5/259 117761
/proc/meminfo: memFree=127515536/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=158088 memory=64116 CPUtime=40.04 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 21924 0 0 0 4002 2 0 0 20 0 2 0 138898212 161882112 16029 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 39522 16029 3552 6655 0 15924 0
[pid=117739/tid=117745] ppid=117736 vsize=158088 memory=64116 CPUtime=14.75 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 6173 0 0 0 1475 0 0 0 20 0 2 0 138899213 161882112 16029 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 40.04 s
Current children cumulated vsize: 158088 KiB
Current children cumulated memory: 64116 KiB

[startup+51.1055 s]
/proc/loadavg: 4.01 1.15 0.45 9/269 117837
/proc/meminfo: memFree=126898896/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=184392 memory=142116 CPUtime=90.91 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 43310 0 0 0 9082 9 0 0 20 0 2 0 138898212 188817408 35529 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 46098 35529 3552 6655 0 33958 0
[pid=117739/tid=117745] ppid=117736 vsize=184392 memory=125220 CPUtime=40.11 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 17709 0 0 0 4006 5 0 0 20 0 2 0 138899213 188817408 35529 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 90.91 s
Current children cumulated vsize: 184392 KiB
Current children cumulated memory: 142116 KiB

[startup+102.3 s]
/proc/loadavg: 6.33 2.22 0.85 9/270 117841
/proc/meminfo: memFree=126672200/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=406132 memory=325668 CPUtime=192.56 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 97129 0 0 0 19225 31 0 0 20 0 2 0 138898212 415879168 81417 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 101533 81417 3552 6655 0 79862 0
[pid=117739/tid=117745] ppid=117736 vsize=406132 memory=311588 CPUtime=90.77 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 45719 0 0 0 9057 20 0 0 20 0 2 0 138899213 415879168 81417 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 192.56 s
Current children cumulated vsize: 406132 KiB
Current children cumulated memory: 325668 KiB

[startup+162.3 s]
/proc/loadavg: 7.67 3.38 1.34 9/270 117843
/proc/meminfo: memFree=126434724/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=579516 memory=541220 CPUtime=311.78 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 154254 0 0 0 31122 56 0 0 20 0 2 0 138898212 593424384 135305 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 144879 135305 3552 6655 0 133773 0
[pid=117739/tid=117745] ppid=117736 vsize=579516 memory=413732 CPUtime=150.19 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 74916 0 0 0 14984 35 0 0 20 0 2 0 138899213 593424384 135305 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 311.78 s
Current children cumulated vsize: 579516 KiB
Current children cumulated memory: 541220 KiB

[startup+222.3 s]
/proc/loadavg: 8.13 4.31 1.79 9/270 117845
/proc/meminfo: memFree=126204544/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=815528 memory=749092 CPUtime=431.01 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 208169 0 0 0 43020 81 0 0 20 0 2 0 138898212 835100672 187273 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 203882 187273 3552 6655 0 185896 0
[pid=117739/tid=117745] ppid=117736 vsize=815528 memory=725924 CPUtime=209.6 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 101926 0 0 0 20908 52 0 0 20 0 2 0 138899213 835100672 187273 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 431.01 s
Current children cumulated vsize: 815528 KiB
Current children cumulated memory: 749092 KiB

[startup+282.3 s]
/proc/loadavg: 8.00 4.97 2.18 9/270 117847
/proc/meminfo: memFree=125978360/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=1050020 memory=951204 CPUtime=550.22 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 264340 0 0 0 54918 104 0 0 20 0 2 0 138898212 1075220480 237801 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 262505 237801 3552 6655 0 236344 0
[pid=117739/tid=117745] ppid=117736 vsize=1050020 memory=927268 CPUtime=269.01 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 130641 0 0 0 26835 66 0 0 20 0 2 0 138899213 1075220480 237801 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 550.22 s
Current children cumulated vsize: 1050020 KiB
Current children cumulated memory: 951204 KiB

[startup+342.3 s]
/proc/loadavg: 8.12 5.55 2.55 9/268 117849
/proc/meminfo: memFree=125779100/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=1219596 memory=1164708 CPUtime=669.51 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 319338 0 0 0 66826 125 0 0 20 0 2 0 138898212 1248866304 291177 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 304899 291177 3552 6655 0 289600 0
[pid=117739/tid=117745] ppid=117736 vsize=1219596 memory=1062820 CPUtime=328.47 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 158935 0 0 0 32768 79 0 0 20 0 2 0 138899213 1248866304 291177 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 669.51 s
Current children cumulated vsize: 1219596 KiB
Current children cumulated memory: 1164708 KiB


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

/proc/117739/statm: 1153158 1132693 3552 6655 0 1131486 0
[pid=117739/tid=117745] ppid=117736 vsize=4612632 memory=4300372 CPUtime=1340.95 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 627840 0 0 0 133791 304 0 0 20 0 2 0 138899213 4723335168 1132693 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 2696.73 s
Current children cumulated vsize: 4612632 KiB
Current children cumulated memory: 4530772 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.03 6.38 9/268 117905
/proc/meminfo: memFree=121999480/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=4776856 memory=4729556 CPUtime=2815.99 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 1295157 0 0 0 281090 509 0 0 20 0 2 0 138898212 4891500544 1182389 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1194214 1182389 3552 6655 0 1181128 0
[pid=117739/tid=117745] ppid=117736 vsize=4776856 memory=4300372 CPUtime=1400.79 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 656441 0 0 0 139762 317 0 0 20 0 2 0 138899213 4891500544 1182389 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 2815.99 s
Current children cumulated vsize: 4776856 KiB
Current children cumulated memory: 4729556 KiB

[startup+1482.3 s]
/proc/loadavg: 8.05 8.03 6.49 9/268 117907
/proc/meminfo: memFree=121804652/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=5006320 memory=4928468 CPUtime=2935.2 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 1351647 0 0 0 292985 535 0 0 20 0 2 0 138898212 5126471680 1232117 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1251580 1232117 3552 6655 0 1230721 0
[pid=117739/tid=117745] ppid=117736 vsize=5006320 memory=21120 CPUtime=1460.57 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 685102 0 0 0 145723 334 0 0 20 0 2 0 138899213 5126471680 1232117 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 2935.2 s
Current children cumulated vsize: 5006320 KiB
Current children cumulated memory: 4928468 KiB

[startup+1542.3 s]
/proc/loadavg: 8.20 8.07 6.60 9/267 117909
/proc/meminfo: memFree=121588048/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=5174892 memory=5128328 CPUtime=3054.42 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 1404423 0 0 0 304883 559 0 0 20 0 2 0 138898212 5299089408 1282082 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1293723 1282082 3552 6655 0 1280843 0
[pid=117739/tid=117745] ppid=117736 vsize=5174892 memory=4599636 CPUtime=1520.37 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 710258 0 0 0 151685 352 0 0 20 0 2 0 138899213 5299089408 1282082 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 3054.42 s
Current children cumulated vsize: 5174892 KiB
Current children cumulated memory: 5128328 KiB

[startup+1602.3 s]
/proc/loadavg: 8.50 8.16 6.73 9/267 117911
/proc/meminfo: memFree=121392656/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=5404572 memory=5325576 CPUtime=3173.67 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 1459817 0 0 0 316785 582 0 0 20 0 2 0 138898212 5534281728 1331394 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1351143 1331394 3552 6655 0 1330035 0
[pid=117739/tid=117745] ppid=117736 vsize=5404572 memory=5246600 CPUtime=1580.19 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 738074 0 0 0 157654 365 0 0 20 0 2 0 138899213 5534281728 1331394 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 3173.67 s
Current children cumulated vsize: 5404572 KiB
Current children cumulated memory: 5325576 KiB

[startup+1662.3 s]
/proc/loadavg: 8.23 8.14 6.81 9/267 117913
/proc/meminfo: memFree=121206948/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=5568348 memory=5522568 CPUtime=3292.92 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 1514012 0 0 0 328689 603 0 0 20 0 2 0 138898212 5701988352 1380642 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1392087 1380642 3552 6655 0 1379227 0
[pid=117739/tid=117745] ppid=117736 vsize=5568348 memory=5246600 CPUtime=1640.01 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 764919 0 0 0 163623 378 0 0 20 0 2 0 138899213 5701988352 1380642 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 3292.92 s
Current children cumulated vsize: 5568348 KiB
Current children cumulated memory: 5522568 KiB

[startup+1722.3 s]
/proc/loadavg: 8.15 8.13 6.90 9/267 117915
/proc/meminfo: memFree=121008220/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=5798748 memory=5719176 CPUtime=3412.17 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 1569258 0 0 0 340589 628 0 0 20 0 2 0 138898212 5937917952 1429794 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1449687 1429794 3552 6655 0 1428337 0
[pid=117739/tid=117745] ppid=117736 vsize=5798748 memory=5246600 CPUtime=1699.83 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 792424 0 0 0 169590 393 0 0 20 0 2 0 138899213 5937917952 1429794 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 3412.17 s
Current children cumulated vsize: 5798748 KiB
Current children cumulated memory: 5719176 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.12 6.97 9/267 117918
/proc/meminfo: memFree=120791244/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=5966772 memory=5926536 CPUtime=3531.42 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 1627046 0 0 0 352493 649 0 0 20 0 2 0 138898212 6109974528 1481634 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1491693 1481634 3552 6655 0 1480107 0
[pid=117739/tid=117745] ppid=117736 vsize=5966772 memory=5908488 CPUtime=1759.65 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 821408 0 0 0 175559 406 0 0 20 0 2 0 138899213 6109974528 1481634 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 3531.42 s
Current children cumulated vsize: 5966772 KiB
Current children cumulated memory: 5926536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.8 s]
/proc/loadavg: 8.13 8.12 7.01 9/267 117919
/proc/meminfo: memFree=120666224/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=6091172 memory=6044424 CPUtime=3600 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 1658195 0 0 0 359338 662 0 0 20 0 2 0 138898212 6237360128 1511106 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1522793 1511106 3552 6655 0 1509553 0
[pid=117739/tid=117745] ppid=117736 vsize=6091172 memory=21120 CPUtime=1794.05 cores=1,3
/proc/117739/task/117745/stat : 117745 (LSIPExact) R 117736 117739 117663 0 -1 4194368 836961 0 0 0 178991 414 0 0 20 0 2 0 138899213 6237360128 1511106 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6091172 KiB
Current children cumulated memory: 6044424 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3594.1 s, system=7.35983 s

[startup+2914.65 s]
# the end of solver process 117921 was just reported to runsolver
# Child ended because it received signal 13 (SIGPIPE)

# cumulated CPU time of all completed processes:  user=4679.23 s, system=15.5826 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+1817.6 s]
/proc/loadavg: 8.12 8.12 7.02 8/266 117919
/proc/meminfo: memFree=120654064/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=6099980 memory=6051496 CPUtime=3600.8 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) R 117736 117739 117663 0 -1 4194304 2267331 0 0 0 359384 696 0 0 20 0 1 0 138898212 6246379520 1512874 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1524995 1512874 3584 6655 0 1511757 0
Current children cumulated CPU time: 3600.8 s
Current children cumulated vsize: 6099980 KiB
Current children cumulated memory: 6051496 KiB

[startup+1818.4 s]
/proc/loadavg: 8.12 8.12 7.02 8/266 117919
/proc/meminfo: memFree=120654064/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=6025636 memory=5990608 CPUtime=3601.23 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) S 117736 117739 117663 0 -1 4194304 2579601 227 0 0 359409 714 0 0 20 0 1 0 138898212 6170251264 1497652 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1506409 1497652 3584 6655 0 1496535 0
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 6025636 KiB
Current children cumulated memory: 5990608 KiB

[startup+1818.8 s]
/proc/loadavg: 8.12 8.12 7.02 8/266 117919
/proc/meminfo: memFree=120654064/131250000 swapFree=33008100/33010684
[pid=117739] ppid=117736 vsize=6025636 memory=5990608 CPUtime=3601.23 cores=1,3
/proc/117739/stat : 117739 (LSIPExact) S 117736 117739 117663 0 -1 4194304 2579601 227 0 0 359409 714 0 0 20 0 1 0 138898212 6170251264 1497652 18446744073709551615 94318571773952 94318599031121 140720628974384 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94318607533192 94318607964800 94318619738112 140720628975960 140720628976136 140720628976136 140720628981740 0
/proc/117739/statm: 1506409 1497652 3584 6655 0 1496535 0
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 6025636 KiB
Current children cumulated memory: 5990608 KiB

Child ended because it received signal 13 (SIGPIPE)

Real time (s): 2914.65
CPU time (s): 4694.81
CPU user time (s): 4679.23
CPU system time (s): 15.5826
CPU usage (%): 161.076
Max. virtual memory (cumulated for all children) (KiB): 6099980
Max. memory (cumulated for all children) (KiB): 6051496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4679.23
system time used= 15.5826
maximum resident set size= 6053404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2607484
page faults= 0
swaps= 0
block input operations= 88
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1246
involuntary context switches= 108283


# summary of solver processes directly reported to runsolver:
#   pid: 117739,117921
#   total CPU time (s): 4694.81
#   total CPU user time (s): 4679.23
#   total CPU system time (s): 15.5826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81018 second user time and 7.99375 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-11 13:10:07
IDJOB=4527339
IDBENCH=147546
IDSOLVER=3384
FILE ID=nodeC019/4527339-1752232206
RUNJOBID= nodeC019-1752232205-117682
SLURM_JOB_ID= 9682530
Free space on /tmp= 431508 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.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-4527339-1752232206/watcher-4527339-1752232206 -o /tmp/evaluation-result-4527339-1752232206/solver-4527339-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752232205-117682 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527339-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=1187949666

nodeC019 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.677
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.37
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.685
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.37
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		: 3597.928
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127688088 kB
MemAvailable:   129759576 kB
Buffers:             904 kB
Cached:          2871536 kB
SwapCached:          568 kB
Active:           267004 kB
Inactive:        2709652 kB
Active(anon):      93812 kB
Inactive(anon):    27364 kB
Active(file):     173192 kB
Inactive(file):  2682288 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            180140 kB
Writeback:             8 kB
AnonPages:        106904 kB
Mapped:           111996 kB
Shmem:             16960 kB
KReclaimable:     110496 kB
Slab:             202680 kB
SReclaimable:     110496 kB
SUnreclaim:        92184 kB
KernelStack:        4192 kB
PageTables:         3200 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     415520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431300 MiB
End job on nodeC019 at 2025-07-11 13:58:42