Trace number 4489309

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)187 3602.26 1818.86

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
MD5SUMf4fbd70ee8b80515313bebcddc52f82a
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 benchmark181
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
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 constraints476
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 476
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
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

3600.16/1816.70	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.16/1816.70	c numVar: 476
3600.16/1816.70	c numCon: 476
3600.16/1816.70	c numEqual: 0
3600.16/1816.70	c intSize: 9
3600.16/1816.70	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.16/1816.70	c ------------------- Paras list -------------------
3600.16/1816.70	c Name                	 Type      	 Now       	 Default   	 Comment
3600.16/1816.70	c timeout             	 double    	 3600.000000	 3600      	 
3600.16/1816.70	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.16/1816.70	c ls_time             	 double    	 10.000000 	 10        	 
3600.16/1816.70	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.16/1816.70	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.16/1816.70	c random_seed         	 int       	 0         	 0         	 
3600.16/1816.70	c sample_size         	 int       	 50        	 50        	 
3600.16/1816.70	c sub_score           	 int       	 1         	 1         	 
3600.16/1816.70	c tabu_base           	 int       	 3         	 3         	 
3600.16/1816.70	c tabu_variation      	 int       	 1         	 1         	 
3600.16/1816.70	c sub_div             	 int       	 4         	 4         	 
3600.16/1816.70	c nbcore              	 int       	 2         	 1         	 
3600.16/1816.70	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.16/1816.70	c print_sol           	 int       	 1         	 1         	 
3600.16/1816.70	c tmpdir              	 string		 .         	 "."       	 
3600.16/1816.70	c home                	 string		 HOME	 "."       	 
3600.16/1816.70	c benchname           	 string		 HOME/instance-4489309-1751349357.opb	 ""        	 
3600.16/1816.70	c --------------------------------------------------
3600.16/1816.70	c Local Search solver
3600.16/1816.70	c LS find feasible solution for PBO with objective value 187
3600.16/1816.70	c MIP solver
3600.16/1816.70	c receive signal 15, try to interrupt solver...
3601.06/1817.63	c copy file: 0
3601.06/1817.63	c gen ub file: HOME/instance-4489309-1751349357.opb_ub.opb
3601.06/1817.63	c use Exact solver
3602.08/1818.70	o 187
3602.08/1818.70	s SATISFIABLE
3602.08/1818.70	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 x442 -x443 x444 x445 x446 x447 x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 x463 x464 x465 -x466 -x467 -x468 -x469 x470 -x471 x472 x473 x474 -x475 x476 
3602.08/1818.70	c Total time: 1819

Verifier Data

OK	187

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100057 s]*
/proc/loadavg: 1.95 3.47 3.87 5/266 49271
/proc/meminfo: memFree=129244168/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=40452 memory=5888 CPUtime=0.09 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 461 0 0 0 9 0 0 0 20 0 1 0 50613299 41422848 1472 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 10113 1472 1184 6655 0 348 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 5888 KiB

[startup+0.205172 s]*
/proc/loadavg: 1.95 3.47 3.87 5/266 49271
/proc/meminfo: memFree=129244280/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=40452 memory=5888 CPUtime=0.19 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 461 0 0 0 19 0 0 0 20 0 1 0 50613299 41422848 1472 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 10113 1472 1184 6655 0 348 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 5888 KiB

[startup+0.304584 s]*
/proc/loadavg: 1.95 3.47 3.87 5/266 49271
/proc/meminfo: memFree=129244280/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=40452 memory=5888 CPUtime=0.29 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 461 0 0 0 29 0 0 0 20 0 1 0 50613299 41422848 1472 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 10113 1472 1184 6655 0 348 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 5888 KiB

[startup+0.700101 s]
/proc/loadavg: 1.95 3.47 3.87 5/266 49271
/proc/meminfo: memFree=129243272/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=40452 memory=5888 CPUtime=0.68 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 461 0 0 0 68 0 0 0 20 0 1 0 50613299 41422848 1472 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 10113 1472 1184 6655 0 348 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 5888 KiB

[startup+1.5001 s]
/proc/loadavg: 1.95 3.47 3.87 5/266 49271
/proc/meminfo: memFree=129243032/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=40452 memory=5888 CPUtime=1.48 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 461 0 0 0 148 0 0 0 20 0 1 0 50613299 41422848 1472 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 10113 1472 1184 6655 0 348 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 5888 KiB

