Trace number 4542532

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 S1UNSAT 2763.31 2492.58

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
MD5SUMa8e56f9e5ad0cb5cee4856e95cb4d672
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1193.42
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2235696
Total number of constraints106882
Number of constraints which are clauses54005
Number of constraints which are cardinality constraints (but not clauses)48506
Number of constraints which are nor clauses,nor cardinality constraints4371
Minimum length of a constraint44
Maximum length of a constraint49
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 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1003.74/728.38	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1003.74/728.38	c numVar: 2235696
1003.74/728.38	c numCon: 106882
1003.74/728.38	c numEqual: 0
1003.74/728.38	c intSize: 6
1003.74/728.38	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1003.74/728.38	c ------------------- Paras list -------------------
1003.74/728.38	c Name                	 Type      	 Now       	 Default   	 Comment
1003.74/728.38	c timeout             	 double    	 3600.000000	 3600      	 
1003.74/728.38	c mip_time            	 double    	 0.200000  	 0.5       	 
1003.74/728.38	c ls_time             	 double    	 10.000000 	 10        	 
1003.74/728.38	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1003.74/728.38	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1003.74/728.38	c random_seed         	 int       	 0         	 0         	 
1003.74/728.38	c sample_size         	 int       	 50        	 50        	 
1003.74/728.38	c sub_score           	 int       	 1         	 1         	 
1003.74/728.38	c tabu_base           	 int       	 3         	 3         	 
1003.74/728.38	c tabu_variation      	 int       	 1         	 1         	 
1003.74/728.38	c sub_div             	 int       	 4         	 4         	 
1003.74/728.38	c nbcore              	 int       	 2         	 1         	 
1003.74/728.38	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1003.74/728.38	c print_sol           	 int       	 1         	 1         	 
1003.74/728.38	c tmpdir              	 string		 .         	 "."       	 
1003.74/728.38	c home                	 string		 HOME	 "."       	 
1003.74/728.38	c benchname           	 string		 HOME/instance-4542532-1753221083.opb	 ""        	 
1003.74/728.38	c --------------------------------------------------
1003.74/728.38	c Local Search solver
1003.74/728.38	c MIP solver
1003.74/728.38	c use Exact solver
1003.83/2491.55	c Exact infeasible
2763.12/2492.47	s UNSATISFIABLE
2763.12/2492.47	c Total time: 2492

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 (46741 MiB free)
  memory of node 1: 64465 MiB (15319 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=181908, runsolver pid=181905

[startup+0.100063 s]*
/proc/loadavg: 5.42 6.06 5.67 5/254 181909
/proc/meminfo: memFree=63510120/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=97684 memory=54924 CPUtime=0.09 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 11724 0 0 0 7 2 0 0 20 0 1 0 237787867 100028416 13731 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 24421 13731 1152 6655 0 14656 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97684 KiB
Current children cumulated memory: 54924 KiB

[startup+0.207502 s]*
/proc/loadavg: 5.42 6.06 5.67 6/254 181909
/proc/meminfo: memFree=63494260/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=114844 memory=72076 CPUtime=0.19 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 16014 0 0 0 16 3 0 0 20 0 1 0 237787867 117600256 18019 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 28711 18019 1152 6655 0 18946 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 114844 KiB
Current children cumulated memory: 72076 KiB

[startup+0.3064 s]*
/proc/loadavg: 5.42 6.06 5.67 5/254 181909
/proc/meminfo: memFree=63477884/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=130816 memory=87948 CPUtime=0.29 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 19995 0 0 0 25 4 0 0 20 0 1 0 237787867 133955584 21987 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 32704 21987 1152 6655 0 22939 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 130816 KiB
Current children cumulated memory: 87948 KiB

[startup+0.7002 s]
/proc/loadavg: 5.42 6.06 5.67 5/254 181909
/proc/meminfo: memFree=63445628/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=341400 memory=225468 CPUtime=0.68 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 36472 0 0 0 56 12 0 0 20 0 1 0 237787867 349593600 56367 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 85350 56367 1152 6655 0 75585 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 341400 KiB
Current children cumulated memory: 225468 KiB

[startup+1.50034 s]
/proc/loadavg: 5.42 6.06 5.67 5/254 181909
/proc/meminfo: memFree=62953324/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=916080 memory=881496 CPUtime=1.47 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 130471 0 0 0 108 39 0 0 20 0 1 0 237787867 938065920 220374 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 229020 220374 1152 6655 0 219255 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 916080 KiB
Current children cumulated memory: 881496 KiB

[startup+3.11363 s]
/proc/loadavg: 5.30 6.03 5.66 5/254 181909
/proc/meminfo: memFree=62055828/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=1551496 memory=1501636 CPUtime=3.08 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 267516 0 0 0 243 65 0 0 20 0 1 0 237787867 1588731904 375409 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 387874 375409 1152 6655 0 378109 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1551496 KiB
Current children cumulated memory: 1501636 KiB

[startup+6.30034 s]
/proc/loadavg: 5.30 6.03 5.66 5/254 181909
/proc/meminfo: memFree=62055828/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=1551496 memory=1501636 CPUtime=6.26 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 267717 0 0 0 560 66 0 0 20 0 1 0 237787867 1588731904 375409 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 387874 375409 1152 6655 0 378109 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1551496 KiB
Current children cumulated memory: 1501636 KiB

[startup+12.7003 s]
/proc/loadavg: 5.10 5.96 5.65 5/254 181909
/proc/meminfo: memFree=61170068/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=2825276 memory=2639356 CPUtime=12.63 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 360791 0 0 0 1166 97 0 0 20 0 2 0 237787867 2893082624 659839 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 706319 659839 2656 6655 0 680202 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2825276 KiB
Current children cumulated memory: 2639356 KiB

[startup+25.5004 s]
/proc/loadavg: 4.93 5.90 5.63 5/255 181910
/proc/meminfo: memFree=59652184/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=4349500 memory=3675656 CPUtime=25.4 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 460888 0 0 0 2381 159 0 0 20 0 2 0 237787867 4453888000 918914 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 1087375 918914 2880 6655 0 1061258 0
[pid=181908/tid=181910] ppid=181905 vsize=4349500 memory=4218792 CPUtime=0 cores=4,6
/proc/181908/task/181910/stat : 181910 (LSIPExact) S 181905 181908 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237789076 4453888000 918914 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4349500 KiB
Current children cumulated memory: 3675656 KiB

[startup+51.1134 s]
/proc/loadavg: 4.61 5.74 5.58 5/255 181910
/proc/meminfo: memFree=59038128/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=5356092 memory=4448384 CPUtime=50.95 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 509425 0 0 0 4902 193 0 0 20 0 2 0 237787867 5484638208 1112096 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 1339023 1112096 2912 6655 0 1312906 0
[pid=181908/tid=181910] ppid=181905 vsize=5356092 memory=4448384 CPUtime=0 cores=4,6
/proc/181908/task/181910/stat : 181910 (LSIPExact) S 181905 181908 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237789076 5484638208 1112096 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 5356092 KiB
Current children cumulated memory: 4448384 KiB

[startup+102.3 s]
/proc/loadavg: 4.34 5.48 5.50 5/254 181912
/proc/meminfo: memFree=64691136/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=5374440 memory=4469040 CPUtime=102 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 518209 0 0 0 10002 198 0 0 20 0 2 0 237787867 5503426560 1117260 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 1343610 1117260 2912 6655 0 1317493 0
[pid=181908/tid=181910] ppid=181905 vsize=5374440 memory=4468912 CPUtime=0 cores=4,6
/proc/181908/task/181910/stat : 181910 (LSIPExact) S 181905 181908 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237789076 5503426560 1117260 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 5374440 KiB
Current children cumulated memory: 4469040 KiB

[startup+162.3 s]
/proc/loadavg: 4.52 5.33 5.44 5/254 182005
/proc/meminfo: memFree=67972380/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=5393052 memory=4489872 CPUtime=161.85 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 526652 0 0 0 15983 202 0 0 20 0 2 0 237787867 5522485248 1122468 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 1348263 1122468 2912 6655 0 1322146 0
[pid=181908/tid=181910] ppid=181905 vsize=5393052 memory=4480144 CPUtime=0 cores=4,6
/proc/181908/task/181910/stat : 181910 (LSIPExact) S 181905 181908 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237789076 5522485248 1122468 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 5393052 KiB
Current children cumulated memory: 4489872 KiB

[startup+222.3 s]
/proc/loadavg: 4.70 5.21 5.39 6/253 182007
/proc/meminfo: memFree=66919148/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=5408496 memory=4505360 CPUtime=221.7 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 533163 0 0 0 21965 205 0 0 20 0 2 0 237787867 5538299904 1126340 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 1352124 1126340 2912 6655 0 1326007 0
[pid=181908/tid=181910] ppid=181905 vsize=5408496 memory=4491024 CPUtime=0 cores=4,6
/proc/181908/task/181910/stat : 181910 (LSIPExact) S 181905 181908 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237789076 5538299904 1126340 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 5408496 KiB
Current children cumulated memory: 4505360 KiB

[startup+282.3 s]
/proc/loadavg: 4.94 5.18 5.37 6/253 182009
/proc/meminfo: memFree=66764212/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=5421960 memory=4518800 CPUtime=281.54 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 539209 0 0 0 27948 206 0 0 20 0 2 0 237787867 5552087040 1129700 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 1355490 1129700 2912 6655 0 1329373 0
[pid=181908/tid=181910] ppid=181905 vsize=5421960 memory=4518672 CPUtime=0 cores=4,6
/proc/181908/task/181910/stat : 181910 (LSIPExact) S 181905 181908 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237789076 5552087040 1129700 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 5421960 KiB
Current children cumulated memory: 4518800 KiB

[startup+342.3 s]
/proc/loadavg: 5.30 5.23 5.37 7/253 182056
/proc/meminfo: memFree=73464120/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=5434236 memory=4531088 CPUtime=341.4 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 547310 0 0 0 33931 209 0 0 20 0 2 0 237787867 5564657664 1132772 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 1358559 1132772 2912 6655 0 1332442 0
[pid=181908/tid=181910] ppid=181905 vsize=5434236 memory=4521360 CPUtime=0 cores=4,6
/proc/181908/task/181910/stat : 181910 (LSIPExact) S 181905 181908 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237789076 5564657664 1132772 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 5434236 KiB
Current children cumulated memory: 4531088 KiB

[startup+402.3 s]
/proc/loadavg: 5.51 5.32 5.40 6/253 182106
/proc/meminfo: memFree=73242668/131382116 swapFree=33005528/33010684

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

/proc/182195/statm: 4041537 3546997 1120 1011 0 4040304 0
Current children cumulated CPU time: 2533.57 s
Current children cumulated vsize: 25269480 KiB
Current children cumulated memory: 21857848 KiB

[startup+2322.3 s]
/proc/loadavg: 6.11 5.99 5.82 7/256 184198
/proc/meminfo: memFree=53673720/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=16186512 memory=14241120 CPUtime=1589.59 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1833248 0 0 0 158279 680 0 0 20 0 1 0 237860705 16574988288 3560280 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 4046628 3560280 1120 1011 0 4045395 0
Current children cumulated CPU time: 2593.42 s
Current children cumulated vsize: 25289844 KiB
Current children cumulated memory: 21910980 KiB

[startup+2382.3 s]
/proc/loadavg: 6.10 6.01 5.84 7/255 184200
/proc/meminfo: memFree=53928892/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=16229340 memory=14288044 CPUtime=1649.46 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1844690 0 0 0 164238 708 0 0 20 0 1 0 237860705 16618844160 3572011 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 4057335 3572011 1120 1011 0 4056102 0
Current children cumulated CPU time: 2653.29 s
Current children cumulated vsize: 25332672 KiB
Current children cumulated memory: 21957904 KiB

[startup+2442.3 s]
/proc/loadavg: 6.08 6.02 5.86 7/255 184202
/proc/meminfo: memFree=53699708/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=16261732 memory=14320436 CPUtime=1709.31 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1848852 0 0 0 170219 712 0 0 20 0 1 0 237860705 16652013568 3580109 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 4065433 3580109 1120 1011 0 4064200 0
Current children cumulated CPU time: 2713.14 s
Current children cumulated vsize: 25365064 KiB
Current children cumulated memory: 21990296 KiB

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

# cumulated CPU time of all completed processes:  user=2749.88 s, system=13.4306 s

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

[startup+2457.6 s]
/proc/loadavg: 6.06 6.02 5.86 7/255 184203
/proc/meminfo: memFree=53685084/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=16274600 memory=14333304 CPUtime=1724.56 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1850569 0 0 0 171744 712 0 0 20 0 1 0 237860705 16665190400 3583326 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 4068650 3583326 1120 1011 0 4067417 0
Current children cumulated CPU time: 2728.39 s
Current children cumulated vsize: 25377932 KiB
Current children cumulated memory: 22003164 KiB

[startup+2470.4 s]
/proc/loadavg: 6.05 6.02 5.86 7/255 184203
/proc/meminfo: memFree=53702424/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=16289020 memory=14347724 CPUtime=1737.34 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1851703 0 0 0 173019 715 0 0 20 0 1 0 237860705 16679956480 3586931 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 4072255 3586931 1120 1011 0 4071022 0
Current children cumulated CPU time: 2741.17 s
Current children cumulated vsize: 25392352 KiB
Current children cumulated memory: 22017584 KiB

[startup+2483.2 s]
/proc/loadavg: 6.12 6.03 5.87 7/255 184204
/proc/meminfo: memFree=53570104/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=16289020 memory=14347724 CPUtime=1750.11 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1852886 0 0 0 174296 715 0 0 20 0 1 0 237860705 16679956480 3586931 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 4072255 3586931 1120 1011 0 4071022 0
Current children cumulated CPU time: 2753.94 s
Current children cumulated vsize: 25392352 KiB
Current children cumulated memory: 22017584 KiB

[startup+2486.4 s]
/proc/loadavg: 6.12 6.03 5.87 7/255 184204
/proc/meminfo: memFree=57574936/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=10257124 memory=10104076 CPUtime=1753.3 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1853919 0 0 0 174614 716 0 0 20 0 1 0 237860705 10503294976 2526019 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 2564281 2526019 1120 1011 0 2563048 0
Current children cumulated CPU time: 2757.13 s
Current children cumulated vsize: 19360456 KiB
Current children cumulated memory: 17773936 KiB

[startup+2489.6 s]
/proc/loadavg: 6.11 6.03 5.87 7/255 184204
/proc/meminfo: memFree=58593376/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=9464360 memory=9311312 CPUtime=1756.49 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1857692 0 0 0 174933 716 0 0 20 0 1 0 237860705 9691504640 2327828 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 2366090 2327828 1120 1011 0 2364857 0
Current children cumulated CPU time: 2760.32 s
Current children cumulated vsize: 18567692 KiB
Current children cumulated memory: 16981172 KiB

[startup+2491.2 s]
/proc/loadavg: 6.11 6.03 5.87 7/255 184204
/proc/meminfo: memFree=58593376/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=9103332 memory=7669860 CPUtime=1003.83 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) S 181905 181908 181591 0 -1 4194304 1554362 0 0 0 99808 575 0 0 20 0 1 0 237787867 9321811968 1917465 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2275833 1917465 3456 6655 0 2209775 0
[pid=182195] ppid=181908 vsize=9464360 memory=9311312 CPUtime=1758.08 cores=4,6
/proc/182195/stat : 182195 (Exact) R 181908 182195 182195 0 -1 4194304 1857699 0 0 0 175092 716 0 0 20 0 1 0 237860705 9691504640 2327828 18446744073709551615 4198400 8335837 140732964076384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44335104 140732964083897 140732964084251 140732964084251 140732964089807 0
/proc/182195/statm: 2366090 2327828 1120 1011 0 2364857 0
Current children cumulated CPU time: 2761.91 s
Current children cumulated vsize: 18567692 KiB
Current children cumulated memory: 16981172 KiB

