Trace number 4542494

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 S2? (TO) 3604.37 2094.09

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 

3600.19/2091.90	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.19/2091.90	c numVar: 2436672
3600.19/2091.90	c numCon: 113788
3600.19/2091.90	c numEqual: 0
3600.19/2091.90	c intSize: 6
3600.19/2091.90	c ls_time: 10.0, mip_time: 1074.0, exact_time: 2506.0
3600.19/2091.90	c ------------------- Paras list -------------------
3600.19/2091.90	c Name                	 Type      	 Now       	 Default   	 Comment
3600.19/2091.90	c timeout             	 double    	 3600.000000	 3600      	 
3600.19/2091.90	c mip_time            	 double    	 0.300000  	 0.5       	 
3600.19/2091.90	c ls_time             	 double    	 10.000000 	 10        	 
3600.19/2091.90	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
3600.19/2091.90	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.19/2091.90	c random_seed         	 int       	 0         	 0         	 
3600.19/2091.90	c sample_size         	 int       	 50        	 50        	 
3600.19/2091.90	c sub_score           	 int       	 1         	 1         	 
3600.19/2091.90	c tabu_base           	 int       	 3         	 3         	 
3600.19/2091.90	c tabu_variation      	 int       	 1         	 1         	 
3600.19/2091.90	c sub_div             	 int       	 4         	 4         	 
3600.19/2091.90	c nbcore              	 int       	 2         	 1         	 
3600.19/2091.90	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.19/2091.90	c print_sol           	 int       	 1         	 1         	 
3600.19/2091.90	c tmpdir              	 string		 .         	 "."       	 
3600.19/2091.90	c home                	 string		 HOME	 "."       	 
3600.19/2091.90	c benchname           	 string		 HOME/instance-4542494-1753221217.opb	 ""        	 
3600.19/2091.90	c --------------------------------------------------
3600.19/2091.90	c Local Search solver
3600.19/2091.90	c MIP solver
3600.19/2091.90	c receive signal 15, try to interrupt solver...

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (54690 MiB free)
  memory of node 1: 64507 MiB (44134 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=197691, runsolver pid=197688

[startup+0.100069 s]*
/proc/loadavg: 7.57 7.33 6.01 7/253 197692
/proc/meminfo: memFree=101165288/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=89400 memory=46520 CPUtime=0.09 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 9647 0 0 0 6 3 0 0 20 0 1 0 237801585 91545600 11630 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 22383 11630 1120 6655 0 12618 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89400 KiB
Current children cumulated memory: 46520 KiB

[startup+0.213342 s]*
/proc/loadavg: 7.57 7.33 6.01 7/253 197692
/proc/meminfo: memFree=101125220/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=131508 memory=88504 CPUtime=0.21 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 20154 0 0 0 15 6 0 0 20 0 1 0 237801585 134664192 22126 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 32877 22126 1120 6655 0 23112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 131508 KiB
Current children cumulated memory: 88504 KiB

[startup+0.313199 s]*
/proc/loadavg: 7.57 7.33 6.01 7/253 197692
/proc/meminfo: memFree=101084772/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=167544 memory=124600 CPUtime=0.31 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 29175 0 0 0 24 7 0 0 20 0 1 0 237801585 171565056 31150 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 41886 31150 1120 6655 0 32121 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 167544 KiB
Current children cumulated memory: 124600 KiB

[startup+0.700336 s]
/proc/loadavg: 7.57 7.33 6.01 7/253 197692
/proc/meminfo: memFree=100730324/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=721192 memory=686400 CPUtime=0.69 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 73546 0 0 0 47 22 0 0 20 0 1 0 237801585 738500608 171600 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 180298 171600 1120 6655 0 170533 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 721192 KiB
Current children cumulated memory: 686400 KiB

[startup+1.50033 s]
/proc/loadavg: 7.57 7.33 6.01 7/253 197692
/proc/meminfo: memFree=100278476/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=1293192 memory=1258228 CPUtime=1.48 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 205769 0 0 0 104 44 0 0 20 0 1 0 237801585 1324228608 314557 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 323298 314557 1120 6655 0 313533 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1293192 KiB
Current children cumulated memory: 1258228 KiB

[startup+3.11372 s]
/proc/loadavg: 7.57 7.33 6.01 7/253 197692
/proc/meminfo: memFree=99546132/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=1679896 memory=1632560 CPUtime=3.09 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 288837 0 0 0 249 60 0 0 20 0 1 0 237801585 1720213504 408140 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 419974 408140 1120 6655 0 410209 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1679896 KiB
Current children cumulated memory: 1632560 KiB

[startup+6.30036 s]
/proc/loadavg: 7.44 7.31 6.01 7/253 197692
/proc/meminfo: memFree=99546636/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=1679896 memory=1632560 CPUtime=6.26 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 289143 0 0 0 565 61 0 0 20 0 1 0 237801585 1720213504 408140 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 419974 408140 1120 6655 0 410209 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1679896 KiB
Current children cumulated memory: 1632560 KiB

[startup+12.7003 s]
/proc/loadavg: 7.33 7.29 6.01 7/253 197692
/proc/meminfo: memFree=98524924/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=3046544 memory=2868000 CPUtime=12.63 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 383790 0 0 0 1166 97 0 0 20 0 2 0 237801585 3119661056 717000 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 761636 717000 2624 6655 0 735519 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3046544 KiB
Current children cumulated memory: 2868000 KiB

[startup+25.5004 s]
/proc/loadavg: 7.10 7.24 6.01 7/254 197693
/proc/meminfo: memFree=96381564/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=5488192 memory=4594332 CPUtime=25.39 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 477652 0 0 0 2372 167 0 0 20 0 2 0 237801585 5619908608 1148583 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 1372048 1148583 2880 6655 0 1345931 0
[pid=197691/tid=197693] ppid=197688 vsize=5488192 memory=4594332 CPUtime=0 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) S 197688 197691 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237802790 5619908608 1148583 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 5488192 KiB
Current children cumulated memory: 4594332 KiB

