Trace number 4434230

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
NaPS 1.03SAT (TO)31347 3600.01 3609.4

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 benchmark3441.35
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 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4434230-1721072698.opb
0.00/0.09	c single stage optimization mode
0.00/0.09	o 31347
3600.00/3609.40	c 
3600.00/3609.40	c *** TERMINATED *** by signal 15
3600.00/3609.40	s SATISFIABLE
3600.00/3609.40	c _____________________________________________________________________________
3600.00/3609.40	c std/band forms        : 1946,0
3600.00/3609.40	c 2cl/3cl ITE-codings   : 0,0
3600.00/3609.40	c BDD/srt/adr Max costs : 450005,36565,0
3600.00/3609.40	c BDDraw/bin/mul/srt/adr: 1681,0,0,265,0
3600.00/3609.40	c BDD nodes             : 444348
3600.00/3609.40	c Es1/CC detections     : 0,0
3600.00/3609.40	c CC sort               : 264
3600.00/3609.40	c SAT/UNSAT calls       : 1,0
3600.00/3609.40	c regenrated variables  : 0
3600.00/3609.40	c eliminated fixed lits : 0
3600.00/3609.40	c goal lit flips        : 0
3600.00/3609.40	c goal stages           : 1
3600.00/3609.40	c goal shrink           : 0
3600.00/3609.40	c goal coeff separations: 0
3600.00/3609.40	c restarts              : 0
3600.00/3609.40	c conflicts             : 176            (0 /sec)
3600.00/3609.40	c decisions             : 953            (0 /sec)
3600.00/3609.40	c propagations          : 53591          (15 /sec)
3600.00/3609.40	c inspects              : 0              (0 /sec)
3600.00/3609.40	c CPU time (solving tm) : 3600 s        (3598 s, SAT 0.005146 s, UNSAT 0 s)
3600.00/3609.40	c Time for Opt-base     : 0.02178 s
3600.00/3609.40	c Steps for Opt-base    : 114300
3600.00/3609.40	c Time for BDD coding   : 1.639 s
3600.00/3609.40	c Time for srt coding   : 0.003791 s
3600.00/3609.40	c _____________________________________________________________________________
3600.00/3609.40	v -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 -x2 -x38 -x74 -x110 -x146 -x182 -x218 -x254 x290 -x326 -x3 -x39 -x75 x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 -x294 x330 -x7 -x43 -x79 -x115 x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 x262 -x298 -x334 -x11 x47 -x83 -x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 x84 -x120 -x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 x229 -x265 -x301 -x337 x14 -x50 -x86 -x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 x89 -x125 -x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 -x90 -x126 -x162 -x198 -x234 x270 -x306 -x342 -x19 -x55 x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x273 -x309 x345 -x23 -x59 -x95 -x131 -x167 -x203 x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x240 -x276 x312 -x348 x25 -x61 -x97 -x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 -x242 -x278 -x314 x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 -x279 x315 -x351 -x28 -x64 -x100 -x136 x172 -x208 -x244 -x280 -x316 -x352 -x30 -x66 -x102 -x138 -x174 x210 -x246 -x282 -x318 -x354 -x31 x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 -x176 -x212 x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 x177 -x213 -x249 -x285 -x321 -x357 x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 x143 -x179 -x215 -x251 -x287 -x323 -x359 x8 -x44 -x80 x116 -x152 -x188 x224 -x260 x296 x332 -x15 -x51 -x87 x123 x159 x195 -x231 -x267 x303 x339 x22 x58 -x94 -x130 x166 x202 -x238 x274 -x310 -x346 -x29 x65 x101 x137 -x173 -x209 x245 x281 -x317 -x353 -x36 -x72 x108 -x144 -x180 x216 -x252 x288 x324 x360 x1 x37 x73 -x109 x145 -x181 x217 -x253 -x289 -x325

Verifier Data 

