Trace number 4519364

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 NameAnswerobjective functionCPU timeWall clock time
LSIPExact S2? (TO) 3601.33 2220.95

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
MD5SUM57fb5f2576749c6f64e06149678741e6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1128
Best CPU time to get the best result obtained on this benchmark629.539
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2235696
Total number of constraints106878
Number of constraints which are clauses54003
Number of constraints which are cardinality constraints (but not clauses)48504
Number of constraints which are nor clauses,nor cardinality constraints4371
Minimum length of a constraint44
Maximum length of a constraint49
Number of terms in the objective function 2256
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2256
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2256
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3374.53/1993.44	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3374.53/1993.44	c numVar: 2235696
3374.53/1993.44	c numCon: 106878
3374.53/1993.44	c numEqual: 0
3374.53/1993.44	c intSize: 12
3374.53/1993.44	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3374.53/1993.44	c ------------------- Paras list -------------------
3374.53/1993.44	c Name                	 Type      	 Now       	 Default   	 Comment
3374.53/1993.44	c timeout             	 double    	 3600.000000	 3600      	 
3374.53/1993.44	c mip_time            	 double    	 0.500000  	 0.5       	 
3374.53/1993.44	c ls_time             	 double    	 10.000000 	 10        	 
3374.53/1993.44	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
3374.53/1993.44	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3374.53/1993.44	c random_seed         	 int       	 0         	 0         	 
3374.53/1993.44	c sample_size         	 int       	 50        	 50        	 
3374.53/1993.44	c sub_score           	 int       	 1         	 1         	 
3374.53/1993.44	c tabu_base           	 int       	 3         	 3         	 
3374.53/1993.44	c tabu_variation      	 int       	 1         	 1         	 
3374.53/1993.44	c sub_div             	 int       	 4         	 4         	 
3374.53/1993.44	c nbcore              	 int       	 2         	 1         	 
3374.53/1993.44	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3374.53/1993.44	c print_sol           	 int       	 1         	 1         	 
3374.53/1993.44	c tmpdir              	 string		 .         	 "."       	 
3374.53/1993.44	c home                	 string		 HOME	 "."       	 
3374.53/1993.44	c benchname           	 string		 HOME/instance-4519364-1751535540.opb	 ""        	 
3374.53/1993.44	c --------------------------------------------------
3374.53/1993.44	c Local Search solver
3374.53/1993.44	c MIP solver
3374.53/1993.44	c use Exact solver
3600.02/2219.60	c receive signal 15, try to interrupt solver...
3374.57/2219.91	c Exact solver (PID 75925) interrupted gracefully.
3601.15/2220.80	s UNKNOWN
3601.15/2220.80	c Total time: 2221

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519364-1751535540/watcher-4519364-1751535540 -o /tmp/evaluation-result-4519364-1751535540/solver-4519364-1751535540 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751532783-73697 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4519364-1751535540.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

Current StackSize limit: 8192 KiB

solver pid=75530, runsolver pid=75527

[startup+0.100063 s]*
/proc/loadavg: 5.41 5.18 4.90 6/267 75531
/proc/meminfo: memFree=107900264/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=112204 memory=69500 CPUtime=0.09 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 15349 0 0 0 7 2 0 0 20 0 1 0 69232645 114896896 17375 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 28051 17375 1152 6655 0 18286 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112204 KiB
Current children cumulated memory: 69500 KiB

[startup+0.205534 s]*
/proc/loadavg: 5.41 5.18 4.90 6/267 75531
/proc/meminfo: memFree=107848100/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=158932 memory=116220 CPUtime=0.2 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 27029 0 0 0 15 5 0 0 20 0 1 0 69232645 162746368 29055 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 39733 29055 1152 6655 0 29968 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 158932 KiB
Current children cumulated memory: 116220 KiB

[startup+0.305427 s]*
/proc/loadavg: 5.41 5.18 4.90 6/267 75531
/proc/meminfo: memFree=107775956/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=341500 memory=239936 CPUtime=0.29 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 36498 0 0 0 21 8 0 0 20 0 1 0 69232645 349696000 59984 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 85375 59984 1152 6655 0 75610 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 341500 KiB
Current children cumulated memory: 239936 KiB

[startup+0.700189 s]
/proc/loadavg: 5.41 5.18 4.90 6/267 75531
/proc/meminfo: memFree=107384468/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=806740 memory=772112 CPUtime=0.68 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 102624 0 0 0 44 24 0 0 20 0 1 0 69232645 826101760 193028 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 201685 193028 1152 6655 0 191920 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 806740 KiB
Current children cumulated memory: 772112 KiB