[startup+51.1134 s]
/proc/loadavg: 6.72 7.14 6.01 7/254 197693
/proc/meminfo: memFree=96117832/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=5802256 memory=4835144 CPUtime=50.9 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 542282 0 0 0 4883 207 0 0 20 0 2 0 237801585 5941510144 1208786 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 1450564 1208786 2880 6655 0 1424447 0
[pid=197691/tid=197693] ppid=197688 vsize=5802256 memory=16688 CPUtime=0 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) S 197688 197691 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237802790 5941510144 1208786 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 5802256 KiB
Current children cumulated memory: 4835144 KiB

[startup+102.3 s]
/proc/loadavg: 5.87 6.85 5.97 6/254 197696
/proc/meminfo: memFree=86033888/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=5813212 memory=4846280 CPUtime=101.88 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 550711 0 0 0 9978 210 0 0 20 0 2 0 237801585 5952729088 1211570 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 1453303 1211570 2880 6655 0 1427186 0
[pid=197691/tid=197693] ppid=197688 vsize=5813212 memory=4843080 CPUtime=0 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) S 197688 197691 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237802790 5952729088 1211570 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 5813212 KiB
Current children cumulated memory: 4846280 KiB

[startup+162.3 s]
/proc/loadavg: 5.37 6.53 5.91 6/254 197698
/proc/meminfo: memFree=80820756/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=5830240 memory=4863688 CPUtime=161.63 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 559884 0 0 0 15951 212 0 0 20 0 2 0 237801585 5970165760 1215922 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 1457560 1215922 2880 6655 0 1431443 0
[pid=197691/tid=197693] ppid=197688 vsize=5830240 memory=4853704 CPUtime=0 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) S 197688 197691 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237802790 5970165760 1215922 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 5830240 KiB
Current children cumulated memory: 4863688 KiB

[startup+222.3 s]
/proc/loadavg: 5.18 6.26 5.86 6/255 197703
/proc/meminfo: memFree=80682856/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=5844760 memory=4878280 CPUtime=221.41 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 567013 0 0 0 21925 216 0 0 20 0 2 0 237801585 5985034240 1219570 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 1461190 1219570 2880 6655 0 1435073 0
[pid=197691/tid=197693] ppid=197688 vsize=5844760 memory=16688 CPUtime=0 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) S 197688 197691 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237802790 5985034240 1219570 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 5844760 KiB
Current children cumulated memory: 4878280 KiB

