Trace number 4527409

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
LSIPExact S1? (TO) 3602.08 1863.24

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM05a4468103b1b74e5a90bd7e67aed0d9
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 benchmark-52
Best CPU time to get the best result obtained on this benchmark3585.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100081 s]*
/proc/loadavg: 0.46 0.17 0.11 3/242 113105
/proc/meminfo: memFree=129428040/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=73904 memory=39376 CPUtime=0.09 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 7795 0 0 0 6 3 0 0 20 0 1 0 138899384 75677696 9844 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 18476 9844 1184 6655 0 8711 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73904 KiB
Current children cumulated memory: 39376 KiB

[startup+0.214756 s]*
/proc/loadavg: 0.46 0.17 0.11 5/252 113122
/proc/meminfo: memFree=129403296/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=89480 memory=54992 CPUtime=0.21 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 11716 0 0 0 16 5 0 0 20 0 1 0 138899384 91627520 13748 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 22370 13748 1184 6655 0 12605 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 89480 KiB
Current children cumulated memory: 54992 KiB

[startup+0.313785 s]*
/proc/loadavg: 0.46 0.17 0.11 5/252 113122
/proc/meminfo: memFree=129403064/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=89480 memory=54992 CPUtime=0.3 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 11716 0 0 0 25 5 0 0 20 0 1 0 138899384 91627520 13748 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 22370 13748 1184 6655 0 12605 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89480 KiB
Current children cumulated memory: 54992 KiB

[startup+0.700317 s]
/proc/loadavg: 0.46 0.17 0.11 6/252 113122
/proc/meminfo: memFree=129402724/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=89480 memory=54992 CPUtime=0.68 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 11716 0 0 0 63 5 0 0 20 0 1 0 138899384 91627520 13748 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 22370 13748 1184 6655 0 12605 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89480 KiB
Current children cumulated memory: 54992 KiB

[startup+1.5003 s]
/proc/loadavg: 0.46 0.17 0.11 5/252 113122
/proc/meminfo: memFree=129402124/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=89480 memory=54992 CPUtime=1.47 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 11716 0 0 0 142 5 0 0 20 0 1 0 138899384 91627520 13748 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 22370 13748 1184 6655 0 12605 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89480 KiB
Current children cumulated memory: 54992 KiB

[startup+3.11285 s]
/proc/loadavg: 0.46 0.17 0.11 5/253 113124
/proc/meminfo: memFree=129402420/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=89480 memory=54992 CPUtime=3.08 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 11718 0 0 0 303 5 0 0 20 0 1 0 138899384 91627520 13748 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 22370 13748 1184 6655 0 12605 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89480 KiB
Current children cumulated memory: 54992 KiB

[startup+6.3003 s]
/proc/loadavg: 0.74 0.24 0.14 5/253 113124
/proc/meminfo: memFree=129402668/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=89480 memory=55120 CPUtime=6.26 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 11721 0 0 0 621 5 0 0 20 0 1 0 138899384 91627520 13780 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 22370 13780 1184 6655 0 12605 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89480 KiB
Current children cumulated memory: 55120 KiB

[startup+12.7002 s]
/proc/loadavg: 1.08 0.32 0.16 3/246 113141
/proc/meminfo: memFree=129294988/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=256252 memory=167792 CPUtime=13.28 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 39703 0 0 0 1316 12 0 0 20 0 2 0 138899384 262402048 41948 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 64063 41948 3424 6655 0 40858 0
[pid=113094/tid=113126] ppid=113091 vsize=256252 memory=143988 CPUtime=0.64 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 2569 0 0 0 64 0 0 0 20 0 2 0 138900400 262402048 41948 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 13.28 s
Current children cumulated vsize: 256252 KiB
Current children cumulated memory: 167792 KiB

