Trace number 4542441

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 3426.04 3353.74

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
MD5SUM7e0508be19eaed927bf3c4f26c43c105
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 benchmark1875.25
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2878950
Total number of constraints128479
Number of constraints which are clauses64877
Number of constraints which are cardinality constraints (but not clauses)58652
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint47
Maximum length of a constraint52
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 55
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 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62119 MiB free)
  memory of node 1: 64465 MiB (59631 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542441-1753216299/watcher-4542441-1753216299 -o /tmp/evaluation-result-4542441-1753216299/solver-4542441-1753216299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753209940-166613 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542441-1753216299.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

Current StackSize limit: 8192 KiB

solver pid=167377, runsolver pid=167374

[startup+0.100063 s]*
/proc/loadavg: 5.50 4.78 4.37 6/268 167378
/proc/meminfo: memFree=124607964/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=114872 memory=71964 CPUtime=0.09 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 15993 0 0 0 7 2 0 0 20 0 1 0 237306590 117628928 17959 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 28718 17991 1120 6655 0 18953 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114872 KiB
Current children cumulated memory: 71964 KiB

[startup+0.205596 s]*
/proc/loadavg: 5.50 4.78 4.37 6/268 167378
/proc/meminfo: memFree=124559832/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=159356 memory=116508 CPUtime=0.19 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 27138 0 0 0 15 4 0 0 20 0 1 0 237306590 163180544 29127 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 39839 29127 1120 6655 0 30074 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 159356 KiB
Current children cumulated memory: 116508 KiB

[startup+0.305544 s]*
/proc/loadavg: 5.50 4.78 4.37 6/268 167378
/proc/meminfo: memFree=124519512/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=201464 memory=158492 CPUtime=0.29 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 37647 0 0 0 23 6 0 0 20 0 1 0 237306590 206299136 39623 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 50366 39623 1120 6655 0 40601 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 201464 KiB
Current children cumulated memory: 158492 KiB

[startup+0.700174 s]
/proc/loadavg: 5.50 4.78 4.37 6/268 167378
/proc/meminfo: memFree=124001352/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=861428 memory=826792 CPUtime=0.69 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 90235 0 0 0 45 24 0 0 20 0 1 0 237306590 882102272 206666 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 215357 206698 1120 6655 0 205592 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 861428 KiB
Current children cumulated memory: 826792 KiB

[startup+1.50018 s]
/proc/loadavg: 5.50 4.78 4.37 6/268 167378
/proc/meminfo: memFree=123606468/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=1477204 memory=1442300 CPUtime=1.48 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 230339 0 0 0 103 45 0 0 20 0 1 0 237306590 1512656896 360575 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 369301 360575 1120 6655 0 359536 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1477204 KiB
Current children cumulated memory: 1442300 KiB

[startup+3.10612 s]
/proc/loadavg: 5.50 4.78 4.37 6/268 167378
/proc/meminfo: memFree=122746208/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=1961664 memory=1916636 CPUtime=3.08 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 338838 0 0 0 244 64 0 0 20 0 1 0 237306590 2008743936 479159 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 490416 479159 1120 6655 0 480651 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1961664 KiB
Current children cumulated memory: 1916636 KiB

[startup+6.30019 s]
/proc/loadavg: 5.46 4.78 4.38 6/268 167378
/proc/meminfo: memFree=122738016/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=1961664 memory=1916636 CPUtime=6.26 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 339378 0 0 0 561 65 0 0 20 0 1 0 237306590 2008743936 479159 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 490416 479159 1120 6655 0 480651 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1961664 KiB
Current children cumulated memory: 1916636 KiB

[startup+12.7002 s]
/proc/loadavg: 5.50 4.80 4.39 6/268 167378
/proc/meminfo: memFree=121606112/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=3527932 memory=3353096 CPUtime=12.64 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 447715 0 0 0 1160 104 0 0 20 0 2 0 237306590 3612602368 838274 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 881983 838274 2656 6655 0 855866 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3527932 KiB
Current children cumulated memory: 3353096 KiB

[startup+25.5002 s]
/proc/loadavg: 5.47 4.83 4.40 6/269 167380
/proc/meminfo: memFree=119100892/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=6594228 memory=5528768 CPUtime=25.41 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 561975 0 0 0 2362 179 0 0 20 0 2 0 237306590 6752489472 1382192 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 1648557 1382192 2912 6655 0 1622440 0
[pid=167377/tid=167379] ppid=167374 vsize=6594228 memory=5451780 CPUtime=0 cores=4,6
/proc/167377/task/167379/stat : 167379 (LSIPExact) S 167374 167377 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237307799 6752489472 1382192 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 6594228 KiB
Current children cumulated memory: 5528768 KiB

[startup+51.1057 s]
/proc/loadavg: 5.31 4.84 4.42 6/268 167380
/proc/meminfo: memFree=118844840/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=6759792 memory=5669920 CPUtime=50.94 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 635174 0 0 0 4870 224 0 0 20 0 2 0 237306590 6922027008 1417480 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 1689948 1417480 2912 6655 0 1663831 0
[pid=167377/tid=167379] ppid=167374 vsize=6759792 memory=5669920 CPUtime=0 cores=4,6
/proc/167377/task/167379/stat : 167379 (LSIPExact) S 167374 167377 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237307799 6922027008 1417480 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 6759792 KiB
Current children cumulated memory: 5669920 KiB

[startup+102.3 s]
/proc/loadavg: 5.18 4.88 4.46 6/269 167383
/proc/meminfo: memFree=118614952/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=6770748 memory=5681184 CPUtime=101.97 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 643514 0 0 0 9970 227 0 0 20 0 2 0 237306590 6933245952 1420296 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 1692687 1420296 2912 6655 0 1666570 0
[pid=167377/tid=167379] ppid=167374 vsize=6770748 memory=5678880 CPUtime=0 cores=4,6
/proc/167377/task/167379/stat : 167379 (LSIPExact) S 167374 167377 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237307799 6933245952 1420296 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 6770748 KiB
Current children cumulated memory: 5681184 KiB

[startup+162.3 s]
/proc/loadavg: 5.10 4.92 4.50 6/267 167385
/proc/meminfo: memFree=117586836/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=6789492 memory=5700256 CPUtime=161.79 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 653114 0 0 0 15947 232 0 0 20 0 2 0 237306590 6952439808 1425064 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 1697373 1425064 2912 6655 0 1671256 0
[pid=167377/tid=167379] ppid=167374 vsize=6789492 memory=5698208 CPUtime=0 cores=4,6
/proc/167377/task/167379/stat : 167379 (LSIPExact) S 167374 167377 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237307799 6952439808 1425064 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 6789492 KiB
Current children cumulated memory: 5700256 KiB

[startup+222.3 s]
/proc/loadavg: 5.08 4.95 4.54 6/267 167387
/proc/meminfo: memFree=116050944/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=6805728 memory=5716640 CPUtime=221.6 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 661887 0 0 0 21925 235 0 0 20 0 2 0 237306590 6969065472 1429160 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 1701432 1429160 2912 6655 0 1675315 0
[pid=167377/tid=167379] ppid=167374 vsize=6805728 memory=5708192 CPUtime=0 cores=4,6
/proc/167377/task/167379/stat : 167379 (LSIPExact) S 167374 167377 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237307799 6969065472 1429160 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 6805728 KiB
Current children cumulated memory: 5716640 KiB

[startup+282.3 s]
/proc/loadavg: 5.15 4.99 4.58 6/268 167391
/proc/meminfo: memFree=116043104/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=6820116 memory=5731232 CPUtime=281.42 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 668298 0 0 0 27905 237 0 0 20 0 2 0 237306590 6983798784 1432808 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 1705029 1432808 2912 6655 0 1678912 0
[pid=167377/tid=167379] ppid=167374 vsize=6820116 memory=5729696 CPUtime=0 cores=4,6
/proc/167377/task/167379/stat : 167379 (LSIPExact) S 167374 167377 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237307799 6983798784 1432808 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 6820116 KiB
Current children cumulated memory: 5731232 KiB

[startup+342.3 s]
/proc/loadavg: 5.45 5.11 4.65 6/268 167393
/proc/meminfo: memFree=116052524/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=6833184 memory=5744416 CPUtime=341.26 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 677171 0 0 0 33885 241 0 0 20 0 2 0 237306590 6997180416 1436104 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 1708296 1436104 2912 6655 0 1682179 0
[pid=167377/tid=167379] ppid=167374 vsize=6833184 memory=5738400 CPUtime=0 cores=4,6
/proc/167377/task/167379/stat : 167379 (LSIPExact) S 167374 167377 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237307799 6997180416 1436104 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 6833184 KiB
Current children cumulated memory: 5744416 KiB

[startup+402.3 s]
/proc/loadavg: 5.16 5.08 4.67 5/268 167396
/proc/meminfo: memFree=118504792/131250000 swapFree=33008356/33010684

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

/proc/167377/statm: 2172046 1855878 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=20163972 memory=19336308 CPUtime=2305.66 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2486284 0 0 0 229534 1032 0 0 20 0 1 0 237379455 20647907328 4834077 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 5040993 4834077 1088 1011 0 5039760 0
Current children cumulated CPU time: 3115.73 s
Current children cumulated vsize: 28852156 KiB
Current children cumulated memory: 26759820 KiB

[startup+3102.3 s]
/proc/loadavg: 6.53 6.16 5.96 8/268 168928
/proc/meminfo: memFree=95888032/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8688184 memory=7423512 CPUtime=810.07 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) S 167374 167377 166602 0 -1 4194304 1408153 0 0 0 80463 544 0 0 20 0 1 0 237306590 8896700416 1855878 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2172046 1855878 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=20163972 memory=19336308 CPUtime=2365.47 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2491381 0 0 0 235512 1035 0 0 20 0 1 0 237379455 20647907328 4834077 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 5040993 4834077 1088 1011 0 5039760 0
Current children cumulated CPU time: 3175.54 s
Current children cumulated vsize: 28852156 KiB
Current children cumulated memory: 26759820 KiB

