Trace number 4542519

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 2736.42 2501.74

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
MD5SUMcca449fd552693742bf3f30208712226
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 benchmark1436.41
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2436672
Total number of constraints113788
Number of constraints which are clauses57482
Number of constraints which are cardinality constraints (but not clauses)51746
Number of constraints which are nor clauses,nor cardinality constraints4560
Minimum length of a constraint45
Maximum length of a constraint50
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 53
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 

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

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 (61954 MiB free)
  memory of node 1: 64507 MiB (33339 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=176825, runsolver pid=176822

[startup+0.100061 s]*
/proc/loadavg: 5.16 5.12 4.97 6/266 176826
/proc/meminfo: memFree=97525076/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=112104 memory=69180 CPUtime=0.08 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 15324 0 0 0 6 2 0 0 20 0 1 0 237358948 114794496 17295 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 28026 17295 1120 6655 0 18261 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 112104 KiB
Current children cumulated memory: 69180 KiB

[startup+0.205522 s]*
/proc/loadavg: 5.16 5.12 4.97 6/266 176826
/proc/meminfo: memFree=97493072/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=158040 memory=115004 CPUtime=0.19 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 26799 0 0 0 14 5 0 0 20 0 1 0 237358948 161832960 28751 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 39510 28751 1120 6655 0 29745 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 158040 KiB
Current children cumulated memory: 115004 KiB

[startup+0.305603 s]*
/proc/loadavg: 5.23 5.13 4.97 6/266 176826
/proc/meminfo: memFree=97444688/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=212568 memory=160188 CPUtime=0.29 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 38074 0 0 0 22 7 0 0 20 0 1 0 237358948 217669632 40047 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 53142 40047 1120 6655 0 43377 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 212568 KiB
Current children cumulated memory: 160188 KiB

[startup+0.700176 s]
/proc/loadavg: 5.23 5.13 4.97 6/266 176826
/proc/meminfo: memFree=96968252/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=823228 memory=788472 CPUtime=0.68 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 99067 0 0 0 45 23 0 0 20 0 1 0 237358948 842985472 197086 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 205807 197086 1120 6655 0 196042 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 823228 KiB
Current children cumulated memory: 788472 KiB

[startup+1.50017 s]
/proc/loadavg: 5.23 5.13 4.97 6/266 176826
/proc/meminfo: memFree=96556988/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=1387600 memory=1352264 CPUtime=1.47 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 227784 0 0 0 101 46 0 0 20 0 1 0 237358948 1420902400 338066 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 346900 338066 1120 6655 0 337135 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1387600 KiB
Current children cumulated memory: 1352264 KiB

[startup+3.1058 s]
/proc/loadavg: 5.23 5.13 4.97 6/266 176826
/proc/meminfo: memFree=95734780/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=1679896 memory=1632420 CPUtime=3.07 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 289896 0 0 0 250 57 0 0 20 0 1 0 237358948 1720213504 408105 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 419974 408105 1120 6655 0 410209 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1679896 KiB
Current children cumulated memory: 1632420 KiB

[startup+6.30018 s]
/proc/loadavg: 5.21 5.13 4.97 6/266 176826
/proc/meminfo: memFree=95693372/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=1679896 memory=1632420 CPUtime=6.25 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 290161 0 0 0 567 58 0 0 20 0 1 0 237358948 1720213504 408105 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 419974 408105 1120 6655 0 410209 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1679896 KiB
Current children cumulated memory: 1632420 KiB

[startup+12.7002 s]
/proc/loadavg: 5.11 5.11 4.97 5/267 176827
/proc/meminfo: memFree=94663940/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=3046544 memory=2864156 CPUtime=12.64 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 383846 0 0 0 1171 93 0 0 20 0 2 0 237358948 3119661056 716039 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 761636 716039 2656 6655 0 735519 0
[pid=176825/tid=176827] ppid=176822 vsize=3046544 memory=2436084 CPUtime=0 cores=4,6
/proc/176825/task/176827/stat : 176827 (LSIPExact) S 176822 176825 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237360130 3119661056 716039 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3046544 KiB
Current children cumulated memory: 2864156 KiB

[startup+25.5002 s]
/proc/loadavg: 5.02 5.09 4.96 6/267 176827
/proc/meminfo: memFree=90794652/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=4706400 memory=3998528 CPUtime=25.41 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 485948 0 0 0 2382 159 0 0 20 0 2 0 237358948 4819353600 999632 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 1176600 999632 2848 6655 0 1150483 0
[pid=176825/tid=176827] ppid=176822 vsize=4706400 memory=4595968 CPUtime=0 cores=4,6
/proc/176825/task/176827/stat : 176827 (LSIPExact) S 176822 176825 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237360130 4819353600 999632 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4706400 KiB
Current children cumulated memory: 3998528 KiB

[startup+51.1058 s]
/proc/loadavg: 5.06 5.10 4.97 6/267 176828
/proc/meminfo: memFree=90611132/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=5802256 memory=4839168 CPUtime=50.95 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 543696 0 0 0 4902 193 0 0 20 0 2 0 237358948 5941510144 1209792 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 1450564 1209792 2848 6655 0 1424447 0
[pid=176825/tid=176827] ppid=176822 vsize=5802256 memory=4839168 CPUtime=0 cores=4,6
/proc/176825/task/176827/stat : 176827 (LSIPExact) S 176822 176825 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237360130 5941510144 1209792 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 5802256 KiB
Current children cumulated memory: 4839168 KiB

[startup+102.3 s]
/proc/loadavg: 5.07 5.09 4.98 6/267 176829
/proc/meminfo: memFree=90488892/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=5817964 memory=4855168 CPUtime=102 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 553807 0 0 0 10005 195 0 0 20 0 2 0 237358948 5957595136 1213792 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 1454491 1213792 2848 6655 0 1428374 0
[pid=176825/tid=176827] ppid=176822 vsize=5817964 memory=4851712 CPUtime=0 cores=4,6
/proc/176825/task/176827/stat : 176827 (LSIPExact) S 176822 176825 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237360130 5957595136 1213792 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 5817964 KiB
Current children cumulated memory: 4855168 KiB

[startup+162.3 s]
/proc/loadavg: 5.09 5.09 4.99 6/267 176831
/proc/meminfo: memFree=89612172/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=5837500 memory=4875008 CPUtime=161.83 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 565633 0 0 0 15984 199 0 0 20 0 2 0 237358948 5977600000 1218752 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 1459375 1218752 2848 6655 0 1433258 0
[pid=176825/tid=176827] ppid=176822 vsize=5837500 memory=4874112 CPUtime=0 cores=4,6
/proc/176825/task/176827/stat : 176827 (LSIPExact) S 176822 176825 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237360130 5977600000 1218752 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 5837500 KiB
Current children cumulated memory: 4875008 KiB

[startup+222.3 s]
/proc/loadavg: 5.09 5.09 5.00 6/268 176834
/proc/meminfo: memFree=89312484/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=5854000 memory=4891776 CPUtime=221.67 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 575772 0 0 0 21965 202 0 0 20 0 2 0 237358948 5994496000 1222944 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 1463500 1222944 2848 6655 0 1437383 0
[pid=176825/tid=176827] ppid=176822 vsize=5854000 memory=5632 CPUtime=0 cores=4,6
/proc/176825/task/176827/stat : 176827 (LSIPExact) S 176822 176825 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237360130 5994496000 1222944 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 5854000 KiB
Current children cumulated memory: 4891776 KiB

[startup+282.3 s]
/proc/loadavg: 5.07 5.08 5.00 6/268 176836
/proc/meminfo: memFree=89852748/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=5868388 memory=4906368 CPUtime=281.51 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 585401 0 0 0 27946 205 0 0 20 0 2 0 237358948 6009229312 1226592 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 1467097 1226592 2848 6655 0 1440980 0
[pid=176825/tid=176827] ppid=176822 vsize=5868388 memory=28160 CPUtime=0 cores=4,6
/proc/176825/task/176827/stat : 176827 (LSIPExact) S 176822 176825 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237360130 6009229312 1226592 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 5868388 KiB
Current children cumulated memory: 4906368 KiB

[startup+342.3 s]
/proc/loadavg: 5.06 5.08 5.00 6/267 176839
/proc/meminfo: memFree=89313776/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=5881456 memory=4919680 CPUtime=341.36 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 590296 0 0 0 33929 207 0 0 20 0 2 0 237358948 6022610944 1229920 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 1470364 1229920 2848 6655 0 1444247 0
[pid=176825/tid=176827] ppid=176822 vsize=5881456 memory=28160 CPUtime=0 cores=4,6
/proc/176825/task/176827/stat : 176827 (LSIPExact) S 176822 176825 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237360130 6022610944 1229920 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 5881456 KiB
Current children cumulated memory: 4919680 KiB


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

/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=17899968 memory=16238844 CPUtime=1529.02 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2035415 0 0 0 152158 744 0 0 20 0 1 0 237431806 18329567232 4059711 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 4474992 4059711 1088 1011 0 4473759 0
Current children cumulated CPU time: 2497.61 s
Current children cumulated vsize: 28372916 KiB
Current children cumulated memory: 25128100 KiB

[startup+2322.3 s]
/proc/loadavg: 6.34 6.08 5.85 8/268 178679
/proc/meminfo: memFree=98522876/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10472948 memory=8889256 CPUtime=968.59 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) S 176822 176825 176007 0 -1 4194304 1671733 0 0 0 96266 593 0 0 20 0 1 0 237358948 10724298752 2222314 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=17925808 memory=16289260 CPUtime=1588.85 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2040448 0 0 0 158137 748 0 0 20 0 1 0 237431806 18356027392 4072315 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 4481452 4072315 1088 1011 0 4480219 0
Current children cumulated CPU time: 2557.44 s
Current children cumulated vsize: 28398756 KiB
Current children cumulated memory: 25178516 KiB