[startup+25.5002 s]
/proc/loadavg: 2.09 0.58 0.25 3/242 113152
/proc/meminfo: memFree=129267696/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=266752 memory=177844 CPUtime=38.69 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 55591 0 0 0 3853 16 0 0 20 0 2 0 138899384 273154048 44461 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 66688 44461 3424 6655 0 43603 0
[pid=113094/tid=113126] ppid=113091 vsize=266752 memory=168048 CPUtime=13.31 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 5136 0 0 0 1330 1 0 0 20 0 2 0 138900400 273154048 44461 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 38.69 s
Current children cumulated vsize: 266752 KiB
Current children cumulated memory: 177844 KiB

[startup+51.1056 s]
/proc/loadavg: 3.04 0.92 0.37 4/243 113407
/proc/meminfo: memFree=129214172/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=340752 memory=267060 CPUtime=89.46 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 85314 0 0 0 8913 33 0 0 20 0 2 0 138899384 348930048 66765 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 85188 66765 3520 6655 0 69429 0
[pid=113094/tid=113126] ppid=113091 vsize=340752 memory=260856 CPUtime=38.62 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 14480 0 0 0 3852 10 0 0 20 0 2 0 138900400 348930048 66765 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 89.46 s
Current children cumulated vsize: 340752 KiB
Current children cumulated memory: 267060 KiB

[startup+102.3 s]
/proc/loadavg: 4.91 1.74 0.68 8/256 113768
/proc/meminfo: memFree=128962052/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=340752 memory=270644 CPUtime=190.91 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 130071 0 0 0 19033 58 0 0 20 0 2 0 138899384 348930048 67661 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 85188 67661 3520 6655 0 69429 0
[pid=113094/tid=113126] ppid=113091 vsize=340752 memory=270644 CPUtime=89.17 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 38175 0 0 0 8894 23 0 0 20 0 2 0 138900400 348930048 67661 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 190.91 s
Current children cumulated vsize: 340752 KiB
Current children cumulated memory: 270644 KiB

[startup+162.3 s]
/proc/loadavg: 6.86 2.86 1.13 9/257 113909
/proc/meminfo: memFree=128738848/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=340752 memory=274228 CPUtime=310 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 143774 0 0 0 30931 69 0 0 20 0 2 0 138899384 348930048 68557 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 85188 68557 3520 6655 0 69429 0
[pid=113094/tid=113126] ppid=113091 vsize=340752 memory=274228 CPUtime=148.74 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 43678 0 0 0 14844 30 0 0 20 0 2 0 138900400 348930048 68557 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 310 s
Current children cumulated vsize: 340752 KiB
Current children cumulated memory: 274228 KiB

[startup+222.3 s]
/proc/loadavg: 7.68 3.83 1.58 9/257 113911
/proc/meminfo: memFree=128684304/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=340752 memory=288060 CPUtime=429.22 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 162261 0 0 0 42850 72 0 0 20 0 2 0 138899384 348930048 72015 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 85188 72015 3520 6655 0 70839 0
[pid=113094/tid=113126] ppid=113091 vsize=340752 memory=16548 CPUtime=208.41 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 58186 0 0 0 20810 31 0 0 20 0 2 0 138900400 348930048 72015 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 429.22 s
Current children cumulated vsize: 340752 KiB
Current children cumulated memory: 288060 KiB

[startup+282.3 s]
/proc/loadavg: 7.94 4.60 1.99 9/257 113913
/proc/meminfo: memFree=128702152/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=340752 memory=288060 CPUtime=548.52 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 162265 0 0 0 54779 73 0 0 20 0 2 0 138899384 348930048 72015 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 85188 72015 3520 6655 0 70839 0
[pid=113094/tid=113126] ppid=113091 vsize=340752 memory=20608 CPUtime=267.86 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 58186 0 0 0 26754 32 0 0 20 0 2 0 138900400 348930048 72015 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 548.52 s
Current children cumulated vsize: 340752 KiB
Current children cumulated memory: 288060 KiB

