Trace number 4521893

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 S1? (TO) 3602.21 3206.39

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
MD5SUM8dda82f4961ecebecfcf9bee24c61458
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 benchmark1540
Best CPU time to get the best result obtained on this benchmark1304.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4576880
Total number of constraints176770
Number of constraints which are clauses89155
Number of constraints which are cardinality constraints (but not clauses)81620
Number of constraints which are nor clauses,nor cardinality constraints5995
Minimum length of a constraint54
Maximum length of a constraint59
Number of terms in the objective function 3080
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 3080
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 3080
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 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60871 MiB free)
  memory of node 1: 64507 MiB (59686 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521893-1751570717/watcher-4521893-1751570717 -o /tmp/evaluation-result-4521893-1751570717/solver-4521893-1751570717 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751565791-83969 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4521893-1751570717.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.el9_5.x86_64
Starting watchdog thread
solver pid=85442, runsolver pid=85439
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 7.87 8.04 8.01 8/268 85443
/proc/meminfo: memFree=123384024/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=122404 memory=79560 CPUtime=0.09 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 16854 0 0 0 7 2 0 0 20 0 1 0 72749553 125341696 19890 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 30601 19890 1152 6655 0 20836 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 122404 KiB
Current children cumulated memory: 79560 KiB

[startup+0.205836 s]*
/proc/loadavg: 7.87 8.04 8.01 8/268 85443
/proc/meminfo: memFree=123343704/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=163192 memory=120392 CPUtime=0.2 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 27070 0 0 0 15 5 0 0 20 0 1 0 72749553 167108608 30098 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 40798 30098 1152 6655 0 31033 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 163192 KiB
Current children cumulated memory: 120392 KiB

[startup+0.305731 s]*
/proc/loadavg: 7.87 8.04 8.01 8/268 85443
/proc/meminfo: memFree=123301592/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=201604 memory=158792 CPUtime=0.3 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 36657 0 0 0 24 6 0 0 20 0 1 0 72749553 206442496 39698 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 50401 39698 1152 6655 0 40636 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 201604 KiB
Current children cumulated memory: 158792 KiB

[startup+0.700191 s]
/proc/loadavg: 7.87 8.04 8.01 8/268 85443
/proc/meminfo: memFree=123229016/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=1032460 memory=866552 CPUtime=0.68 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 62298 0 0 0 45 23 0 0 20 0 1 0 72749553 1057239040 216638 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 258115 216638 1184 6655 0 248350 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1032460 KiB
Current children cumulated memory: 866552 KiB

[startup+1.50018 s]
/proc/loadavg: 7.87 8.04 8.01 8/268 85443
/proc/meminfo: memFree=122230600/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=1663996 memory=1629588 CPUtime=1.48 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 219838 0 0 0 99 49 0 0 20 0 1 0 72749553 1703931904 407365 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 415999 407365 1184 6655 0 406234 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1663996 KiB
Current children cumulated memory: 1629588 KiB

[startup+3.10564 s]
/proc/loadavg: 7.87 8.04 8.01 8/268 85443
/proc/meminfo: memFree=120821788/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=2702560 memory=2658840 CPUtime=3.08 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 449219 0 0 0 221 87 0 0 20 0 1 0 72749553 2767421440 664710 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 675640 664710 1184 6655 0 665875 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2702560 KiB
Current children cumulated memory: 2658840 KiB

[startup+6.30018 s]
/proc/loadavg: 7.80 8.02 8.00 8/268 85443
/proc/meminfo: memFree=120430616/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=3063024 memory=2988104 CPUtime=6.27 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 656466 0 0 0 366 261 0 0 20 0 1 0 72749553 3136536576 747026 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 765756 747026 1184 6655 0 755991 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3063024 KiB
Current children cumulated memory: 2988104 KiB

[startup+12.7002 s]
/proc/loadavg: 7.73 8.00 8.00 8/268 85443
/proc/meminfo: memFree=119124536/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=4522124 memory=4359264 CPUtime=12.64 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 1014822 0 0 0 694 570 0 0 20 0 1 0 72749553 4630654976 1089816 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 1130531 1089816 2304 6655 0 1120766 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 4522124 KiB
Current children cumulated memory: 4359264 KiB

[startup+25.5002 s]
/proc/loadavg: 7.62 7.97 7.99 8/269 85445
/proc/meminfo: memFree=114976664/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=10059960 memory=8165984 CPUtime=25.42 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 1164921 0 0 0 1807 735 0 0 20 0 2 0 72749553 10301399040 2041496 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 2514990 2041496 2944 6655 0 2488873 0
[pid=85442/tid=85444] ppid=85439 vsize=10059960 memory=281164263452960 CPUtime=0 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 72750880 10301399040 2041496 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 10059960 KiB
Current children cumulated memory: 8165984 KiB

[startup+51.1059 s]
/proc/loadavg: 7.49 7.91 7.97 8/269 85445
/proc/meminfo: memFree=114582864/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=10686392 memory=8723144 CPUtime=50.96 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 1271651 0 0 0 4258 838 0 0 20 0 2 0 72749553 10942865408 2180786 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 2671598 2180786 2976 6655 0 2645481 0
[pid=85442/tid=85444] ppid=85439 vsize=10686392 memory=8491676 CPUtime=0 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 72750880 10942865408 2180786 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 10686392 KiB
Current children cumulated memory: 8723144 KiB

[startup+102.3 s]
/proc/loadavg: 7.26 7.78 7.92 8/269 85447
/proc/meminfo: memFree=114560156/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=10696160 memory=8733128 CPUtime=102.02 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 1276671 0 0 0 9362 840 0 0 20 0 2 0 72749553 10952867840 2183282 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 2674040 2183282 2976 6655 0 2647923 0
[pid=85442/tid=85444] ppid=85439 vsize=10696160 memory=14824 CPUtime=0 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 72750880 10952867840 2183282 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 10696160 KiB
Current children cumulated memory: 8733128 KiB

[startup+162.3 s]
/proc/loadavg: 7.14 7.65 7.86 8/269 85449
/proc/meminfo: memFree=114489216/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=10714508 memory=8751688 CPUtime=161.85 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 1283908 0 0 0 15342 843 0 0 20 0 2 0 72749553 10971656192 2187922 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 2678627 2187922 2976 6655 0 2652510 0
[pid=85442/tid=85444] ppid=85439 vsize=10714508 memory=14824 CPUtime=0 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 72750880 10971656192 2187922 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 10714508 KiB
Current children cumulated memory: 8751688 KiB

[startup+222.3 s]
/proc/loadavg: 7.16 7.56 7.82 8/269 85455
/proc/meminfo: memFree=114428636/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=10732856 memory=8770120 CPUtime=221.69 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 1289756 0 0 0 21323 846 0 0 20 0 2 0 72749553 10990444544 2192530 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 2683214 2192530 2976 6655 0 2657097 0
[pid=85442/tid=85444] ppid=85439 vsize=10732856 memory=8761800 CPUtime=0 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 72750880 10990444544 2192530 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 10732856 KiB
Current children cumulated memory: 8770120 KiB

[startup+282.3 s]
/proc/loadavg: 7.10 7.47 7.77 8/269 85458
/proc/meminfo: memFree=114336284/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=10751072 memory=8788680 CPUtime=281.53 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 1296214 0 0 0 27304 849 0 0 20 0 2 0 72749553 11009097728 2197170 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 2687768 2197170 2976 6655 0 2661651 0
[pid=85442/tid=85444] ppid=85439 vsize=10751072 memory=8780744 CPUtime=0 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 72750880 11009097728 2197170 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 10751072 KiB
Current children cumulated memory: 8788680 KiB

[startup+342.3 s]
/proc/loadavg: 7.16 7.41 7.73 8/267 85462
/proc/meminfo: memFree=114279984/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=10769420 memory=8807240 CPUtime=341.38 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 1302703 0 0 0 33285 853 0 0 20 0 2 0 72749553 11027886080 2201810 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 2692355 2201810 2976 6655 0 2666238 0
[pid=85442/tid=85444] ppid=85439 vsize=10769420 memory=18688 CPUtime=0 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 72750880 11027886080 2201810 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 10769420 KiB
Current children cumulated memory: 8807240 KiB

[startup+402.3 s]
/proc/loadavg: 7.12 7.35 7.69 8/267 85464

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

/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4112963 0 0 0 318168 1758 0 0 20 0 2 0 72749553 22249791488 4187360 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5432078 4187360 3488 6655 0 5411276 0
[pid=85442/tid=85444] ppid=85439 vsize=21728312 memory=16724864 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22249791488 4187360 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3199.26 s
Current children cumulated vsize: 21728312 KiB
Current children cumulated memory: 16749440 KiB

[startup+2862.3 s]
/proc/loadavg: 6.38 6.67 7.00 7/268 85924
/proc/meminfo: memFree=102505892/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=21810232 memory=16833408 CPUtime=3259.09 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4265175 0 0 0 324142 1767 0 0 20 0 2 0 72749553 22333677568 4208352 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5452558 4208352 3488 6655 0 5431756 0
[pid=85442/tid=85444] ppid=85439 vsize=21810232 memory=16806784 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22333677568 4208352 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3259.09 s
Current children cumulated vsize: 21810232 KiB
Current children cumulated memory: 16833408 KiB

[startup+2922.3 s]
/proc/loadavg: 6.26 6.57 6.94 7/267 85926
/proc/meminfo: memFree=102133496/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=21892152 memory=16915328 CPUtime=3318.93 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4366192 0 0 0 330118 1775 0 0 20 0 2 0 72749553 22417563648 4228832 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5473038 4228832 3488 6655 0 5452236 0
[pid=85442/tid=85444] ppid=85439 vsize=21892152 memory=16806784 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22417563648 4228832 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3318.93 s
Current children cumulated vsize: 21892152 KiB
Current children cumulated memory: 16915328 KiB

[startup+2982.3 s]
/proc/loadavg: 5.90 6.42 6.87 6/261 86059
/proc/meminfo: memFree=102084020/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=21990456 memory=17003392 CPUtime=3378.76 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4515160 0 0 0 336092 1784 0 0 20 0 2 0 72749553 22518226944 4250848 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5497614 4250848 3488 6655 0 5476812 0
[pid=85442/tid=85444] ppid=85439 vsize=21990456 memory=16960384 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22518226944 4250848 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3378.76 s
Current children cumulated vsize: 21990456 KiB
Current children cumulated memory: 17003392 KiB

[startup+3042.3 s]
/proc/loadavg: 5.57 6.24 6.77 6/267 86119
/proc/meminfo: memFree=100559576/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=22072376 memory=17089408 CPUtime=3438.58 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4662456 0 0 0 342065 1793 0 0 20 0 2 0 72749553 22602113024 4272352 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5518094 4272352 3488 6655 0 5497292 0
[pid=85442/tid=85444] ppid=85439 vsize=22072376 memory=17044352 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22602113024 4272352 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3438.58 s
Current children cumulated vsize: 22072376 KiB
Current children cumulated memory: 17089408 KiB

[startup+3102.3 s]
/proc/loadavg: 5.95 6.22 6.73 7/267 86121
/proc/meminfo: memFree=99314460/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=22154296 memory=17183616 CPUtime=3498.41 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4807552 0 0 0 348038 1803 0 0 20 0 2 0 72749553 22685999104 4295904 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5538574 4295904 3488 6655 0 5517772 0
[pid=85442/tid=85444] ppid=85439 vsize=22154296 memory=17021824 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22685999104 4295904 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3498.41 s
Current children cumulated vsize: 22154296 KiB
Current children cumulated memory: 17183616 KiB

[startup+3162.3 s]
/proc/loadavg: 6.03 6.19 6.69 7/267 86123
/proc/meminfo: memFree=98612104/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=22252600 memory=17271680 CPUtime=3558.24 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4903901 0 0 0 354013 1811 0 0 20 0 2 0 72749553 22786662400 4317920 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5563150 4317920 3488 6655 0 5542348 0
[pid=85442/tid=85444] ppid=85439 vsize=22252600 memory=14824 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22786662400 4317920 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3558.24 s
Current children cumulated vsize: 22252600 KiB
Current children cumulated memory: 17271680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3204.2 s]
/proc/loadavg: 6.07 6.18 6.66 7/267 86124
/proc/meminfo: memFree=98530252/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=22318136 memory=17334400 CPUtime=3600.02 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4998563 0 0 0 358185 1817 0 0 20 0 2 0 72749553 22853771264 4333600 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5579534 4333600 3488 6655 0 5558732 0
[pid=85442/tid=85444] ppid=85439 vsize=22318136 memory=-6514007601044361566 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22853771264 4333600 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 22318136 KiB
Current children cumulated memory: 17334400 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3583.85 s, system=18.3547 s

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

