Trace number 4508768

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 S2SAT-80 1281.63 1285.17

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
MD5SUM609ffeb3252de5d8ecab6cf3f101c41d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-80
Best CPU time to get the best result obtained on this benchmark2.03794
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints576
Number of constraints which are clauses288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 389
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 420
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 420
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

11.94/11.05	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
11.94/11.05	c numVar: 441
11.94/11.05	c numCon: 576
11.94/11.05	c numEqual: 0
11.94/11.05	c intSize: 9
11.94/11.05	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
11.94/11.05	c ------------------- Paras list -------------------
11.94/11.05	c Name                	 Type      	 Now       	 Default   	 Comment
11.94/11.05	c timeout             	 double    	 3600.000000	 3600      	 
11.94/11.05	c mip_time            	 double    	 0.500000  	 0.5       	 
11.94/11.05	c ls_time             	 double    	 10.000000 	 10        	 
11.94/11.05	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
11.94/11.05	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
11.94/11.05	c random_seed         	 int       	 0         	 0         	 
11.94/11.05	c sample_size         	 int       	 50        	 50        	 
11.94/11.05	c sub_score           	 int       	 1         	 1         	 
11.94/11.05	c tabu_base           	 int       	 3         	 3         	 
11.94/11.05	c tabu_variation      	 int       	 1         	 1         	 
11.94/11.05	c sub_div             	 int       	 4         	 4         	 
11.94/11.05	c nbcore              	 int       	 2         	 1         	 
11.94/11.05	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
11.94/11.05	c print_sol           	 int       	 1         	 1         	 
11.94/11.05	c tmpdir              	 string		 .         	 "."       	 
11.94/11.05	c home                	 string		 HOME	 "."       	 
11.94/11.05	c benchname           	 string		 HOME/instance-4508768-1751505185.opb	 ""        	 
11.94/11.05	c --------------------------------------------------
11.94/11.05	c Local Search solver
11.94/11.05	c LS find feasible solution for PBO with objective value -80
11.94/11.05	c MIP solver
11.94/11.05	c Branch and Bound solver find optimal solution
11.94/11.05	c MIP solver objective value: -80
11.94/11.08	c MIP find feasible solution for PBO with objective value -80
11.94/11.08	c copy file: 0
11.94/11.08	c gen ub file: HOME/instance-4508768-1751505185.opb_ub.opb
11.94/11.08	c use Exact solver
1281.54/1285.17	o -80
1281.54/1285.17	s SATISFIABLE
1281.54/1285.17	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 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 x250 x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 x417 x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 x437 x438 x439 -x440 x441 
1281.54/1285.17	c Total time: 1286

Verifier Data 

OK	-80

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61365 MiB free)
  memory of node 1: 64465 MiB (61397 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508768-1751505185/watcher-4508768-1751505185 -o /tmp/evaluation-result-4508768-1751505185/solver-4508768-1751505185 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751504701-65427 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4508768-1751505185.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

Current StackSize limit: 8192 KiB

solver pid=66224, runsolver pid=66221

[startup+0.100061 s]*
/proc/loadavg: 6.88 6.09 3.87 8/268 66225
/proc/meminfo: memFree=125708900/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=40172 memory=5632 CPUtime=0.09 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) R 66221 66224 65417 0 -1 4194304 401 0 0 0 9 0 0 0 20 0 1 0 66196047 41136128 1408 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 10043 1408 1152 6655 0 278 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 5632 KiB

[startup+0.205778 s]*
/proc/loadavg: 6.88 6.09 3.87 8/268 66225
/proc/meminfo: memFree=125708900/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=40172 memory=5632 CPUtime=0.2 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) R 66221 66224 65417 0 -1 4194304 401 0 0 0 20 0 0 0 20 0 1 0 66196047 41136128 1408 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 10043 1408 1152 6655 0 278 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 5632 KiB

[startup+0.305653 s]*
/proc/loadavg: 6.88 6.09 3.87 8/268 66225
/proc/meminfo: memFree=125708900/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=40172 memory=5632 CPUtime=0.3 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) R 66221 66224 65417 0 -1 4194304 401 0 0 0 30 0 0 0 20 0 1 0 66196047 41136128 1408 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 10043 1408 1152 6655 0 278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 5632 KiB

[startup+0.700148 s]
/proc/loadavg: 6.88 6.09 3.87 8/268 66225
/proc/meminfo: memFree=125709152/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=40172 memory=5632 CPUtime=0.69 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) R 66221 66224 65417 0 -1 4194304 401 0 0 0 69 0 0 0 20 0 1 0 66196047 41136128 1408 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 10043 1408 1152 6655 0 278 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 5632 KiB

