Trace number 4521203

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.32 1828.53

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
MD5SUM56a55a6a376bce11ab58c02a823aeaa9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1764
Best CPU time to get the best result obtained on this benchmark3581.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3486
Total number of constraints381136
Number of constraints which are clauses381136
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 2940
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 2940
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2940
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.07/1826.50	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.07/1826.50	c numVar: 3486
3600.07/1826.50	c numCon: 381136
3600.07/1826.50	c numEqual: 0
3600.07/1826.50	c intSize: 12
3600.07/1826.50	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.07/1826.50	c ------------------- Paras list -------------------
3600.07/1826.50	c Name                	 Type      	 Now       	 Default   	 Comment
3600.07/1826.50	c timeout             	 double    	 3600.000000	 3600      	 
3600.07/1826.50	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.07/1826.50	c ls_time             	 double    	 10.000000 	 10        	 
3600.07/1826.50	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.07/1826.50	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.07/1826.50	c random_seed         	 int       	 0         	 0         	 
3600.07/1826.50	c sample_size         	 int       	 50        	 50        	 
3600.07/1826.50	c sub_score           	 int       	 1         	 1         	 
3600.07/1826.50	c tabu_base           	 int       	 3         	 3         	 
3600.07/1826.50	c tabu_variation      	 int       	 1         	 1         	 
3600.07/1826.50	c sub_div             	 int       	 4         	 4         	 
3600.07/1826.50	c nbcore              	 int       	 2         	 1         	 
3600.07/1826.50	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.07/1826.50	c print_sol           	 int       	 1         	 1         	 
3600.07/1826.50	c tmpdir              	 string		 .         	 "."       	 
3600.07/1826.50	c home                	 string		 HOME	 "."       	 
3600.07/1826.50	c benchname           	 string		 HOME/instance-4521203-1751567669.opb	 ""        	 
3600.07/1826.50	c --------------------------------------------------
3600.07/1826.50	c Local Search solver
3600.07/1826.50	c LS find feasible solution for PBO with objective value -1764
3600.07/1826.50	c MIP solver
3600.07/1826.50	c receive signal 15, try to interrupt solver...
3600.73/1826.99	c copy file: 0
3600.73/1826.99	c gen ub file: HOME/instance-4521203-1751567669.opb_ub.opb
3600.73/1826.99	c use Exact 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 (60815 MiB free)
  memory of node 1: 64507 MiB (57297 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521203-1751567669/watcher-4521203-1751567669 -o /tmp/evaluation-result-4521203-1751567669/solver-4521203-1751567669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751565791-83966 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4521203-1751567669.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=84581, runsolver pid=84578

[startup+0.100067 s]*
/proc/loadavg: 7.92 8.05 7.43 8/268 84582
/proc/meminfo: memFree=120874936/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=143360 memory=100312 CPUtime=0.09 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 19017 0 0 0 7 2 0 0 20 0 1 0 72444673 146800640 25078 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 35840 25078 1120 6655 0 26075 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 143360 KiB
Current children cumulated memory: 100312 KiB

[startup+0.205934 s]*
/proc/loadavg: 7.92 8.05 7.43 8/268 84582
/proc/meminfo: memFree=120827432/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=179444 memory=144836 CPUtime=0.2 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 28076 0 0 0 16 4 0 0 20 0 1 0 72444673 183750656 36209 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 44861 36209 1152 6655 0 35096 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 179444 KiB
Current children cumulated memory: 144836 KiB

[startup+0.305747 s]*
/proc/loadavg: 7.92 8.05 7.43 8/268 84582
/proc/meminfo: memFree=120811304/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=199376 memory=164804 CPUtime=0.29 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 33053 0 0 0 25 4 0 0 20 0 1 0 72444673 204161024 41201 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 49844 41201 1152 6655 0 40079 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199376 KiB
Current children cumulated memory: 164804 KiB

[startup+0.700179 s]
/proc/loadavg: 7.92 8.05 7.43 8/268 84582
/proc/meminfo: memFree=120770984/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=275284 memory=240708 CPUtime=0.68 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 52022 0 0 0 62 6 0 0 20 0 1 0 72444673 281890816 60177 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 68821 60177 1152 6655 0 59056 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 275284 KiB
Current children cumulated memory: 240708 KiB

[startup+1.50017 s]
/proc/loadavg: 7.92 8.05 7.43 8/268 84582
/proc/meminfo: memFree=120722600/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=281492 memory=246724 CPUtime=1.48 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 53537 0 0 0 142 6 0 0 20 0 1 0 72444673 288247808 61681 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 70373 61681 1152 6655 0 60608 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 246724 KiB

[startup+3.10557 s]
/proc/loadavg: 7.92 8.05 7.43 8/269 84584
/proc/meminfo: memFree=120722648/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=282004 memory=247236 CPUtime=3.08 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 53679 0 0 0 302 6 0 0 20 0 1 0 72444673 288772096 61809 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 70501 61809 1152 6655 0 60736 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 282004 KiB
Current children cumulated memory: 247236 KiB

[startup+6.30017 s]
/proc/loadavg: 7.84 8.03 7.43 8/269 84584
/proc/meminfo: memFree=120726596/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=282004 memory=247236 CPUtime=6.26 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 53693 0 0 0 620 6 0 0 20 0 1 0 72444673 288772096 61809 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 70501 61809 1152 6655 0 60736 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 282004 KiB
Current children cumulated memory: 247236 KiB

[startup+12.7002 s]
/proc/loadavg: 7.78 8.02 7.43 8/270 84585
/proc/meminfo: memFree=120305980/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=728644 memory=619636 CPUtime=12.64 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 113025 0 0 0 1243 21 0 0 20 0 2 0 72444673 746131456 154909 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 182161 154909 2848 6655 0 156044 0
[pid=84581/tid=84585] ppid=84578 vsize=728644 memory=672156 CPUtime=0 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) S 84578 84581 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 72445728 746131456 154909 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 728644 KiB
Current children cumulated memory: 619636 KiB