OK	31347

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: 63931 MiB (61821 MiB free)
  memory of node 1: 64510 MiB (58940 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434230-1721072698/watcher-4434230-1721072698 -o /tmp/evaluation-result-4434230-1721072698/solver-4434230-1721072698 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721063459-838783 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434230-1721072698.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=844583, runsolver pid=844580

[startup+0.100084 s]*
/proc/loadavg: 4.29 4.16 4.11 5/262 844588
/proc/meminfo: memFree=123652868/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=11960 memory=10620 CPUtime=0.09 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 2236 0 0 0 9 0 0 0 20 0 1 0 159435201 12247040 2655 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 2990 2655 644 659 0 2194 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21892 KiB
Current children cumulated memory: 13304 KiB

[startup+0.205798 s]*
/proc/loadavg: 4.29 4.16 4.11 5/262 844588
/proc/meminfo: memFree=123638280/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=26284 memory=24880 CPUtime=0.2 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 6058 0 0 0 19 1 0 0 20 0 1 0 159435201 26914816 6220 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 6571 6220 644 659 0 5775 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36216 KiB
Current children cumulated memory: 27564 KiB

[startup+0.305788 s]*
/proc/loadavg: 4.29 4.16 4.11 5/262 844588
/proc/meminfo: memFree=123627052/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=39708 memory=38344 CPUtime=0.3 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 9404 0 0 0 28 2 0 0 20 0 1 0 159435201 40660992 9586 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 9927 9586 644 659 0 9131 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49640 KiB
Current children cumulated memory: 41028 KiB

[startup+0.70027 s]
/proc/loadavg: 4.29 4.16 4.11 5/262 844588
/proc/meminfo: memFree=123605044/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=79728 memory=78128 CPUtime=0.69 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 19329 0 0 0 66 3 0 0 20 0 1 0 159435201 81641472 19532 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 19932 19532 644 659 0 19136 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 89660 KiB
Current children cumulated memory: 80812 KiB

[startup+1.50029 s]
/proc/loadavg: 4.29 4.16 4.11 5/262 844588
/proc/meminfo: memFree=123555112/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=159452 memory=157164 CPUtime=1.48 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 38345 0 0 0 142 6 0 0 20 0 1 0 159435201 163278848 39291 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 39863 39291 644 659 0 39067 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 169384 KiB
Current children cumulated memory: 159848 KiB

[startup+3.10557 s]
/proc/loadavg: 4.27 4.16 4.11 5/262 844588
/proc/meminfo: memFree=123444512/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=222292 memory=217432 CPUtime=3.09 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 52069 0 0 0 300 9 0 0 20 0 1 0 159435201 227627008 54358 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 55573 54358 660 659 0 54777 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 232224 KiB
Current children cumulated memory: 220116 KiB

[startup+6.30026 s]
/proc/loadavg: 4.27 4.16 4.11 5/262 844590
/proc/meminfo: memFree=123443576/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=222292 memory=217696 CPUtime=6.27 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 52150 0 0 0 618 9 0 0 20 0 1 0 159435201 227627008 54424 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 55573 54424 660 659 0 54777 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 232224 KiB
Current children cumulated memory: 220380 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.17 4.12 5/262 844590
/proc/meminfo: memFree=123443208/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=230900 memory=224160 CPUtime=12.65 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 52732 0 0 0 1255 10 0 0 20 0 1 0 159435201 236441600 56040 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 57725 56040 660 659 0 56929 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 240832 KiB
Current children cumulated memory: 226844 KiB

[startup+25.5003 s]
/proc/loadavg: 4.42 4.20 4.13 5/259 844591
/proc/meminfo: memFree=123436036/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=231928 memory=225192 CPUtime=25.42 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 52994 0 0 0 2532 10 0 0 20 0 1 0 159435201 237494272 56298 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 57982 56298 660 659 0 57186 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 241860 KiB
Current children cumulated memory: 227876 KiB

[startup+51.1056 s]
/proc/loadavg: 4.54 4.25 4.14 5/259 844597
/proc/meminfo: memFree=123432660/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=233956 memory=227296 CPUtime=50.95 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 54735 0 0 0 5084 11 0 0 20 0 1 0 159435201 239570944 56824 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 58489 56824 660 659 0 57693 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 243888 KiB
Current children cumulated memory: 229980 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.22 4.14 5/259 844605
/proc/meminfo: memFree=123444724/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=241372 memory=234684 CPUtime=102.01 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 60137 0 0 0 10187 14 0 0 20 0 1 0 159435201 247164928 58671 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 60343 58671 660 659 0 59547 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 251304 KiB
Current children cumulated memory: 237368 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.21 4.14 5/259 844617
/proc/meminfo: memFree=123371868/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=248132 memory=241352 CPUtime=161.84 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 63302 0 0 0 16169 15 0 0 20 0 1 0 159435201 254087168 60338 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 62033 60338 660 659 0 61237 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 258064 KiB
Current children cumulated memory: 244036 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/259 844627
/proc/meminfo: memFree=123363060/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=253092 memory=246600 CPUtime=221.65 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 64568 0 0 0 22150 15 0 0 20 0 1 0 159435201 259166208 61650 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 63273 61650 660 659 0 62477 0
Current children cumulated CPU time: 221.65 s

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

/proc/loadavg: 2.14 2.21 2.77 3/243 846390
/proc/meminfo: memFree=123991380/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=346748 memory=343264 CPUtime=3034.23 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 114873 0 0 0 303378 45 0 0 20 0 1 0 159435201 355069952 85816 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 86687 85816 660 659 0 85891 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 356680 KiB
Current children cumulated memory: 345948 KiB

[startup+3102.3 s]
/proc/loadavg: 2.08 2.18 2.73 3/243 846401
/proc/meminfo: memFree=123990236/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=346748 memory=343392 CPUtime=3094.07 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 114976 0 0 0 309362 45 0 0 20 0 1 0 159435201 355069952 85848 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 86687 85848 660 659 0 85891 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 356680 KiB
Current children cumulated memory: 346076 KiB

[startup+3162.3 s]
/proc/loadavg: 2.27 2.21 2.70 3/243 846412
/proc/meminfo: memFree=123988204/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=346748 memory=343392 CPUtime=3153.91 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 115064 0 0 0 315346 45 0 0 20 0 1 0 159435201 355069952 85848 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 86687 85848 660 659 0 85891 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 356680 KiB
Current children cumulated memory: 346076 KiB

[startup+3222.3 s]
/proc/loadavg: 1.65 2.05 2.62 2/235 846453
/proc/meminfo: memFree=124142024/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=346748 memory=343392 CPUtime=3213.77 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 115135 0 0 0 321332 45 0 0 20 0 1 0 159435201 355069952 85848 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 86687 85848 660 659 0 85891 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 356680 KiB
Current children cumulated memory: 346076 KiB

[startup+3282.3 s]
/proc/loadavg: 1.30 1.87 2.52 2/236 846464
/proc/meminfo: memFree=124128840/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=359056 memory=355700 CPUtime=3273.63 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 115761 0 0 0 327318 45 0 0 20 0 1 0 159435201 367673344 88925 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 89764 88925 660 659 0 88968 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 368988 KiB
Current children cumulated memory: 358384 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.71 2.42 2/238 846481
/proc/meminfo: memFree=124127948/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=359056 memory=355700 CPUtime=3333.5 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 115845 0 0 0 333305 45 0 0 20 0 1 0 159435201 367673344 88925 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 89764 88925 660 659 0 88968 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 368988 KiB
Current children cumulated memory: 358384 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.61 2.34 2/238 846492
/proc/meminfo: memFree=124127252/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=359056 memory=355700 CPUtime=3393.36 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 115943 0 0 0 339291 45 0 0 20 0 1 0 159435201 367673344 88925 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 89764 88925 660 659 0 88968 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 368988 KiB
Current children cumulated memory: 358384 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.51 2.26 2/238 846502
/proc/meminfo: memFree=124126556/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=359056 memory=355700 CPUtime=3453.23 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 116041 0 0 0 345278 45 0 0 20 0 1 0 159435201 367673344 88925 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 89764 88925 660 659 0 88968 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 368988 KiB
Current children cumulated memory: 358384 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.43 2.18 2/238 846513
/proc/meminfo: memFree=124126236/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=359056 memory=355700 CPUtime=3513.09 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 116121 0 0 0 351264 45 0 0 20 0 1 0 159435201 367673344 88925 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 89764 88925 660 659 0 88968 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 368988 KiB
Current children cumulated memory: 358384 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.38 2.11 2/238 846524
/proc/meminfo: memFree=124179200/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=304772 memory=301544 CPUtime=3572.96 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 117397 0 0 0 357250 46 0 0 20 0 1 0 159435201 312086528 75386 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 76193 75386 660 659 0 75397 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 314704 KiB
Current children cumulated memory: 304228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 1.14 1.36 2.08 2/237 846529
/proc/meminfo: memFree=124146736/131524600 swapFree=131071996/131071996
[pid=844583] ppid=844580 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/844583/stat : 844583 (naps-1.03.sh) S 844580 844583 838771 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 159435200 10170368 671 134679101440 94656301113344 94656302192664 140732472758816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94656304291120 94656304338308 94656328249344 140732472763364 140732472763489 140732472763489 140732472770504 0
/proc/844583/statm: 2483 671 593 264 0 134 0
[pid=844588] ppid=844583 vsize=337832 memory=333728 CPUtime=3600 cores=1,3
/proc/844588/stat : 844588 (naps-1.03) R 844583 844583 838771 0 -1 4194304 119379 0 0 0 359953 47 0 0 20 0 1 0 159435201 345939968 83432 134679101440 4194304 6891213 140720780396848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35168256 140720780403701 140720780403813 140720780403813 140720780410827 0
/proc/844588/statm: 84458 83432 660 659 0 83662 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 347764 KiB
Current children cumulated memory: 336412 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.4 s]
# the end of solver process 844583 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.54 s, system=0.474469 s

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