[startup+2492 s]*
/proc/loadavg: 6.11 6.03 5.87 7/254 184204
/proc/meminfo: memFree=68152716/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=8876260 memory=7442784 CPUtime=2762.73 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 1683186 1858337 0 0 99845 583 175104 741 20 0 1 0 237787867 9089290240 1860696 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2219065 1860696 3456 6655 0 2153007 0
Current children cumulated CPU time: 2762.73 s
Current children cumulated vsize: 8876260 KiB
Current children cumulated memory: 7442784 KiB

[startup+2492.4 s]
/proc/loadavg: 6.11 6.03 5.87 7/254 184204
/proc/meminfo: memFree=68152716/131382116 swapFree=33005528/33010684
[pid=181908] ppid=181905 vsize=8668816 memory=7250296 CPUtime=2763.12 cores=4,6
/proc/181908/stat : 181908 (LSIPExact) R 181905 181908 181591 0 -1 4194304 1780187 1858337 0 0 99878 589 175104 741 20 0 1 0 237787867 8876867584 1812574 18446744073709551615 94900749152256 94900776408657 140722918358768 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94900784911496 94900785343104 94900815212544 140722918365528 140722918365704 140722918365704 140722918371308 0
/proc/181908/statm: 2167204 1812574 3456 6655 0 2101146 0
Current children cumulated CPU time: 2763.12 s
Current children cumulated vsize: 8668816 KiB
Current children cumulated memory: 7250296 KiB

