Trace number 4506787

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 S1? (TO) 3600.12 2918.33

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K138.opb
MD5SUMdf8f338dbd068337fef89bf4c43df9f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16422
Total number of constraints16700
Number of constraints which are clauses16562
Number of constraints which are cardinality constraints (but not clauses)138
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint138
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 139
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1413.99/726.07	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1413.99/726.07	c numVar: 16422
1413.99/726.07	c numCon: 16700
1413.99/726.07	c numEqual: 0
1413.99/726.07	c intSize: 8
1413.99/726.07	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1413.99/726.07	c ------------------- Paras list -------------------
1413.99/726.07	c Name                	 Type      	 Now       	 Default   	 Comment
1413.99/726.07	c timeout             	 double    	 3600.000000	 3600      	 
1413.99/726.07	c mip_time            	 double    	 0.200000  	 0.5       	 
1413.99/726.07	c ls_time             	 double    	 10.000000 	 10        	 
1413.99/726.07	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1413.99/726.07	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1413.99/726.07	c random_seed         	 int       	 0         	 0         	 
1413.99/726.07	c sample_size         	 int       	 50        	 50        	 
1413.99/726.07	c sub_score           	 int       	 1         	 1         	 
1413.99/726.07	c tabu_base           	 int       	 3         	 3         	 
1413.99/726.07	c tabu_variation      	 int       	 1         	 1         	 
1413.99/726.07	c sub_div             	 int       	 4         	 4         	 
1413.99/726.07	c nbcore              	 int       	 2         	 1         	 
1413.99/726.07	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1413.99/726.07	c print_sol           	 int       	 1         	 1         	 
1413.99/726.07	c tmpdir              	 string		 .         	 "."       	 
1413.99/726.07	c home                	 string		 HOME	 "."       	 
1413.99/726.07	c benchname           	 string		 HOME/instance-4506787-1751134607.opb	 ""        	 
1413.99/726.07	c --------------------------------------------------
1413.99/726.07	c Local Search solver
1413.99/726.07	c MIP solver
1413.99/726.07	c use Exact solver
3600.07/2918.20	c receive signal 15, try to interrupt solver...
1414.12/2918.31	c Exact solver (PID 12089) interrupted gracefully.
1414.12/2918.32	s UNKNOWN
1414.12/2918.32	c Total time: 2919

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506787-1751134607/watcher-4506787-1751134607 -o /tmp/evaluation-result-4506787-1751134607/solver-4506787-1751134607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751133631-11434 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4506787-1751134607.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=11962, runsolver pid=11959

[startup+0.100065 s]*
/proc/loadavg: 5.17 6.22 4.66 6/266 11963
/proc/meminfo: memFree=126575856/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=61772 memory=27392 CPUtime=0.09 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 5788 0 0 0 8 1 0 0 20 0 1 0 29139156 63254528 6848 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 15443 6848 1216 6655 0 5678 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 27392 KiB

[startup+0.205622 s]*
/proc/loadavg: 5.17 6.22 4.66 6/266 11963
/proc/meminfo: memFree=126575856/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=61772 memory=27392 CPUtime=0.2 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 5788 0 0 0 19 1 0 0 20 0 1 0 29139156 63254528 6848 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 15443 6848 1216 6655 0 5678 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 27392 KiB

[startup+0.305675 s]*
/proc/loadavg: 5.17 6.22 4.66 6/266 11963
/proc/meminfo: memFree=126576140/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=61772 memory=27392 CPUtime=0.3 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 5788 0 0 0 29 1 0 0 20 0 1 0 29139156 63254528 6848 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 15443 6848 1216 6655 0 5678 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 27392 KiB

[startup+0.700174 s]
/proc/loadavg: 5.17 6.22 4.66 6/266 11963
/proc/meminfo: memFree=126576140/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=61772 memory=27392 CPUtime=0.69 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 5788 0 0 0 68 1 0 0 20 0 1 0 29139156 63254528 6848 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 15443 6848 1216 6655 0 5678 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 27392 KiB

