Trace number 4489084

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 naps-1.03a6SAT (TO)255 3600.1 3609.9

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUMb5aa25dccc2460ad32c358f07bd5c94a
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 benchmark180
Best CPU time to get the best result obtained on this benchmark3585.17
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables473
Total number of constraints472
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c NaPS 1.03a6.
0.00/0.01	c Input file name: HOME/instance-4489084-1751349380.opb
0.07/0.11	c single stage optimization mode
3600.08/3609.90	o 473
3600.08/3609.90	o 255
3600.08/3609.90	c 
3600.08/3609.90	c *** TERMINATED *** by signal 15
3600.08/3609.90	s SATISFIABLE
3600.08/3609.90	c _____________________________________________________________________________
3600.08/3609.90	c std/band forms        : 473,0
3600.08/3609.90	c 2cl/3cl ITE-codings   : 12649,0
3600.08/3609.90	c BDD/srt/adr Max costs : 265,17913,0
3600.08/3609.90	c BDDraw/bin/mul/srt/adr: 343,0,128,2,0
3600.08/3609.90	c BDD nodes             : 21518
3600.08/3609.90	c Es1/CC detections     : 0,0
3600.08/3609.90	c CC sort               : 2
3600.08/3609.90	c SAT/UNSAT calls       : 2,0
3600.08/3609.90	c regenrated variables  : 0
3600.08/3609.90	c eliminated fixed lits : 0
3600.08/3609.90	c goal lit flips        : 17
3600.08/3609.90	c goal stages           : 1
3600.08/3609.90	c goal shrink           : 0
3600.08/3609.90	c goal coeff separations: 0
3600.08/3609.90	c restarts              : 27
3600.08/3609.90	c conflicts             : 109            (0 /sec)
3600.08/3609.90	c decisions             : 15870          (4 /sec)
3600.08/3609.90	c propagations          : 437420         (122 /sec)
3600.08/3609.90	c inspects              : 0              (0 /sec)
3600.08/3609.90	c CPU time (solving tm) : 3599 s        (3598 s, SAT 0.03295 s, UNSAT 0 s)
3600.08/3609.90	c Time for Opt-base     : 0.01562 s
3600.08/3609.90	c Steps for Opt-base    : 43571
3600.08/3609.90	c Time for BDD coding   : 0.06761 s
3600.08/3609.90	c Time for srt coding   : 0.001708 s
3600.08/3609.90	c _____________________________________________________________________________
3600.08/3609.90	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

Verifier Data 

OK	255

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489084-1751349380/watcher-4489084-1751349380 -o /tmp/evaluation-result-4489084-1751349380/solver-4489084-1751349380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751342155-56501 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4489084-1751349380.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 4.15 4.10 4.09 5/263 57294
/proc/meminfo: memFree=127013860/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=6104 memory=4608 CPUtime=0.07 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 707 0 0 0 7 0 0 0 20 0 1 0 50616728 6250496 1152 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 1526 1152 576 696 0 687 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10296 KiB
Current children cumulated memory: 7680 KiB

[startup+0.204706 s]*
/proc/loadavg: 4.15 4.10 4.09 4/262 57304
/proc/meminfo: memFree=126982300/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=22464 memory=19308 CPUtime=0.18 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 5019 0 0 0 17 1 0 0 20 0 1 0 50616728 23003136 4827 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 5616 4827 608 696 0 4777 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26656 KiB
Current children cumulated memory: 22380 KiB

[startup+0.305328 s]*
/proc/loadavg: 4.15 4.10 4.09 4/262 57309
/proc/meminfo: memFree=126983384/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=22464 memory=19308 CPUtime=0.28 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 5020 0 0 0 27 1 0 0 20 0 1 0 50616728 23003136 4827 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 5616 4827 608 696 0 4777 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 26656 KiB
Current children cumulated memory: 22380 KiB

