Trace number 4434322

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
NaPS 1.03SAT (TO)49 3600.11 3610.01

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 Input file name: HOME/instance-4434322-1721055620.opb
0.00/0.01	c single stage optimization mode
0.00/0.01	o 603
0.30/0.35	o 49
3600.10/3610.00	c 
3600.10/3610.00	c *** TERMINATED *** by signal 15
3600.10/3610.00	s SATISFIABLE
3600.10/3610.00	c _____________________________________________________________________________
3600.10/3610.00	c std/band forms        : 99,0
3600.10/3610.00	c 2cl/3cl ITE-codings   : 93498,0
3600.10/3610.00	c BDD/srt/adr Max costs : 100097,126,0
3600.10/3610.00	c BDDraw/bin/mul/srt/adr: 2,0,0,97,0
3600.10/3610.00	c BDD nodes             : 94747
3600.10/3610.00	c Es1/CC detections     : 0,0
3600.10/3610.00	c CC sort               : 97
3600.10/3610.00	c SAT/UNSAT calls       : 2,0
3600.10/3610.00	c regenrated variables  : 0
3600.10/3610.00	c eliminated fixed lits : 2
3600.10/3610.00	c goal lit flips        : 1
3600.10/3610.00	c goal stages           : 1
3600.10/3610.00	c goal shrink           : 0
3600.10/3610.00	c goal coeff separations: 0
3600.10/3610.00	c restarts              : 18
3600.10/3610.00	c conflicts             : 224            (0 /sec)
3600.10/3610.00	c decisions             : 14967          (4 /sec)
3600.10/3610.00	c propagations          : 607404         (169 /sec)
3600.10/3610.00	c inspects              : 0              (0 /sec)
3600.10/3610.00	c CPU time (solving tm) : 3599 s        (3599 s, SAT 0.06418 s, UNSAT 0 s)
3600.10/3610.00	c Time for Opt-base     : 0.000289 s
3600.10/3610.00	c Steps for Opt-base    : 0
3600.10/3610.00	c Time for BDD coding   : 0.2931 s
3600.10/3610.00	c Time for srt coding   : 0.000804 s
3600.10/3610.00	c _____________________________________________________________________________
3600.10/3610.00	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	49

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61821 MiB free)
  memory of node 1: 64510 MiB (62019 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434322-1721055620/watcher-4434322-1721055620 -o /tmp/evaluation-result-4434322-1721055620/solver-4434322-1721055620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721055623-812692 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434322-1721055620.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=812865, runsolver pid=812862

[startup+0.100097 s]*
/proc/loadavg: 2.24 2.12 2.33 5/263 812870
/proc/meminfo: memFree=126796108/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=18216 memory=17068 CPUtime=0.09 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 3881 0 0 0 9 0 0 0 20 0 1 0 157721124 18653184 4267 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 4554 4267 612 659 0 3758 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 19848 KiB

[startup+0.206003 s]*
/proc/loadavg: 2.24 2.12 2.33 5/263 812870
/proc/meminfo: memFree=126788776/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=31488 memory=30024 CPUtime=0.2 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 7289 0 0 0 19 1 0 0 20 0 1 0 157721124 32243712 7506 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 7872 7506 612 659 0 7076 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41420 KiB
Current children cumulated memory: 32804 KiB

[startup+0.306108 s]*
/proc/loadavg: 2.24 2.12 2.33 5/263 812870
/proc/meminfo: memFree=126738840/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=74660 memory=70808 CPUtime=0.3 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 17672 0 0 0 28 2 0 0 20 0 1 0 157721124 76451840 17702 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 18665 17702 644 659 0 17869 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84592 KiB
Current children cumulated memory: 73588 KiB

[startup+0.700293 s]
/proc/loadavg: 2.24 2.12 2.33 8/263 812870
/proc/meminfo: memFree=126674580/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=93020 memory=89228 CPUtime=0.68 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 22064 0 0 0 66 2 0 0 20 0 1 0 157721124 95252480 22307 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 23255 22307 644 659 0 22459 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 102952 KiB
Current children cumulated memory: 92008 KiB

[startup+1.50029 s]
/proc/loadavg: 2.24 2.12 2.33 5/265 812874
/proc/meminfo: memFree=126637244/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=94528 memory=89904 CPUtime=1.48 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 23105 0 0 0 146 2 0 0 20 0 1 0 157721124 96796672 22476 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 23632 22476 644 659 0 22836 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 104460 KiB
Current children cumulated memory: 92684 KiB

[startup+3.10597 s]
/proc/loadavg: 2.24 2.12 2.33 5/265 812875
/proc/meminfo: memFree=126614656/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=111424 memory=107372 CPUtime=3.08 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 31071 0 0 0 304 4 0 0 20 0 1 0 157721124 114098176 26843 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 27856 26843 660 659 0 27060 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 110152 KiB

[startup+6.30027 s]
/proc/loadavg: 2.38 2.15 2.34 5/265 812875
/proc/meminfo: memFree=126614832/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=111424 memory=107620 CPUtime=6.27 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 31140 0 0 0 623 4 0 0 20 0 1 0 157721124 114098176 26905 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 27856 26905 660 659 0 27060 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 110400 KiB

[startup+12.7003 s]
/proc/loadavg: 2.51 2.18 2.35 5/265 812877
/proc/meminfo: memFree=126587468/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=111424 memory=107620 CPUtime=12.65 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 31178 0 0 0 1261 4 0 0 20 0 1 0 157721124 114098176 26905 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 27856 26905 660 659 0 27060 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 110400 KiB

[startup+25.5003 s]
/proc/loadavg: 2.84 2.27 2.38 5/264 812879
/proc/meminfo: memFree=126283356/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=111424 memory=107884 CPUtime=25.41 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 31759 0 0 0 2537 4 0 0 20 0 1 0 157721124 114098176 26971 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 27856 26971 660 659 0 27060 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 110664 KiB

[startup+51.1059 s]
/proc/loadavg: 3.31 2.42 2.43 5/264 812894
/proc/meminfo: memFree=126355136/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=100780 memory=97388 CPUtime=50.95 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 35763 0 0 0 5089 6 0 0 20 0 1 0 157721124 103198720 24347 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 25195 24347 660 659 0 24399 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 110712 KiB
Current children cumulated memory: 100168 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 2.69 2.52 5/264 812904
/proc/meminfo: memFree=126284424/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=117324 memory=113648 CPUtime=102 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 40888 0 0 0 10193 7 0 0 20 0 1 0 157721124 120139776 28412 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 29331 28412 660 659 0 28535 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 127256 KiB
Current children cumulated memory: 116428 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.94 2.62 5/264 812914
/proc/meminfo: memFree=126224192/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=120672 memory=117016 CPUtime=161.82 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 41745 0 0 0 16175 7 0 0 20 0 1 0 157721124 123568128 29254 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 30168 29254 660 659 0 29372 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 130604 KiB
Current children cumulated memory: 119796 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.15 2.71 5/262 812926
/proc/meminfo: memFree=126153892/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=129720 memory=126172 CPUtime=221.65 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 47137 0 0 0 22155 10 0 0 20 0 1 0 157721124 132833280 31543 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 32430 31543 660 659 0 31634 0
Current children cumulated CPU time: 221.65 s

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

/proc/loadavg: 4.08 4.11 4.08 5/265 814170
/proc/meminfo: memFree=125937088/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=229432 memory=226088 CPUtime=3033.87 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 114561 0 0 0 303337 50 0 0 20 0 1 0 157721124 234938368 56522 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 57358 56522 660 659 0 56562 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 239364 KiB
Current children cumulated memory: 228868 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 814180
/proc/meminfo: memFree=125894016/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=273084 memory=269740 CPUtime=3093.72 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 115773 0 0 0 309320 52 0 0 20 0 1 0 157721124 279638016 67435 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 68271 67435 660 659 0 67475 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 283016 KiB
Current children cumulated memory: 272520 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 814190
/proc/meminfo: memFree=125886028/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=271948 memory=270552 CPUtime=3153.56 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 116904 0 0 0 315302 54 0 0 20 0 1 0 157721124 278474752 67638 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 67987 67638 660 659 0 67191 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 281880 KiB
Current children cumulated memory: 273332 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 814203
/proc/meminfo: memFree=125923820/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=229432 memory=228136 CPUtime=3213.4 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 117193 0 0 0 321285 55 0 0 20 0 1 0 157721124 234938368 57034 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 57358 57034 660 659 0 56562 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 239364 KiB
Current children cumulated memory: 230916 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/261 814213
/proc/meminfo: memFree=125922976/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=229432 memory=228136 CPUtime=3273.25 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 117949 0 0 0 327269 56 0 0 20 0 1 0 157721124 234938368 57034 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 57358 57034 660 659 0 56562 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 239364 KiB
Current children cumulated memory: 230916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 814607
/proc/meminfo: memFree=125945636/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=196800 memory=195632 CPUtime=3333.08 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 119013 0 0 0 333251 57 0 0 20 0 1 0 157721124 201523200 48908 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 49200 48908 660 659 0 48404 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 206732 KiB
Current children cumulated memory: 198412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/261 814617
/proc/meminfo: memFree=125950292/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=196520 memory=195224 CPUtime=3392.94 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 121403 0 0 0 339234 60 0 0 20 0 1 0 157721124 201236480 48806 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 49130 48806 660 659 0 48334 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 206452 KiB
Current children cumulated memory: 198004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 814629
/proc/meminfo: memFree=125946956/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=198296 memory=197000 CPUtime=3452.77 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 122083 0 0 0 345216 61 0 0 20 0 1 0 157721124 203055104 49250 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 49574 49250 660 659 0 48778 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 208228 KiB
Current children cumulated memory: 199780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 814809
/proc/meminfo: memFree=125937124/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=198656 memory=197360 CPUtime=3512.62 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 124127 0 0 0 351198 64 0 0 20 0 1 0 157721124 203423744 49340 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 49664 49340 660 659 0 48868 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 208588 KiB
Current children cumulated memory: 200140 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/264 814820
/proc/meminfo: memFree=125897964/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=213548 memory=212016 CPUtime=3572.46 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 127371 0 0 0 357179 67 0 0 20 0 1 0 157721124 218673152 53004 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 53387 53004 660 659 0 52591 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 223480 KiB
Current children cumulated memory: 214796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.96 4.08 4.08 4/257 814857
/proc/meminfo: memFree=126285756/131524600 swapFree=130795544/131071996
[pid=812865] ppid=812862 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/812865/stat : 812865 (naps-1.03.sh) S 812862 812865 808401 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 157721123 10170368 695 134679101440 94004953501696 94004954581016 140722832417008 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94004956679472 94004956726660 94004982284288 140722832425956 140722832426081 140722832426081 140722832433096 0
/proc/812865/statm: 2483 695 616 264 0 134 0
[pid=812870] ppid=812865 vsize=212076 memory=210780 CPUtime=3600.1 cores=5,7
/proc/812870/stat : 812870 (naps-1.03) R 812865 812865 808401 0 -1 4194304 127737 0 0 0 359942 68 0 0 20 0 1 0 157721124 217165824 52695 134679101440 4194304 6891213 140726752400896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40386560 140726752404469 140726752404581 140726752404581 140726752411595 0
/proc/812870/statm: 53019 52695 660 659 0 52223 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 213560 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.42 s, system=0.691009 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.11
CPU user time (s): 3599.42
CPU system time (s): 0.691009
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 326400
Max. memory (cumulated for all children) (KiB): 315772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 0.691009
maximum resident set size= 312992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128214
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= 56
involuntary context switches= 1588


# summary of solver processes directly reported to runsolver:
#   pid: 812865
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.42
#   total CPU system time (s): 0.691009

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39863 second user time and 20.0876 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-15 17:00:32
IDJOB=4434322
IDBENCH=146653
IDSOLVER=3063
FILE ID=nodeC014/4434322-1721055620
RUNJOBID= nodeC014-1721055623-812692
SLURM_JOB_ID= 7505460
Free space on /tmp= 890068 MiB

SOLVER NAME= NaPS 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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434322-1721055620/watcher-4434322-1721055620 -o /tmp/evaluation-result-4434322-1721055620/solver-4434322-1721055620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721055623-812692 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4434322-1721055620.opb

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

MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=1293982997

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.527
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3665.591
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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.868
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3600.098
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3661.678
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3661.563
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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.841
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3658.303
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126813660 kB
MemAvailable:   129408304 kB
Buffers:          303076 kB
Cached:          3097316 kB
SwapCached:        12880 kB
Active:           992824 kB
Inactive:        3161336 kB
Active(anon):       9512 kB
Inactive(anon):   761284 kB
Active(file):     983312 kB
Inactive(file):  2400052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130795544 kB
Dirty:             22980 kB
Writeback:             0 kB
AnonPages:        743452 kB
Mapped:            54320 kB
Shmem:             17324 kB
KReclaimable:     101856 kB
Slab:             193660 kB
SReclaimable:     101856 kB
SUnreclaim:        91804 kB
KernelStack:        4152 kB
PageTables:        10792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1324296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC014 at 2024-07-15 18:00:42