Trace number 4527392

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 S1SAT (TO)14 3602.13 1820.19

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUMc109c801c35aa8e8336c6dae8cef540e
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 benchmark11
Best CPU time to get the best result obtained on this benchmark3600.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint84
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

3600.11/1818.11	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.11/1818.11	c numVar: 198
3600.11/1818.11	c numCon: 16
3600.11/1818.11	c numEqual: 0
3600.11/1818.11	c intSize: 13
3600.11/1818.11	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.11/1818.11	c ------------------- Paras list -------------------
3600.11/1818.11	c Name                	 Type      	 Now       	 Default   	 Comment
3600.11/1818.11	c timeout             	 double    	 3600.000000	 3600      	 
3600.11/1818.11	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.11/1818.11	c ls_time             	 double    	 10.000000 	 10        	 
3600.11/1818.11	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.11/1818.11	c mip_emphasis        	 int       	 1         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.11/1818.11	c random_seed         	 int       	 0         	 0         	 
3600.11/1818.11	c sample_size         	 int       	 50        	 50        	 
3600.11/1818.11	c sub_score           	 int       	 1         	 1         	 
3600.11/1818.11	c tabu_base           	 int       	 3         	 3         	 
3600.11/1818.11	c tabu_variation      	 int       	 1         	 1         	 
3600.11/1818.11	c sub_div             	 int       	 4         	 4         	 
3600.11/1818.11	c nbcore              	 int       	 2         	 1         	 
3600.11/1818.11	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.11/1818.11	c print_sol           	 int       	 1         	 1         	 
3600.11/1818.11	c tmpdir              	 string		 .         	 "."       	 
3600.11/1818.11	c home                	 string		 HOME	 "."       	 
3600.11/1818.11	c benchname           	 string		 HOME/instance-4527392-1752232235.opb	 ""        	 
3600.11/1818.11	c --------------------------------------------------
3600.11/1818.11	c Local Search solver
3600.11/1818.11	c LS find feasible solution for PBO with objective value 362
3600.11/1818.11	c MIP solver
3600.11/1818.11	c receive signal 15, try to interrupt solver...
3600.11/1818.11	c MIP solver find feasible solution
3600.11/1818.11	c MIP solver objective value: 14
3601.38/1819.42	c MIP find feasible solution for PBO with objective value 14
3601.38/1819.42	c copy file: 0
3601.38/1819.42	c gen ub file: HOME/instance-4527392-1752232235.opb_ub.opb
3601.38/1819.42	c use Exact solver
3602.04/1820.11	o 14
3602.04/1820.11	s SATISFIABLE
3602.04/1820.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 x132 -x133 x134 -x135 -x136 x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 x148 x149 x150 -x151 -x152 -x153 x154 x155 -x156 -x157 -x158 x159 x160 -x161 x162 -x163 -x164 -x165 -x166 x167 x168 x169 x170 -x171 x172 -x173 x174 x175 x176 -x177 x178 x179 x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 x191 x192 x193 -x194 x195 -x196 x197 x198 
3602.04/1820.11	c Total time: 1820

Verifier Data

OK	14

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527392-1752232235/watcher-4527392-1752232235 -o /tmp/evaluation-result-4527392-1752232235/solver-4527392-1752232235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752232205-120801 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527392-1752232235.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=120954, runsolver pid=120951

