Trace number 4526892

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 NameAnswerCPU timeWall clock time
LSIPExact S1? (TO) 3600.46 2906.84

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
MD5SUMd1359993160bf2f1506844981afa3acf
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark27.7832
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3750
Total number of constraints467625
Number of constraints which are clauses466875
Number of constraints which are cardinality constraints (but not clauses)750
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1426.62/727.01	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1426.62/727.01	c numVar: 3750
1426.62/727.01	c numCon: 467625
1426.62/727.01	c numEqual: 750
1426.62/727.01	c intSize: 3
1426.62/727.01	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1426.62/727.01	c ------------------- Paras list -------------------
1426.62/727.01	c Name                	 Type      	 Now       	 Default   	 Comment
1426.62/727.01	c timeout             	 double    	 3600.000000	 3600      	 
1426.62/727.01	c mip_time            	 double    	 0.200000  	 0.5       	 
1426.62/727.01	c ls_time             	 double    	 10.000000 	 10        	 
1426.62/727.01	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1426.62/727.01	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1426.62/727.01	c random_seed         	 int       	 0         	 0         	 
1426.62/727.01	c sample_size         	 int       	 50        	 50        	 
1426.62/727.01	c sub_score           	 int       	 1         	 1         	 
1426.62/727.01	c tabu_base           	 int       	 3         	 3         	 
1426.62/727.01	c tabu_variation      	 int       	 1         	 1         	 
1426.62/727.01	c sub_div             	 int       	 4         	 4         	 
1426.62/727.01	c nbcore              	 int       	 2         	 1         	 
1426.62/727.01	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1426.62/727.01	c print_sol           	 int       	 1         	 1         	 
1426.62/727.01	c tmpdir              	 string		 .         	 "."       	 
1426.62/727.01	c home                	 string		 HOME	 "."       	 
1426.62/727.01	c benchname           	 string		 HOME/instance-4526892-1752232259.opb	 ""        	 
1426.62/727.01	c --------------------------------------------------
1426.62/727.01	c Local Search solver
1426.62/727.01	c MIP solver
1426.62/727.01	c use Exact solver
3600.01/2906.40	c receive signal 15, try to interrupt solver...
3600.01/2906.41	c Exact solver (PID 117643) interrupted gracefully.
3600.40/2906.81	s UNKNOWN
3600.40/2906.81	c Total time: 2907

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100061 s]*
/proc/loadavg: 3.08 0.90 0.36 5/264 117522
/proc/meminfo: memFree=128330548/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=164712 memory=121800 CPUtime=0.08 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 22854 0 0 0 5 3 0 0 20 0 1 0 138903764 168665088 30450 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 41178 30450 1120 6655 0 31413 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 164712 KiB
Current children cumulated memory: 121800 KiB

[startup+0.205624 s]*
/proc/loadavg: 3.23 0.97 0.39 6/264 117522
/proc/meminfo: memFree=128295076/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=197048 memory=162464 CPUtime=0.19 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 29410 0 0 0 14 5 0 0 20 0 1 0 138903764 201777152 40616 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 49262 40616 1152 6655 0 39497 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 197048 KiB
Current children cumulated memory: 162464 KiB

[startup+0.305478 s]*
/proc/loadavg: 3.23 0.97 0.39 5/264 117522
/proc/meminfo: memFree=128270884/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=216716 memory=182176 CPUtime=0.29 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 34329 0 0 0 23 6 0 0 20 0 1 0 138903764 221917184 45544 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 54179 45544 1152 6655 0 44414 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 216716 KiB
Current children cumulated memory: 182176 KiB

[startup+0.70018 s]
/proc/loadavg: 3.23 0.97 0.39 5/264 117522
/proc/meminfo: memFree=128238628/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=282696 memory=248096 CPUtime=0.68 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 50804 0 0 0 59 9 0 0 20 0 1 0 138903764 289480704 62024 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 70674 62024 1152 6655 0 60909 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 248096 KiB

[startup+1.50018 s]
/proc/loadavg: 3.23 0.97 0.39 6/264 117550
/proc/meminfo: memFree=128166212/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=388776 memory=354208 CPUtime=1.48 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 77339 0 0 0 135 13 0 0 20 0 1 0 138903764 398106624 88552 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 97194 88552 1152 6655 0 87429 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 388776 KiB
Current children cumulated memory: 354208 KiB