[startup+3.10446 s]
/proc/loadavg: 1.95 3.47 3.87 5/266 49271
/proc/meminfo: memFree=129246076/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=40452 memory=5888 CPUtime=3.08 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 461 0 0 0 308 0 0 0 20 0 1 0 50613299 41422848 1472 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 10113 1472 1184 6655 0 348 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 5888 KiB

[startup+6.30009 s]
/proc/loadavg: 2.12 3.48 3.87 5/266 49271
/proc/meminfo: memFree=129246252/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=40452 memory=5888 CPUtime=6.27 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 461 0 0 0 627 0 0 0 20 0 1 0 50613299 41422848 1472 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 10113 1472 1184 6655 0 348 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 5888 KiB

[startup+12.7001 s]
/proc/loadavg: 2.27 3.49 3.87 9/270 49275
/proc/meminfo: memFree=129173032/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=125024 memory=30420 CPUtime=15.29 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 3954 0 0 0 1528 1 0 0 20 0 2 0 50613299 128024576 7605 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 31256 7605 3488 6655 0 5933 0
[pid=49258/tid=49272] ppid=49252 vsize=125024 memory=29140 CPUtime=2.63 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 786 0 0 0 263 0 0 0 20 0 2 0 50614301 128024576 7605 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 15.29 s
Current children cumulated vsize: 125024 KiB
Current children cumulated memory: 30420 KiB

[startup+25.5002 s]
/proc/loadavg: 3.54 3.71 3.94 9/270 49275
/proc/meminfo: memFree=129154992/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=133736 memory=40148 CPUtime=40.39 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 14682 0 0 0 4037 2 0 0 20 0 2 0 50613299 136945664 10037 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 33434 10037 3488 6655 0 8848 0
[pid=49258/tid=49272] ppid=49252 vsize=133736 memory=40148 CPUtime=15.04 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 4356 0 0 0 1504 0 0 0 20 0 2 0 50614301 136945664 10037 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 40.39 s
Current children cumulated vsize: 133736 KiB
Current children cumulated memory: 40148 KiB

[startup+51.1051 s]
/proc/loadavg: 5.19 4.09 4.06 9/269 49276
/proc/meminfo: memFree=129096368/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=143028 memory=46164 CPUtime=90.93 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 19378 0 0 0 9091 2 0 0 20 0 2 0 50613299 146460672 11541 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 35757 11541 3488 6655 0 11213 0
[pid=49258/tid=49272] ppid=49252 vsize=143028 memory=3833189128501619978 CPUtime=40.15 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 5064 0 0 0 4015 0 0 0 20 0 2 0 50614301 146460672 11541 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 90.93 s
Current children cumulated vsize: 143028 KiB
Current children cumulated memory: 46164 KiB

[startup+102.3 s]
/proc/loadavg: 6.78 4.69 4.27 9/271 49284
/proc/meminfo: memFree=128851600/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=164600 memory=105172 CPUtime=192.7 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 43930 0 0 0 19264 6 0 0 20 0 2 0 50613299 168550400 26293 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 41150 26293 3488 6655 0 25073 0
[pid=49258/tid=49272] ppid=49252 vsize=164600 memory=94164 CPUtime=90.89 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 17275 0 0 0 9086 3 0 0 20 0 2 0 50614301 168550400 26293 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 192.7 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 105172 KiB

[startup+162.3 s]
/proc/loadavg: 7.67 5.33 4.51 9/271 49286
/proc/meminfo: memFree=128398792/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=295264 memory=234964 CPUtime=311.93 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 80406 0 0 0 31178 15 0 0 20 0 2 0 50613299 302350336 58741 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 73816 58741 3488 6655 0 56878 0
[pid=49258/tid=49272] ppid=49252 vsize=295264 memory=136916 CPUtime=150.63 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 35329 0 0 0 15055 8 0 0 20 0 2 0 50614301 302350336 58741 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 311.93 s
Current children cumulated vsize: 295264 KiB
Current children cumulated memory: 234964 KiB

[startup+222.3 s]
/proc/loadavg: 7.94 5.83 4.74 9/271 49289
/proc/meminfo: memFree=127861944/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=434892 memory=376860 CPUtime=431.19 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 116862 0 0 0 43095 24 0 0 20 0 2 0 50613299 445329408 94215 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 108723 94215 3488 6655 0 92470 0
[pid=49258/tid=49272] ppid=49252 vsize=434892 memory=136916 CPUtime=210.45 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 53547 0 0 0 21032 13 0 0 20 0 2 0 50614301 445329408 94215 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 431.19 s
Current children cumulated vsize: 434892 KiB
Current children cumulated memory: 376860 KiB

