Trace number 4527326

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)24875 3602.25 1819.53

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUM9e6692c80f11b0068f23fe5849cf8b25
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 benchmark23916
Best CPU time to get the best result obtained on this benchmark3585.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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/1817.40	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.16/1817.40	c numVar: 540
3600.16/1817.40	c numCon: 4476
3600.16/1817.40	c numEqual: 150
3600.16/1817.40	c intSize: 17
3600.16/1817.40	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.16/1817.40	c ------------------- Paras list -------------------
3600.16/1817.40	c Name                	 Type      	 Now       	 Default   	 Comment
3600.16/1817.40	c timeout             	 double    	 3600.000000	 3600      	 
3600.16/1817.40	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.16/1817.40	c ls_time             	 double    	 10.000000 	 10        	 
3600.16/1817.40	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.16/1817.40	c mip_emphasis        	 int       	 1         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.16/1817.40	c random_seed         	 int       	 0         	 0         	 
3600.16/1817.40	c sample_size         	 int       	 50        	 50        	 
3600.16/1817.40	c sub_score           	 int       	 1         	 1         	 
3600.16/1817.40	c tabu_base           	 int       	 3         	 3         	 
3600.16/1817.40	c tabu_variation      	 int       	 1         	 1         	 
3600.16/1817.40	c sub_div             	 int       	 4         	 4         	 
3600.16/1817.40	c nbcore              	 int       	 2         	 1         	 
3600.16/1817.40	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.16/1817.40	c print_sol           	 int       	 1         	 1         	 
3600.16/1817.40	c tmpdir              	 string		 .         	 "."       	 
3600.16/1817.40	c home                	 string		 HOME	 "."       	 
3600.16/1817.40	c benchname           	 string		 HOME/instance-4527326-1752232206.opb	 ""        	 
3600.16/1817.40	c --------------------------------------------------
3600.16/1817.40	c Local Search solver
3600.16/1817.40	c LS find feasible solution for PBO with objective value 31895
3600.16/1817.40	c MIP solver
3600.16/1817.40	c receive signal 15, try to interrupt solver...
3600.16/1817.40	c MIP solver find feasible solution
3600.16/1817.40	c MIP solver objective value: 24875
3600.46/1817.75	c MIP find feasible solution for PBO with objective value 24875
3600.46/1817.75	c copy file: 0
3600.46/1817.75	c gen ub file: HOME/instance-4527326-1752232206.opb_ub.opb
3600.46/1817.75	c use Exact solver
3602.10/1819.40	o 24875
3602.10/1819.40	s SATISFIABLE
3602.10/1819.40	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 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 x503 x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 x536 -x537 x538 -x539 -x540 
3602.10/1819.40	c Total time: 1820

Verifier Data

OK	24875

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=121568, runsolver pid=121565

[startup+0.100058 s]*
/proc/loadavg: 0.09 0.10 0.09 5/254 121579
/proc/meminfo: memFree=120776496/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=43412 memory=8960 CPUtime=0.08 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1213 0 0 0 8 0 0 0 20 0 1 0 138899465 44453888 2240 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 10853 2240 1184 6655 0 1088 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 8960 KiB

[startup+0.205039 s]*
/proc/loadavg: 0.09 0.10 0.09 4/258 121584
/proc/meminfo: memFree=120776724/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=43412 memory=8960 CPUtime=0.18 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1213 0 0 0 18 0 0 0 20 0 1 0 138899465 44453888 2240 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 10853 2240 1184 6655 0 1088 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 8960 KiB

[startup+0.304401 s]*
/proc/loadavg: 0.09 0.10 0.09 5/259 121589
/proc/meminfo: memFree=120615900/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=43412 memory=8960 CPUtime=0.28 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1213 0 0 0 28 0 0 0 20 0 1 0 138899465 44453888 2240 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 10853 2240 1184 6655 0 1088 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 8960 KiB

[startup+0.700093 s]
/proc/loadavg: 0.09 0.10 0.09 5/264 121598
/proc/meminfo: memFree=120329868/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=43412 memory=8960 CPUtime=0.66 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1213 0 0 0 66 0 0 0 20 0 1 0 138899465 44453888 2240 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 10853 2240 1184 6655 0 1088 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 8960 KiB

[startup+1.50009 s]
/proc/loadavg: 0.09 0.10 0.09 5/264 121598
/proc/meminfo: memFree=119917820/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=43412 memory=8960 CPUtime=1.46 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1213 0 0 0 146 0 0 0 20 0 1 0 138899465 44453888 2240 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 10853 2240 1184 6655 0 1088 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 8960 KiB