[startup+2382.3 s]
/proc/loadavg: 6.81 6.26 5.93 8/269 178682
/proc/meminfo: memFree=97728436/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10472948 memory=8889256 CPUtime=968.59 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) S 176822 176825 176007 0 -1 4194304 1671733 0 0 0 96266 593 0 0 20 0 1 0 237358948 10724298752 2222314 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=18526448 memory=16916524 CPUtime=1648.69 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2050970 0 0 0 164093 776 0 0 20 0 1 0 237431806 18971082752 4229131 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 4631612 4229131 1088 1011 0 4630379 0
Current children cumulated CPU time: 2617.28 s
Current children cumulated vsize: 28999396 KiB
Current children cumulated memory: 25805780 KiB

[startup+2442.3 s]
/proc/loadavg: 7.04 6.43 6.01 8/270 178697
/proc/meminfo: memFree=97865876/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10472948 memory=8889256 CPUtime=968.59 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) S 176822 176825 176007 0 -1 4194304 1671733 0 0 0 96266 593 0 0 20 0 1 0 237358948 10724298752 2222314 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=18004656 memory=16394732 CPUtime=1708.52 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2056902 0 0 0 170072 780 0 0 20 0 1 0 237431806 18436767744 4098683 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 4501164 4098683 1088 1011 0 4499931 0
Current children cumulated CPU time: 2677.11 s
Current children cumulated vsize: 28477604 KiB
Current children cumulated memory: 25283988 KiB

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