[startup+1.50017 s]
/proc/loadavg: 5.17 6.22 4.66 5/266 11963
/proc/meminfo: memFree=126732412/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=61772 memory=27392 CPUtime=1.48 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 5788 0 0 0 147 1 0 0 20 0 1 0 29139156 63254528 6848 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 15443 6848 1216 6655 0 5678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 27392 KiB

[startup+3.1054 s]
/proc/loadavg: 5.16 6.20 4.67 6/266 11963
/proc/meminfo: memFree=126521760/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=61772 memory=27392 CPUtime=3.09 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 5788 0 0 0 308 1 0 0 20 0 1 0 29139156 63254528 6848 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 15443 6848 1216 6655 0 5678 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 27392 KiB

[startup+6.30016 s]
/proc/loadavg: 5.16 6.20 4.67 6/266 11963
/proc/meminfo: memFree=126373780/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=61772 memory=27392 CPUtime=6.27 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 5788 0 0 0 626 1 0 0 20 0 1 0 29139156 63254528 6848 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 15443 6848 1216 6655 0 5678 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 27392 KiB

[startup+12.7002 s]
/proc/loadavg: 5.21 6.18 4.68 7/267 11964
/proc/meminfo: memFree=126270816/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=212488 memory=128212 CPUtime=14.95 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 28250 0 0 0 1491 4 0 0 20 0 2 0 29139156 217587712 32053 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 53122 32053 3456 6655 0 32329 0
[pid=11962/tid=11964] ppid=11959 vsize=212488 memory=127444 CPUtime=2.28 cores=5,7
/proc/11962/task/11964/stat : 11964 (LSIPExact) R 11959 11962 11416 0 -1 4194368 4898 0 0 0 228 0 0 0 20 0 2 0 29140160 217587712 32053 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
Current children cumulated CPU time: 14.95 s
Current children cumulated vsize: 212488 KiB
Current children cumulated memory: 128212 KiB

[startup+25.5002 s]
/proc/loadavg: 5.34 6.17 4.69 7/267 12010
/proc/meminfo: memFree=127365448/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=213984 memory=129748 CPUtime=34.13 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 39133 0 0 0 3408 5 0 0 20 0 2 0 29139156 219119616 32437 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 53496 32437 3456 6655 0 32703 0
[pid=11962/tid=11964] ppid=11959 vsize=213984 memory=129620 CPUtime=8.7 cores=5,7
/proc/11962/task/11964/stat : 11964 (LSIPExact) S 11959 11962 11416 0 -1 4194368 5935 0 0 0 870 0 0 0 20 0 2 0 29140160 219119616 32437 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
Current children cumulated CPU time: 34.13 s
Current children cumulated vsize: 213984 KiB
Current children cumulated memory: 129748 KiB

[startup+51.1055 s]
/proc/loadavg: 5.72 6.19 4.74 7/268 12012
/proc/meminfo: memFree=127303032/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=249804 memory=162644 CPUtime=73.09 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 67319 0 0 0 7302 7 0 0 20 0 2 0 29139156 255799296 40661 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 62451 40661 3520 6655 0 41915 0
[pid=11962/tid=11964] ppid=11959 vsize=249804 memory=14976 CPUtime=22.13 cores=5,7
/proc/11962/task/11964/stat : 11964 (LSIPExact) R 11959 11962 11416 0 -1 4194368 13756 0 0 0 2212 1 0 0 20 0 2 0 29140160 255799296 40661 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
Current children cumulated CPU time: 73.09 s
Current children cumulated vsize: 249804 KiB
Current children cumulated memory: 162644 KiB

[startup+102.3 s]
/proc/loadavg: 6.38 6.29 4.85 8/268 12014
/proc/meminfo: memFree=127256276/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=249804 memory=163540 CPUtime=174.79 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 85608 0 0 0 17470 9 0 0 20 0 2 0 29139156 255799296 40885 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 62451 40885 3520 6655 0 41915 0
[pid=11962/tid=11964] ppid=11959 vsize=249804 memory=163028 CPUtime=72.78 cores=5,7
/proc/11962/task/11964/stat : 11964 (LSIPExact) R 11959 11962 11416 0 -1 4194368 20147 0 0 0 7277 1 0 0 20 0 2 0 29140160 255799296 40885 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
Current children cumulated CPU time: 174.79 s
Current children cumulated vsize: 249804 KiB
Current children cumulated memory: 163540 KiB