[startup+1.50014 s]
/proc/loadavg: 6.88 6.09 3.87 8/268 66225
/proc/meminfo: memFree=125709152/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=40172 memory=5632 CPUtime=1.49 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) R 66221 66224 65417 0 -1 4194304 401 0 0 0 149 0 0 0 20 0 1 0 66196047 41136128 1408 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 10043 1408 1152 6655 0 278 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 5632 KiB

[startup+3.10552 s]
/proc/loadavg: 6.89 6.11 3.88 8/268 66225
/proc/meminfo: memFree=125709656/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=40172 memory=5632 CPUtime=3.09 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) R 66221 66224 65417 0 -1 4194304 401 0 0 0 309 0 0 0 20 0 1 0 66196047 41136128 1408 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 10043 1408 1152 6655 0 278 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 5632 KiB

[startup+6.30015 s]
/proc/loadavg: 6.89 6.11 3.88 8/268 66225
/proc/meminfo: memFree=125710160/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=40172 memory=5632 CPUtime=6.28 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) R 66221 66224 65417 0 -1 4194304 401 0 0 0 628 0 0 0 20 0 1 0 66196047 41136128 1408 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 10043 1408 1152 6655 0 278 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 5632 KiB

[startup+12.7002 s]
/proc/loadavg: 6.91 6.14 3.92 8/269 66228
/proc/meminfo: memFree=125687540/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=38500 memory=23648 CPUtime=1.58 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 3202 0 0 0 156 2 0 0 20 0 1 0 66197155 39424000 5912 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 9625 5912 1120 1011 0 8392 0
Current children cumulated CPU time: 13.58 s
Current children cumulated vsize: 162628 KiB
Current children cumulated memory: 49796 KiB

[startup+25.5002 s]
/proc/loadavg: 6.92 6.17 3.95 8/269 66229
/proc/meminfo: memFree=125660680/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=51256 memory=40888 CPUtime=14.34 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 6132 0 0 0 1422 12 0 0 20 0 1 0 66197155 52486144 10222 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 12814 10222 1120 1011 0 11581 0
Current children cumulated CPU time: 26.34 s
Current children cumulated vsize: 175384 KiB
Current children cumulated memory: 67036 KiB

[startup+51.1058 s]
/proc/loadavg: 7.02 6.25 4.04 8/269 66229
/proc/meminfo: memFree=125657168/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=56136 memory=44996 CPUtime=39.86 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 7714 0 0 0 3958 28 0 0 20 0 1 0 66197155 57483264 11249 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 14034 11249 1120 1011 0 12801 0
Current children cumulated CPU time: 51.86 s
Current children cumulated vsize: 180264 KiB
Current children cumulated memory: 71144 KiB

[startup+102.3 s]
/proc/loadavg: 7.07 6.40 4.22 8/269 66236
/proc/meminfo: memFree=125130628/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=66992 memory=55956 CPUtime=90.88 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 10832 0 0 0 9025 63 0 0 20 0 1 0 66197155 68599808 13989 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 16748 13989 1120 1011 0 15515 0
Current children cumulated CPU time: 102.88 s
Current children cumulated vsize: 191120 KiB
Current children cumulated memory: 82104 KiB

[startup+162.3 s]
/proc/loadavg: 7.08 6.52 4.38 8/269 66238
/proc/meminfo: memFree=124998696/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=85052 memory=62324 CPUtime=150.68 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 13107 0 0 0 14968 100 0 0 20 0 1 0 66197155 87093248 15581 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 21263 15581 1120 1011 0 20030 0
Current children cumulated CPU time: 162.68 s
Current children cumulated vsize: 209180 KiB
Current children cumulated memory: 88472 KiB

[startup+222.3 s]
/proc/loadavg: 7.42 6.71 4.59 8/269 66240
/proc/meminfo: memFree=125186988/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=91048 memory=70352 CPUtime=210.48 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 14607 0 0 0 20915 133 0 0 20 0 1 0 66197155 93233152 17588 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 22762 17588 1120 1011 0 21529 0
Current children cumulated CPU time: 222.48 s
Current children cumulated vsize: 215176 KiB
Current children cumulated memory: 96500 KiB

[startup+282.3 s]
/proc/loadavg: 7.21 6.78 4.75 8/270 66245
/proc/meminfo: memFree=125169884/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=93180 memory=72912 CPUtime=270.26 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 15256 0 0 0 26861 165 0 0 20 0 1 0 66197155 95416320 18228 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 23295 18228 1120 1011 0 22062 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 217308 KiB
Current children cumulated memory: 99060 KiB