Child status: 10

Real time (s): 3609.4
CPU time (s): 3600.01
CPU user time (s): 3599.54
CPU system time (s): 0.474469
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 402320
Max. memory (cumulated for all children) (KiB): 391596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.54
system time used= 0.474469
maximum resident set size= 388912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 1340


# summary of solver processes directly reported to runsolver:
#   pid: 844583
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.54
#   total CPU system time (s): 0.474469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.87297 second user time and 20.0633 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-15 21:45:11
IDJOB=4434230
IDBENCH=147022
IDSOLVER=3063
FILE ID=nodeC025/4434230-1721072698
RUNJOBID= nodeC025-1721063459-838783
SLURM_JOB_ID= 7505518
Free space on /tmp= 890012 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434230-1721072698/watcher-4434230-1721072698 -o /tmp/evaluation-result-4434230-1721072698/solver-4434230-1721072698 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721063459-838783 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4434230-1721072698.opb

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

MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=1804911135

nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3668.165
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3662.517
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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.070
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3661.136
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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		: 3668.137
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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		: 3667.028
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.090
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
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.993
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123661344 kB
MemAvailable:   128799876 kB
Buffers:          391792 kB
Cached:          5521676 kB
SwapCached:            0 kB
Active:           709256 kB
Inactive:        6422560 kB
Active(anon):       1568 kB
Inactive(anon):  1254492 kB
Active(file):     707688 kB
Inactive(file):  5168068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5604 kB
Writeback:             0 kB
AnonPages:       1213872 kB
Mapped:           111412 kB
Shmem:             37720 kB
KReclaimable:     204848 kB
Slab:             323616 kB
SReclaimable:     204848 kB
SUnreclaim:       118768 kB
KernelStack:        4224 kB
PageTables:        11944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1617800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    36200448 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC025 at 2024-07-15 22:45:20