[startup+282.3 s]
/proc/loadavg: 8.03 6.24 4.95 9/270 49291
/proc/meminfo: memFree=127257256/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=574056 memory=526904 CPUtime=550.47 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 159888 0 0 0 55014 33 0 0 20 0 2 0 50613299 587833344 131726 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 143514 131726 3488 6655 0 129907 0
[pid=49258/tid=49272] ppid=49252 vsize=574056 memory=136916 CPUtime=270.28 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 75133 0 0 0 27010 18 0 0 20 0 2 0 50614301 587833344 131726 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 550.47 s
Current children cumulated vsize: 574056 KiB
Current children cumulated memory: 526904 KiB

[startup+342.3 s]
/proc/loadavg: 8.08 6.58 5.15 9/271 49305
/proc/meminfo: memFree=126699124/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=709904 memory=664516 CPUtime=669.72 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 198300 0 0 0 66931 41 0 0 20 0 2 0 50613299 726941696 166129 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 177476 166129 3488 6655 0 164596 0
[pid=49258/tid=49272] ppid=49252 vsize=709904 memory=14848 CPUtime=330.08 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 94999 0 0 0 32986 22 0 0 20 0 2 0 50614301 726941696 166129 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 669.72 s
Current children cumulated vsize: 709904 KiB
Current children cumulated memory: 664516 KiB


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

/proc/49258/statm: 872864 853662 3488 6655 0 852629 0
[pid=49258/tid=49272] ppid=49252 vsize=3491456 memory=3027824 CPUtime=1406.47 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 472893 0 0 0 140520 127 0 0 20 0 2 0 50614301 3575250944 853662 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 2816.12 s
Current children cumulated vsize: 3491456 KiB
Current children cumulated memory: 3414648 KiB

[startup+1482.3 s]
/proc/loadavg: 8.09 8.07 7.27 9/268 49361
/proc/meminfo: memFree=115321932/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=3642644 memory=3578976 CPUtime=2935.38 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 999730 0 0 0 293296 242 0 0 20 0 2 0 50613299 3730067456 894744 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 910661 894744 3488 6655 0 893875 0
[pid=49258/tid=49272] ppid=49252 vsize=3642644 memory=3555168 CPUtime=1466.29 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 494781 0 0 0 146496 133 0 0 20 0 2 0 50614301 3730067456 894744 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 2935.38 s
Current children cumulated vsize: 3642644 KiB
Current children cumulated memory: 3578976 KiB

[startup+1542.3 s]
/proc/loadavg: 8.15 8.09 7.33 9/268 49363
/proc/meminfo: memFree=114674204/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=3784932 memory=3739744 CPUtime=3054.67 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 1044782 0 0 0 305212 255 0 0 20 0 2 0 50613299 3875770368 934936 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 946233 934936 3488 6655 0 934041 0
[pid=49258/tid=49272] ppid=49252 vsize=3784932 memory=18176 CPUtime=1526.12 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 518055 0 0 0 152472 140 0 0 20 0 2 0 50614301 3875770368 934936 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 3054.67 s
Current children cumulated vsize: 3784932 KiB
Current children cumulated memory: 3739744 KiB

[startup+1602.3 s]
/proc/loadavg: 8.12 8.09 7.38 9/267 49365
/proc/meminfo: memFree=114054212/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4002864 memory=3912032 CPUtime=3173.93 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 1094125 0 0 0 317122 271 0 0 20 0 2 0 50613299 4098932736 978008 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1000716 978008 3488 6655 0 976969 0
[pid=49258/tid=49272] ppid=49252 vsize=4002864 memory=18176 CPUtime=1585.93 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 542824 0 0 0 158443 150 0 0 20 0 2 0 50614301 4098932736 978008 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 3173.93 s
Current children cumulated vsize: 4002864 KiB
Current children cumulated memory: 3912032 KiB