[startup+342.3 s]
/proc/loadavg: 7.12 6.84 4.89 8/270 66248
/proc/meminfo: memFree=125150124/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0

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

/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 22692 0 0 0 110174 550 0 0 20 0 1 0 66197155 123482112 27654 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30147 27654 1120 1011 0 28914 0
Current children cumulated CPU time: 1119.24 s
Current children cumulated vsize: 244716 KiB
Current children cumulated memory: 136764 KiB

[startup+1182.3 s]
/proc/loadavg: 7.10 7.05 6.20 8/268 66333
/proc/meminfo: memFree=122770640/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=120972 memory=111000 CPUtime=1167.04 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 22808 0 0 0 116130 574 0 0 20 0 1 0 66197155 123875328 27750 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30243 27750 1120 1011 0 29010 0
Current children cumulated CPU time: 1179.04 s
Current children cumulated vsize: 245100 KiB
Current children cumulated memory: 137148 KiB

[startup+1242.3 s]
/proc/loadavg: 6.86 7.00 6.24 7/268 66337
/proc/meminfo: memFree=122530252/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122316 memory=112536 CPUtime=1226.85 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23170 0 0 0 122084 601 0 0 20 0 1 0 66197155 125251584 28134 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30579 28134 1120 1011 0 29346 0
Current children cumulated CPU time: 1238.85 s
Current children cumulated vsize: 246444 KiB
Current children cumulated memory: 138684 KiB

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

# cumulated CPU time of all completed processes:  user=1275.35 s, system=6.28061 s

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

[startup+1254.4 s]
/proc/loadavg: 6.75 6.97 6.24 7/268 66339
/proc/meminfo: memFree=122751776/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122316 memory=112536 CPUtime=1238.92 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23170 0 0 0 123283 609 0 0 20 0 1 0 66197155 125251584 28134 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30579 28134 1120 1011 0 29346 0
Current children cumulated CPU time: 1250.92 s
Current children cumulated vsize: 246444 KiB
Current children cumulated memory: 138684 KiB

[startup+1267.2 s]
/proc/loadavg: 6.64 6.94 6.24 7/268 66339
/proc/meminfo: memFree=122813876/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122508 memory=112920 CPUtime=1251.68 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23266 0 0 0 124551 617 0 0 20 0 1 0 66197155 125448192 28230 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30627 28230 1120 1011 0 29394 0
Current children cumulated CPU time: 1263.68 s
Current children cumulated vsize: 246636 KiB
Current children cumulated memory: 139068 KiB

[startup+1273.6 s]
/proc/loadavg: 6.54 6.91 6.23 7/267 66339
/proc/meminfo: memFree=122813916/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122508 memory=112920 CPUtime=1258.07 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23270 0 0 0 125187 620 0 0 20 0 1 0 66197155 125448192 28230 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30627 28230 1120 1011 0 29394 0
Current children cumulated CPU time: 1270.07 s
Current children cumulated vsize: 246636 KiB
Current children cumulated memory: 139068 KiB

[startup+1280 s]*
/proc/loadavg: 6.49 6.89 6.23 7/267 66339
/proc/meminfo: memFree=122805484/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122508 memory=113048 CPUtime=1264.46 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23301 0 0 0 125823 623 0 0 20 0 1 0 66197155 125448192 28262 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30627 28262 1120 1011 0 29394 0
Current children cumulated CPU time: 1276.46 s
Current children cumulated vsize: 246636 KiB
Current children cumulated memory: 139196 KiB

[startup+1283.2 s]
/proc/loadavg: 6.45 6.88 6.23 7/267 66339
/proc/meminfo: memFree=122805484/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122700 memory=113048 CPUtime=1267.64 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23327 0 0 0 126140 624 0 0 20 0 1 0 66197155 125644800 28262 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30675 28262 1120 1011 0 29442 0
Current children cumulated CPU time: 1279.64 s
Current children cumulated vsize: 246828 KiB
Current children cumulated memory: 139196 KiB

[startup+1284 s]*
/proc/loadavg: 6.45 6.88 6.23 7/267 66339
/proc/meminfo: memFree=122797420/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122700 memory=113176 CPUtime=1268.45 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23332 0 0 0 126220 625 0 0 20 0 1 0 66197155 125644800 28294 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30675 28294 1120 1011 0 29442 0
Current children cumulated CPU time: 1280.45 s
Current children cumulated vsize: 246828 KiB
Current children cumulated memory: 139324 KiB