# cumulated CPU time of all completed processes:  user=2722.1 s, system=14.3116 s

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

[startup+2457.6 s]
/proc/loadavg: 7.03 6.46 6.02 8/270 178700
/proc/meminfo: memFree=97870848/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10472948 memory=8889256 CPUtime=968.59 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) S 176822 176825 176007 0 -1 4194304 1671733 0 0 0 96266 593 0 0 20 0 1 0 237358948 10724298752 2222314 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=18025624 memory=16415700 CPUtime=1723.78 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2059140 0 0 0 171598 780 0 0 20 0 1 0 237431806 18458238976 4103925 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 4506406 4103925 1088 1011 0 4505173 0
Current children cumulated CPU time: 2692.37 s
Current children cumulated vsize: 28498572 KiB
Current children cumulated memory: 25304956 KiB

[startup+2483.2 s]
/proc/loadavg: 7.10 6.52 6.06 8/269 178700
/proc/meminfo: memFree=97827548/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10472948 memory=8889256 CPUtime=968.59 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) S 176822 176825 176007 0 -1 4194304 1671733 0 0 0 96266 593 0 0 20 0 1 0 237358948 10724298752 2222314 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=18038908 memory=16428984 CPUtime=1749.31 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2061151 0 0 0 174149 782 0 0 20 0 1 0 237431806 18471841792 4107246 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 4509727 4107246 1088 1011 0 4508494 0
Current children cumulated CPU time: 2717.9 s
Current children cumulated vsize: 28511856 KiB
Current children cumulated memory: 25318240 KiB