[startup+162.3 s]
/proc/loadavg: 6.81 6.43 5.00 8/268 12015
/proc/meminfo: memFree=127240356/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=275420 memory=188028 CPUtime=293.98 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 97996 0 0 0 29387 11 0 0 20 0 2 0 29139156 282030080 47007 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 68855 47007 3552 6655 0 48319 0
[pid=11962/tid=11964] ppid=11959 vsize=275420 memory=188028 CPUtime=132.15 cores=5,7
/proc/11962/task/11964/stat : 11964 (LSIPExact) R 11959 11962 11416 0 -1 4194368 21769 0 0 0 13213 2 0 0 20 0 2 0 29140160 282030080 47007 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
Current children cumulated CPU time: 293.98 s
Current children cumulated vsize: 275420 KiB
Current children cumulated memory: 188028 KiB

[startup+222.3 s]
/proc/loadavg: 6.98 6.55 5.13 8/268 12017
/proc/meminfo: memFree=127236460/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=276964 memory=189564 CPUtime=413.16 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 112600 0 0 0 41304 12 0 0 20 0 2 0 29139156 283611136 47391 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 69241 47391 3552 6655 0 49127 0
[pid=11962/tid=11964] ppid=11959 vsize=276964 memory=14976 CPUtime=191.51 cores=5,7
/proc/11962/task/11964/stat : 11964 (LSIPExact) R 11959 11962 11416 0 -1 4194368 26510 0 0 0 19149 2 0 0 20 0 2 0 29140160 283611136 47391 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
Current children cumulated CPU time: 413.16 s
Current children cumulated vsize: 276964 KiB
Current children cumulated memory: 189564 KiB

[startup+282.3 s]
/proc/loadavg: 7.11 6.67 5.26 8/269 12025
/proc/meminfo: memFree=127207072/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=276964 memory=189692 CPUtime=532.35 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 113900 0 0 0 53223 12 0 0 20 0 2 0 29139156 283611136 47423 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 69241 47423 3552 6655 0 49127 0
[pid=11962/tid=11964] ppid=11959 vsize=276964 memory=189692 CPUtime=250.87 cores=5,7
/proc/11962/task/11964/stat : 11964 (LSIPExact) R 11959 11962 11416 0 -1 4194368 26543 0 0 0 25085 2 0 0 20 0 2 0 29140160 283611136 47423 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
Current children cumulated CPU time: 532.35 s
Current children cumulated vsize: 276964 KiB
Current children cumulated memory: 189692 KiB

[startup+342.3 s]
/proc/loadavg: 7.10 6.75 5.38 8/270 12030
/proc/meminfo: memFree=127197300/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=276964 memory=189692 CPUtime=651.53 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) R 11959 11962 11416 0 -1 4194304 119247 0 0 0 65141 12 0 0 20 0 2 0 29139156 283611136 47423 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 69241 47423 3552 6655 0 49127 0
[pid=11962/tid=11964] ppid=11959 vsize=276964 memory=189692 CPUtime=310.24 cores=5,7
/proc/11962/task/11964/stat : 11964 (LSIPExact) R 11959 11962 11416 0 -1 4194368 28267 0 0 0 31021 3 0 0 20 0 2 0 29140160 283611136 47423 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
Current children cumulated CPU time: 651.53 s
Current children cumulated vsize: 276964 KiB
Current children cumulated memory: 189692 KiB

[startup+402.3 s]

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

Current children cumulated memory: 663520 KiB