[startup+1662.3 s]
/proc/loadavg: 8.08 8.08 7.43 9/267 49367
/proc/meminfo: memFree=113433780/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4151168 memory=4080352 CPUtime=3293.21 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 1139851 0 0 0 329038 283 0 0 20 0 2 0 50613299 4250796032 1020088 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1037792 1020088 3488 6655 0 1018954 0
[pid=49258/tid=49272] ppid=49252 vsize=4151168 memory=18176 CPUtime=1645.75 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 566113 0 0 0 164419 156 0 0 20 0 2 0 50614301 4250796032 1020088 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 3293.21 s
Current children cumulated vsize: 4151168 KiB
Current children cumulated memory: 4080352 KiB

[startup+1722.3 s]
/proc/loadavg: 8.13 8.10 7.48 9/267 49372
/proc/meminfo: memFree=112829524/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4302420 memory=4243340 CPUtime=3412.48 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 1187217 0 0 0 340954 294 0 0 20 0 2 0 50613299 4405678080 1060835 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1075605 1060835 3488 6655 0 1059896 0
[pid=49258/tid=49272] ppid=49252 vsize=4302420 memory=18176 CPUtime=1705.59 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 591517 0 0 0 170396 163 0 0 20 0 2 0 50614301 4405678080 1060835 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 3412.48 s
Current children cumulated vsize: 4302420 KiB
Current children cumulated memory: 4243340 KiB

[startup+1782.3 s]
/proc/loadavg: 8.10 8.09 7.52 9/268 49375
/proc/meminfo: memFree=112232420/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4435944 memory=4389900 CPUtime=3531.76 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 1230371 0 0 0 352872 304 0 0 20 0 2 0 50613299 4542406656 1097475 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1108986 1097475 3488 6655 0 1096483 0
[pid=49258/tid=49272] ppid=49252 vsize=4435944 memory=14848 CPUtime=1765.43 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 614493 0 0 0 176374 169 0 0 20 0 2 0 50614301 4542406656 1097475 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 3531.76 s
Current children cumulated vsize: 4435944 KiB
Current children cumulated memory: 4389900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.7 s]
/proc/loadavg: 8.12 8.10 7.54 8/267 49377
/proc/meminfo: memFree=111872928/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4545700 memory=4477068 CPUtime=3600.16 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 1253802 0 0 0 359706 310 0 0 20 0 2 0 50613299 4654796800 1119267 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1136425 1119267 3488 6655 0 1118164 0
[pid=49258/tid=49272] ppid=49252 vsize=4545700 memory=4409868 CPUtime=1799.73 cores=0,2
/proc/49258/task/49272/stat : 49272 (LSIPExact) R 49252 49258 49202 0 -1 4194368 626002 0 0 0 179802 171 0 0 20 0 2 0 50614301 4654796800 1119267 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 4545700 KiB
Current children cumulated memory: 4477068 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3598.6 s, system=3.65445 s

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

[startup+1817.6 s]
/proc/loadavg: 8.12 8.10 7.54 5/266 49381
/proc/meminfo: memFree=112159416/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4545700 memory=4475408 CPUtime=3601.06 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) R 49252 49258 49202 0 -1 4194304 1976387 0 0 0 359760 346 0 0 20 0 1 0 50613299 4654796800 1118852 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1136425 1118852 3520 6655 0 1118170 0
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 4545700 KiB
Current children cumulated memory: 4475408 KiB

[startup+1818.4 s]
/proc/loadavg: 8.12 8.10 7.54 4/265 49389
/proc/meminfo: memFree=117251840/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4480164 memory=4443328 CPUtime=3601.07 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) S 49252 49258 49202 0 -1 4194304 1976615 226 0 0 359761 346 0 0 20 0 1 0 50613299 4587687936 1110832 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1120041 1110832 3520 6655 0 1110150 0
[pid=49385] ppid=49258 vsize=33952 memory=16392 CPUtime=0.72 cores=0,2
/proc/49385/stat : 49385 (Exact) R 49258 49385 49385 0 -1 4194304 2441 0 0 0 70 2 0 0 20 0 1 0 50795063 34766848 4098 18446744073709551615 4198400 8335837 140736743681312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 33611776 140736743688372 140736743688733 140736743688733 140736743694287 0
/proc/49385/statm: 8488 4098 1120 1011 0 7255 0
Current children cumulated CPU time: 3601.79 s
Current children cumulated vsize: 4514116 KiB
Current children cumulated memory: 4459720 KiB