[startup+1.50018 s]
/proc/loadavg: 5.41 5.18 4.90 6/267 75531
/proc/meminfo: memFree=106981268/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=1344996 memory=1303528 CPUtime=1.48 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 221669 0 0 0 103 45 0 0 20 0 1 0 69232645 1377275904 325882 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 336249 325882 1152 6655 0 326484 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1344996 KiB
Current children cumulated memory: 1303528 KiB

[startup+3.10571 s]
/proc/loadavg: 5.37 5.17 4.90 6/267 75532
/proc/meminfo: memFree=106496496/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=1551536 memory=1501768 CPUtime=3.07 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 265907 0 0 0 255 52 0 0 20 0 1 0 69232645 1588772864 375442 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 387884 375442 1152 6655 0 378119 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1551536 KiB
Current children cumulated memory: 1501768 KiB

[startup+6.30019 s]
/proc/loadavg: 5.37 5.17 4.90 6/267 75532
/proc/meminfo: memFree=106496496/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=1551536 memory=1501768 CPUtime=6.26 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 266219 0 0 0 573 53 0 0 20 0 1 0 69232645 1588772864 375442 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 387884 375442 1152 6655 0 378119 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1551536 KiB
Current children cumulated memory: 1501768 KiB

[startup+12.7002 s]
/proc/loadavg: 5.34 5.17 4.90 6/268 75533
/proc/meminfo: memFree=105408996/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=2851580 memory=2663612 CPUtime=12.63 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 358302 0 0 0 1173 90 0 0 20 0 2 0 69232645 2920017920 665903 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 712895 665903 2656 6655 0 686778 0
[pid=75530/tid=75533] ppid=75527 vsize=2851580 memory=1567180 CPUtime=0 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) S 75527 75530 73685 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 69233813 2920017920 665903 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2851580 KiB
Current children cumulated memory: 2663612 KiB

[startup+25.5002 s]
/proc/loadavg: 5.27 5.16 4.91 6/268 75533
/proc/meminfo: memFree=103878556/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=4626984 memory=3949568 CPUtime=25.4 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 463603 0 0 0 2390 150 0 0 20 0 2 0 69232645 4738031616 987392 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 1156746 987392 2912 6655 0 1130629 0
[pid=75530/tid=75533] ppid=75527 vsize=4626984 memory=3949568 CPUtime=0 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) S 75527 75530 73685 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 69233813 4738031616 987392 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4626984 KiB
Current children cumulated memory: 3949568 KiB

[startup+51.1057 s]
/proc/loadavg: 5.24 5.17 4.91 6/268 75533
/proc/meminfo: memFree=103184868/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=5734776 memory=4806516 CPUtime=50.93 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 522622 0 0 0 4915 178 0 0 20 0 2 0 69232645 5872410624 1201629 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 1433694 1201629 3232 6655 0 1407577 0
[pid=75530/tid=75533] ppid=75527 vsize=5734776 memory=4806388 CPUtime=0 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) S 75527 75530 73685 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 69233813 5872410624 1201629 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 5734776 KiB
Current children cumulated memory: 4806516 KiB

[startup+102.3 s]
/proc/loadavg: 5.15 5.15 4.92 6/268 75535
/proc/meminfo: memFree=103133960/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=5747712 memory=4819828 CPUtime=101.96 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 528977 0 0 0 10016 180 0 0 20 0 2 0 69232645 5885657088 1204957 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 1436928 1204957 3232 6655 0 1410811 0
[pid=75530/tid=75533] ppid=75527 vsize=5747712 memory=4815732 CPUtime=0 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) S 75527 75530 73685 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 69233813 5885657088 1204957 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 5747712 KiB
Current children cumulated memory: 4819828 KiB

[startup+162.3 s]
/proc/loadavg: 5.17 5.15 4.94 6/268 75537
/proc/meminfo: memFree=103107580/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=5778072 memory=4850548 CPUtime=161.77 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 539692 0 0 0 15991 186 0 0 20 0 2 0 69232645 5916745728 1212637 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 1444518 1212637 3232 6655 0 1418401 0
[pid=75530/tid=75533] ppid=75527 vsize=5778072 memory=4832244 CPUtime=0 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) S 75527 75530 73685 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 69233813 5916745728 1212637 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 5778072 KiB
Current children cumulated memory: 4850548 KiB