[startup+282.3 s]
/proc/loadavg: 5.17 6.06 5.81 6/255 197711
/proc/meminfo: memFree=80439684/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=5857564 memory=4891208 CPUtime=281.18 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 576546 0 0 0 27899 219 0 0 20 0 2 0 237801585 5998145536 1222802 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 1464391 1222802 2880 6655 0 1438274 0
[pid=197691/tid=197693] ppid=197688 vsize=5857564 memory=4885448 CPUtime=0 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) S 197688 197691 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237802790 5998145536 1222802 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 5857564 KiB
Current children cumulated memory: 4891208 KiB

[startup+342.3 s]
/proc/loadavg: 5.14 5.88 5.77 7/255 197759
/proc/meminfo: memFree=89130320/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=5869048 memory=4904948 CPUtime=340.96 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 588304 0 0 0 33874 222 0 0 20 0 2 0 237801585 6009905152 1226237 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 1467262 1226237 2880 6655 0 1441145 0
[pid=197691/tid=197693] ppid=197688 vsize=5869048 memory=4885448 CPUtime=0 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) S 197688 197691 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237802790 6009905152 1226237 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 5869048 KiB
Current children cumulated memory: 4904948 KiB

[startup+402.3 s]
/proc/loadavg: 5.80 5.94 5.79 7/255 197761
/proc/meminfo: memFree=88949516/131382112 swapFree=33010416/33010684

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

/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2449051 0 0 0 285838 757 0 0 20 0 2 0 237801585 13829107712 2920292 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3376247 2920292 3392 6655 0 3289064 0
[pid=197691/tid=197693] ppid=197688 vsize=13504988 memory=11675024 CPUtime=1149.71 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348666 0 0 0 114887 84 0 0 20 0 2 0 237802790 13829107712 2920292 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 2865.95 s
Current children cumulated vsize: 13504988 KiB
Current children cumulated memory: 11681168 KiB

[startup+1782.3 s]
/proc/loadavg: 7.10 6.36 5.99 8/254 199471
/proc/meminfo: memFree=88729172/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=13701600 memory=11877776 CPUtime=2985.23 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2503060 0 0 0 297757 766 0 0 20 0 2 0 237801585 14030438400 2969444 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3425400 2969444 3392 6655 0 3338217 0
[pid=197691/tid=197693] ppid=197688 vsize=13701600 memory=11859344 CPUtime=1209.16 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348678 0 0 0 120832 84 0 0 20 0 2 0 237802790 14030438400 2969444 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 2985.23 s
Current children cumulated vsize: 13701600 KiB
Current children cumulated memory: 11877776 KiB

[startup+1842.3 s]
/proc/loadavg: 7.10 6.50 6.06 8/253 199473
/proc/meminfo: memFree=86646236/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15737540 memory=13916564 CPUtime=3104.49 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2677369 0 0 0 309629 820 0 0 20 0 2 0 237801585 16115240960 3479141 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3934385 3479141 3392 6655 0 3847202 0
[pid=197691/tid=197693] ppid=197688 vsize=15737540 memory=27392 CPUtime=1268.61 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348690 0 0 0 126777 84 0 0 20 0 2 0 237802790 16115240960 3479141 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3104.49 s
Current children cumulated vsize: 15737540 KiB
Current children cumulated memory: 13916564 KiB

[startup+1902.3 s]
/proc/loadavg: 7.08 6.60 6.13 8/253 199476
/proc/meminfo: memFree=86557572/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15751932 memory=13931028 CPUtime=3223.64 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2708745 0 0 0 321538 826 0 0 20 0 2 0 237801585 16129978368 3482757 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3937983 3482757 3392 6655 0 3850800 0
[pid=197691/tid=197693] ppid=197688 vsize=15751932 memory=13916564 CPUtime=1327.99 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348695 0 0 0 132715 84 0 0 20 0 2 0 237802790 16129978368 3482757 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3223.64 s
Current children cumulated vsize: 15751932 KiB
Current children cumulated memory: 13931028 KiB