[startup+3162.3 s]
/proc/loadavg: 6.55 6.23 6.00 8/269 168935
/proc/meminfo: memFree=97389136/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8688184 memory=7423512 CPUtime=810.07 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) S 167374 167377 166602 0 -1 4194304 1408153 0 0 0 80463 544 0 0 20 0 1 0 237306590 8896700416 1855878 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2172046 1855878 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=20198708 memory=19370968 CPUtime=2425.29 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2499619 0 0 0 241489 1040 0 0 20 0 1 0 237379455 20683476992 4842742 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 5049677 4842742 1088 1011 0 5048444 0
Current children cumulated CPU time: 3235.36 s
Current children cumulated vsize: 28886892 KiB
Current children cumulated memory: 26794480 KiB

[startup+3222.3 s]
/proc/loadavg: 6.87 6.39 6.07 8/269 168938
/proc/meminfo: memFree=97068344/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8688184 memory=7423512 CPUtime=810.07 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) S 167374 167377 166602 0 -1 4194304 1408153 0 0 0 80463 544 0 0 20 0 1 0 237306590 8896700416 1855878 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2172046 1855878 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=20221876 memory=19394136 CPUtime=2485.05 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2505688 0 0 0 247460 1045 0 0 20 0 1 0 237379455 20707201024 4848534 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 5055469 4848534 1088 1011 0 5054236 0
Current children cumulated CPU time: 3295.12 s
Current children cumulated vsize: 28910060 KiB
Current children cumulated memory: 26817648 KiB