[startup+3.10457 s]
/proc/loadavg: 0.09 0.10 0.09 5/264 121598
/proc/meminfo: memFree=119402272/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=43412 memory=8960 CPUtime=3.06 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1213 0 0 0 306 0 0 0 20 0 1 0 138899465 44453888 2240 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 10853 2240 1184 6655 0 1088 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 8960 KiB

[startup+6.30009 s]
/proc/loadavg: 0.48 0.18 0.12 5/265 121599
/proc/meminfo: memFree=119402936/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=43412 memory=8960 CPUtime=6.25 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1213 0 0 0 625 0 0 0 20 0 1 0 138899465 44453888 2240 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 10853 2240 1184 6655 0 1088 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 8960 KiB

[startup+12.7002 s]
/proc/loadavg: 0.77 0.24 0.14 7/268 121602
/proc/meminfo: memFree=118013048/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=142900 memory=53260 CPUtime=15.22 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 9793 0 0 0 1520 2 0 0 20 0 2 0 138899465 146329600 13315 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 35725 13315 3520 6655 0 11514 0
[pid=121568/tid=121600] ppid=121565 vsize=142900 memory=51852 CPUtime=2.58 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 2192 0 0 0 258 0 0 0 20 0 2 0 138900467 146329600 13315 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 15.22 s
Current children cumulated vsize: 142900 KiB
Current children cumulated memory: 53260 KiB

[startup+25.5002 s]
/proc/loadavg: 2.15 0.57 0.25 8/269 121603
/proc/meminfo: memFree=117457180/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=150384 memory=83596 CPUtime=40.67 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 28713 0 0 0 4062 5 0 0 20 0 2 0 138899465 153993216 20899 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 37596 20899 3520 6655 0 19107 0
[pid=121568/tid=121600] ppid=121565 vsize=150384 memory=70796 CPUtime=15.26 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 12911 0 0 0 1524 2 0 0 20 0 2 0 138900467 153993216 20899 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 40.67 s
Current children cumulated vsize: 150384 KiB
Current children cumulated memory: 83596 KiB

[startup+51.1056 s]
/proc/loadavg: 3.81 1.09 0.43 8/269 121604
/proc/meminfo: memFree=117511992/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=165096 memory=98316 CPUtime=90.96 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 47998 0 0 0 9088 8 0 0 20 0 2 0 138899465 169058304 24579 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 41274 24579 3520 6655 0 22843 0
[pid=121568/tid=121600] ppid=121565 vsize=165096 memory=0 CPUtime=40.06 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 19415 0 0 0 4003 3 0 0 20 0 2 0 138900467 169058304 24579 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 90.96 s
Current children cumulated vsize: 165096 KiB
Current children cumulated memory: 98316 KiB

[startup+102.3 s]
/proc/loadavg: 6.22 2.16 0.83 9/269 121605
/proc/meminfo: memFree=117199404/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=265552 memory=169100 CPUtime=192.68 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 83075 0 0 0 19252 16 0 0 20 0 2 0 138899465 271925248 42275 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 66388 42275 3520 6655 0 40398 0
[pid=121568/tid=121600] ppid=121565 vsize=265552 memory=153612 CPUtime=90.76 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 37812 0 0 0 9069 7 0 0 20 0 2 0 138900467 271925248 42275 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 192.68 s
Current children cumulated vsize: 265552 KiB
Current children cumulated memory: 169100 KiB

[startup+162.3 s]
/proc/loadavg: 7.41 3.24 1.29 9/268 121607
/proc/meminfo: memFree=116919604/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=318980 memory=272100 CPUtime=311.91 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 111484 0 0 0 31167 24 0 0 20 0 2 0 138899465 326635520 68025 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 79745 68025 3520 6655 0 66403 0
[pid=121568/tid=121600] ppid=121565 vsize=318980 memory=271972 CPUtime=150.57 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 52096 0 0 0 15045 12 0 0 20 0 2 0 138900467 326635520 68025 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 311.91 s
Current children cumulated vsize: 318980 KiB
Current children cumulated memory: 272100 KiB