[startup+222.3 s]
/proc/loadavg: 5.20 5.16 4.96 6/268 75588
/proc/meminfo: memFree=102557848/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=5808432 memory=4881396 CPUtime=221.57 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 550453 0 0 0 21967 190 0 0 20 0 2 0 69232645 5947834368 1220349 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 1452108 1220349 3232 6655 0 1425991 0
[pid=75530/tid=75533] ppid=75527 vsize=5808432 memory=4879092 CPUtime=0 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) S 75527 75530 73685 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 69233813 5947834368 1220349 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 5808432 KiB
Current children cumulated memory: 4881396 KiB

[startup+282.3 s]
/proc/loadavg: 5.20 5.16 4.97 6/268 75591
/proc/meminfo: memFree=101007532/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=5819916 memory=4892916 CPUtime=281.42 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 565469 0 0 0 27948 194 0 0 20 0 2 0 69232645 5959593984 1223229 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 1454979 1223229 3232 6655 0 1428862 0
[pid=75530/tid=75533] ppid=75527 vsize=5819916 memory=4892916 CPUtime=0 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) S 75527 75530 73685 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 69233813 5959593984 1223229 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 5819916 KiB
Current children cumulated memory: 4892916 KiB

[startup+342.3 s]
/proc/loadavg: 5.17 5.16 4.99 7/267 75593
/proc/meminfo: memFree=100477220/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=5819916 memory=4893044 CPUtime=341.28 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 566501 0 0 0 33934 194 0 0 20 0 2 0 69232645 5959593984 1223261 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 1454979 1223261 3232 6655 0 1428862 0
[pid=75530/tid=75533] ppid=75527 vsize=5819916 memory=4892916 CPUtime=0 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) S 75527 75530 73685 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 69233813 5959593984 1223261 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 5819916 KiB
Current children cumulated memory: 4893044 KiB

[startup+402.3 s]

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

Current children cumulated CPU time: 2955.85 s
Current children cumulated vsize: 16797416 KiB
Current children cumulated memory: 15121240 KiB

[startup+1842.3 s]
/proc/loadavg: 6.13 6.16 6.04 7/268 75918
/proc/meminfo: memFree=85135420/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=16857760 memory=15182240 CPUtime=3075.06 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 2774787 0 0 0 306380 1126 0 0 20 0 2 0 69232645 17262346240 3795560 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 4214440 3795560 3520 6655 0 4139935 0
[pid=75530/tid=75533] ppid=75527 vsize=16857760 memory=15182240 CPUtime=1240.23 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) R 75527 75530 73685 0 -1 4194368 936012 0 0 0 123467 556 0 0 20 0 2 0 69233813 17262346240 3795560 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 3075.06 s
Current children cumulated vsize: 16857760 KiB
Current children cumulated memory: 15182240 KiB

[startup+1902.3 s]
/proc/loadavg: 6.10 6.14 6.04 7/268 75920
/proc/meminfo: memFree=85109004/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=16857760 memory=15182240 CPUtime=3194.34 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 2808803 0 0 0 318302 1132 0 0 20 0 2 0 69232645 17262346240 3795560 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 4214440 3795560 3520 6655 0 4139935 0
[pid=75530/tid=75533] ppid=75527 vsize=16857760 memory=10752 CPUtime=1299.69 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) R 75527 75530 73685 0 -1 4194368 936019 0 0 0 129411 558 0 0 20 0 2 0 69233813 17262346240 3795560 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 3194.34 s
Current children cumulated vsize: 16857760 KiB
Current children cumulated memory: 15182240 KiB

[startup+1962.3 s]
/proc/loadavg: 5.60 6.01 6.00 6/268 75923
/proc/meminfo: memFree=84676940/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=17013744 memory=15340704 CPUtime=3313.61 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 2863400 0 0 0 330216 1145 0 0 20 0 2 0 69232645 17422073856 3835176 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 4253436 3835176 3520 6655 0 4178931 0
[pid=75530/tid=75533] ppid=75527 vsize=17013744 memory=10752 CPUtime=1359.15 cores=1,3
/proc/75530/task/75533/stat : 75533 (LSIPExact) R 75527 75530 73685 0 -1 4194368 936025 0 0 0 135355 560 0 0 20 0 2 0 69233813 17422073856 3835176 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
Current children cumulated CPU time: 3313.61 s
Current children cumulated vsize: 17013744 KiB
Current children cumulated memory: 15340704 KiB