[startup+3282.3 s]
/proc/loadavg: 6.77 6.47 6.12 8/268 168987
/proc/meminfo: memFree=96435496/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8688184 memory=7423512 CPUtime=810.07 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) S 167374 167377 166602 0 -1 4194304 1408153 0 0 0 80463 544 0 0 20 0 1 0 237306590 8896700416 1855878 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2172046 1855878 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=20249200 memory=19421460 CPUtime=2544.83 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2512831 0 0 0 253432 1051 0 0 20 0 1 0 237379455 20735180800 4855365 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 5062300 4855365 1088 1011 0 5061067 0
Current children cumulated CPU time: 3354.9 s
Current children cumulated vsize: 28937384 KiB
Current children cumulated memory: 26844972 KiB

[startup+3342.3 s]
/proc/loadavg: 7.16 6.63 6.20 8/268 168989
/proc/meminfo: memFree=96184596/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8688184 memory=7426968 CPUtime=810.07 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) S 167374 167377 166602 0 -1 4194304 1408153 0 0 0 80463 544 0 0 20 0 1 0 237306590 8896700416 1856742 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2172046 1856742 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=20280480 memory=19452740 CPUtime=2604.57 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2518873 0 0 0 259399 1058 0 0 20 0 1 0 237379455 20767211520 4863185 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 5070120 4863185 1088 1011 0 5068887 0
Current children cumulated CPU time: 3414.64 s
Current children cumulated vsize: 28968664 KiB
Current children cumulated memory: 26879708 KiB

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