[startup+2492.5 s]*
/proc/loadavg: 6.10 6.03 5.87 7/254 184204
/proc/meminfo: memFree=69026716/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 2492.58
CPU time (s): 2763.31
CPU user time (s): 2749.88
CPU system time (s): 13.4306
CPU usage (%): 110.862
Max. virtual memory (cumulated for all children) (KiB): 27749216
Max. memory (cumulated for all children) (KiB): 24001708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2749.88
system time used= 13.4306
maximum resident set size= 16501832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3673416
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= 302
involuntary context switches= 6892


# summary of solver processes directly reported to runsolver:
#   pid: 181908
#   total CPU time (s): 2763.31
#   total CPU user time (s): 2749.88
#   total CPU system time (s): 13.4306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0092 second user time and 23.6569 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-22 23:51:24
IDJOB=4542532
IDBENCH=163934
IDSOLVER=3336
FILE ID=nodeC010/4542532-1753221083
RUNJOBID= nodeC010-1753219980-181602
SLURM_JOB_ID= 9687804
Free space on /tmp= 432408 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542532-1753221083/watcher-4542532-1753221083 -o /tmp/evaluation-result-4542532-1753221083/solver-4542532-1753221083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753219980-181602 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4542532-1753221083.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= a8e56f9e5ad0cb5cee4856e95cb4d672
RANDOM SEED=1402248629

nodeC010 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		: 3561.189
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.36
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		: 3591.465
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.36
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.268
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.36
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.36
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.36
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		: 3491.648
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.36
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		: 2394.312
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.36
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		: 1197.412
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        63550140 kB
MemAvailable:   87929616 kB
Buffers:             228 kB
Cached:         25143732 kB
SwapCached:         4300 kB
Active:         42776560 kB
Inactive:       24307236 kB
Active(anon):   41912956 kB
Inactive(anon):    48712 kB
Active(file):     863604 kB
Inactive(file): 24258524 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             99268 kB
Writeback:             4 kB
AnonPages:      41919648 kB
Mapped:           152176 kB
Shmem:             21832 kB
KReclaimable:     193952 kB
Slab:             285276 kB
SReclaimable:     193952 kB
SUnreclaim:        91324 kB
KernelStack:        4096 kB
PageTables:        86168 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   46332200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21520384 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432392 MiB
End job on nodeC010 at 2025-07-23 00:32:57