[startup+2489.6 s]
/proc/loadavg: 7.09 6.53 6.06 8/269 178700
/proc/meminfo: memFree=97811172/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10472948 memory=8889256 CPUtime=968.59 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) S 176822 176825 176007 0 -1 4194304 1671733 0 0 0 96266 593 0 0 20 0 1 0 237358948 10724298752 2222314 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=18038908 memory=16428984 CPUtime=1755.69 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2062208 0 0 0 174787 782 0 0 20 0 1 0 237431806 18471841792 4107246 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 4509727 4107246 1088 1011 0 4508494 0
Current children cumulated CPU time: 2724.28 s
Current children cumulated vsize: 28511856 KiB
Current children cumulated memory: 25318240 KiB

[startup+2496 s]*
/proc/loadavg: 7.08 6.54 6.07 8/269 178700
/proc/meminfo: memFree=102503560/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10472948 memory=8889256 CPUtime=968.59 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) S 176822 176825 176007 0 -1 4194304 1671733 0 0 0 96266 593 0 0 20 0 1 0 237358948 10724298752 2222314 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=11934564 memory=11787544 CPUtime=1762.09 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2062715 0 0 0 175425 784 0 0 20 0 1 0 237431806 12220993536 2946886 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 2983641 2946886 1120 1011 0 2982408 0
Current children cumulated CPU time: 2730.68 s
Current children cumulated vsize: 22407512 KiB
Current children cumulated memory: 20676800 KiB

[startup+2499.2 s]
/proc/loadavg: 7.08 6.54 6.07 8/269 178700
/proc/meminfo: memFree=104121576/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10472948 memory=8889256 CPUtime=968.59 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) S 176822 176825 176007 0 -1 4194304 1671733 0 0 0 96266 593 0 0 20 0 1 0 237358948 10724298752 2222314 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2618237 2222314 3424 6655 0 2531054 0
[pid=176952] ppid=176825 vsize=10324700 memory=10177680 CPUtime=1765.27 cores=4,6
/proc/176952/stat : 176952 (Exact) R 176825 176952 176952 0 -1 4194304 2063873 0 0 0 175742 785 0 0 20 0 1 0 237431806 10572492800 2544420 18446744073709551615 4198400 8335837 140729575290144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 39841792 140729575299257 140729575299611 140729575299611 140729575305167 0
/proc/176952/statm: 2581175 2544420 1120 1011 0 2579942 0
Current children cumulated CPU time: 2733.86 s
Current children cumulated vsize: 20797648 KiB
Current children cumulated memory: 19066936 KiB