[startup+1818.6 s]
/proc/loadavg: 8.12 8.10 7.54 4/265 49389
/proc/meminfo: memFree=117251840/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4480164 memory=4443328 CPUtime=3601.07 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) S 49252 49258 49202 0 -1 4194304 1976615 226 0 0 359761 346 0 0 20 0 1 0 50613299 4587687936 1110832 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1120041 1110832 3520 6655 0 1110150 0
[pid=49385] ppid=49258 vsize=35320 memory=17800 CPUtime=0.92 cores=0,2
/proc/49385/stat : 49385 (Exact) R 49258 49385 49385 0 -1 4194304 2790 0 0 0 89 3 0 0 20 0 1 0 50795063 36167680 4450 18446744073709551615 4198400 8335837 140736743681312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 33611776 140736743688372 140736743688733 140736743688733 140736743694287 0
/proc/49385/statm: 8830 4450 1120 1011 0 7597 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 4515484 KiB
Current children cumulated memory: 4461128 KiB

[startup+1818.7 s]
/proc/loadavg: 8.12 8.10 7.54 4/265 49389
/proc/meminfo: memFree=117251840/131249988 swapFree=33010684/33010684
[pid=49258] ppid=49252 vsize=4480164 memory=4443328 CPUtime=3601.07 cores=0,2
/proc/49258/stat : 49258 (LSIPExact) S 49252 49258 49202 0 -1 4194304 1976615 226 0 0 359761 346 0 0 20 0 1 0 50613299 4587687936 1110832 18446744073709551615 94812331868160 94812359124561 140735159074832 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94812367627400 94812368059008 94812400697344 140735159081306 140735159081482 140735159081482 140735159087084 0
/proc/49258/statm: 1120041 1110832 3520 6655 0 1110150 0
[pid=49385] ppid=49258 vsize=35320 memory=17800 CPUtime=1.01 cores=0,2
/proc/49385/stat : 49385 (Exact) R 49258 49385 49385 0 -1 4194304 2796 0 0 0 98 3 0 0 20 0 1 0 50795063 36167680 4450 18446744073709551615 4198400 8335837 140736743681312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 33611776 140736743688372 140736743688733 140736743688733 140736743694287 0
/proc/49385/statm: 8830 4450 1120 1011 0 7597 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 4515484 KiB
Current children cumulated memory: 4461128 KiB

Child status: 0

Real time (s): 1818.86
CPU time (s): 3602.26
CPU user time (s): 3598.6
CPU system time (s): 3.65445
CPU usage (%): 198.051
Max. virtual memory (cumulated for all children) (KiB): 4545700
Max. memory (cumulated for all children) (KiB): 4477068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.6
system time used= 3.65446
maximum resident set size= 4477324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1979760
page faults= 0
swaps= 0
block input operations= 88
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 674
involuntary context switches= 145629


# summary of solver processes directly reported to runsolver:
#   pid: 49258
#   total CPU time (s): 3602.26
#   total CPU user time (s): 3598.6
#   total CPU system time (s): 3.65445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.45861 second user time and 7.57027 second system time

The end

Launcher Data

Begin job on nodeC020 at 2025-07-01 07:55:57
IDJOB=4489309
IDBENCH=147545
IDSOLVER=3336
FILE ID=nodeC020/4489309-1751349357
RUNJOBID= nodeC020-1751349357-49212
SLURM_JOB_ID= 9598127
Free space on /tmp= 432952 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489309-1751349357/watcher-4489309-1751349357 -o /tmp/evaluation-result-4489309-1751349357/solver-4489309-1751349357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751349357-49212 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4489309-1751349357.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=832449110

nodeC020 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.295
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.79
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		: 3700.000
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.79
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.929
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.79
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.882
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.79
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.875
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.79
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.893
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.79
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		: 3700.000
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.79
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		: 3700.000
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129254108 kB
MemAvailable:   129771984 kB
Buffers:            3280 kB
Cached:          1322464 kB
SwapCached:            0 kB
Active:           386248 kB
Inactive:        1013976 kB
Active(anon):      92636 kB
Inactive(anon):        0 kB
Active(file):     293612 kB
Inactive(file):  1013976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            178740 kB
Writeback:             0 kB
AnonPages:         77652 kB
Mapped:           103536 kB
Shmem:             18056 kB
KReclaimable:      99056 kB
Slab:             187052 kB
SReclaimable:      99056 kB
SUnreclaim:        87996 kB
KernelStack:        4048 kB
PageTables:         2812 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     339908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432776 MiB
End job on nodeC020 at 2025-07-01 08:26:16