[startup+3.10535 s]
/proc/loadavg: 3.23 0.97 0.39 6/268 117559
/proc/meminfo: memFree=128093952/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=388776 memory=354208 CPUtime=3.08 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 77359 0 0 0 295 13 0 0 20 0 1 0 138903764 398106624 88552 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 97194 88552 1152 6655 0 87429 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 388776 KiB
Current children cumulated memory: 354208 KiB

[startup+6.30018 s]
/proc/loadavg: 3.37 1.03 0.41 6/268 117560
/proc/meminfo: memFree=128090192/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=388776 memory=354208 CPUtime=6.27 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 77399 0 0 0 614 13 0 0 20 0 1 0 138903764 398106624 88552 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 97194 88552 1152 6655 0 87429 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 388776 KiB
Current children cumulated memory: 354208 KiB

[startup+12.7002 s]
/proc/loadavg: 3.58 1.12 0.44 6/266 117572
/proc/meminfo: memFree=127566792/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1010552 memory=896208 CPUtime=12.64 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 141964 0 0 0 1235 29 0 0 20 0 2 0 138903764 1034805248 224052 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 252638 224052 2816 6655 0 226521 0
[pid=117521/tid=117563] ppid=117518 vsize=1010552 memory=718912 CPUtime=0 cores=1,3
/proc/117521/task/117563/stat : 117563 (LSIPExact) S 117518 117521 117068 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 138904839 1034805248 224052 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1010552 KiB
Current children cumulated memory: 896208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 1.29 0.51 9/271 117610
/proc/meminfo: memFree=126942024/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1523104 memory=1352552 CPUtime=33.44 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 230756 0 0 0 3291 53 0 0 20 0 2 0 138903764 1559658496 338138 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 380776 338138 3296 6655 0 360820 0
[pid=117521/tid=117563] ppid=117518 vsize=1523104 memory=16432 CPUtime=8.03 cores=1,3
/proc/117521/task/117563/stat : 117563 (LSIPExact) R 117518 117521 117068 0 -1 4194368 26174 0 0 0 797 6 0 0 20 0 2 0 138904839 1559658496 338138 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
Current children cumulated CPU time: 33.44 s
Current children cumulated vsize: 1523104 KiB
Current children cumulated memory: 1352552 KiB

[startup+51.1057 s]
/proc/loadavg: 5.66 1.95 0.75 9/271 117610
/proc/meminfo: memFree=126486952/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1962728 memory=1757724 CPUtime=84.14 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 287785 0 0 0 8348 66 0 0 20 0 2 0 138903764 2009833472 439431 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 490682 439431 3328 6655 0 473863 0
[pid=117521/tid=117563] ppid=117518 vsize=1962728 memory=16432 CPUtime=33.25 cores=1,3
/proc/117521/task/117563/stat : 117563 (LSIPExact) R 117518 117521 117068 0 -1 4194368 37655 0 0 0 3313 12 0 0 20 0 2 0 138904839 2009833472 439431 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
Current children cumulated CPU time: 84.14 s
Current children cumulated vsize: 1962728 KiB
Current children cumulated memory: 1757724 KiB

[startup+102.3 s]
/proc/loadavg: 7.03 2.90 1.14 9/271 117612
/proc/meminfo: memFree=126449068/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1931672 memory=1737720 CPUtime=185.8 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 373276 0 0 0 18499 81 0 0 20 0 2 0 138903764 1978032128 434430 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 482918 434430 3328 6655 0 466269 0
[pid=117521/tid=117563] ppid=117518 vsize=1931672 memory=20224 CPUtime=83.92 cores=1,3
/proc/117521/task/117563/stat : 117563 (LSIPExact) R 117518 117521 117068 0 -1 4194368 48305 0 0 0 8378 14 0 0 20 0 2 0 138904839 1978032128 434430 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
Current children cumulated CPU time: 185.8 s
Current children cumulated vsize: 1931672 KiB
Current children cumulated memory: 1737720 KiB

[startup+162.3 s]
/proc/loadavg: 7.75 3.86 1.58 9/270 117614
/proc/meminfo: memFree=126425756/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1960900 memory=1764308 CPUtime=304.97 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 439586 0 0 0 30410 87 0 0 20 0 2 0 138903764 2007961600 441077 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 490225 441077 3328 6655 0 473581 0
[pid=117521/tid=117563] ppid=117518 vsize=1960900 memory=1759616 CPUtime=143.33 cores=1,3
/proc/117521/task/117563/stat : 117563 (LSIPExact) R 117518 117521 117068 0 -1 4194368 61883 0 0 0 14317 16 0 0 20 0 2 0 138904839 2007961600 441077 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
Current children cumulated CPU time: 304.97 s
Current children cumulated vsize: 1960900 KiB
Current children cumulated memory: 1764308 KiB