[startup+3204.8 s]
/proc/loadavg: 6.07 6.18 6.66 7/267 86124
/proc/meminfo: memFree=98530252/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=22318136 memory=17337216 CPUtime=3600.62 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4998804 0 0 0 358245 1817 0 0 20 0 2 0 72749553 22853771264 4334304 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5579534 4334304 3488 6655 0 5558732 0
[pid=85442/tid=85444] ppid=85439 vsize=22318136 memory=17333120 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22853771264 4334304 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 22318136 KiB
Current children cumulated memory: 17337216 KiB

[startup+3205.6 s]
/proc/loadavg: 6.07 6.18 6.66 7/267 86124
/proc/meminfo: memFree=98526160/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=22318136 memory=17339264 CPUtime=3601.41 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4998831 0 0 0 358324 1817 0 0 20 0 2 0 72749553 22853771264 4334816 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5579534 4334816 3488 6655 0 5558732 0
[pid=85442/tid=85444] ppid=85439 vsize=22318136 memory=14824 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22853771264 4334816 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3601.41 s
Current children cumulated vsize: 22318136 KiB
Current children cumulated memory: 17339264 KiB

[startup+3206 s]*
/proc/loadavg: 6.07 6.18 6.66 7/267 86124
/proc/meminfo: memFree=98526224/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=22318136 memory=17339264 CPUtime=3601.82 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4998831 0 0 0 358365 1817 0 0 20 0 2 0 72749553 22853771264 4334816 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5579534 4334816 3488 6655 0 5558732 0
[pid=85442/tid=85444] ppid=85439 vsize=22318136 memory=-6658966114538721636 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22853771264 4334816 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3601.82 s
Current children cumulated vsize: 22318136 KiB
Current children cumulated memory: 17339264 KiB