[startup+342.3 s]
/proc/loadavg: 8.05 5.24 2.37 9/253 113915
/proc/meminfo: memFree=128654124/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=340752 memory=298124 CPUtime=667.81 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 164388 0 0 0 66707 74 0 0 20 0 2 0 138899384 348930048 74531 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 85188 74531 3520 6655 0 72819 0
[pid=113094/tid=113126] ppid=113091 vsize=340752 memory=290112 CPUtime=327.31 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 59786 0 0 0 32698 33 0 0 20 0 2 0 138900400 348930048 74531 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 667.81 s
Current children cumulated vsize: 340752 KiB
Current children cumulated memory: 298124 KiB


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

/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 61548 0 0 0 136593 55 0 0 20 0 2 0 138900400 351756288 75459 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 2728.58 s
Current children cumulated vsize: 343512 KiB
Current children cumulated memory: 301836 KiB

[startup+1482.3 s]
/proc/loadavg: 8.09 7.97 6.35 9/254 114198
/proc/meminfo: memFree=127670748/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=343512 memory=301836 CPUtime=2847.84 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 170246 0 0 0 284683 101 0 0 20 0 2 0 138899384 351756288 75459 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 85878 75459 3552 6655 0 73509 0
[pid=113094/tid=113126] ppid=113091 vsize=343512 memory=301836 CPUtime=1425.9 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 61550 0 0 0 142534 56 0 0 20 0 2 0 138900400 351756288 75459 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 2847.84 s
Current children cumulated vsize: 343512 KiB
Current children cumulated memory: 301836 KiB

[startup+1542.3 s]
/proc/loadavg: 8.07 8.00 6.46 9/254 114200
/proc/meminfo: memFree=127662184/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=343512 memory=301836 CPUtime=2967.03 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 170349 0 0 0 296602 101 0 0 20 0 2 0 138899384 351756288 75459 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 85878 75459 3552 6655 0 73509 0
[pid=113094/tid=113126] ppid=113091 vsize=343512 memory=301836 CPUtime=1485.28 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 61578 0 0 0 148472 56 0 0 20 0 2 0 138900400 351756288 75459 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 2967.03 s
Current children cumulated vsize: 343512 KiB
Current children cumulated memory: 301836 KiB

[startup+1602.3 s]
/proc/loadavg: 8.06 8.01 6.57 9/253 114202
/proc/meminfo: memFree=127601524/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=409048 memory=344496 CPUtime=3086.05 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 186520 0 0 0 308501 104 0 0 20 0 2 0 138899384 418865152 86124 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 102262 86124 3552 6655 0 84346 0
[pid=113094/tid=113126] ppid=113091 vsize=409048 memory=327472 CPUtime=1544.55 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 77671 0 0 0 154395 60 0 0 20 0 2 0 138900400 418865152 86124 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 3086.05 s
Current children cumulated vsize: 409048 KiB
Current children cumulated memory: 344496 KiB

[startup+1662.3 s]
/proc/loadavg: 8.06 8.02 6.66 9/253 114204
/proc/meminfo: memFree=127591972/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=409048 memory=377572 CPUtime=3205.26 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 196510 0 0 0 320419 107 0 0 20 0 2 0 138899384 418865152 94393 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 102262 94393 3552 6655 0 92474 0
[pid=113094/tid=113126] ppid=113091 vsize=409048 memory=327472 CPUtime=1603.92 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 87658 0 0 0 160330 62 0 0 20 0 2 0 138900400 418865152 94393 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 3205.26 s
Current children cumulated vsize: 409048 KiB
Current children cumulated memory: 377572 KiB

[startup+1722.3 s]
/proc/loadavg: 8.13 8.04 6.76 9/253 114205
/proc/meminfo: memFree=127671844/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=409048 memory=377700 CPUtime=3324.44 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 196882 0 0 0 332337 107 0 0 20 0 2 0 138899384 418865152 94425 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 102262 94425 3552 6655 0 92474 0
[pid=113094/tid=113126] ppid=113091 vsize=409048 memory=327472 CPUtime=1663.26 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 87966 0 0 0 166264 62 0 0 20 0 2 0 138900400 418865152 94425 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 3324.44 s
Current children cumulated vsize: 409048 KiB
Current children cumulated memory: 377700 KiB