[startup+0.100062 s]*
/proc/loadavg: 2.09 0.56 0.24 8/254 120955
/proc/meminfo: memFree=121871736/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=39904 memory=5504 CPUtime=0.04 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 339 0 0 0 4 0 0 0 20 0 1 0 138903265 40861696 1376 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+0.216808 s]*
/proc/loadavg: 2.48 0.66 0.28 8/254 120955
/proc/meminfo: memFree=121880568/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=39904 memory=5504 CPUtime=0.15 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 339 0 0 0 15 0 0 0 20 0 1 0 138903265 40861696 1376 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+0.312195 s]*
/proc/loadavg: 2.48 0.66 0.28 9/254 120955
/proc/meminfo: memFree=121880568/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=39904 memory=5504 CPUtime=0.24 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 339 0 0 0 24 0 0 0 20 0 1 0 138903265 40861696 1376 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+0.70024 s]
/proc/loadavg: 2.48 0.66 0.28 8/254 120955
/proc/meminfo: memFree=121880568/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=39904 memory=5504 CPUtime=0.61 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 339 0 0 0 61 0 0 0 20 0 1 0 138903265 40861696 1376 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+1.50025 s]
/proc/loadavg: 2.48 0.66 0.28 8/254 120955
/proc/meminfo: memFree=121880568/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=39904 memory=5504 CPUtime=1.41 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 339 0 0 0 141 0 0 0 20 0 1 0 138903265 40861696 1376 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+3.11243 s]
/proc/loadavg: 2.48 0.66 0.28 8/254 120955
/proc/meminfo: memFree=121882836/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=39904 memory=5504 CPUtime=3.02 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 339 0 0 0 302 0 0 0 20 0 1 0 138903265 40861696 1376 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+6.30023 s]
/proc/loadavg: 2.84 0.77 0.31 8/254 120955
/proc/meminfo: memFree=121874288/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=39904 memory=5504 CPUtime=6.2 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 339 0 0 0 620 0 0 0 20 0 1 0 138903265 40861696 1376 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+12.7001 s]
/proc/loadavg: 3.26 0.89 0.36 9/255 120956
/proc/meminfo: memFree=121820612/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=121908 memory=28584 CPUtime=15.13 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 3540 0 0 0 1512 1 0 0 20 0 2 0 138903265 124833792 7146 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 30477 7146 3488 6655 0 5526 0
[pid=120954/tid=120956] ppid=120951 vsize=121908 memory=6388 CPUtime=2.59 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 1167 0 0 0 259 0 0 0 20 0 2 0 138904271 124833792 7146 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 121908 KiB
Current children cumulated memory: 28584 KiB

[startup+25.5001 s]
/proc/loadavg: 3.91 1.11 0.43 9/255 120956
/proc/meminfo: memFree=121742708/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=145188 memory=60460 CPUtime=40.39 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 21301 0 0 0 4036 3 0 0 20 0 2 0 138903265 148672512 15115 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 36297 15115 3488 6655 0 14079 0
[pid=120954/tid=120956] ppid=120951 vsize=145188 memory=21504 CPUtime=15.24 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 10207 0 0 0 1523 1 0 0 20 0 2 0 138904271 148672512 15115 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 40.39 s
Current children cumulated vsize: 145188 KiB
Current children cumulated memory: 60460 KiB

[startup+51.1052 s]
/proc/loadavg: 5.57 1.78 0.68 9/255 120957
/proc/meminfo: memFree=121697120/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=165680 memory=96684 CPUtime=91.22 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 32662 0 0 0 9117 5 0 0 20 0 2 0 138903265 169656320 24171 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 41420 24171 3488 6655 0 23173 0
[pid=120954/tid=120956] ppid=120951 vsize=165680 memory=14336 CPUtime=40.58 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 20007 0 0 0 4055 3 0 0 20 0 2 0 138904271 169656320 24171 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 91.22 s
Current children cumulated vsize: 165680 KiB
Current children cumulated memory: 96684 KiB

[startup+102.3 s]
/proc/loadavg: 7.08 2.77 1.08 9/256 120960
/proc/meminfo: memFree=121515572/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=214752 memory=172848 CPUtime=192.88 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 76914 0 0 0 19275 13 0 0 20 0 2 0 138903265 219906048 43212 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 53688 43212 3488 6655 0 42425 0
[pid=120954/tid=120956] ppid=120951 vsize=214752 memory=155608 CPUtime=91.25 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 44514 0 0 0 9118 7 0 0 20 0 2 0 138904271 219906048 43212 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 192.88 s
Current children cumulated vsize: 214752 KiB
Current children cumulated memory: 172848 KiB

[startup+162.3 s]
/proc/loadavg: 7.76 3.76 1.52 9/256 120962
/proc/meminfo: memFree=121272700/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=315948 memory=237688 CPUtime=312 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 106343 0 0 0 31182 18 0 0 20 0 2 0 138903265 323530752 59422 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 78987 59422 3488 6655 0 58523 0
[pid=120954/tid=120956] ppid=120951 vsize=315948 memory=230392 CPUtime=150.65 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 57905 0 0 0 15054 11 0 0 20 0 2 0 138904271 323530752 59422 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 312 s
Current children cumulated vsize: 315948 KiB
Current children cumulated memory: 237688 KiB