[startup+25.5096 s]
/proc/loadavg: 7.60 7.97 7.42 8/270 84585
/proc/meminfo: memFree=120234664/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=855268 memory=762908 CPUtime=25.42 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) S 84578 84581 83956 0 -1 4194304 157574 0 0 0 2511 31 0 0 20 0 2 0 72444673 875794432 190727 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 213817 190727 2976 6655 0 199177 0
[pid=84581/tid=84585] ppid=84578 vsize=855268 memory=735660 CPUtime=0.02 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 4963 0 0 0 1 1 0 0 20 0 2 0 72445728 875794432 190727 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 855268 KiB
Current children cumulated memory: 762908 KiB

[startup+51.1056 s]
/proc/loadavg: 7.74 7.97 7.44 9/269 84585
/proc/meminfo: memFree=119927052/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1157084 memory=1033032 CPUtime=76.13 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 233870 0 0 0 7567 46 0 0 20 0 2 0 72444673 1184854016 258258 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 289271 258258 3232 6655 0 265076 0
[pid=84581/tid=84585] ppid=84578 vsize=1157084 memory=1022200 CPUtime=25.26 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 72077 0 0 0 2510 16 0 0 20 0 2 0 72445728 1184854016 258258 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 76.13 s
Current children cumulated vsize: 1157084 KiB
Current children cumulated memory: 1033032 KiB

[startup+102.3 s]
/proc/loadavg: 7.94 7.99 7.48 9/269 84587
/proc/meminfo: memFree=119912732/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1166936 memory=1044920 CPUtime=177.68 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 249057 0 0 0 17720 48 0 0 20 0 2 0 72444673 1194942464 261230 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 291734 261230 3232 6655 0 268039 0
[pid=84581/tid=84585] ppid=84578 vsize=1166936 memory=1044920 CPUtime=75.84 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 77457 0 0 0 7567 17 0 0 20 0 2 0 72445728 1194942464 261230 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 177.68 s
Current children cumulated vsize: 1166936 KiB
Current children cumulated memory: 1044920 KiB

[startup+162.3 s]
/proc/loadavg: 8.02 8.01 7.52 9/268 84589
/proc/meminfo: memFree=119906504/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1168912 memory=1047480 CPUtime=296.68 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 261875 0 0 0 29618 50 0 0 20 0 2 0 72444673 1196965888 261870 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 292228 261870 3232 6655 0 269067 0
[pid=84581/tid=84585] ppid=84578 vsize=1168912 memory=1045176 CPUtime=135.12 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 85965 0 0 0 13494 18 0 0 20 0 2 0 72445728 1196965888 261870 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 296.68 s
Current children cumulated vsize: 1168912 KiB
Current children cumulated memory: 1047480 KiB

