Trace number 4433919

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-GM 1.03SAT (TO)50 3600.07 3609.3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUM7fa9d6bae1eb6fc87d1fc158a8928861
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.078994
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables435
Total number of constraints501
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
Number of bits of the biggest sum of numbers11
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.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4433919-1721055625.opb
0.00/0.01	c single stage optimization mode
0.00/0.02	o 251
0.68/0.71	o 50
3600.06/3609.30	c 
3600.06/3609.30	c *** TERMINATED *** by signal 15
3600.06/3609.30	s SATISFIABLE
3600.06/3609.30	c _____________________________________________________________________________
3600.06/3609.30	c std/band forms        : 99,0
3600.06/3609.30	c 2cl/3cl ITE-codings   : 82317,0
3600.06/3609.30	c BDD/srt/adr Max costs : 88378,126,0
3600.06/3609.30	c BDDraw/bin/mul/srt/adr: 2,0,0,97,0
3600.06/3609.30	c BDD nodes             : 83028
3600.06/3609.30	c Es1/CC detections     : 0,0
3600.06/3609.30	c CC sort               : 97
3600.06/3609.30	c SAT/UNSAT calls       : 2,0
3600.06/3609.30	c regenrated variables  : 309
3600.06/3609.30	c eliminated fixed lits : 2
3600.06/3609.30	c goal lit flips        : 0
3600.06/3609.30	c goal stages           : 1
3600.06/3609.30	c goal shrink           : 0
3600.06/3609.30	c goal coeff separations: 0
3600.06/3609.30	c restarts              : 3
3600.06/3609.30	c conflicts             : 10             (0 /sec)
3600.06/3609.30	c decisions             : 1971           (1 /sec)
3600.06/3609.30	c propagations          : 84720          (24 /sec)
3600.06/3609.30	c inspects              : 0              (0 /sec)
3600.06/3609.30	c CPU time (solving tm) : 3599 s        (3599 s, SAT 0.256 s, UNSAT 0 s)
3600.06/3609.30	c Time for Opt-base     : 0.00031 s
3600.06/3609.30	c Steps for Opt-base    : 0
3600.06/3609.30	c Time for BDD coding   : 0.3403 s
3600.06/3609.30	c Time for srt coding   : 0.000861 s
3600.06/3609.30	c _____________________________________________________________________________
3600.06/3609.30	v x359 x235 -x63 x6 x341 x236 -x400 x363 x340 x240 -x7 -x399 x361 x239 -x8 x401 x342 x237 -x144 x11 x434 x362 x344 -x238 -x143 -x9 x417 -x366 x145 -x10 -x421 x345 x435 x358 x234 -x183 -x62 x3 -x337 x233 -x187 x5 x364 -x336 -x321 x244 x4 x12 x367 x343 x402 -x365 x346 x416 x410 -x420 x406 x146 x405 x387 -x154 -x27 -x150 x31 -x356 x317 x252 x247 -x182 x64 x360 -x256 x248 -x186 x2 x357 -x320 x243 x20 x368 x338 x16 x407 x339 -x241 -x161 -x68 x15 x409 -x165 x418 -x383 x350 -x151 -x129 x422 -x153 -x403 x386 x302 -x26 -x149 x30 x316 x274 x251 x245 -x184 x65 -x17 x355 -x278 -x255 x188 x19 x376 x322 -x84 x69 -x412 -x408 x372 -x88 -x67 x411 x371 x353 -x242 -x190 -x160 -x125 -x48 -x13 x354 -x191 -x164 -x152 x419 x382 x349 -x325 -x298 -x128 -x14 x423 x424 -x404 x388 -x347 x301 x28 x425 -x147 x32 -x373 x318 x273 x253 -x246 -x185 x66 -x18 x375 -x277 -x257 x189 x70 -x352 x323 x193 -x83 -x44 -x351 x192 -x87 -x378 -x369 x326 -x259 x162 -x124 -x47 x413 -x324 -x260 x166 -x22 x414 x384 -x370 -x297 -x130 -x21 x415 x429 x389 -x348 x303 -x168 x29 -x169 -x148 x33 -x374 -x314 x275 x254 -x181 x78 x319 -x279 x258 x180 -x156 x74 x315 x262 x197 -x155 -x120 -x85 -x73 -x43 x327 -x261 -x89 -x293 -x281 -x221 x163 x126 -x112 x49 -x377 -x282 -x225 x167 x432 x379 x299 x171 x131 -x91 x433 x385 -x170 -x92 -x23 -x428 x381 x304 -x211 -x132 -x52 x24 x390 -x133 x25 x276 -x250 -x200 -x80 x77 x39 x313 -x280 x249 x201 x335 x284 x266 -x196 -x108 x86 -x71 -x45 x331 x283 x157 -x119 x90 -x431 x330 -x220 -x194 x158 -x121 -x111 x94 -x72 x50 -x430 -x292 -x224 x159 x127 -x93 -x294 -x207 x175 x123 x53 x380 x300 x134 -x51 -x426 x398 x296 x210 -x36 x394 x305 x37 -x332 x272 x269 -x198 x75 -x334 x271 x270 -x79 x38 x288 -x265 -x107 x81 x40 x82 x46 -x328 -x263 x222 -x195 -x178 -x113 x98 x42 -x226 x179 x122 x54 x395 -x329 -x206 -x174 x142 -x35 x397 x295 x138 -x34 -x427 -x312 x228 x212 -x172 x137 -x116 x393 x308 -x229 -x333 -x289 -x267 -x199 x105 x76 x291 -x216 -x287 x215 -x177 -x109 x101 -x176 x102 x41 -x285 -x264 x223 x204 -x139 x114 -x97 x61 x396 x227 -x141 x58 -x309 x231 -x208 x117 -x95 -x57 -x311 x230 -x115 x213 -x173 -x135 x391 x306 -x290 -x268 x100 x104 x99 x103 -x60 x217 -x140 x110 -x59 -x286 x218 x106 -x310 x219 x203 x118 x232 x202 -x96 -x55 x209 x205 -x136 -x56 x392 x307 x214 x1