[startup+2382.3 s]
/proc/loadavg: 5.09 4.99 4.99 6/268 12356
/proc/meminfo: memFree=127912448/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=476500 memory=444460 CPUtime=1651.42 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 60951 0 0 0 165007 135 0 0 20 0 1 0 29211763 487936000 111115 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 119125 111115 1120 1011 0 117892 0
Current children cumulated CPU time: 3065.54 s
Current children cumulated vsize: 773404 KiB
Current children cumulated memory: 665312 KiB

[startup+2442.3 s]
/proc/loadavg: 5.14 5.02 5.00 6/268 12358
/proc/meminfo: memFree=127868264/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=477920 memory=445868 CPUtime=1711.29 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 61274 0 0 0 170994 135 0 0 20 0 1 0 29211763 489390080 111467 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 119480 111467 1120 1011 0 118247 0
Current children cumulated CPU time: 3125.41 s
Current children cumulated vsize: 774824 KiB
Current children cumulated memory: 666720 KiB

[startup+2502.3 s]
/proc/loadavg: 5.47 5.12 5.04 6/267 12360
/proc/meminfo: memFree=127874132/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=478176 memory=446124 CPUtime=1771.15 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 61512 0 0 0 176961 154 0 0 20 0 1 0 29211763 489652224 111531 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 119544 111531 1120 1011 0 118311 0
Current children cumulated CPU time: 3185.27 s
Current children cumulated vsize: 775080 KiB
Current children cumulated memory: 666976 KiB

[startup+2562.3 s]
/proc/loadavg: 5.30 5.13 5.04 6/266 12362
/proc/meminfo: memFree=127863788/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=479428 memory=447404 CPUtime=1831.02 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 61852 0 0 0 182948 154 0 0 20 0 1 0 29211763 490934272 111851 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 119857 111851 1120 1011 0 118624 0
Current children cumulated CPU time: 3245.14 s
Current children cumulated vsize: 776332 KiB
Current children cumulated memory: 668256 KiB

[startup+2622.3 s]
/proc/loadavg: 5.17 5.12 5.04 6/267 12365
/proc/meminfo: memFree=127841016/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=481480 memory=449452 CPUtime=1890.88 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 62537 0 0 0 188934 154 0 0 20 0 1 0 29211763 493035520 112363 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 120370 112363 1120 1011 0 119137 0
Current children cumulated CPU time: 3305 s
Current children cumulated vsize: 778384 KiB
Current children cumulated memory: 670304 KiB

[startup+2682.3 s]
/proc/loadavg: 5.11 5.11 5.04 6/267 12378
/proc/meminfo: memFree=127791960/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=483268 memory=451244 CPUtime=1950.76 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 63006 0 0 0 194921 155 0 0 20 0 1 0 29211763 494866432 112811 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 120817 112811 1120 1011 0 119584 0
Current children cumulated CPU time: 3364.88 s
Current children cumulated vsize: 780172 KiB
Current children cumulated memory: 672096 KiB

[startup+2742.3 s]
/proc/loadavg: 4.94 5.07 5.03 5/268 12385
/proc/meminfo: memFree=127796016/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=484748 memory=452652 CPUtime=2010.6 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 63382 0 0 0 200905 155 0 0 20 0 1 0 29211763 496381952 113163 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 121187 113163 1120 1011 0 119954 0
Current children cumulated CPU time: 3424.72 s
Current children cumulated vsize: 781652 KiB
Current children cumulated memory: 673504 KiB

