Trace number 4426289

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 NameAnswerCPU timeWall clock time
NaPS-GM 1.03MSAT (TO) 3600.06 3609.92

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar7-sub3_wcsp.wbo
MD5SUMab58973f8a134afc7bedbaa01ab0bdb8
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark313861
Best CPU time to get the best result obtained on this benchmark3600.37
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables776
Total number of constraints326836
Number of soft constraints326818
Number of constraints which are clauses326818
Number of constraints which are cardinality constraints (but not clauses)18
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 45857915
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 23120752168
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4426289-1720901800.wbo
3.27/3.37	c single stage optimization mode
3.58/3.64	o 22907584
3600.02/3609.90	c 
3600.02/3609.90	c *** TERMINATED *** by signal 15
3600.02/3609.90	s SATISFIABLE
3600.02/3609.90	c _____________________________________________________________________________
3600.02/3609.90	c std/band forms        : 19,0
3600.02/3609.90	c 2cl/3cl ITE-codings   : 0,0
3600.02/3609.90	c BDD/srt/adr Max costs : 0,694,1449444
3600.02/3609.90	c BDDraw/bin/mul/srt/adr: 0,0,0,18,1
3600.02/3609.90	c BDD nodes             : 0
3600.02/3609.90	c Es1/CC detections     : 0,0
3600.02/3609.90	c CC sort               : 18
3600.02/3609.90	c SAT/UNSAT calls       : 1,0
3600.02/3609.90	c regenrated variables  : 0
3600.02/3609.90	c eliminated fixed lits : 0
3600.02/3609.90	c goal lit flips        : 0
3600.02/3609.90	c goal stages           : 1
3600.02/3609.90	c goal shrink           : 0
3600.02/3609.90	c goal coeff separations: 0
3600.02/3609.90	c restarts              : 1
3600.02/3609.90	c conflicts             : 100            (0 /sec)
3600.02/3609.90	c decisions             : 653255         (182 /sec)
3600.02/3609.90	c propagations          : 658358         (183 /sec)
3600.02/3609.90	c inspects              : 0              (0 /sec)
3600.02/3609.90	c CPU time (solving tm) : 3598 s        (3589 s, SAT 0.07498 s, UNSAT 0 s)
3600.02/3609.90	c Time for Opt-base     : 0.004191 s
3600.02/3609.90	c Steps for Opt-base    : 0
3600.02/3609.90	c Time for BDD coding   : 0 s
3600.02/3609.90	c Time for srt coding   : 0.00121 s
3600.02/3609.90	c _____________________________________________________________________________
3600.02/3609.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v
3600.02/3609.90	v

Verifier Data 

OK	16845065

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426289-1720901800/watcher-4426289-1720901800 -o /tmp/evaluation-result-4426289-1720901800/solver-4426289-1720901800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720901807-716606 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426289-1720901800.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=716779, runsolver pid=716776

[startup+0.100702 s]*
/proc/loadavg: 0.40 0.15 0.11 5/245 716784
/proc/meminfo: memFree=129757124/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=11316 memory=5148 CPUtime=0.1 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 936 0 0 0 10 0 0 0 20 0 1 0 142336169 11587584 1287 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 2829 1287 436 659 0 2033 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21248 KiB
Current children cumulated memory: 7856 KiB

[startup+0.212867 s]*
/proc/loadavg: 0.40 0.15 0.11 5/245 716784
/proc/meminfo: memFree=129746984/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=20584 memory=13584 CPUtime=0.21 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 3143 0 0 0 21 0 0 0 20 0 1 0 142336169 21078016 3396 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 5146 3396 436 659 0 4350 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30516 KiB
Current children cumulated memory: 16292 KiB

[startup+0.31287 s]*
/proc/loadavg: 0.40 0.15 0.11 6/245 716784
/proc/meminfo: memFree=129737068/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=27632 memory=21996 CPUtime=0.3 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 4965 0 0 0 30 0 0 0 20 0 1 0 142336169 28295168 5499 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 6908 5499 436 659 0 6112 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37564 KiB
Current children cumulated memory: 24704 KiB

[startup+0.700377 s]
/proc/loadavg: 0.40 0.15 0.11 5/245 716784
/proc/meminfo: memFree=129690656/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=53568 memory=46644 CPUtime=0.69 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 11499 0 0 0 67 2 0 0 20 0 1 0 142336169 54853632 11661 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 13392 11661 436 659 0 12596 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63500 KiB
Current children cumulated memory: 49352 KiB

[startup+1.50041 s]
/proc/loadavg: 0.40 0.15 0.11 5/245 716784
/proc/meminfo: memFree=129557484/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=113684 memory=104528 CPUtime=1.48 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 25184 0 0 0 144 4 0 0 20 0 1 0 142336169 116412416 26132 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 28421 26132 436 659 0 27625 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123616 KiB
Current children cumulated memory: 107236 KiB