[startup+222.3 s]
/proc/loadavg: 7.97 4.55 1.94 9/255 120964
/proc/meminfo: memFree=120945176/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=365884 memory=314484 CPUtime=431.14 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 172853 0 0 0 43087 27 0 0 20 0 2 0 138903265 374665216 78621 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 91471 78621 3488 6655 0 77853 0
[pid=120954/tid=120956] ppid=120951 vsize=365884 memory=281812 CPUtime=210.03 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 90506 0 0 0 20987 16 0 0 20 0 2 0 138904271 374665216 78621 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 431.14 s
Current children cumulated vsize: 365884 KiB
Current children cumulated memory: 314484 KiB

[startup+282.3 s]
/proc/loadavg: 8.06 5.21 2.33 9/255 120966
/proc/meminfo: memFree=120659708/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=466616 memory=372060 CPUtime=550.28 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 215335 0 0 0 54996 32 0 0 20 0 2 0 138903265 477814784 93015 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 116654 93015 3488 6655 0 92645 0
[pid=120954/tid=120956] ppid=120951 vsize=466616 memory=371548 CPUtime=269.42 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 116063 0 0 0 26923 19 0 0 20 0 2 0 138904271 477814784 93015 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 550.28 s
Current children cumulated vsize: 466616 KiB
Current children cumulated memory: 372060 KiB

[startup+342.3 s]
/proc/loadavg: 8.11 5.75 2.70 9/255 120968
/proc/meminfo: memFree=120374912/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=480604 memory=410028 CPUtime=669.43 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 284770 0 0 0 66902 41 0 0 20 0 2 0 138903265 492138496 102507 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 120151 102507 3488 6655 0 101496 0
[pid=120954/tid=120956] ppid=120951 vsize=480604 memory=14336 CPUtime=328.82 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 158454 0 0 0 32857 25 0 0 20 0 2 0 138904271 492138496 102507 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 669.43 s
Current children cumulated vsize: 480604 KiB
Current children cumulated memory: 410028 KiB

[startup+402.3 s]

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

/proc/meminfo: memFree=116805676/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1119080 memory=1027228 CPUtime=2814.03 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1205644 0 0 0 281252 151 0 0 20 0 2 0 138903265 1145937920 256807 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 279770 256807 3488 6655 0 259301 0
[pid=120954/tid=120956] ppid=120951 vsize=1119080 memory=1011568 CPUtime=1402.27 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 660216 0 0 0 140141 86 0 0 20 0 2 0 138904271 1145937920 256807 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 2814.03 s
Current children cumulated vsize: 1119080 KiB
Current children cumulated memory: 1027228 KiB

[startup+1482.3 s]
/proc/loadavg: 8.06 8.04 6.57 9/254 121115
/proc/meminfo: memFree=116676680/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1132800 memory=1058248 CPUtime=2933.18 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1292874 0 0 0 293158 160 0 0 20 0 2 0 138903265 1159987200 264562 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 283200 264562 3488 6655 0 265931 0
[pid=120954/tid=120956] ppid=120951 vsize=1132800 memory=1020656 CPUtime=1462.03 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 715732 0 0 0 146111 92 0 0 20 0 2 0 138904271 1159987200 264562 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 2933.18 s
Current children cumulated vsize: 1132800 KiB
Current children cumulated memory: 1058248 KiB

[startup+1542.3 s]
/proc/loadavg: 8.12 8.06 6.67 9/255 121118
/proc/meminfo: memFree=116469536/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1147584 memory=1092936 CPUtime=3052.35 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1315418 0 0 0 305069 166 0 0 20 0 2 0 138903265 1175126016 273234 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 286896 273234 3488 6655 0 273387 0
[pid=120954/tid=120956] ppid=120951 vsize=1147584 memory=14336 CPUtime=1521.79 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 729978 0 0 0 152084 95 0 0 20 0 2 0 138904271 1175126016 273234 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 3052.35 s
Current children cumulated vsize: 1147584 KiB
Current children cumulated memory: 1092936 KiB