[startup+222.3 s]
/proc/loadavg: 7.91 4.14 1.72 9/268 121609
/proc/meminfo: memFree=116641856/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=435672 memory=375268 CPUtime=431.14 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 145465 0 0 0 43082 32 0 0 20 0 2 0 138899465 446128128 93817 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 108918 93817 3520 6655 0 91903 0
[pid=121568/tid=121600] ppid=121565 vsize=435672 memory=342884 CPUtime=210.37 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 69610 0 0 0 21021 16 0 0 20 0 2 0 138900467 446128128 93817 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 431.14 s
Current children cumulated vsize: 435672 KiB
Current children cumulated memory: 375268 KiB

[startup+282.3 s]
/proc/loadavg: 8.03 4.86 2.12 9/269 121612
/proc/meminfo: memFree=116321540/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=557408 memory=490052 CPUtime=550.36 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 178998 0 0 0 54995 41 0 0 20 0 2 0 138899465 570785792 122513 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 139352 122513 3520 6655 0 121044 0
[pid=121568/tid=121600] ppid=121565 vsize=557408 memory=474564 CPUtime=270.17 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 89368 0 0 0 26996 21 0 0 20 0 2 0 138900467 570785792 122513 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 550.36 s
Current children cumulated vsize: 557408 KiB
Current children cumulated memory: 490052 KiB

[startup+342.3 s]
/proc/loadavg: 8.06 5.45 2.50 9/267 121614
/proc/meminfo: memFree=115986760/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=691156 memory=632004 CPUtime=669.58 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 219485 0 0 0 66905 53 0 0 20 0 2 0 138899465 707743744 158001 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 172789 158001 3520 6655 0 156384 0
[pid=121568/tid=121600] ppid=121565 vsize=691156 memory=580932 CPUtime=329.98 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 110396 0 0 0 32969 29 0 0 20 0 2 0 138900467 707743744 158001 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 669.58 s
Current children cumulated vsize: 691156 KiB
Current children cumulated memory: 632004 KiB

[startup+402.3 s]

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

/proc/121568/statm: 724305 703338 3520 6655 0 701788 0
[pid=121568/tid=121600] ppid=121565 vsize=2897220 memory=2628136 CPUtime=1405.78 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 466269 0 0 0 140450 128 0 0 20 0 2 0 138900467 2966753280 703338 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 2815.22 s
Current children cumulated vsize: 2897220 KiB
Current children cumulated memory: 2813352 KiB

[startup+1482.3 s]
/proc/loadavg: 8.17 8.11 6.53 9/267 121669
/proc/meminfo: memFree=110488976/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3021920 memory=2934612 CPUtime=2934.42 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 947311 0 0 0 293192 250 0 0 20 0 2 0 138899465 3094446080 733653 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 755480 733653 3520 6655 0 732531 0
[pid=121568/tid=121600] ppid=121565 vsize=3021920 memory=2925780 CPUtime=1465.54 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 485989 0 0 0 146420 134 0 0 20 0 2 0 138900467 3094446080 733653 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 2934.42 s
Current children cumulated vsize: 3021920 KiB
Current children cumulated memory: 2934612 KiB

[startup+1542.3 s]
/proc/loadavg: 8.06 8.08 6.63 9/266 121671
/proc/meminfo: memFree=110246052/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3158356 memory=3072928 CPUtime=3053.62 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1022949 0 0 0 305099 263 0 0 20 0 2 0 138899465 3234156544 768232 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 789589 768232 3520 6655 0 767295 0
[pid=121568/tid=121600] ppid=121565 vsize=3158356 memory=3059360 CPUtime=1525.32 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 539283 0 0 0 152391 141 0 0 20 0 2 0 138900467 3234156544 768232 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 3053.62 s
Current children cumulated vsize: 3158356 KiB
Current children cumulated memory: 3072928 KiB

[startup+1602.3 s]
/proc/loadavg: 8.14 8.10 6.72 9/267 121674
/proc/meminfo: memFree=110043452/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3211412 memory=3168416 CPUtime=3172.84 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1052792 0 0 0 317011 273 0 0 20 0 2 0 138899465 3288485888 792104 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 802853 792104 3520 6655 0 790687 0
[pid=121568/tid=121600] ppid=121565 vsize=3211412 memory=3049248 CPUtime=1585.09 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 553532 0 0 0 158363 146 0 0 20 0 2 0 138900467 3288485888 792104 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 3172.84 s
Current children cumulated vsize: 3211412 KiB
Current children cumulated memory: 3168416 KiB