[startup+3.11278 s]
/proc/loadavg: 0.69 0.21 0.13 5/245 716784
/proc/meminfo: memFree=128649304/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=256144 memory=238332 CPUtime=3.09 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 57396 0 0 0 300 9 0 0 20 0 1 0 142336169 262291456 59583 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 64036 59583 468 659 0 63240 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 266076 KiB
Current children cumulated memory: 241040 KiB

[startup+6.30038 s]
/proc/loadavg: 0.69 0.21 0.13 6/245 716836
/proc/meminfo: memFree=127376368/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=687844 memory=633620 CPUtime=6.27 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 111929 0 0 0 605 22 0 0 20 0 1 0 142336169 704352256 158405 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 171961 158405 468 659 0 171165 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 697776 KiB
Current children cumulated memory: 636328 KiB

[startup+12.7004 s]
/proc/loadavg: 0.95 0.28 0.15 5/245 716836
/proc/meminfo: memFree=124911576/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=1996512 memory=1916468 CPUtime=12.66 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 254235 0 0 0 1207 59 0 0 20 0 1 0 142336169 2044428288 479117 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 499128 479117 468 659 0 498332 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2006444 KiB
Current children cumulated memory: 1919176 KiB

[startup+25.5005 s]
/proc/loadavg: 1.63 0.46 0.21 5/245 716839
/proc/meminfo: memFree=120735244/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2008552 memory=1928368 CPUtime=25.43 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 256312 0 0 0 2484 59 0 0 20 0 1 0 142336169 2056757248 482092 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 502138 482092 468 659 0 501342 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2018484 KiB
Current children cumulated memory: 1931076 KiB

[startup+51.1133 s]
/proc/loadavg: 2.51 0.76 0.32 5/245 716842
/proc/meminfo: memFree=114793176/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2008552 memory=1930416 CPUtime=50.97 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 256552 0 0 0 5038 59 0 0 20 0 1 0 142336169 2056757248 482604 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 502138 482604 468 659 0 501342 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2018484 KiB
Current children cumulated memory: 1933124 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.52 5/245 716850
/proc/meminfo: memFree=111582956/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2012940 memory=1947216 CPUtime=102.03 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 258077 0 0 0 10143 60 0 0 20 0 1 0 142336169 2061250560 486804 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 503235 486804 468 659 0 502439 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2022872 KiB
Current children cumulated memory: 1949924 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.79 0.75 5/245 716862
/proc/meminfo: memFree=108405032/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2019540 memory=1957756 CPUtime=161.89 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 260042 0 0 0 16128 61 0 0 20 0 1 0 142336169 2068008960 489439 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 504885 489439 468 659 0 504089 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2029472 KiB
Current children cumulated memory: 1960464 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.21 0.96 5/247 716876
/proc/meminfo: memFree=103976276/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2023388 memory=1970040 CPUtime=221.74 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 261327 0 0 0 22112 62 0 0 20 0 1 0 142336169 2071949312 492510 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 505847 492510 468 659 0 505051 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 2033320 KiB

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

/proc/716784/statm: 582417 519185 468 659 0 581621 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 2339600 KiB
Current children cumulated memory: 2079448 KiB

[startup+3162.3 s]
/proc/loadavg: 2.11 2.15 2.16 3/229 718653
/proc/meminfo: memFree=126145600/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2330204 memory=2090172 CPUtime=3153.68 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 318988 0 0 0 315230 138 0 0 20 0 1 0 142336169 2386128896 522543 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 582551 522543 468 659 0 581755 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 2340136 KiB
Current children cumulated memory: 2092880 KiB

[startup+3222.3 s]
/proc/loadavg: 2.09 2.14 2.15 3/231 718668
/proc/meminfo: memFree=126092380/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2331004 memory=2101280 CPUtime=3213.53 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 320011 0 0 0 321214 139 0 0 20 0 1 0 142336169 2386948096 525320 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 582751 525320 468 659 0 581955 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 2340936 KiB
Current children cumulated memory: 2103988 KiB

[startup+3282.3 s]
/proc/loadavg: 2.07 2.12 2.15 3/231 718679
/proc/meminfo: memFree=126036260/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2332196 memory=2116804 CPUtime=3273.37 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 320886 0 0 0 327197 140 0 0 20 0 1 0 142336169 2388168704 529201 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 583049 529201 468 659 0 582253 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 2342128 KiB
Current children cumulated memory: 2119512 KiB

[startup+3342.3 s]
/proc/loadavg: 2.12 2.13 2.15 3/231 718690
/proc/meminfo: memFree=125966964/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2332736 memory=2131712 CPUtime=3333.19 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 321725 0 0 0 333179 140 0 0 20 0 1 0 142336169 2388721664 532928 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 583184 532928 468 659 0 582388 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 2342668 KiB
Current children cumulated memory: 2134420 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.12 2.14 3/231 718700
/proc/meminfo: memFree=125903604/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2334324 memory=2149488 CPUtime=3393.02 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 322971 0 0 0 339161 141 0 0 20 0 1 0 142336169 2390347776 537372 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 583581 537372 468 659 0 582785 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 2344256 KiB
Current children cumulated memory: 2152196 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.12 2.14 3/231 718710
/proc/meminfo: memFree=125842208/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2334856 memory=2162404 CPUtime=3452.85 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 323804 0 0 0 345143 142 0 0 20 0 1 0 142336169 2390892544 540601 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 583714 540601 468 659 0 582918 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 2344788 KiB
Current children cumulated memory: 2165112 KiB