[startup+222.3 s]
/proc/loadavg: 7.97 4.63 1.99 9/270 117616
/proc/meminfo: memFree=126193748/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=2179500 memory=1961828 CPUtime=424.11 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 494025 0 0 0 42312 99 0 0 20 0 2 0 138903764 2231808000 490457 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 544875 490457 3360 6655 0 528232 0
[pid=117521/tid=117563] ppid=117518 vsize=2179500 memory=1776800 CPUtime=202.71 cores=1,3
/proc/117521/task/117563/stat : 117563 (LSIPExact) R 117518 117521 117068 0 -1 4194368 68101 0 0 0 20255 16 0 0 20 0 2 0 138904839 2231808000 490457 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
Current children cumulated CPU time: 424.11 s
Current children cumulated vsize: 2179500 KiB
Current children cumulated memory: 1961828 KiB

[startup+282.3 s]
/proc/loadavg: 8.11 5.28 2.38 9/267 117618
/proc/meminfo: memFree=126010184/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=2376444 memory=2161656 CPUtime=543.27 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 558992 0 0 0 54210 117 0 0 20 0 2 0 138903764 2433478656 540414 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 594111 540414 3360 6655 0 577468 0
[pid=117521/tid=117563] ppid=117518 vsize=2376444 memory=1922188 CPUtime=262.12 cores=1,3
/proc/117521/task/117563/stat : 117563 (LSIPExact) R 117518 117521 117068 0 -1 4194368 73775 0 0 0 26195 17 0 0 20 0 2 0 138904839 2433478656 540414 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
Current children cumulated CPU time: 543.27 s
Current children cumulated vsize: 2376444 KiB
Current children cumulated memory: 2161656 KiB

[startup+342.3 s]
/proc/loadavg: 8.39 5.88 2.77 9/267 117621
/proc/meminfo: memFree=125965592/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=2438328 memory=2222680 CPUtime=662.44 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 578491 0 0 0 66123 121 0 0 20 0 2 0 138903764 2496847872 555670 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 609582 555670 3360 6655 0 592939 0
[pid=117521/tid=117563] ppid=117518 vsize=2438328 memory=1922188 CPUtime=321.52 cores=1,3
/proc/117521/task/117563/stat : 117563 (LSIPExact) R 117518 117521 117068 0 -1 4194368 78151 0 0 0 32134 18 0 0 20 0 2 0 138904839 2496847872 555670 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
Current children cumulated CPU time: 662.44 s
Current children cumulated vsize: 2438328 KiB
Current children cumulated memory: 2222680 KiB

[startup+402.3 s]

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

Current children cumulated memory: 2115824 KiB

[startup+2382.3 s]
/proc/loadavg: 5.09 5.12 5.17 6/267 118053
/proc/meminfo: memFree=125563148/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1560592 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390148 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390148 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=1650.74 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46044 0 0 0 165032 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3077.37 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2115824 KiB

[startup+2442.3 s]
/proc/loadavg: 5.07 5.11 5.16 6/268 118062
/proc/meminfo: memFree=125577708/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1560592 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390148 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390148 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=1710.59 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46047 0 0 0 171017 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3137.22 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2115824 KiB

[startup+2502.3 s]
/proc/loadavg: 5.08 5.11 5.15 6/268 118064
/proc/meminfo: memFree=125578660/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1560592 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390148 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390148 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=1770.44 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46092 0 0 0 177002 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3197.07 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2115824 KiB

[startup+2562.3 s]
/proc/loadavg: 4.63 4.99 5.11 5/268 118067
/proc/meminfo: memFree=125375944/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1560592 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390148 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390148 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=1830.29 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46140 0 0 0 182987 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3256.92 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2115824 KiB

[startup+2622.3 s]
/proc/loadavg: 4.33 4.84 5.05 5/268 118069
/proc/meminfo: memFree=125340004/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1560592 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390148 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390148 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=1890.14 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46185 0 0 0 188972 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3316.77 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2115824 KiB

[startup+2682.3 s]
/proc/loadavg: 4.33 4.73 5.00 6/269 118119
/proc/meminfo: memFree=125678744/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1560592 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390148 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390148 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=1949.98 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46233 0 0 0 194956 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3376.61 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2115824 KiB