[startup+1602.3 s]
/proc/loadavg: 8.10 8.06 6.76 9/254 121120
/proc/meminfo: memFree=116233440/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1228480 memory=1124552 CPUtime=3171.51 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1411786 0 0 0 316975 176 0 0 20 0 2 0 138903265 1257963520 281138 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 307120 281138 3488 6655 0 281009 0
[pid=120954/tid=120956] ppid=120951 vsize=1228480 memory=1118408 CPUtime=1581.55 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 767486 0 0 0 158056 99 0 0 20 0 2 0 138904271 1257963520 281138 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 3171.51 s
Current children cumulated vsize: 1228480 KiB
Current children cumulated memory: 1124552 KiB

[startup+1662.3 s]
/proc/loadavg: 8.11 8.07 6.85 9/255 121123
/proc/meminfo: memFree=115924284/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1282784 memory=1173796 CPUtime=3290.67 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1545026 0 0 0 328876 191 0 0 20 0 2 0 138903265 1313570816 293449 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 320696 293449 3488 6655 0 298986 0
[pid=120954/tid=120956] ppid=120951 vsize=1282784 memory=1172900 CPUtime=1641.31 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 839184 0 0 0 164023 108 0 0 20 0 2 0 138904271 1313570816 293449 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 3290.67 s
Current children cumulated vsize: 1282784 KiB
Current children cumulated memory: 1173796 KiB

[startup+1722.3 s]
/proc/loadavg: 8.09 8.07 6.93 9/255 121125
/proc/meminfo: memFree=115638824/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1299324 memory=1217356 CPUtime=3409.83 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1659685 0 0 0 340780 203 0 0 20 0 2 0 138903265 1330507776 304339 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 324831 304339 3488 6655 0 307350 0
[pid=120954/tid=120956] ppid=120951 vsize=1299324 memory=1174564 CPUtime=1701.06 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 914061 0 0 0 169990 116 0 0 20 0 2 0 138904271 1330507776 304339 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 3409.83 s
Current children cumulated vsize: 1299324 KiB
Current children cumulated memory: 1217356 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.08 7.01 9/255 121127
/proc/meminfo: memFree=115330404/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1314764 memory=1253732 CPUtime=3529 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1695152 0 0 0 352691 209 0 0 20 0 2 0 138903265 1346318336 313433 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 328691 313433 3488 6655 0 315108 0
[pid=120954/tid=120956] ppid=120951 vsize=1314764 memory=-7808294779780953728 CPUtime=1760.56 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 937451 0 0 0 175937 119 0 0 20 0 2 0 138904271 1346318336 313433 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 3529 s
Current children cumulated vsize: 1314764 KiB
Current children cumulated memory: 1253732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1818.11 s]
/proc/loadavg: 7.43 7.93 7.00 7/253 121178
/proc/meminfo: memFree=120309736/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1323880 memory=1273892 CPUtime=3600.11 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1747923 0 0 0 359796 215 0 0 20 0 2 0 138903265 1355653120 318473 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 330970 318473 3488 6655 0 319600 0
[pid=120954/tid=120956] ppid=120951 vsize=1323880 memory=1261220 CPUtime=1796.01 cores=4,6
/proc/120954/task/120956/stat : 120956 (LSIPExact) R 120951 120954 120784 0 -1 4194368 964333 0 0 0 179478 123 0 0 20 0 2 0 138904271 1355653120 318473 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 1323880 KiB
Current children cumulated memory: 1273892 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3599.79 s, system=2.3427 s

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

[startup+1819.2 s]
/proc/loadavg: 7.43 7.93 7.00 6/252 121179
/proc/meminfo: memFree=120309988/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=1323880 memory=1272136 CPUtime=3601.21 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) R 120951 120954 120784 0 -1 4194304 1870823 0 0 0 359898 223 0 0 20 0 1 0 138903265 1355653120 318034 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 330970 318034 3520 6655 0 319600 0
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 1323880 KiB
Current children cumulated memory: 1272136 KiB

[startup+1819.6 s]
/proc/loadavg: 7.43 7.93 7.00 6/252 121179
/proc/meminfo: memFree=120309988/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=906236 memory=871308 CPUtime=3601.38 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) S 120951 120954 120784 0 -1 4194304 1878493 228 0 0 359913 225 0 0 20 0 1 0 138903265 927985664 217827 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 226559 217827 3520 6655 0 216791 0
Current children cumulated CPU time: 3601.38 s
Current children cumulated vsize: 906236 KiB
Current children cumulated memory: 871308 KiB