[startup+2022.3 s]
/proc/loadavg: 4.91 5.76 5.91 5/268 75928
/proc/meminfo: memFree=77593820/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=11572676 memory=10191452 CPUtime=3374.57 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) S 75527 75530 73685 0 -1 4194304 3140908 0 0 0 336219 1238 0 0 20 0 1 0 69232645 11850420224 2547863 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 2893169 2547863 3584 6655 0 2823015 0
[pid=75925] ppid=75530 vsize=10906324 memory=9853776 CPUtime=28.74 cores=1,3
/proc/75925/stat : 75925 (Exact) R 75530 75925 75925 0 -1 4194304 1346962 0 0 0 2494 380 0 0 20 0 1 0 69431989 11168075776 2463444 18446744073709551615 4198400 8335837 140734588150144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 27430912 140734588151995 140734588152349 140734588152349 140734588157903 0
/proc/75925/statm: 2726581 2463444 960 1011 0 2725348 0
Current children cumulated CPU time: 3403.31 s
Current children cumulated vsize: 22479000 KiB
Current children cumulated memory: 20045228 KiB

[startup+2082.3 s]
/proc/loadavg: 4.38 5.45 5.79 5/267 75930
/proc/meminfo: memFree=73173772/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=11572676 memory=10191452 CPUtime=3374.57 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) S 75527 75530 73685 0 -1 4194304 3140908 0 0 0 336219 1238 0 0 20 0 1 0 69232645 11850420224 2547863 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 2893169 2547863 3584 6655 0 2823015 0
[pid=75925] ppid=75530 vsize=13698320 memory=13167016 CPUtime=88.57 cores=1,3
/proc/75925/stat : 75925 (Exact) R 75530 75925 75925 0 -1 4194304 1727037 0 0 0 8367 490 0 0 20 0 1 0 69431989 14027079680 3291754 18446744073709551615 4198400 8335837 140734588150144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 27430912 140734588151995 140734588152349 140734588152349 140734588157903 0
/proc/75925/statm: 3424580 3291754 1088 1011 0 3423347 0
Current children cumulated CPU time: 3463.14 s
Current children cumulated vsize: 25270996 KiB
Current children cumulated memory: 23358468 KiB

[startup+2142.3 s]
/proc/loadavg: 4.26 5.21 5.69 5/267 75932
/proc/meminfo: memFree=73092348/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=11572676 memory=10191452 CPUtime=3374.57 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) S 75527 75530 73685 0 -1 4194304 3140908 0 0 0 336219 1238 0 0 20 0 1 0 69232645 11850420224 2547863 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 2893169 2547863 3584 6655 0 2823015 0
[pid=75925] ppid=75530 vsize=13727504 memory=13200296 CPUtime=148.38 cores=1,3
/proc/75925/stat : 75925 (Exact) R 75530 75925 75925 0 -1 4194304 1730983 0 0 0 14344 494 0 0 20 0 1 0 69431989 14056964096 3300074 18446744073709551615 4198400 8335837 140734588150144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 27430912 140734588151995 140734588152349 140734588152349 140734588157903 0
/proc/75925/statm: 3431876 3300074 1088 1011 0 3430643 0
Current children cumulated CPU time: 3522.95 s
Current children cumulated vsize: 25300180 KiB
Current children cumulated memory: 23391748 KiB

[startup+2202.3 s]
/proc/loadavg: 4.15 5.01 5.59 5/267 75934
/proc/meminfo: memFree=72948188/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=11572676 memory=10191452 CPUtime=3374.57 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) S 75527 75530 73685 0 -1 4194304 3140908 0 0 0 336219 1238 0 0 20 0 1 0 69232645 11850420224 2547863 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 2893169 2547863 3584 6655 0 2823015 0
[pid=75925] ppid=75530 vsize=14230728 memory=13279108 CPUtime=208.2 cores=1,3
/proc/75925/stat : 75925 (Exact) R 75530 75925 75925 0 -1 4194304 1738346 0 0 0 20311 509 0 0 20 0 1 0 69431989 14572265472 3319777 18446744073709551615 4198400 8335837 140734588150144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 27430912 140734588151995 140734588152349 140734588152349 140734588157903 0
/proc/75925/statm: 3557682 3319777 1088 1011 0 3556449 0
Current children cumulated CPU time: 3582.77 s
Current children cumulated vsize: 25803404 KiB
Current children cumulated memory: 23470560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2219.6 s]
/proc/loadavg: 4.19 4.96 5.56 5/267 75935
/proc/meminfo: memFree=72945352/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=11572676 memory=10191452 CPUtime=3374.57 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) S 75527 75530 73685 0 -1 4194304 3140908 0 0 0 336219 1238 0 0 20 0 1 0 69232645 11850420224 2547863 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 2893169 2547863 3584 6655 0 2823015 0
[pid=75925] ppid=75530 vsize=14230728 memory=13279108 CPUtime=225.45 cores=1,3
/proc/75925/stat : 75925 (Exact) R 75530 75925 75925 0 -1 4194304 1738613 0 0 0 22034 511 0 0 20 0 1 0 69431989 14572265472 3319777 18446744073709551615 4198400 8335837 140734588150144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 27430912 140734588151995 140734588152349 140734588152349 140734588157903 0
/proc/75925/statm: 3557682 3319777 1088 1011 0 3556449 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 25803404 KiB
Current children cumulated memory: 23470560 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.32 s, system=18.0093 s

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