[startup+1782.3 s]
/proc/loadavg: 8.10 8.05 6.85 9/253 114207
/proc/meminfo: memFree=127640084/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=412196 memory=380644 CPUtime=3443.48 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 198454 0 0 0 344240 108 0 0 20 0 2 0 138899384 422088704 95161 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 103049 95161 3552 6655 0 93261 0
[pid=113094/tid=113126] ppid=113091 vsize=412196 memory=16548 CPUtime=1722.55 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 88034 0 0 0 172192 63 0 0 20 0 2 0 138900400 422088704 95161 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 3443.48 s
Current children cumulated vsize: 412196 KiB
Current children cumulated memory: 380644 KiB

[startup+1842.3 s]
/proc/loadavg: 8.12 8.05 6.93 9/253 114209
/proc/meminfo: memFree=127609164/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=487432 memory=392284 CPUtime=3562.54 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 201054 0 0 0 356145 109 0 0 20 0 2 0 138899384 499130368 98071 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 121858 98071 3552 6655 0 96184 0
[pid=113094/tid=113126] ppid=113091 vsize=487432 memory=389980 CPUtime=1781.85 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 88691 0 0 0 178121 64 0 0 20 0 2 0 138900400 499130368 98071 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 3562.54 s
Current children cumulated vsize: 487432 KiB
Current children cumulated memory: 392284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1861.2 s]
/proc/loadavg: 8.08 8.05 6.95 9/254 114211
/proc/meminfo: memFree=127605148/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=487432 memory=392284 CPUtime=3600.05 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) R 113091 113094 113044 0 -1 4194304 201054 0 0 0 359895 110 0 0 20 0 2 0 138899384 499130368 98071 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 121858 98071 3552 6655 0 96184 0
[pid=113094/tid=113126] ppid=113091 vsize=487432 memory=461023 CPUtime=1800.65 cores=5,7
/proc/113094/task/113126/stat : 113126 (LSIPExact) R 113091 113094 113044 0 -1 4194368 88691 0 0 0 180001 64 0 0 20 0 2 0 138900400 499130368 98071 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 487432 KiB
Current children cumulated memory: 392284 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3600.9 s, system=1.17953 s

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

[startup+1862.4 s]
/proc/loadavg: 8.08 8.05 6.95 8/254 114213
/proc/meminfo: memFree=127590432/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=356360 memory=323172 CPUtime=3600.16 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) S 113091 113094 113044 0 -1 4194304 207274 227 0 0 359906 110 0 0 20 0 1 0 138899384 364912640 80793 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 89090 80793 3584 6655 0 79322 0
[pid=114213] ppid=113094 vsize=85396 memory=70776 CPUtime=1.06 cores=5,7
/proc/114213/stat : 114213 (Exact) R 113094 114213 114213 0 -1 4194304 13047 0 0 0 102 4 0 0 20 0 1 0 139085515 87445504 17694 18446744073709551615 4198400 8335837 140724293132352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43442176 140724293134514 140724293134875 140724293134875 140724293140431 0
/proc/114213/statm: 21349 17694 1120 1011 0 20116 0
Current children cumulated CPU time: 3601.22 s
Current children cumulated vsize: 441756 KiB
Current children cumulated memory: 393948 KiB