[startup+2802.3 s]
/proc/loadavg: 4.39 4.89 4.97 5/268 12389
/proc/meminfo: memFree=127771672/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=485804 memory=453804 CPUtime=2070.41 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 63697 0 0 0 206878 163 0 0 20 0 1 0 29211763 497463296 113451 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 121451 113451 1120 1011 0 120218 0
Current children cumulated CPU time: 3484.53 s
Current children cumulated vsize: 782708 KiB
Current children cumulated memory: 674656 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.74 4.91 5/268 12391
/proc/meminfo: memFree=127752020/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=485804 memory=453932 CPUtime=2130.23 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 63832 0 0 0 212838 185 0 0 20 0 1 0 29211763 497463296 113483 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 121451 113483 1152 1011 0 120218 0
Current children cumulated CPU time: 3544.35 s
Current children cumulated vsize: 782708 KiB
Current children cumulated memory: 674784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2918.2 s]
/proc/loadavg: 4.17 4.63 4.86 5/268 12394
/proc/meminfo: memFree=127750096/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167795 0 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
[pid=12089] ppid=11962 vsize=486360 memory=454444 CPUtime=2185.95 cores=5,7
/proc/12089/stat : 12089 (Exact) R 11962 12089 12089 0 -1 4194304 64120 0 0 0 218410 185 0 0 20 0 1 0 29211763 498032640 113611 18446744073709551615 4198400 8335837 140724158297408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 27451392 140724158302395 140724158302749 140724158302749 140724158308303 0
/proc/12089/statm: 121590 113611 1152 1011 0 120357 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 783264 KiB
Current children cumulated memory: 675296 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.08 s, system=2.04031 s

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

[startup+2918.3 s]
/proc/loadavg: 4.17 4.63 4.86 5/268 12394
/proc/meminfo: memFree=127750096/131249996 swapFree=33010684/33010684
[pid=11962] ppid=11959 vsize=296904 memory=220852 CPUtime=1414.12 cores=5,7
/proc/11962/stat : 11962 (LSIPExact) S 11959 11962 11416 0 -1 4194304 167796 135 0 0 141395 17 0 0 20 0 1 0 29139156 304029696 55213 18446744073709551615 94033654538240 94033681794641 140728382874576 0 0 0 16384 0 16386 1 0 0 17 7 0 0 0 0 0 94033690297480 94033690729088 94033697079296 140728382880090 140728382880266 140728382880266 140728382885868 0
/proc/11962/statm: 74226 55213 3584 6655 0 54348 0
Current children cumulated CPU time: 1414.12 s
Current children cumulated vsize: 296904 KiB
Current children cumulated memory: 220852 KiB

Child status: 0

Real time (s): 2918.33
CPU time (s): 3600.12
CPU user time (s): 3598.08
CPU system time (s): 2.04031
CPU usage (%): 123.363
Max. virtual memory (cumulated for all children) (KiB): 783264
Max. memory (cumulated for all children) (KiB): 675296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.08
system time used= 2.04031
maximum resident set size= 454444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234739
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= 489
involuntary context switches= 17181


# summary of solver processes directly reported to runsolver:
#   pid: 11962
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3598.08
#   total CPU system time (s): 2.04031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55298 second user time and 12.9501 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-06-28 20:16:47
IDJOB=4506787
IDBENCH=158265
IDSOLVER=3336
FILE ID=nodeC029/4506787-1751134607
RUNJOBID= nodeC029-1751133631-11434
SLURM_JOB_ID= 9587429
Free space on /tmp= 432896 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506787-1751134607/watcher-4506787-1751134607 -o /tmp/evaluation-result-4506787-1751134607/solver-4506787-1751134607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751133631-11434 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4506787-1751134607.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=1248656310

nodeC029 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		: 3598.519
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.46
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.722
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.46
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		: 3599.718
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.46
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.732
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.46
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		: 3600.040
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.46
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.654
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.46
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		: 3613.177
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.46
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.723
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126591424 kB
MemAvailable:   126345788 kB
Buffers:            3280 kB
Cached:           566240 kB
SwapCached:            0 kB
Active:          3673640 kB
Inactive:         359756 kB
Active(anon):    3481936 kB
Inactive(anon):        0 kB
Active(file):     191704 kB
Inactive(file):   359756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45612 kB
Writeback:            36 kB
AnonPages:       3459212 kB
Mapped:           147524 kB
Shmem:             18060 kB
KReclaimable:      84284 kB
Slab:             166220 kB
SReclaimable:      84284 kB
SUnreclaim:        81936 kB
KernelStack:        4316 kB
PageTables:        10144 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3897416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1695744 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432884 MiB
End job on nodeC029 at 2025-06-28 21:05:26