[startup+1962.3 s]
/proc/loadavg: 7.41 6.77 6.22 8/253 199478
/proc/meminfo: memFree=86415620/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15843024 memory=14022164 CPUtime=3342.82 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2737018 0 0 0 333444 838 0 0 20 0 2 0 237801585 16223256576 3505541 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3960756 3505541 3392 6655 0 3873573 0
[pid=197691/tid=197693] ppid=197688 vsize=15843024 memory=13954324 CPUtime=1387.39 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348702 0 0 0 138655 84 0 0 20 0 2 0 237802790 16223256576 3505541 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3342.82 s
Current children cumulated vsize: 15843024 KiB
Current children cumulated memory: 14022164 KiB

[startup+2022.3 s]
/proc/loadavg: 7.62 6.97 6.32 8/254 199483
/proc/meminfo: memFree=86318360/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15889760 memory=14068884 CPUtime=3461.97 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2752122 0 0 0 345353 844 0 0 20 0 2 0 237801585 16271114240 3517221 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3972440 3517221 3392 6655 0 3885257 0
[pid=197691/tid=197693] ppid=197688 vsize=15889760 memory=14065172 CPUtime=1446.76 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348708 0 0 0 144592 84 0 0 20 0 2 0 237802790 16271114240 3517221 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3461.97 s
Current children cumulated vsize: 15889760 KiB
Current children cumulated memory: 14068884 KiB

[startup+2082.3 s]
/proc/loadavg: 7.37 7.02 6.38 8/254 199485
/proc/meminfo: memFree=86195204/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15937820 memory=14117012 CPUtime=3581.12 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2767502 0 0 0 357261 851 0 0 20 0 2 0 237801585 16320327680 3529253 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3984455 3529253 3392 6655 0 3897272 0
[pid=197691/tid=197693] ppid=197688 vsize=15937820 memory=14089620 CPUtime=1506.14 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348721 0 0 0 150530 84 0 0 20 0 2 0 237802790 16320327680 3529253 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3581.12 s
Current children cumulated vsize: 15937820 KiB
Current children cumulated memory: 14117012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2091.9 s]
/proc/loadavg: 7.32 7.02 6.39 8/254 199485
/proc/meminfo: memFree=86158468/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15945744 memory=14124820 CPUtime=3600.19 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2769979 0 0 0 359167 852 0 0 20 0 2 0 237801585 16328441856 3531205 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3986436 3531205 3392 6655 0 3899253 0
[pid=197691/tid=197693] ppid=197688 vsize=15945744 memory=14089620 CPUtime=1515.64 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348721 0 0 0 151480 84 0 0 20 0 2 0 237802790 16328441856 3531205 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 15945744 KiB
Current children cumulated memory: 14124820 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3595.65 s, system=8.71978 s

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

[startup+2092.8 s]
/proc/loadavg: 7.32 7.02 6.39 8/254 199485
/proc/meminfo: memFree=86158468/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15946404 memory=14125588 CPUtime=3601.97 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2770173 0 0 0 359345 852 0 0 20 0 2 0 237801585 16329117696 3531397 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3986601 3531397 3392 6655 0 3899418 0
[pid=197691/tid=197693] ppid=197688 vsize=15946404 memory=14117780 CPUtime=1516.53 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348722 0 0 0 151569 84 0 0 20 0 2 0 237802790 16329117696 3531397 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 15946404 KiB
Current children cumulated memory: 14125588 KiB

[startup+2093.6 s]
/proc/loadavg: 7.32 7.02 6.39 8/254 199485
/proc/meminfo: memFree=86158468/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15947068 memory=14126228 CPUtime=3603.57 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2770343 0 0 0 359504 853 0 0 20 0 2 0 237801585 16329797632 3531557 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3986767 3531557 3392 6655 0 3899584 0
[pid=197691/tid=197693] ppid=197688 vsize=15947068 memory=27392 CPUtime=1517.32 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348722 0 0 0 151648 84 0 0 20 0 2 0 237802790 16329797632 3531557 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3603.57 s
Current children cumulated vsize: 15947068 KiB
Current children cumulated memory: 14126228 KiB