[startup+1862.8 s]
/proc/loadavg: 8.08 8.05 6.95 8/254 114213
/proc/meminfo: memFree=127590432/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=356360 memory=323172 CPUtime=3600.16 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) S 113091 113094 113044 0 -1 4194304 207274 227 0 0 359906 110 0 0 20 0 1 0 138899384 364912640 80793 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 89090 80793 3584 6655 0 79322 0
[pid=114213] ppid=113094 vsize=85396 memory=72828 CPUtime=1.46 cores=5,7
/proc/114213/stat : 114213 (Exact) R 113094 114213 114213 0 -1 4194304 13049 0 0 0 142 4 0 0 20 0 1 0 139085515 87445504 18207 18446744073709551615 4198400 8335837 140724293132352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43442176 140724293134514 140724293134875 140724293134875 140724293140431 0
/proc/114213/statm: 21349 18207 1120 1011 0 20116 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 441756 KiB
Current children cumulated memory: 396000 KiB

[startup+1863.2 s]
/proc/loadavg: 8.08 8.05 6.95 8/254 114213
/proc/meminfo: memFree=127590432/131382120 swapFree=33010416/33010684
[pid=113094] ppid=113091 vsize=356360 memory=323172 CPUtime=3600.16 cores=5,7
/proc/113094/stat : 113094 (LSIPExact) S 113091 113094 113044 0 -1 4194304 207274 227 0 0 359906 110 0 0 20 0 1 0 138899384 364912640 80793 18446744073709551615 94794260955136 94794288212305 140730599782416 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94794296714376 94794297145984 94794317783040 140730599790936 140730599791112 140730599791112 140730599796716 0
/proc/113094/statm: 89090 80793 3584 6655 0 79322 0
[pid=114213] ppid=113094 vsize=85396 memory=76928 CPUtime=1.86 cores=5,7
/proc/114213/stat : 114213 (Exact) R 113094 114213 114213 0 -1 4194304 13052 0 0 0 182 4 0 0 20 0 1 0 139085515 87445504 19232 18446744073709551615 4198400 8335837 140724293132352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43442176 140724293134514 140724293134875 140724293134875 140724293140431 0
/proc/114213/statm: 21349 19232 1120 1011 0 20116 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 441756 KiB
Current children cumulated memory: 400100 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1863.24
CPU time (s): 3602.08
CPU user time (s): 3600.9
CPU system time (s): 1.17953
CPU usage (%): 193.323
Max. virtual memory (cumulated for all children) (KiB): 487432
Max. memory (cumulated for all children) (KiB): 400100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.9
system time used= 1.17953
maximum resident set size= 392540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225600
page faults= 0
swaps= 0
block input operations= 4496
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 516
involuntary context switches= 129770


# summary of solver processes directly reported to runsolver:
#   pid: 113094
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3600.9
#   total CPU system time (s): 1.17953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.49106 second user time and 9.10911 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-11 13:10:06
IDJOB=4527409
IDBENCH=146672
IDSOLVER=3384
FILE ID=nodeC003/4527409-1752232205
RUNJOBID= nodeC003-1752232205-113065
SLURM_JOB_ID= 9682514
Free space on /tmp= 432032 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527409-1752232205/watcher-4527409-1752232205 -o /tmp/evaluation-result-4527409-1752232205/solver-4527409-1752232205 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752232205-113065 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527409-1752232205.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=417534739

nodeC003 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	: 0xb00001f
cpu MHz		: 1197.154
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.162
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.428
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.174
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129454484 kB
MemAvailable:   129933068 kB
Buffers:            2736 kB
Cached:          1272212 kB
SwapCached:           36 kB
Active:           566428 kB
Inactive:         776356 kB
Active(anon):      78156 kB
Inactive(anon):     7604 kB
Active(file):     488272 kB
Inactive(file):   768752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            181068 kB
Writeback:             4 kB
AnonPages:         70872 kB
Mapped:           105432 kB
Shmem:             17924 kB
KReclaimable:     122376 kB
Slab:             210196 kB
SReclaimable:     122376 kB
SUnreclaim:        87820 kB
KernelStack:        3824 kB
PageTables:         2800 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     332168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431844 MiB
End job on nodeC003 at 2025-07-11 13:41:10