[startup+1820 s]*
/proc/loadavg: 7.43 7.93 7.00 6/253 121181
/proc/meminfo: memFree=120703540/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=906236 memory=871308 CPUtime=3601.38 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) S 120951 120954 120784 0 -1 4194304 1878493 228 0 0 359913 225 0 0 20 0 1 0 138903265 927985664 217827 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 226559 217827 3520 6655 0 216791 0
[pid=121181] ppid=120954 vsize=28268 memory=9060 CPUtime=0.56 cores=4,6
/proc/121181/stat : 121181 (Exact) R 120954 121181 121181 0 -1 4194304 1052 0 0 0 55 1 0 0 20 0 1 0 139085208 28946432 2265 18446744073709551615 4198400 8335837 140730336435552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 24539136 140730336442546 140730336442907 140730336442907 140730336448463 0
/proc/121181/statm: 7067 2265 1120 1011 0 5834 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 934504 KiB
Current children cumulated memory: 880368 KiB

[startup+1820.11 s]
/proc/loadavg: 7.43 7.93 7.00 6/253 121181
/proc/meminfo: memFree=120703540/131382116 swapFree=33010684/33010684
[pid=120954] ppid=120951 vsize=906236 memory=871308 CPUtime=3601.38 cores=4,6
/proc/120954/stat : 120954 (LSIPExact) S 120951 120954 120784 0 -1 4194304 1878493 228 0 0 359913 225 0 0 20 0 1 0 138903265 927985664 217827 18446744073709551615 94577813696512 94577840953681 140721072626528 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94577849455752 94577849887360 94577860542464 140721072630104 140721072630280 140721072630280 140721072635884 0
/proc/120954/statm: 226559 217827 3520 6655 0 216791 0
[pid=121181] ppid=120954 vsize=28532 memory=9188 CPUtime=0.66 cores=4,6
/proc/121181/stat : 121181 (Exact) R 120954 121181 121181 0 -1 4194304 1107 0 0 0 65 1 0 0 20 0 1 0 139085208 29216768 2297 18446744073709551615 4198400 8335837 140730336435552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 24539136 140730336442546 140730336442907 140730336442907 140730336448463 0
/proc/121181/statm: 7133 2297 1120 1011 0 5900 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 934768 KiB
Current children cumulated memory: 880496 KiB

Child status: 0

Real time (s): 1820.19
CPU time (s): 3602.13
CPU user time (s): 3599.79
CPU system time (s): 2.3427
CPU usage (%): 197.899
Max. virtual memory (cumulated for all children) (KiB): 1323880
Max. memory (cumulated for all children) (KiB): 1273892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.79
system time used= 2.3427
maximum resident set size= 1274148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1879884
page faults= 0
swaps= 0
block input operations= 32
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1810
involuntary context switches= 99481


# summary of solver processes directly reported to runsolver:
#   pid: 120954
#   total CPU time (s): 3602.13
#   total CPU user time (s): 3599.79
#   total CPU system time (s): 2.3427

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2526 second user time and 7.61422 second system time

The end

Launcher Data

Begin job on nodeC011 at 2025-07-11 13:10:35
IDJOB=4527392
IDBENCH=147593
IDSOLVER=3384
FILE ID=nodeC011/4527392-1752232235
RUNJOBID= nodeC011-1752232205-120801
SLURM_JOB_ID= 9682522
Free space on /tmp= 430184 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527392-1752232235/watcher-4527392-1752232235 -o /tmp/evaluation-result-4527392-1752232235/solver-4527392-1752232235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752232205-120801 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527392-1752232235.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e
RANDOM SEED=1101230875

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        121872192 kB
MemAvailable:   128223872 kB
Buffers:            3276 kB
Cached:          7122032 kB
SwapCached:            0 kB
Active:          2162504 kB
Inactive:        6676564 kB
Active(anon):    1729616 kB
Inactive(anon):     2104 kB
Active(file):     432888 kB
Inactive(file):  6674460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             89380 kB
Writeback:            12 kB
AnonPages:       1715684 kB
Mapped:           143396 kB
Shmem:             17960 kB
KReclaimable:     167536 kB
Slab:             257260 kB
SReclaimable:     167536 kB
SUnreclaim:        89724 kB
KernelStack:        4080 kB
PageTables:         6516 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2084904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    548864 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430144 MiB
End job on nodeC011 at 2025-07-11 13:40:56