[startup+0.70022 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 57325
/proc/meminfo: memFree=126958748/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=32532 memory=29336 CPUtime=0.66 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 9249 0 0 0 65 1 0 0 20 0 1 0 50616728 33312768 7334 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 8133 7334 640 696 0 7294 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 36724 KiB
Current children cumulated memory: 32408 KiB

[startup+1.50021 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 57325
/proc/meminfo: memFree=126927832/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=32748 memory=29476 CPUtime=1.46 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 9910 0 0 0 145 1 0 0 20 0 1 0 50616728 33533952 7369 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 8187 7369 640 696 0 7348 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 36940 KiB
Current children cumulated memory: 32548 KiB

[startup+3.10532 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 57325
/proc/meminfo: memFree=126919572/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=32748 memory=29836 CPUtime=3.07 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 11330 0 0 0 305 2 0 0 20 0 1 0 50616728 33533952 7459 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 8187 7459 640 696 0 7348 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 36940 KiB
Current children cumulated memory: 32908 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 57325
/proc/meminfo: memFree=126915892/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=37340 memory=34348 CPUtime=6.25 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 12440 0 0 0 623 2 0 0 20 0 1 0 50616728 38236160 8587 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 9335 8587 640 696 0 8496 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 41532 KiB
Current children cumulated memory: 37420 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 57325
/proc/meminfo: memFree=126905944/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=37320 memory=34424 CPUtime=12.63 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 14258 0 0 0 1260 3 0 0 20 0 1 0 50616728 38215680 8606 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 9330 8606 640 696 0 8491 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 41512 KiB
Current children cumulated memory: 37496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 57325
/proc/meminfo: memFree=126881692/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=44772 memory=41900 CPUtime=25.4 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 16364 0 0 0 2536 4 0 0 20 0 1 0 50616728 45846528 10475 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 11193 10475 640 696 0 10354 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 48964 KiB
Current children cumulated memory: 44972 KiB

[startup+51.1053 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 57326
/proc/meminfo: memFree=126853540/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=43320 memory=40444 CPUtime=50.93 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 19931 0 0 0 5087 6 0 0 20 0 1 0 50616728 44359680 10111 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 10830 10111 640 696 0 9991 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 47512 KiB
Current children cumulated memory: 43516 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.16 4.11 5/266 57327
/proc/meminfo: memFree=126739500/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=77496 memory=75076 CPUtime=101.97 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 25038 0 0 0 10189 8 0 0 20 0 1 0 50616728 79355904 18769 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 19374 18769 640 696 0 18535 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 81688 KiB
Current children cumulated memory: 78148 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/267 57330
/proc/meminfo: memFree=126700172/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=80492 memory=78284 CPUtime=161.81 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 27440 0 0 0 16172 9 0 0 20 0 1 0 50616728 82423808 19571 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 20123 19571 640 696 0 19284 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 84684 KiB
Current children cumulated memory: 81356 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/267 57332
/proc/meminfo: memFree=126704064/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=80492 memory=78668 CPUtime=221.65 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 27584 0 0 0 22156 9 0 0 20 0 1 0 50616728 82423808 19667 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 20123 19667 640 696 0 19284 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 84684 KiB

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

/proc/loadavg: 4.07 4.10 4.09 5/268 57481
/proc/meminfo: memFree=126149716/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=208128 memory=206360 CPUtime=3093.85 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 106143 0 0 0 309261 124 0 0 20 0 1 0 50616728 213123072 51590 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 52032 51590 640 696 0 51193 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 212320 KiB
Current children cumulated memory: 209432 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 57483
/proc/meminfo: memFree=126146304/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=209784 memory=208016 CPUtime=3153.69 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 108357 0 0 0 315239 130 0 0 20 0 1 0 50616728 214818816 52004 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 52446 52004 640 696 0 51607 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 213976 KiB
Current children cumulated memory: 211088 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 57485
/proc/meminfo: memFree=126157120/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=208084 memory=206316 CPUtime=3213.53 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 110323 0 0 0 321220 133 0 0 20 0 1 0 50616728 213078016 51579 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 52021 51579 640 696 0 51182 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 212276 KiB
Current children cumulated memory: 209388 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 57494
/proc/meminfo: memFree=126128880/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=217140 memory=215372 CPUtime=3273.37 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 111658 0 0 0 327201 136 0 0 20 0 1 0 50616728 222351360 53843 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 54285 53843 640 696 0 53446 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 221332 KiB
Current children cumulated memory: 218444 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/267 57496
/proc/meminfo: memFree=126133248/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=211284 memory=209516 CPUtime=3333.21 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 113345 0 0 0 333179 142 0 0 20 0 1 0 50616728 216354816 52379 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 52821 52379 640 696 0 51982 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 215476 KiB
Current children cumulated memory: 212588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 57499
/proc/meminfo: memFree=126130408/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=220868 memory=219100 CPUtime=3393.04 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 114543 0 0 0 339159 145 0 0 20 0 1 0 50616728 226168832 54775 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 55217 54775 640 696 0 54378 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 225060 KiB
Current children cumulated memory: 222172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 57501
/proc/meminfo: memFree=126178560/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=217204 memory=215436 CPUtime=3452.88 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 116102 0 0 0 345138 150 0 0 20 0 1 0 50616728 222416896 53859 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 54301 53859 640 696 0 53462 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 221396 KiB
Current children cumulated memory: 218508 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 57503
/proc/meminfo: memFree=126279264/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=165668 memory=163900 CPUtime=3512.72 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 117338 0 0 0 351121 151 0 0 20 0 1 0 50616728 169644032 40975 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 41417 40975 640 696 0 40578 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 169860 KiB
Current children cumulated memory: 166972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 57505
/proc/meminfo: memFree=126225344/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=194388 memory=192552 CPUtime=3572.56 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 117875 0 0 0 357104 152 0 0 20 0 1 0 50616728 199053312 48138 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 48597 48138 640 696 0 47758 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 198580 KiB
Current children cumulated memory: 195624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 57506
/proc/meminfo: memFree=126247000/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=194388 memory=192552 CPUtime=3600.08 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 117875 0 0 0 359856 152 0 0 20 0 1 0 50616728 199053312 48138 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 48597 48138 640 696 0 47758 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 198580 KiB
Current children cumulated memory: 195624 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.57 s, system=1.52846 s

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

[startup+3609.9 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 57506
/proc/meminfo: memFree=126247000/131249992 swapFree=33010684/33010684
[pid=57279] ppid=57276 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57279/stat : 57279 (naps-1.03a6.sh) S 57276 57279 56491 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 50616727 4292608 768 18446744073709551615 94485804691456 94485805585989 140729734886400 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94485805825040 94485805872784 94485834477568 140729734891943 140729734892037 140729734892037 140729734897639 0
/proc/57279/statm: 1048 768 704 219 0 110 0
[pid=57284] ppid=57279 vsize=194388 memory=192552 CPUtime=3600.08 cores=0,2
/proc/57284/stat : 57284 (naps-1.03a6) R 57279 57279 56491 0 -1 4194304 117875 0 0 0 359856 152 0 0 20 0 1 0 50616728 199053312 48138 18446744073709551615 4198400 7047149 140720672729840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27578368 140720672737652 140720672737766 140720672737766 140720672743369 0
/proc/57284/statm: 48597 48138 640 696 0 47758 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 198580 KiB
Current children cumulated memory: 195624 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.1
CPU user time (s): 3598.57
CPU system time (s): 1.52846
CPU usage (%): 99.7284
Max. virtual memory (cumulated for all children) (KiB): 305476
Max. memory (cumulated for all children) (KiB): 301784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.57
system time used= 1.52846
maximum resident set size= 299436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118320
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= 157
involuntary context switches= 4591


# summary of solver processes directly reported to runsolver:
#   pid: 57279
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.57
#   total CPU system time (s): 1.52846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94441 second user time and 15.6891 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-01 07:56:20
IDJOB=4489084
IDBENCH=147539
IDSOLVER=3341
FILE ID=nodeC025/4489084-1751349380
RUNJOBID= nodeC025-1751342155-56501
SLURM_JOB_ID= 9598112
Free space on /tmp= 433052 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489084-1751349380/watcher-4489084-1751349380 -o /tmp/evaluation-result-4489084-1751349380/solver-4489084-1751349380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751342155-56501 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4489084-1751349380.opb

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

MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=757553444

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		: 3600.171
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		: 1882.640
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		: 3599.829
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		: 2700.277
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.684
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		: 2311.942
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		: 3599.995
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		: 2936.141
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:        127048904 kB
MemAvailable:   129762848 kB
Buffers:            3280 kB
Cached:          3512468 kB
SwapCached:            0 kB
Active:           410216 kB
Inactive:        3173288 kB
Active(anon):      85840 kB
Inactive(anon):        0 kB
Active(file):     324376 kB
Inactive(file):  3173288 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11176 kB
Writeback:            44 kB
AnonPages:         70884 kB
Mapped:           103028 kB
Shmem:             18084 kB
KReclaimable:     111036 kB
Slab:             199988 kB
SReclaimable:     111036 kB
SUnreclaim:        88952 kB
KernelStack:        4076 kB
PageTables:         3076 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     330560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 433040 MiB
End job on nodeC025 at 2025-07-01 08:56:30