[startup+2093.8 s]
/proc/loadavg: 7.32 7.02 6.39 8/254 199485
/proc/meminfo: memFree=86158468/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15947200 memory=14126356 CPUtime=3603.96 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2770377 0 0 0 359543 853 0 0 20 0 2 0 237801585 16329932800 3531589 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3986800 3531589 3392 6655 0 3899617 0
[pid=197691/tid=197693] ppid=197688 vsize=15947200 memory=5632 CPUtime=1517.52 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348722 0 0 0 151668 84 0 0 20 0 2 0 237802790 16329932800 3531589 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3603.96 s
Current children cumulated vsize: 15947200 KiB
Current children cumulated memory: 14126356 KiB

[startup+2093.9 s]
/proc/loadavg: 7.32 7.02 6.39 8/254 199485
/proc/meminfo: memFree=86158468/131382112 swapFree=33010416/33010684
[pid=197691] ppid=197688 vsize=15947332 memory=14126484 CPUtime=3604.16 cores=4,6
/proc/197691/stat : 197691 (LSIPExact) R 197688 197691 197377 0 -1 4194304 2770395 0 0 0 359563 853 0 0 20 0 2 0 237801585 16330067968 3531621 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
/proc/197691/statm: 3986833 3531621 3392 6655 0 3899650 0
[pid=197691/tid=197693] ppid=197688 vsize=15947332 memory=14089620 CPUtime=1517.62 cores=4,6
/proc/197691/task/197693/stat : 197693 (LSIPExact) R 197688 197691 197377 0 -1 4194368 348722 0 0 0 151678 84 0 0 20 0 2 0 237802790 16330067968 3531621 18446744073709551615 94019040051200 94019067307601 140722747102928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94019075810440 94019076242048 94019103305728 140722747111768 140722747111944 140722747111944 140722747117548 0
Current children cumulated CPU time: 3604.16 s
Current children cumulated vsize: 15947332 KiB
Current children cumulated memory: 14126484 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2094.09
CPU time (s): 3604.37
CPU user time (s): 3595.65
CPU system time (s): 8.71978
CPU usage (%): 172.121
Max. virtual memory (cumulated for all children) (KiB): 15947332
Max. memory (cumulated for all children) (KiB): 14126484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.65
system time used= 8.71978
maximum resident set size= 14126484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2770395
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= 98
involuntary context switches= 26299


# summary of solver processes directly reported to runsolver:
#   pid: 197691
#   total CPU time (s): 3604.37
#   total CPU user time (s): 3595.65
#   total CPU system time (s): 8.71978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.49309 second user time and 12.7017 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-22 23:53:39
IDJOB=4542494
IDBENCH=163930
IDSOLVER=3337
FILE ID=nodeC012/4542494-1753221217
RUNJOBID= nodeC012-1753220119-197388
SLURM_JOB_ID= 9687805
Free space on /tmp= 432604 MiB

SOLVER NAME= LSIPExact  S2
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-4542494-1753221217/watcher-4542494-1753221217 -o /tmp/evaluation-result-4542494-1753221217/solver-4542494-1753221217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753220119-197388 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4542494-1753221217.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= cca449fd552693742bf3f30208712226
RANDOM SEED=1902653647

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.700
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.771
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.194
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.739
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2294.330
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.481
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.811
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        101196976 kB
MemAvailable:   102347856 kB
Buffers:            2136 kB
Cached:          1916528 kB
SwapCached:           12 kB
Active:         28733428 kB
Inactive:         712956 kB
Active(anon):   27549172 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   708268 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            104280 kB
Writeback:             0 kB
AnonPages:      27518904 kB
Mapped:           148668 kB
Shmem:             26140 kB
KReclaimable:     195580 kB
Slab:             287388 kB
SReclaimable:     195580 kB
SUnreclaim:        91808 kB
KernelStack:        4080 kB
PageTables:        57984 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   31145584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18565120 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432620 MiB
End job on nodeC012 at 2025-07-23 00:28:33