[startup+1662.3 s]
/proc/loadavg: 8.11 8.09 6.81 9/268 121677
/proc/meminfo: memFree=109795676/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3327188 memory=3274272 CPUtime=3292.03 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1091155 0 0 0 328919 284 0 0 20 0 2 0 138899465 3407040512 818568 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 831797 818568 3520 6655 0 816980 0
[pid=121568/tid=121600] ppid=121565 vsize=3327188 memory=3049248 CPUtime=1644.85 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 572975 0 0 0 164333 152 0 0 20 0 2 0 138900467 3407040512 818568 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 3292.03 s
Current children cumulated vsize: 3327188 KiB
Current children cumulated memory: 3274272 KiB

[startup+1722.3 s]
/proc/loadavg: 8.17 8.11 6.90 9/268 121679
/proc/meminfo: memFree=109515468/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3456048 memory=3403248 CPUtime=3411.22 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1135379 0 0 0 340826 296 0 0 20 0 2 0 138899465 3538993152 850812 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 864012 850812 3520 6655 0 849219 0
[pid=121568/tid=121600] ppid=121565 vsize=3456048 memory=3049248 CPUtime=1704.61 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 597012 0 0 0 170302 159 0 0 20 0 2 0 138900467 3538993152 850812 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 3411.22 s
Current children cumulated vsize: 3456048 KiB
Current children cumulated memory: 3403248 KiB

[startup+1782.3 s]
/proc/loadavg: 8.13 8.10 6.98 9/268 121681
/proc/meminfo: memFree=109218160/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3580728 memory=3520752 CPUtime=3530.43 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1175468 0 0 0 352736 307 0 0 20 0 2 0 138899465 3666665472 880188 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 895182 880188 3520 6655 0 878500 0
[pid=121568/tid=121600] ppid=121565 vsize=3580728 memory=3520112 CPUtime=1764.4 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 617096 0 0 0 176275 165 0 0 20 0 2 0 138900467 3666665472 880188 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 3530.43 s
Current children cumulated vsize: 3580728 KiB
Current children cumulated memory: 3520752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.4 s]
/proc/loadavg: 8.15 8.10 7.02 8/268 121689
/proc/meminfo: memFree=109039012/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3686052 memory=3588976 CPUtime=3600.16 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1197588 0 0 0 359702 314 0 0 20 0 2 0 138899465 3774517248 897244 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 921513 897244 3520 6655 0 895567 0
[pid=121568/tid=121600] ppid=121565 vsize=3686052 memory=4352 CPUtime=1799.37 cores=4,6
/proc/121568/task/121600/stat : 121600 (LSIPExact) R 121565 121568 121522 0 -1 4194368 627564 0 0 0 179769 168 0 0 20 0 2 0 138900467 3774517248 897244 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 3686052 KiB
Current children cumulated memory: 3588976 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3598.82 s, system=3.42957 s

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

[startup+1817.6 s]
/proc/loadavg: 8.15 8.10 7.02 8/268 121689
/proc/meminfo: memFree=109039012/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3686052 memory=3587324 CPUtime=3600.37 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) R 121565 121568 121522 0 -1 4194304 1344490 0 0 0 359714 323 0 0 20 0 1 0 138899465 3774517248 896831 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 921513 896831 3552 6655 0 895567 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 3686052 KiB
Current children cumulated memory: 3587324 KiB

[startup+1818.4 s]
/proc/loadavg: 8.15 8.10 7.02 7/269 121693
/proc/meminfo: memFree=109508268/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3423908 memory=3389028 CPUtime=3600.5 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) S 121565 121568 121522 0 -1 4194304 1423527 227 0 0 359722 328 0 0 20 0 1 0 138899465 3506081792 847257 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 855977 847257 3552 6655 0 845985 0
[pid=121693] ppid=121568 vsize=37656 memory=18812 CPUtime=0.61 cores=4,6
/proc/121693/stat : 121693 (Exact) R 121568 121693 121693 0 -1 4194304 3836 0 0 0 60 1 0 0 20 0 1 0 139081241 38559744 4703 18446744073709551615 4198400 8335837 140722009251584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9148648 9230840 40181760 140722009258162 140722009258523 140722009258523 140722009264079 0
/proc/121693/statm: 9414 4703 1120 1011 0 8181 0
Current children cumulated CPU time: 3601.11 s
Current children cumulated vsize: 3461564 KiB
Current children cumulated memory: 3407840 KiB