[startup+3522.3 s]
/proc/loadavg: 2.05 2.10 2.13 3/231 718721
/proc/meminfo: memFree=125779600/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2335656 memory=2175512 CPUtime=3512.68 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 324899 0 0 0 351125 143 0 0 20 0 1 0 142336169 2391711744 543878 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 583914 543878 468 659 0 583118 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 2345588 KiB
Current children cumulated memory: 2178220 KiB

[startup+3582.3 s]
/proc/loadavg: 2.19 2.14 2.14 3/229 718733
/proc/meminfo: memFree=126311400/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2122320 memory=2083176 CPUtime=3572.5 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 326545 0 0 0 357098 152 0 0 20 0 1 0 142336169 2173255680 520794 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 530580 520794 468 659 0 529784 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 2132252 KiB
Current children cumulated memory: 2085884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 2.04 2.11 2.13 2/222 718770
/proc/meminfo: memFree=127147024/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2337244 memory=2091104 CPUtime=3600.02 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 327331 0 0 0 359849 153 0 0 20 0 1 0 142336169 2393337856 522776 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 584311 522776 468 659 0 583515 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2347176 KiB
Current children cumulated memory: 2093812 KiB

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

[startup+3609.91 s]
# the end of solver process 716779 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000781 s, system=0.003384 s

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

# cumulated CPU time of all completed processes:  user=3598.5 s, system=1.55153 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.9 s]
/proc/loadavg: 2.04 2.11 2.13 2/222 718770
/proc/meminfo: memFree=127147024/131655788 swapFree=131071996/131071996
[pid=716779] ppid=716776 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/716779/stat : 716779 (naps-1.03.sh) S 716776 716779 716595 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 142336169 10170368 677 134679101440 94655855198208 94655856277528 140728816611280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94655858375984 94655858423172 94655861784576 140728816616364 140728816616493 140728816616493 140728816623560 0
/proc/716779/statm: 2483 677 598 264 0 134 0
[pid=716784] ppid=716779 vsize=2337244 memory=2091104 CPUtime=3600.02 cores=4,6
/proc/716784/stat : 716784 (naps-1.03) R 716779 716779 716595 0 -1 4194304 327331 0 0 0 359849 153 0 0 20 0 1 0 142336169 2393337856 522776 134679101440 4194304 6891213 140724145568672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28663808 140724145574845 140724145574961 140724145574961 140724145582027 0
/proc/716784/statm: 584311 522776 468 659 0 583515 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2347176 KiB
Current children cumulated memory: 2093812 KiB

Child status: 10

Real time (s): 3609.92
CPU time (s): 3600.06
CPU user time (s): 3598.5
CPU system time (s): 1.55153
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 2691052
Max. memory (cumulated for all children) (KiB): 2537076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.5
system time used= 1.55153
maximum resident set size= 2534368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327796
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= 291
involuntary context switches= 4355


# summary of solver processes directly reported to runsolver:
#   pid: 716779,716784
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.5
#   total CPU system time (s): 1.55153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.161 second user time and 36.826 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-13 22:16:53
IDJOB=4426289
IDBENCH=143880
IDSOLVER=3042
FILE ID=nodeC003/4426289-1720901800
RUNJOBID= nodeC003-1720901807-716606
SLURM_JOB_ID= 7486069
Free space on /tmp= 723756 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub3_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426289-1720901800/watcher-4426289-1720901800 -o /tmp/evaluation-result-4426289-1720901800/solver-4426289-1720901800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720901807-716606 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4426289-1720901800.wbo

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

MD5SUM BENCH= ab58973f8a134afc7bedbaa01ab0bdb8
RANDOM SEED=780343536

nodeC003.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		: 3666.481
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.76
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		: 3566.925
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.30
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.397
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.76
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.245
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.30
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		: 3542.535
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.76
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		: 3668.416
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.30
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.217
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.76
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.355
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129761300 kB
MemAvailable:   129715928 kB
Buffers:          342748 kB
Cached:           459620 kB
SwapCached:            0 kB
Active:           504716 kB
Inactive:         891004 kB
Active(anon):       1484 kB
Inactive(anon):   629260 kB
Active(file):     503232 kB
Inactive(file):   261744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             32380 kB
Writeback:             0 kB
AnonPages:        593148 kB
Mapped:           107108 kB
Shmem:             37704 kB
KReclaimable:      59368 kB
Slab:             149400 kB
SReclaimable:      59368 kB
SUnreclaim:        90032 kB
KernelStack:        3840 kB
PageTables:        10052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     989832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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:      205640 kB
DirectMap2M:     8087552 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC003 at 2024-07-13 23:17:03