[startup+222.3 s]
/proc/loadavg: 7.93 7.99 7.54 9/269 84644
/proc/meminfo: memFree=121638096/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1171124 memory=1051960 CPUtime=415.62 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 269783 0 0 0 41507 55 0 0 20 0 2 0 72444673 1199230976 262990 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 292781 262990 3232 6655 0 270096 0
[pid=84581/tid=84585] ppid=84578 vsize=1171124 memory=1047480 CPUtime=194.35 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 90557 0 0 0 19413 22 0 0 20 0 2 0 72445728 1199230976 262990 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 415.62 s
Current children cumulated vsize: 1171124 KiB
Current children cumulated memory: 1051960 KiB

[startup+282.3 s]
/proc/loadavg: 7.98 7.99 7.57 9/269 84646
/proc/meminfo: memFree=121640288/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1174352 memory=1058104 CPUtime=534.61 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 285405 0 0 0 53405 56 0 0 20 0 2 0 72444673 1202536448 264526 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 293588 264526 3232 6655 0 271348 0
[pid=84581/tid=84585] ppid=84578 vsize=1174352 memory=1053752 CPUtime=253.63 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 94444 0 0 0 25341 22 0 0 20 0 2 0 72445728 1202536448 264526 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 534.61 s
Current children cumulated vsize: 1174352 KiB
Current children cumulated memory: 1058104 KiB

[startup+342.3 s]
/proc/loadavg: 8.10 8.02 7.61 9/269 84649
/proc/meminfo: memFree=121478048/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1360968 memory=1211916 CPUtime=653.73 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 298971 0 0 0 65312 61 0 0 20 0 2 0 72444673 1393631232 302979 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 340242 302979 3264 6655 0 318002 0
[pid=84581/tid=84585] ppid=84578 vsize=1360968 memory=1211916 CPUtime=312.97 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 94452 0 0 0 31275 22 0 0 20 0 2 0 72445728 1393631232 302979 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 653.73 s
Current children cumulated vsize: 1360968 KiB
Current children cumulated memory: 1211916 KiB


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

[pid=84581] ppid=84578 vsize=1830120 memory=1706388 CPUtime=2916.46 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 768687 0 0 0 291497 149 0 0 20 0 2 0 72444673 1874042880 426597 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 457530 426597 3328 6655 0 445574 0
[pid=84581/tid=84585] ppid=84578 vsize=1830120 memory=14824 CPUtime=1443.44 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 439360 0 0 0 144280 64 0 0 20 0 2 0 72445728 1874042880 426597 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 2916.46 s
Current children cumulated vsize: 1830120 KiB
Current children cumulated memory: 1706388 KiB

[startup+1542.3 s]
/proc/loadavg: 8.18 8.10 7.96 9/267 85122
/proc/meminfo: memFree=123492496/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1830120 memory=1706644 CPUtime=3035.63 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 769416 0 0 0 303413 150 0 0 20 0 2 0 72444673 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 457530 426661 3328 6655 0 445574 0
[pid=84581/tid=84585] ppid=84578 vsize=1830120 memory=1706388 CPUtime=1503.21 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 440053 0 0 0 150257 64 0 0 20 0 2 0 72445728 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 3035.63 s
Current children cumulated vsize: 1830120 KiB
Current children cumulated memory: 1706644 KiB

[startup+1602.3 s]
/proc/loadavg: 8.12 8.09 7.97 9/267 85135
/proc/meminfo: memFree=123440708/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1830120 memory=1706644 CPUtime=3154.8 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 790785 0 0 0 315328 152 0 0 20 0 2 0 72444673 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 457530 426661 3328 6655 0 445574 0
[pid=84581/tid=84585] ppid=84578 vsize=1830120 memory=14824 CPUtime=1562.99 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 459494 0 0 0 156233 66 0 0 20 0 2 0 72445728 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 3154.8 s
Current children cumulated vsize: 1830120 KiB
Current children cumulated memory: 1706644 KiB

[startup+1662.3 s]
/proc/loadavg: 8.09 8.09 7.98 9/268 85138
/proc/meminfo: memFree=123402276/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1830120 memory=1706644 CPUtime=3273.98 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 791200 0 0 0 327245 153 0 0 20 0 2 0 72444673 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 457530 426661 3328 6655 0 445574 0
[pid=84581/tid=84585] ppid=84578 vsize=1830120 memory=14824 CPUtime=1622.77 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 459835 0 0 0 162210 67 0 0 20 0 2 0 72445728 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 1830120 KiB
Current children cumulated memory: 1706644 KiB