[startup+2500.8 s]
/proc/loadavg: 7.08 6.54 6.07 8/269 178700
/proc/meminfo: memFree=104121576/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10434868 memory=8851172 CPUtime=2735.46 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 1767847 2064012 0 0 96274 598 175863 811 20 0 1 0 237358948 10685304832 2212793 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2608717 2212793 3424 6655 0 2521534 0
Current children cumulated CPU time: 2735.46 s
Current children cumulated vsize: 10434868 KiB
Current children cumulated memory: 8851172 KiB

[startup+2501.2 s]
/proc/loadavg: 7.07 6.55 6.08 8/268 178700
/proc/meminfo: memFree=114484704/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=10225460 memory=8641764 CPUtime=2735.86 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 1807635 2064012 0 0 96312 600 175863 811 20 0 1 0 237358948 10470871040 2160441 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2556365 2160441 3424 6655 0 2469182 0
Current children cumulated CPU time: 2735.86 s
Current children cumulated vsize: 10225460 KiB
Current children cumulated memory: 8641764 KiB

[startup+2501.6 s]
/proc/loadavg: 7.07 6.55 6.08 8/268 178700
/proc/meminfo: memFree=114484704/131249996 swapFree=33010416/33010684
[pid=176825] ppid=176822 vsize=9992792 memory=8421536 CPUtime=2736.26 cores=4,6
/proc/176825/stat : 176825 (LSIPExact) R 176822 176825 176007 0 -1 4194304 1934360 2064012 0 0 96346 606 175863 811 20 0 1 0 237358948 10232619008 2105384 18446744073709551615 93850991325184 93851018582353 140737229573200 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93851027084424 93851027516032 93851032764416 140737229580632 140737229580808 140737229580808 140737229586412 0
/proc/176825/statm: 2498198 2105384 3424 6655 0 2411015 0
Current children cumulated CPU time: 2736.26 s
Current children cumulated vsize: 9992792 KiB
Current children cumulated memory: 8421536 KiB

[startup+2501.7 s]*
/proc/loadavg: 7.07 6.55 6.08 8/268 178701
/proc/meminfo: memFree=118169096/131249996 swapFree=33010416/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): 2501.74
CPU time (s): 2736.42
CPU user time (s): 2722.1
CPU system time (s): 14.3116
CPU usage (%): 109.38
Max. virtual memory (cumulated for all children) (KiB): 30566384
Max. memory (cumulated for all children) (KiB): 26612372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2722.1
system time used= 14.3116
maximum resident set size= 17954540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4014340
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= 315
involuntary context switches= 6027


# summary of solver processes directly reported to runsolver:
#   pid: 176825
#   total CPU time (s): 2736.42
#   total CPU user time (s): 2722.1
#   total CPU system time (s): 14.3116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08332 second user time and 11.2216 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-22 22:40:12
IDJOB=4542519
IDBENCH=163930
IDSOLVER=3384
FILE ID=nodeC022/4542519-1753216811
RUNJOBID= nodeC022-1753211081-176018
SLURM_JOB_ID= 9687788
Free space on /tmp= 432504 MiB

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

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

MD5SUM BENCH= cca449fd552693742bf3f30208712226
RANDOM SEED=985252637

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        97581272 kB
MemAvailable:   99072832 kB
Buffers:            2128 kB
Cached:          2241668 kB
SwapCached:           32 kB
Active:         31740424 kB
Inactive:        1099912 kB
Active(anon):   30620636 kB
Inactive(anon):     2124 kB
Active(file):    1119788 kB
Inactive(file):  1097788 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            104284 kB
Writeback:             4 kB
AnonPages:      30589648 kB
Mapped:           152744 kB
Shmem:             26220 kB
KReclaimable:     226048 kB
Slab:             322700 kB
SReclaimable:     226048 kB
SUnreclaim:        96652 kB
KernelStack:        4288 kB
PageTables:        63624 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   33343360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17102848 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432532 MiB
End job on nodeC022 at 2025-07-22 23:21:54