[startup+2742.3 s]
/proc/loadavg: 4.71 4.77 5.00 5/267 118211
/proc/meminfo: memFree=125664104/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1562000 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390500 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390500 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=2009.79 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46278 0 0 0 200937 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3436.42 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117232 KiB

[startup+2802.3 s]
/proc/loadavg: 4.92 4.81 5.00 6/268 118214
/proc/meminfo: memFree=125572028/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1562000 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390500 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390500 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=2069.6 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46328 0 0 0 206918 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3496.23 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117232 KiB

[startup+2862.3 s]
/proc/loadavg: 5.02 4.87 5.00 6/268 118216
/proc/meminfo: memFree=125577748/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1562000 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390500 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390500 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=2129.42 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46373 0 0 0 212900 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3556.05 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2906.4 s]
/proc/loadavg: 5.13 4.92 5.01 6/268 118217
/proc/meminfo: memFree=125565884/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1611328 memory=1562000 CPUtime=1426.63 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) S 117518 117521 117068 0 -1 4194304 697710 0 0 0 142530 133 0 0 20 0 1 0 138903764 1649999872 390500 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 402832 390500 3360 6655 0 391814 0
[pid=117643] ppid=117521 vsize=592424 memory=555232 CPUtime=2173.38 cores=1,3
/proc/117643/stat : 117643 (Exact) R 117521 117643 117643 0 -1 4194304 46423 0 0 0 217296 42 0 0 20 0 1 0 138976466 606642176 138808 18446744073709551615 4198400 8335837 140723575316816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20422656 140723575322809 140723575323163 140723575323163 140723575328719 0
/proc/117643/statm: 148106 138808 1088 1011 0 146873 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.63 s, system=1.82529 s

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

[startup+2906.8 s]
/proc/loadavg: 5.13 4.92 5.01 6/268 118217
/proc/meminfo: memFree=125565884/131250000 swapFree=33010416/33010684
[pid=117521] ppid=117518 vsize=1600368 memory=1551036 CPUtime=3600.4 cores=1,3
/proc/117521/stat : 117521 (LSIPExact) R 117518 117521 117068 0 -1 4194304 758897 46587 0 0 142564 137 217297 42 20 0 1 0 138903764 1638776832 387759 18446744073709551615 94620539281408 94620566538577 140736166367280 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94620575040648 94620575472256 94620586926080 140736166369624 140736166369800 140736166369800 140736166375404 0
/proc/117521/statm: 400092 387759 3360 6655 0 389074 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 1600368 KiB
Current children cumulated memory: 1551036 KiB

Child status: 0

Real time (s): 2906.84
CPU time (s): 3600.46
CPU user time (s): 3598.63
CPU system time (s): 1.82529
CPU usage (%): 123.862
Max. virtual memory (cumulated for all children) (KiB): 2483560
Max. memory (cumulated for all children) (KiB): 2246536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.82529
maximum resident set size= 2250632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 814768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 407
involuntary context switches= 36649


# summary of solver processes directly reported to runsolver:
#   pid: 117521
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3598.63
#   total CPU system time (s): 1.82529

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18716 second user time and 12.636 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-11 13:10:59
IDJOB=4526892
IDBENCH=147892
IDSOLVER=3384
FILE ID=nodeC018/4526892-1752232259
RUNJOBID= nodeC018-1752232205-117088
SLURM_JOB_ID= 9682529
Free space on /tmp= 432424 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526892-1752232259/watcher-4526892-1752232259 -o /tmp/evaluation-result-4526892-1752232259/solver-4526892-1752232259 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752232205-117088 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4526892-1752232259.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1096931829

nodeC018 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		: 3550.740
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.66
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		: 3600.092
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.66
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		: 3603.759
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128447736 kB
MemAvailable:   129450048 kB
Buffers:            2128 kB
Cached:          1764240 kB
SwapCached:           32 kB
Active:           803448 kB
Inactive:        1285572 kB
Active(anon):     340408 kB
Inactive(anon):      288 kB
Active(file):     463040 kB
Inactive(file):  1285284 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            155116 kB
Writeback:             0 kB
AnonPages:        326044 kB
Mapped:           120720 kB
Shmem:             18044 kB
KReclaimable:     186056 kB
Slab:             278848 kB
SReclaimable:     186056 kB
SUnreclaim:        92792 kB
KernelStack:        4256 kB
PageTables:         3552 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     646464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432380 MiB
End job on nodeC018 at 2025-07-11 13:59:26