[startup+3206.2 s]
/proc/loadavg: 6.07 6.18 6.66 7/267 86124
/proc/meminfo: memFree=98526224/131249996 swapFree=33010672/33010684
[pid=85442] ppid=85439 vsize=22318136 memory=17339264 CPUtime=3602.01 cores=5,7
/proc/85442/stat : 85442 (LSIPExact) R 85439 85442 83956 0 -1 4194304 4998831 0 0 0 358384 1817 0 0 20 0 2 0 72749553 22853771264 4334816 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
/proc/85442/statm: 5579534 4334816 3488 6655 0 5558732 0
[pid=85442/tid=85444] ppid=85439 vsize=22318136 memory=17318656 CPUtime=405.61 cores=5,7
/proc/85442/task/85444/stat : 85444 (LSIPExact) S 85439 85442 83956 0 -1 4194368 419307 0 0 0 40298 263 0 0 20 0 2 0 72750880 22853771264 4334816 18446744073709551615 94224162308096 94224189564497 140733377545840 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94224198067336 94224198498944 94224222363648 140733377550682 140733377550858 140733377550858 140733377556460 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 22318136 KiB
Current children cumulated memory: 17339264 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3206.39
CPU time (s): 3602.21
CPU user time (s): 3583.85
CPU system time (s): 18.3547
CPU usage (%): 112.345
Max. virtual memory (cumulated for all children) (KiB): 22318136
Max. memory (cumulated for all children) (KiB): 17339264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.85
system time used= 18.3547
maximum resident set size= 17339264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4998832
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= 215
involuntary context switches= 36782