# cumulated CPU time of all completed processes:  user=3409.37 s, system=16.6743 s

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

[startup+3347.2 s]
/proc/loadavg: 7.14 6.64 6.21 8/268 168989
/proc/meminfo: memFree=101627060/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8688184 memory=7426968 CPUtime=810.07 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) S 167374 167377 166602 0 -1 4194304 1408153 0 0 0 80463 544 0 0 20 0 1 0 237306590 8896700416 1856742 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2172046 1856742 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=14112044 memory=14009540 CPUtime=2609.44 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2522189 0 0 0 259884 1060 0 0 20 0 1 0 237379455 14450733056 3502385 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 3528011 3502385 1120 1011 0 3526778 0
Current children cumulated CPU time: 3419.51 s
Current children cumulated vsize: 22800228 KiB
Current children cumulated memory: 21436508 KiB

[startup+3350.4 s]
/proc/loadavg: 7.13 6.64 6.21 8/268 168989
/proc/meminfo: memFree=103237788/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8688184 memory=7426968 CPUtime=810.07 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) S 167374 167377 166602 0 -1 4194304 1408153 0 0 0 80463 544 0 0 20 0 1 0 237306590 8896700416 1856742 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2172046 1856742 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=12502180 memory=12399676 CPUtime=2612.62 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2523073 0 0 0 260200 1062 0 0 20 0 1 0 237379455 12802232320 3099919 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 3125545 3099919 1120 1011 0 3124312 0
Current children cumulated CPU time: 3422.69 s
Current children cumulated vsize: 21190364 KiB
Current children cumulated memory: 19826644 KiB

[startup+3352 s]*
/proc/loadavg: 7.13 6.64 6.21 8/268 168989
/proc/meminfo: memFree=103237788/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8688184 memory=7426968 CPUtime=810.07 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) S 167374 167377 166602 0 -1 4194304 1408153 0 0 0 80463 544 0 0 20 0 1 0 237306590 8896700416 1856742 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2172046 1856742 3456 6655 0 2032346 0
[pid=167509] ppid=167377 vsize=12502180 memory=12399676 CPUtime=2614.22 cores=4,6
/proc/167509/stat : 167509 (Exact) R 167377 167509 167509 0 -1 4194304 2523138 0 0 0 260360 1062 0 0 20 0 1 0 237379455 12802232320 3099919 18446744073709551615 4198400 8335837 140731658006128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 14958592 140731658012857 140731658013211 140731658013211 140731658018767 0
/proc/167509/statm: 3125545 3099919 1120 1011 0 3124312 0
Current children cumulated CPU time: 3424.29 s
Current children cumulated vsize: 21190364 KiB
Current children cumulated memory: 19826644 KiB