[startup+1284.8 s]
/proc/loadavg: 6.45 6.88 6.23 7/267 66339
/proc/meminfo: memFree=122797420/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122988 memory=113432 CPUtime=1269.24 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23404 0 0 0 126299 625 0 0 20 0 1 0 66197155 125939712 28358 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30747 28358 1120 1011 0 29514 0
Current children cumulated CPU time: 1281.24 s
Current children cumulated vsize: 247116 KiB
Current children cumulated memory: 139580 KiB

[startup+1285 s]*
/proc/loadavg: 6.45 6.88 6.23 7/267 66339
/proc/meminfo: memFree=122789356/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122988 memory=113432 CPUtime=1269.44 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23404 0 0 0 126319 625 0 0 20 0 1 0 66197155 125939712 28358 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30747 28358 1120 1011 0 29514 0
Current children cumulated CPU time: 1281.44 s
Current children cumulated vsize: 247116 KiB
Current children cumulated memory: 139580 KiB

[startup+1285.11 s]
/proc/loadavg: 6.45 6.88 6.23 7/267 66339
/proc/meminfo: memFree=122789356/131250000 swapFree=33007332/33010684
[pid=66224] ppid=66221 vsize=124128 memory=26148 CPUtime=12 cores=0,2
/proc/66224/stat : 66224 (LSIPExact) S 66221 66224 65417 0 -1 4194304 3457 226 0 0 1199 1 0 0 20 0 1 0 66196047 127107072 6537 18446744073709551615 94906402271232 94906429527633 140726897885360 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94906438030472 94906438462080 94906460004352 140726897891674 140726897891850 140726897891850 140726897897452 0
/proc/66224/statm: 31032 6537 3424 6655 0 5510 0
[pid=66228] ppid=66224 vsize=122988 memory=113432 CPUtime=1269.54 cores=0,2
/proc/66228/stat : 66228 (Exact) R 66224 66228 66228 0 -1 4194304 23404 0 0 0 126329 625 0 0 20 0 1 0 66197155 125939712 28358 18446744073709551615 4198400 8335837 140729930010256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24023040 140729930012852 140729930013213 140729930013213 140729930018767 0
/proc/66228/statm: 30747 28358 1120 1011 0 29514 0
Current children cumulated CPU time: 1281.54 s
Current children cumulated vsize: 247116 KiB
Current children cumulated memory: 139580 KiB

Child status: 0

Real time (s): 1285.17
CPU time (s): 1281.63
CPU user time (s): 1275.35
CPU system time (s): 6.28061
CPU usage (%): 99.724
Max. virtual memory (cumulated for all children) (KiB): 247116
Max. memory (cumulated for all children) (KiB): 139580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1275.35
system time used= 6.28061
maximum resident set size= 113560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27098
page faults= 0
swaps= 0
block input operations= 48
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 440
involuntary context switches= 1814


# summary of solver processes directly reported to runsolver:
#   pid: 66224
#   total CPU time (s): 1281.63
#   total CPU user time (s): 1275.35
#   total CPU system time (s): 6.28061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57457 second user time and 6.54477 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-03 03:13:05
IDJOB=4508768
IDBENCH=158472
IDSOLVER=3337
FILE ID=nodeC019/4508768-1751505185
RUNJOBID= nodeC019-1751504701-65427
SLURM_JOB_ID= 9598595
Free space on /tmp= 431500 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508768-1751505185/watcher-4508768-1751505185 -o /tmp/evaluation-result-4508768-1751505185/solver-4508768-1751505185 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751504701-65427 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4508768-1751505185.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 609ffeb3252de5d8ecab6cf3f101c41d
RANDOM SEED=1206102978

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125708900 kB
MemAvailable:   127402336 kB
Buffers:             904 kB
Cached:          2497136 kB
SwapCached:          440 kB
Active:          2540568 kB
Inactive:        2351540 kB
Active(anon):    2381512 kB
Inactive(anon):    27748 kB
Active(file):     159056 kB
Inactive(file):  2323792 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44524 kB
Writeback:             0 kB
AnonPages:       2396772 kB
Mapped:           139552 kB
Shmem:             15192 kB
KReclaimable:      99652 kB
Slab:             188136 kB
SReclaimable:      99652 kB
SUnreclaim:        88484 kB
KernelStack:        4316 kB
PageTables:         8088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2957048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1011712 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:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431444 MiB
End job on nodeC019 at 2025-07-03 03:34:31