[startup+2220 s]*
/proc/loadavg: 4.19 4.96 5.56 5/266 75936
/proc/meminfo: memFree=86265024/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=11537740 memory=10156520 CPUtime=3600.36 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 3219591 1738757 0 0 336223 1243 22035 535 20 0 1 0 69232645 11814645760 2539130 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 2884435 2539130 3584 6655 0 2814281 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 11537740 KiB
Current children cumulated memory: 10156520 KiB

[startup+2220.4 s]
/proc/loadavg: 4.19 4.96 5.56 5/266 75936
/proc/meminfo: memFree=86265024/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=11345604 memory=9964384 CPUtime=3600.76 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 3269223 1738757 0 0 336260 1246 22035 535 20 0 1 0 69232645 11617898496 2491096 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 2836401 2491096 3584 6655 0 2766247 0
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 11345604 KiB
Current children cumulated memory: 9964384 KiB

[startup+2220.8 s]
/proc/loadavg: 4.19 4.96 5.56 5/266 75936
/proc/meminfo: memFree=86265024/131249988 swapFree=33010416/33010684
[pid=75530] ppid=75527 vsize=11129424 memory=9763164 CPUtime=3601.15 cores=1,3
/proc/75530/stat : 75530 (LSIPExact) R 75527 75530 73685 0 -1 4194304 3395636 1738757 0 0 336295 1250 22035 535 20 0 1 0 69232645 11396530176 2440791 18446744073709551615 94001011265536 94001038521937 140736553473040 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94001047024776 94001047456384 94001048166400 140736553478490 140736553478666 140736553478666 140736553484268 0
/proc/75530/statm: 2782356 2440791 3584 6655 0 2712202 0
Current children cumulated CPU time: 3601.15 s
Current children cumulated vsize: 11129424 KiB
Current children cumulated memory: 9763164 KiB

[startup+2220.9 s]*
/proc/loadavg: 4.19 4.96 5.56 5/266 75936
/proc/meminfo: memFree=92069036/131249988 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 2220.95
CPU time (s): 3601.33
CPU user time (s): 3583.32
CPU system time (s): 18.0093
CPU usage (%): 162.152
Max. virtual memory (cumulated for all children) (KiB): 25803680
Max. memory (cumulated for all children) (KiB): 23470560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.32
system time used= 18.0093
maximum resident set size= 18914444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5139360
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= 927
involuntary context switches= 23485


# summary of solver processes directly reported to runsolver:
#   pid: 75530
#   total CPU time (s): 3601.33
#   total CPU user time (s): 3583.32
#   total CPU system time (s): 18.0093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.24962 second user time and 9.64307 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-03 11:39:01
IDJOB=4519364
IDBENCH=177240
IDSOLVER=3337
FILE ID=nodeC031/4519364-1751535540
RUNJOBID= nodeC031-1751532783-73697
SLURM_JOB_ID= 9598678
Free space on /tmp= 431912 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519364-1751535540/watcher-4519364-1751535540 -o /tmp/evaluation-result-4519364-1751535540/solver-4519364-1751535540 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751532783-73697 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4519364-1751535540.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 57fb5f2576749c6f64e06149678741e6
RANDOM SEED=244715435

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        107940268 kB
MemAvailable:   128967016 kB
Buffers:            2128 kB
Cached:         21711340 kB
SwapCached:           12 kB
Active:          1074980 kB
Inactive:       21304636 kB
Active(anon):     673732 kB
Inactive(anon):    10468 kB
Active(file):     401248 kB
Inactive(file): 21294168 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             99288 kB
Writeback:             0 kB
AnonPages:        665496 kB
Mapped:           149184 kB
Shmem:             18052 kB
KReclaimable:     341140 kB
Slab:             433660 kB
SReclaimable:     341140 kB
SUnreclaim:        92520 kB
KernelStack:        4304 kB
PageTables:         4568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1065100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431848 MiB
End job on nodeC031 at 2025-07-03 12:16:02