# summary of solver processes directly reported to runsolver:
#   pid: 85442
#   total CPU time (s): 3602.21
#   total CPU user time (s): 3583.85
#   total CPU system time (s): 18.3547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71398 second user time and 15.6623 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-03 21:25:18
IDJOB=4521893
IDBENCH=178517
IDSOLVER=3336
FILE ID=nodeC017/4521893-1751570717
RUNJOBID= nodeC017-1751565791-83969
SLURM_JOB_ID= 9598774
Free space on /tmp= 432228 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521893-1751570717/watcher-4521893-1751570717 -o /tmp/evaluation-result-4521893-1751570717/solver-4521893-1751570717 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751565791-83969 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4521893-1751570717.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=736106455

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123452092 kB
MemAvailable:   127366096 kB
Buffers:            1688 kB
Cached:          4682460 kB
SwapCached:            8 kB
Active:          2660812 kB
Inactive:        4393080 kB
Active(anon):    2371688 kB
Inactive(anon):    16128 kB
Active(file):     289124 kB
Inactive(file):  4376952 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            157156 kB
Writeback:             4 kB
AnonPages:       2372376 kB
Mapped:           139688 kB
Shmem:             18072 kB
KReclaimable:     173936 kB
Slab:             265432 kB
SReclaimable:     173936 kB
SUnreclaim:        91496 kB
KernelStack:        4320 kB
PageTables:         7708 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2720324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    741376 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432080 MiB
End job on nodeC017 at 2025-07-03 22:18:44