[startup+1722.3 s]
/proc/loadavg: 8.14 8.10 8.00 9/267 85140
/proc/meminfo: memFree=123377164/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1830120 memory=1706644 CPUtime=3393.16 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 797203 0 0 0 339162 154 0 0 20 0 2 0 72444673 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 457530 426661 3328 6655 0 445574 0
[pid=84581/tid=84585] ppid=84578 vsize=1830120 memory=14824 CPUtime=1682.56 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 461325 0 0 0 168189 67 0 0 20 0 2 0 72445728 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 1830120 KiB
Current children cumulated memory: 1706644 KiB

[startup+1782.3 s]
/proc/loadavg: 8.05 8.08 8.00 9/267 85141
/proc/meminfo: memFree=123318632/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1830120 memory=1706644 CPUtime=3512.3 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 797526 0 0 0 351075 155 0 0 20 0 2 0 72444673 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 457530 426661 3328 6655 0 445574 0
[pid=84581/tid=84585] ppid=84578 vsize=1830120 memory=14824 CPUtime=1742.31 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 461470 0 0 0 174163 68 0 0 20 0 2 0 72445728 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 1830120 KiB
Current children cumulated memory: 1706644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1826.5 s]
/proc/loadavg: 8.07 8.08 8.00 9/269 85147
/proc/meminfo: memFree=123302944/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1830120 memory=1706644 CPUtime=3600.07 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) R 84578 84581 83956 0 -1 4194304 799555 0 0 0 359851 156 0 0 20 0 2 0 72444673 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 457530 426661 3328 6655 0 445574 0
[pid=84581/tid=84585] ppid=84578 vsize=1830120 memory=1706644 CPUtime=1786.32 cores=0,2
/proc/84581/task/84585/stat : 84585 (LSIPExact) R 84578 84581 83956 0 -1 4194368 462845 0 0 0 178564 68 0 0 20 0 2 0 72445728 1874042880 426661 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1830120 KiB
Current children cumulated memory: 1706644 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3599.25 s, system=1.59583 s

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

# cumulated CPU time of all completed processes:  user=3600.61 s, system=1.71497 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+1827.2 s]
/proc/loadavg: 8.07 8.08 8.00 7/269 85149
/proc/meminfo: memFree=123699304/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1352980 memory=1301952 CPUtime=3600.81 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) S 84578 84581 83956 0 -1 4194304 827076 227 0 0 359924 157 0 0 20 0 1 0 72444673 1385451520 325488 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 338245 325488 3360 6655 0 327533 0
[pid=85149] ppid=84581 vsize=37144 memory=19056 CPUtime=0.16 cores=0,2
/proc/85149/stat : 85149 (Exact) R 84581 85149 85149 0 -1 4194304 3315 0 0 0 16 0 0 0 20 0 1 0 72627372 38035456 4764 18446744073709551615 4198400 8335837 140724971473712 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9148648 9230840 16203776 140724971481268 140724971481629 140724971481629 140724971487183 0
/proc/85149/statm: 9286 4764 928 1011 0 8053 0
Current children cumulated CPU time: 3600.97 s
Current children cumulated vsize: 1390124 KiB
Current children cumulated memory: 1321008 KiB

[startup+1828 s]*
/proc/loadavg: 8.07 8.08 8.00 8/269 85149
/proc/meminfo: memFree=123525352/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1352980 memory=1301952 CPUtime=3600.81 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) S 84578 84581 83956 0 -1 4194304 827076 227 0 0 359924 157 0 0 20 0 1 0 72444673 1385451520 325488 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 338245 325488 3360 6655 0 327533 0
[pid=85149] ppid=84581 vsize=176512 memory=159124 CPUtime=0.96 cores=0,2
/proc/85149/stat : 85149 (Exact) R 84581 85149 85149 0 -1 4194304 15961 0 0 0 90 6 0 0 20 0 1 0 72627372 180748288 39781 18446744073709551615 4198400 8335837 140724971473712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16203776 140724971481268 140724971481629 140724971481629 140724971487183 0
/proc/85149/statm: 44128 39781 1056 1011 0 42895 0
Current children cumulated CPU time: 3601.77 s
Current children cumulated vsize: 1529492 KiB
Current children cumulated memory: 1461076 KiB