[startup+3352.8 s]
/proc/loadavg: 7.13 6.64 6.21 8/268 168989
/proc/meminfo: memFree=103237788/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8485756 memory=7224536 CPUtime=3425.08 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 1567751 2523657 0 0 80495 552 260366 1095 20 0 1 0 237306590 8689414144 1806134 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2121439 1806134 3456 6655 0 1981739 0
Current children cumulated CPU time: 3425.08 s
Current children cumulated vsize: 8485756 KiB
Current children cumulated memory: 7224536 KiB

[startup+3353.2 s]
/proc/loadavg: 7.13 6.64 6.21 8/267 168989
/proc/meminfo: memFree=115952724/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8340524 memory=7089516 CPUtime=3425.48 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 1591699 2523657 0 0 80534 553 260366 1095 20 0 1 0 237306590 8540696576 1772379 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2085131 1772379 3456 6655 0 1945431 0
Current children cumulated CPU time: 3425.48 s
Current children cumulated vsize: 8340524 KiB
Current children cumulated memory: 7089516 KiB

[startup+3353.6 s]
/proc/loadavg: 7.13 6.64 6.21 8/267 168989
/proc/meminfo: memFree=115952724/131250000 swapFree=33008356/33010684
[pid=167377] ppid=167374 vsize=8126848 memory=6875840 CPUtime=3425.89 cores=4,6
/proc/167377/stat : 167377 (LSIPExact) R 167374 167377 166602 0 -1 4194304 1709472 2523657 0 0 80568 560 260366 1095 20 0 1 0 237306590 8321892352 1718960 18446744073709551615 93997108625408 93997135882577 140733002109920 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93997144384648 93997144816256 93997163421696 140733002115416 140733002115592 140733002115592 140733002121196 0
/proc/167377/statm: 2031712 1718960 3456 6655 0 1892012 0
Current children cumulated CPU time: 3425.89 s
Current children cumulated vsize: 8126848 KiB
Current children cumulated memory: 6875840 KiB

[startup+3353.7 s]*
/proc/loadavg: 7.13 6.64 6.21 8/267 168989
/proc/meminfo: memFree=117483964/131250000 swapFree=33008356/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): 3353.74
CPU time (s): 3426.04
CPU user time (s): 3409.37
CPU system time (s): 16.6743
CPU usage (%): 102.156
Max. virtual memory (cumulated for all children) (KiB): 30371248
Max. memory (cumulated for all children) (KiB): 28146504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3409.37
system time used= 16.6743
maximum resident set size= 20856112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4257947
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= 327
involuntary context switches= 5200


# summary of solver processes directly reported to runsolver:
#   pid: 167377
#   total CPU time (s): 3426.04
#   total CPU user time (s): 3409.37
#   total CPU system time (s): 16.6743

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95125 second user time and 15.4436 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-22 22:31:40
IDJOB=4542441
IDBENCH=163926
IDSOLVER=3384
FILE ID=nodeC014/4542441-1753216299
RUNJOBID= nodeC014-1753209940-166613
SLURM_JOB_ID= 9687781
Free space on /tmp= 432644 MiB

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

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

MD5SUM BENCH= 7e0508be19eaed927bf3c4f26c43c105
RANDOM SEED=293891013

nodeC014 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		: 3600.117
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124672224 kB
MemAvailable:   125345628 kB
Buffers:             696 kB
Cached:          1418824 kB
SwapCached:         1624 kB
Active:          5211544 kB
Inactive:         598816 kB
Active(anon):    4389756 kB
Inactive(anon):    25696 kB
Active(file):     821788 kB
Inactive(file):   573120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            115272 kB
Writeback:             0 kB
AnonPages:       4387820 kB
Mapped:           153664 kB
Shmem:             24612 kB
KReclaimable:     235472 kB
Slab:             331732 kB
SReclaimable:     235472 kB
SUnreclaim:        96260 kB
KernelStack:        4320 kB
PageTables:        12072 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5141408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2902016 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432584 MiB
End job on nodeC014 at 2025-07-22 23:27:34