Verifier Data 

OK	50

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: 64059 MiB (63020 MiB free)
  memory of node 1: 64510 MiB (62993 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433919-1721055625/watcher-4433919-1721055625 -o /tmp/evaluation-result-4433919-1721055625/solver-4433919-1721055625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721055630-799150 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433919-1721055625.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=799325, runsolver pid=799322

[startup+0.100099 s]*
/proc/loadavg: 3.41 3.28 3.27 5/251 799330
/proc/meminfo: memFree=129021592/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=17944 memory=16100 CPUtime=0.09 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 3775 0 0 0 9 0 0 0 20 0 1 0 157718951 18374656 4025 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 4486 4025 468 659 0 3690 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27876 KiB
Current children cumulated memory: 18696 KiB

[startup+0.213823 s]*
/proc/loadavg: 3.41 3.28 3.27 5/251 799330
/proc/meminfo: memFree=129011164/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=26748 memory=24812 CPUtime=0.21 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 5983 0 0 0 20 1 0 0 20 0 1 0 157718951 27389952 6203 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 6687 6203 468 659 0 5891 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36680 KiB
Current children cumulated memory: 27408 KiB

[startup+0.313605 s]*
/proc/loadavg: 3.41 3.28 3.27 5/251 799330
/proc/meminfo: memFree=129003400/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=34172 memory=32204 CPUtime=0.31 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 7824 0 0 0 29 2 0 0 20 0 1 0 157718951 34992128 8051 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 8543 8051 468 659 0 7747 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44104 KiB
Current children cumulated memory: 34800 KiB

[startup+0.700427 s]
/proc/loadavg: 3.41 3.28 3.27 5/251 799330
/proc/meminfo: memFree=128956312/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=89952 memory=83080 CPUtime=0.68 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 19281 0 0 0 63 5 0 0 20 0 1 0 157718951 92110848 20770 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 22488 20770 468 659 0 21692 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99884 KiB
Current children cumulated memory: 85676 KiB

[startup+1.50043 s]
/proc/loadavg: 3.46 3.29 3.27 6/251 799330
/proc/meminfo: memFree=128943172/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=102540 memory=94028 CPUtime=1.48 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 21041 0 0 0 143 5 0 0 20 0 1 0 157718951 105000960 23507 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 25635 23507 468 659 0 24839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112472 KiB
Current children cumulated memory: 96624 KiB

[startup+3.11342 s]
/proc/loadavg: 3.46 3.29 3.27 5/251 799330
/proc/meminfo: memFree=128866372/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=102540 memory=95332 CPUtime=3.09 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 21358 0 0 0 303 6 0 0 20 0 1 0 157718951 105000960 23833 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 25635 23833 468 659 0 24839 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112472 KiB
Current children cumulated memory: 97928 KiB

[startup+6.30042 s]
/proc/loadavg: 3.50 3.31 3.28 5/253 799334
/proc/meminfo: memFree=128791576/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=109612 memory=102236 CPUtime=6.27 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 21566 0 0 0 621 6 0 0 20 0 1 0 157718951 112242688 25559 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 27403 25559 468 659 0 26607 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119544 KiB
Current children cumulated memory: 104832 KiB

[startup+12.7004 s]
/proc/loadavg: 3.54 3.32 3.28 5/253 799335
/proc/meminfo: memFree=128771492/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=114032 memory=107144 CPUtime=12.65 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 22277 0 0 0 1259 6 0 0 20 0 1 0 157718951 116768768 26786 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 28508 26786 468 659 0 27712 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 123964 KiB
Current children cumulated memory: 109740 KiB

[startup+25.5004 s]
/proc/loadavg: 3.69 3.36 3.30 5/253 799348
/proc/meminfo: memFree=128660840/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=114032 memory=107144 CPUtime=25.41 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 22295 0 0 0 2535 6 0 0 20 0 1 0 157718951 116768768 26786 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 28508 26786 468 659 0 27712 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 123964 KiB
Current children cumulated memory: 109740 KiB

[startup+51.1134 s]
/proc/loadavg: 3.81 3.42 3.32 5/251 799352
/proc/meminfo: memFree=128530420/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=125776 memory=112412 CPUtime=50.95 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 22643 0 0 0 5089 6 0 0 20 0 1 0 157718951 128794624 28103 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 31444 28103 468 659 0 30648 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 135708 KiB
Current children cumulated memory: 115008 KiB

[startup+102.3 s]
/proc/loadavg: 3.97 3.53 3.36 5/250 799361
/proc/meminfo: memFree=128434356/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=137380 memory=128176 CPUtime=102 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 23505 0 0 0 10193 7 0 0 20 0 1 0 157718951 140677120 32044 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 34345 32044 468 659 0 33549 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 147312 KiB
Current children cumulated memory: 130772 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.65 3.42 6/250 799372
/proc/meminfo: memFree=128199440/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=137380 memory=130352 CPUtime=161.84 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 23607 0 0 0 16177 7 0 0 20 0 1 0 157718951 140677120 32588 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 34345 32588 468 659 0 33549 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 147312 KiB
Current children cumulated memory: 132948 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.73 3.46 5/248 799382
/proc/meminfo: memFree=128107656/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=186584 memory=143540 CPUtime=221.67 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 25043 0 0 0 22159 8 0 0 20 0 1 0 157718951 191062016 35885 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 46646 35885 468 659 0 45850 0
Current children cumulated CPU time: 221.67 s

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

/proc/loadavg: 4.11 4.12 4.09 5/247 800621
/proc/meminfo: memFree=127255916/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=267696 memory=239628 CPUtime=3094.36 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 54448 0 0 0 309385 51 0 0 20 0 1 0 157718951 274120704 59907 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 66924 59907 468 659 0 66128 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 277628 KiB
Current children cumulated memory: 242224 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/247 800632
/proc/meminfo: memFree=127259444/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=236876 memory=216776 CPUtime=3154.2 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 55025 0 0 0 315368 52 0 0 20 0 1 0 157718951 242561024 54194 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 59219 54194 468 659 0 58423 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 246808 KiB
Current children cumulated memory: 219372 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/247 800643
/proc/meminfo: memFree=127155032/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=267696 memory=237432 CPUtime=3214.05 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 55690 0 0 0 321352 53 0 0 20 0 1 0 157718951 274120704 59358 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 66924 59358 468 659 0 66128 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 277628 KiB
Current children cumulated memory: 240028 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/247 800655
/proc/meminfo: memFree=127281780/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=187556 memory=184220 CPUtime=3273.9 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 55772 0 0 0 327336 54 0 0 20 0 1 0 157718951 192057344 46055 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 46889 46055 468 659 0 46093 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 197488 KiB
Current children cumulated memory: 186816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/247 801049
/proc/meminfo: memFree=127140760/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=267696 memory=233536 CPUtime=3333.75 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 56469 0 0 0 333320 55 0 0 20 0 1 0 157718951 274120704 58384 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 66924 58384 468 659 0 66128 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 277628 KiB
Current children cumulated memory: 236132 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/247 801059
/proc/meminfo: memFree=127234612/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=267696 memory=247820 CPUtime=3393.58 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 56988 0 0 0 339303 55 0 0 20 0 1 0 157718951 274120704 61955 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 66924 61955 468 659 0 66128 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 277628 KiB
Current children cumulated memory: 250416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/247 801069
/proc/meminfo: memFree=127207832/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=236876 memory=227072 CPUtime=3453.44 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 57571 0 0 0 345287 57 0 0 20 0 1 0 157718951 242561024 56768 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 59219 56768 468 659 0 58423 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 246808 KiB
Current children cumulated memory: 229668 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/247 801248
/proc/meminfo: memFree=127132788/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=267696 memory=247820 CPUtime=3513.28 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 58218 0 0 0 351270 58 0 0 20 0 1 0 157718951 274120704 61955 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 66924 61955 468 659 0 66128 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 277628 KiB
Current children cumulated memory: 250416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/247 801259
/proc/meminfo: memFree=127224416/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=236876 memory=225024 CPUtime=3573.12 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 58800 0 0 0 357254 58 0 0 20 0 1 0 157718951 242561024 56256 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 59219 56256 468 659 0 58423 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 246808 KiB
Current children cumulated memory: 227620 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.12 4.10 4.09 4/240 801298
/proc/meminfo: memFree=127753048/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=236876 memory=233216 CPUtime=3600.06 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 58804 0 0 0 359947 59 0 0 20 0 1 0 157718951 242561024 58304 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 59219 58304 468 659 0 58423 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 246808 KiB
Current children cumulated memory: 235812 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.48 s, system=0.595168 s

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

[startup+3609.3 s]
/proc/loadavg: 4.12 4.10 4.09 4/240 801298
/proc/meminfo: memFree=127753048/131655788 swapFree=131071996/131071996
[pid=799325] ppid=799322 vsize=9932 memory=2596 CPUtime=0 cores=4,6
/proc/799325/stat : 799325 (naps-1.03.sh) S 799322 799325 794991 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 157718951 10170368 649 134679101440 94075637583872 94075638663192 140724152596928 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94075640761648 94075640808836 94075672272896 140724152603616 140724152603745 140724152603745 140724152610760 0
/proc/799325/statm: 2483 649 569 264 0 134 0
[pid=799330] ppid=799325 vsize=236876 memory=233216 CPUtime=3600.06 cores=4,6
/proc/799330/stat : 799330 (naps-1.03) R 799325 799325 794991 0 -1 4194304 58804 0 0 0 359947 59 0 0 20 0 1 0 157718951 242561024 58304 134679101440 4194304 6891213 140729741517088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23527424 140729741521905 140729741522021 140729741522021 140729741529035 0
/proc/799330/statm: 59219 58304 468 659 0 58423 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 246808 KiB
Current children cumulated memory: 235812 KiB

Child status: 10

Real time (s): 3609.3
CPU time (s): 3600.07
CPU user time (s): 3599.48
CPU system time (s): 0.595168
CPU usage (%): 99.7442
Max. virtual memory (cumulated for all children) (KiB): 277628
Max. memory (cumulated for all children) (KiB): 256560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.47
system time used= 0.595168
maximum resident set size= 253964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59279
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= 39
involuntary context switches= 2187


# summary of solver processes directly reported to runsolver:
#   pid: 799325
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.48
#   total CPU system time (s): 0.595168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6583 second user time and 38.5546 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-15 17:00:37
IDJOB=4433919
IDBENCH=146653
IDSOLVER=3062
FILE ID=nodeC008/4433919-1721055625
RUNJOBID= nodeC008-1721055630-799150
SLURM_JOB_ID= 7505461
Free space on /tmp= 723752 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433919-1721055625/watcher-4433919-1721055625 -o /tmp/evaluation-result-4433919-1721055625/solver-4433919-1721055625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721055630-799150 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4433919-1721055625.opb

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

MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=880527528

nodeC008.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	: 0xb00001f
cpu MHz		: 3624.712
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
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	: 0xb00001f
cpu MHz		: 3494.049
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.448
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
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	: 0xb00001f
cpu MHz		: 1197.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3491.970
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
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	: 0xb00001f
cpu MHz		: 3491.957
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.248
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
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	: 0xb00001f
cpu MHz		: 1197.414
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129041276 kB
MemAvailable:   129186352 kB
Buffers:          374456 kB
Cached:           615536 kB
SwapCached:            0 kB
Active:           598464 kB
Inactive:        1498516 kB
Active(anon):       1540 kB
Inactive(anon):  1143192 kB
Active(file):     596924 kB
Inactive(file):   355324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             22980 kB
Writeback:             4 kB
AnonPages:       1107100 kB
Mapped:           108992 kB
Shmem:             37704 kB
KReclaimable:      65716 kB
Slab:             158912 kB
SReclaimable:      65716 kB
SUnreclaim:        93196 kB
KernelStack:        4028 kB
PageTables:        11468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1563856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51040 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC008 at 2024-07-15 18:00:47