[startup+1828.4 s]
/proc/loadavg: 8.07 8.08 8.00 8/269 85149
/proc/meminfo: memFree=123525352/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1352980 memory=1301952 CPUtime=3600.81 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) S 84578 84581 83956 0 -1 4194304 827076 227 0 0 359924 157 0 0 20 0 1 0 72444673 1385451520 325488 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 338245 325488 3360 6655 0 327533 0
[pid=85149] ppid=84581 vsize=297900 memory=278396 CPUtime=1.36 cores=0,2
/proc/85149/stat : 85149 (Exact) R 84581 85149 85149 0 -1 4194304 27542 0 0 0 125 11 0 0 20 0 1 0 72627372 305049600 69599 18446744073709551615 4198400 8335837 140724971473712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16203776 140724971481268 140724971481629 140724971481629 140724971487183 0
/proc/85149/statm: 74475 69599 1056 1011 0 73242 0
Current children cumulated CPU time: 3602.17 s
Current children cumulated vsize: 1650880 KiB
Current children cumulated memory: 1580348 KiB

[startup+1828.5 s]
/proc/loadavg: 8.07 8.08 8.00 8/269 85149
/proc/meminfo: memFree=123525352/131249996 swapFree=33010672/33010684
[pid=84581] ppid=84578 vsize=1352980 memory=1301952 CPUtime=3600.81 cores=0,2
/proc/84581/stat : 84581 (LSIPExact) S 84578 84581 83956 0 -1 4194304 827076 227 0 0 359924 157 0 0 20 0 1 0 72444673 1385451520 325488 18446744073709551615 94253012537344 94253039793745 140725740888896 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94253048296584 94253048728192 94253078700032 140725740890458 140725740890634 140725740890634 140725740896236 0
/proc/84581/statm: 338245 325488 3360 6655 0 327533 0
[pid=85149] ppid=84581 vsize=297900 memory=279804 CPUtime=1.46 cores=0,2
/proc/85149/stat : 85149 (Exact) R 84581 85149 85149 0 -1 4194304 27878 0 0 0 135 11 0 0 20 0 1 0 72627372 305049600 69951 18446744073709551615 4198400 8335837 140724971473712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 16203776 140724971481268 140724971481629 140724971481629 140724971487183 0
/proc/85149/statm: 74475 69951 1088 1011 0 73242 0
Current children cumulated CPU time: 3602.27 s
Current children cumulated vsize: 1650880 KiB
Current children cumulated memory: 1581756 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1828.53
CPU time (s): 3602.32
CPU user time (s): 3600.61
CPU system time (s): 1.71497
CPU usage (%): 197.007
Max. virtual memory (cumulated for all children) (KiB): 1928188
Max. memory (cumulated for all children) (KiB): 1770212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.61
system time used= 1.71497
maximum resident set size= 1770212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 855181
page faults= 0
swaps= 0
block input operations= 24840
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 467
involuntary context switches= 99129


# summary of solver processes directly reported to runsolver:
#   pid: 84581,85149
#   total CPU time (s): 3602.32
#   total CPU user time (s): 3600.61
#   total CPU system time (s): 1.71497

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7492 second user time and 8.23271 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-03 20:34:29
IDJOB=4521203
IDBENCH=178243
IDSOLVER=3336
FILE ID=nodeC017/4521203-1751567669
RUNJOBID= nodeC017-1751565791-83966
SLURM_JOB_ID= 9598774
Free space on /tmp= 432292 MiB

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

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

MD5SUM BENCH= 56a55a6a376bce11ab58c02a823aeaa9
RANDOM SEED=689090971

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		: 3540.605
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.066
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.016
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.059
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.058
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.837
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		: 3600.068
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.054
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:        120947260 kB
MemAvailable:   124792468 kB
Buffers:            1688 kB
Cached:          4613728 kB
SwapCached:            8 kB
Active:          5221892 kB
Inactive:        4324348 kB
Active(anon):    4932768 kB
Inactive(anon):    16128 kB
Active(file):     289124 kB
Inactive(file):  4308220 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             57052 kB
Writeback:             4 kB
AnonPages:       4932352 kB
Mapped:           139648 kB
Shmem:             18072 kB
KReclaimable:     173808 kB
Slab:             265284 kB
SReclaimable:     173808 kB
SUnreclaim:        91476 kB
KernelStack:        4320 kB
PageTables:        12868 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5503640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2643968 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= 432284 MiB
End job on nodeC017 at 2025-07-03 21:04:58