[startup+1819.2 s]
/proc/loadavg: 7.98 8.07 7.02 7/267 121693
/proc/meminfo: memFree=110400608/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3423908 memory=3389028 CPUtime=3600.5 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) S 121565 121568 121522 0 -1 4194304 1423527 227 0 0 359722 328 0 0 20 0 1 0 138899465 3506081792 847257 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 855977 847257 3552 6655 0 845985 0
[pid=121693] ppid=121568 vsize=39296 memory=22288 CPUtime=1.4 cores=4,6
/proc/121693/stat : 121693 (Exact) R 121568 121693 121693 0 -1 4194304 4224 0 0 0 139 1 0 0 20 0 1 0 139081241 40239104 5572 18446744073709551615 4198400 8335837 140722009251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 40181760 140722009258162 140722009258523 140722009258523 140722009264079 0
/proc/121693/statm: 9824 5572 1120 1011 0 8591 0
Current children cumulated CPU time: 3601.9 s
Current children cumulated vsize: 3463204 KiB
Current children cumulated memory: 3411316 KiB

[startup+1819.4 s]
/proc/loadavg: 7.98 8.07 7.02 7/267 121693
/proc/meminfo: memFree=110400608/131249992 swapFree=33010160/33010684
[pid=121568] ppid=121565 vsize=3423908 memory=3389028 CPUtime=3600.5 cores=4,6
/proc/121568/stat : 121568 (LSIPExact) S 121565 121568 121522 0 -1 4194304 1423527 227 0 0 359722 328 0 0 20 0 1 0 138899465 3506081792 847257 18446744073709551615 94494643097600 94494670354769 140731144363120 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94494678856840 94494679288448 94494692327424 140731144366424 140731144366600 140731144366600 140731144372204 0
/proc/121568/statm: 855977 847257 3552 6655 0 845985 0
[pid=121693] ppid=121568 vsize=40120 memory=23184 CPUtime=1.6 cores=4,6
/proc/121693/stat : 121693 (Exact) R 121568 121693 121693 0 -1 4194304 4428 0 0 0 159 1 0 0 20 0 1 0 139081241 41082880 5796 18446744073709551615 4198400 8335837 140722009251584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 40181760 140722009258162 140722009258523 140722009258523 140722009264079 0
/proc/121693/statm: 10030 5796 1120 1011 0 8797 0
Current children cumulated CPU time: 3602.1 s
Current children cumulated vsize: 3464028 KiB
Current children cumulated memory: 3412212 KiB

Child status: 0

Real time (s): 1819.53
CPU time (s): 3602.25
CPU user time (s): 3598.82
CPU system time (s): 3.42957
CPU usage (%): 197.977
Max. virtual memory (cumulated for all children) (KiB): 3686052
Max. memory (cumulated for all children) (KiB): 3588976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.82
system time used= 3.42957
maximum resident set size= 3589232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1428192
page faults= 0
swaps= 0
block input operations= 408
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 659
involuntary context switches= 111069


# summary of solver processes directly reported to runsolver:
#   pid: 121568
#   total CPU time (s): 3602.25
#   total CPU user time (s): 3598.82
#   total CPU system time (s): 3.42957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48307 second user time and 7.22855 second system time

The end

Launcher Data

Begin job on nodeC025 at 2025-07-11 13:10:06
IDJOB=4527326
IDBENCH=147022
IDSOLVER=3384
FILE ID=nodeC025/4527326-1752232206
RUNJOBID= nodeC025-1752232205-121539
SLURM_JOB_ID= 9682536
Free space on /tmp= 432980 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527326-1752232206/watcher-4527326-1752232206 -o /tmp/evaluation-result-4527326-1752232206/solver-4527326-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752232205-121539 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527326-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=417534739

nodeC025 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		: 3599.562
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.67
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.645
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.294
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.67
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		: 3607.016
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.67
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.812
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.67
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.829
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.67
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		: 3601.044
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.67
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.833
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        120891608 kB
MemAvailable:   129757572 kB
Buffers:            2128 kB
Cached:          9612432 kB
SwapCached:          200 kB
Active:           444452 kB
Inactive:        9254832 kB
Active(anon):      85600 kB
Inactive(anon):    17064 kB
Active(file):     358852 kB
Inactive(file):  9237768 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            110360 kB
Writeback:             4 kB
AnonPages:         87784 kB
Mapped:           104964 kB
Shmem:             17856 kB
KReclaimable:     217164 kB
Slab:             309352 kB
SReclaimable:     217164 kB
SUnreclaim:        92188 kB
KernelStack:        4048 kB
PageTables:         2948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     349448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432732 MiB
End job on nodeC025 at 2025-07-11 13:40:27