Trace number 4436456

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
Picat 2024-06-18OPT9 541.246 542.796

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1620770.opb
MD5SUMea40b84df91c60f1b4d71ba03d843a27
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 benchmark9
Best CPU time to get the best result obtained on this benchmark374.616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints9296
Number of constraints which are clauses9261
Number of constraints which are cardinality constraints (but not clauses)35
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint22
Number of terms in the objective function 22
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 22
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 23
Number of bits of the biggest sum of numbers5
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 solving HOME/instance-4436456-1721127991.opb (Picat 3.6#12)
0.00/0.08	o 22
0.00/0.09	o 21
0.09/0.10	o 14
0.09/0.11	o 9
541.14/542.79	s OPTIMUM FOUND
541.14/542.79	v ~x758 ~x236 ~x30 ~x340 ~x445 ~x549 ~x654 ~x759 ~x237 ~x31 
541.14/542.79	v ~x341 ~x446 ~x550 ~x655 ~x133 ~x760 ~x238 ~x32 ~x342 ~x447 
541.14/542.79	v ~x551 ~x656 ~x134 ~x761 ~x239 ~x33 ~x343 ~x448 x552 ~x657 
541.14/542.79	v ~x135 ~x762 ~x240 ~x34 ~x344 ~x449 ~x553 ~x658 ~x136 ~x763 
541.14/542.79	v ~x241 ~x35 ~x345 ~x450 ~x554 ~x659 ~x137 ~x764 ~x242 ~x36 
541.14/542.79	v ~x346 ~x451 ~x555 ~x660 ~x138 ~x765 ~x243 ~x37 ~x347 ~x452 
541.14/542.79	v ~x556 ~x661 x139 ~x766 ~x244 ~x38 ~x348 ~x453 ~x557 ~x662 
541.14/542.79	v ~x140 ~x767 ~x245 ~x39 ~x349 ~x454 ~x558 ~x663 ~x141 ~x768 
541.14/542.79	v ~x246 ~x40 ~x350 ~x455 ~x559 x664 ~x142 ~x769 ~x247 ~x41 
541.14/542.79	v ~x351 ~x456 ~x560 ~x665 ~x143 ~x770 ~x248 ~x42 ~x352 ~x457 
541.14/542.79	v ~x561 ~x666 ~x144 ~x771 ~x249 ~x43 ~x353 ~x458 ~x562 ~x667 
541.14/542.79	v ~x145 ~x772 ~x250 ~x44 ~x354 ~x459 ~x563 ~x668 ~x146 ~x773 
541.14/542.79	v x251 ~x355 ~x460 ~x564 ~x669 ~x147 ~x774 ~x252 ~x356 ~x45 
541.14/542.79	v ~x461 ~x565 ~x670 ~x148 ~x775 ~x253 x357 ~x46 ~x462 ~x566 
541.14/542.79	v ~x671 ~x149 ~x776 ~x254 ~x358 ~x47 ~x463 ~x567 ~x672 ~x150 
541.14/542.79	v ~x777 ~x255 ~x359 ~x48 ~x464 ~x568 ~x673 ~x151 x778 ~x256 
541.14/542.79	v ~x360 ~x49 ~x465 ~x569 ~x674 ~x152 ~x779 ~x257 ~x361 ~x50 
541.14/542.79	v ~x466 ~x570 ~x675 ~x153 ~x780 ~x258 ~x362 ~x51 ~x467 ~x571 
541.14/542.79	v ~x676 ~x154 ~x781 ~x259 ~x363 ~x52 ~x468 ~x572 ~x677 ~x155 
541.14/542.79	v ~x782 ~x260 ~x364 x53 ~x469 x573 ~x678 ~x156 ~x783 ~x261 
541.14/542.79	v ~x365 ~x54 ~x470 ~x574 ~x679 x157 ~x784 ~x262 ~x366 ~x55 
541.14/542.79	v x471 ~x575 ~x680 ~x158 ~x785 ~x263 ~x367 ~x56 ~x472 ~x576 
541.14/542.79	v ~x681 ~x159 ~x786 ~x264 ~x368 ~x57 ~x473 ~x577 ~x682 ~x160 
541.14/542.79	v ~x787 ~x369 ~x58 ~x474 ~x578 ~x683 ~x161 ~x788 ~x265 ~x370 
541.14/542.79	v ~x59 ~x475 ~x579 ~x684 ~x162 ~x789 ~x266 ~x371 ~x60 ~x476 
541.14/542.79	v ~x580 ~x685 ~x163 ~x790 ~x267 ~x372 ~x61 ~x477 ~x581 ~x686 
541.14/542.79	v ~x164 ~x791 ~x268 ~x373 ~x62 ~x478 ~x582 ~x687 ~x165 ~x792 
541.14/542.79	v x269 ~x374 ~x63 ~x479 ~x583 x688 ~x166 ~x270 ~x375 ~x64 
541.14/542.79	v ~x480 ~x584 ~x689 ~x167 ~x271 ~x376 ~x65 ~x481 ~x585 ~x690 
541.14/542.79	v ~x168 ~x272 ~x377 ~x66 ~x482 ~x586 ~x691 ~x169 ~x273 ~x378 
541.14/542.79	v ~x483 ~x587 ~x692 ~x170 ~x274 ~x379 ~x484 ~x67 ~x588 ~x693 
541.14/542.79	v ~x171 ~x275 ~x380 ~x485 ~x68 ~x589 ~x694 ~x172 ~x276 x381 
541.14/542.79	v ~x486 ~x69 ~x590 ~x695 ~x173 ~x277 ~x382 ~x487 ~x70 ~x591 
541.14/542.79	v ~x696 ~x174 ~x278 ~x383 ~x488 x71 ~x592 ~x697 ~x175 ~x279 
541.14/542.79	v ~x384 ~x489 ~x72 ~x593 ~x698 ~x176 ~x280 ~x385 x490 ~x73 
541.14/542.79	v ~x594 ~x699 ~x177 ~x281 ~x386 ~x491 ~x74 ~x595 ~x700 ~x178 
541.14/542.79	v ~x282 ~x387 ~x492 ~x75 ~x596 ~x701 ~x179 ~x283 ~x388 ~x493 
541.14/542.79	v ~x76 ~x597 ~x702 x180 ~x284 ~x389 ~x494 ~x77 ~x598 ~x703 
541.14/542.79	v ~x181 ~x285 ~x390 ~x495 ~x78 ~x599 ~x704 ~x182 ~x286 ~x391 
541.14/542.79	v ~x496 ~x79 x600 ~x705 ~x183 ~x287 ~x392 ~x497 ~x80 ~x601 
541.14/542.79	v ~x706 ~x184 ~x288 ~x393 ~x498 ~x81 ~x602 ~x707 ~x185 x289 
541.14/542.79	v ~x394 ~x499 ~x82 ~x603 ~x708 ~x186 ~x290 ~x395 ~x500 ~x83 
541.14/542.79	v ~x604 ~x709 ~x187 ~x291 ~x396 ~x501 ~x84 ~x605 ~x710 ~x188 
541.14/542.79	v ~x292 ~x397 ~x502 ~x85 ~x606 ~x711 ~x189 ~x293 ~x398 ~x503 
541.14/542.79	v ~x86 ~x607 x712 ~x190 ~x294 ~x399 ~x504 ~x87 ~x608 ~x713 
541.14/542.79	v ~x191 ~x295 ~x400 ~x505 ~x88 ~x609 ~x714 ~x192 ~x296 ~x401 
541.14/542.79	v ~x506 ~x89 ~x610 ~x715 ~x193 ~x297 ~x402 x507 ~x90 ~x611 
541.14/542.79	v ~x716 ~x194 ~x298 ~x403 ~x508 x91 ~x612 ~x717 ~x195 ~x299 
541.14/542.79	v x404 ~x509 ~x92 ~x613 ~x718 ~x196 ~x300 ~x405 ~x510 ~x93 
541.14/542.79	v ~x614 ~x719 ~x197 ~x301 ~x406 ~x511 ~x94 ~x615 ~x720 ~x198 
541.14/542.79	v ~x302 ~x407 ~x512 ~x95 ~x616 ~x721 ~x199 ~x303 ~x408 ~x513 
541.14/542.79	v ~x96 ~x617 ~x722 ~x200 ~x304 ~x409 ~x514 ~x97 ~x618 ~x723 
541.14/542.79	v ~x201 ~x305 ~x410 ~x515 ~x98 ~x619 ~x724 x202 ~x306 ~x411 
541.14/542.79	v ~x516 ~x99 ~x620 ~x725 ~x203 ~x307 ~x412 ~x517 ~x100 ~x621 
541.14/542.79	v ~x726 ~x204 ~x308 ~x413 ~x518 ~x101 ~x1 ~x622 x727 ~x205 
541.14/542.79	v ~x309 ~x414 ~x519 ~x102 ~x2 ~x623 ~x728 ~x206 ~x310 ~x415 
541.14/542.79	v ~x520 ~x103 ~x3 x624 ~x729 ~x207 ~x311 ~x416 ~x521 ~x104 
541.14/542.79	v ~x4 ~x625 ~x730 ~x208 ~x312 ~x417 ~x522 ~x105 ~x5 ~x626 
541.14/542.79	v ~x731 ~x209 x313 ~x418 ~x523 ~x106 ~x6 ~x627 ~x732 ~x210 
541.14/542.79	v ~x314 ~x419 ~x524 ~x107 ~x7 ~x628 ~x733 ~x211 ~x315 ~x420 
541.14/542.79	v ~x525 ~x108 ~x8 ~x629 ~x734 ~x212 ~x316 ~x421 ~x526 ~x109 
541.14/542.79	v ~x9 ~x630 ~x735 ~x213 ~x317 ~x422 ~x527 ~x110 ~x10 ~x631 
541.14/542.79	v ~x736 ~x214 ~x318 ~x423 ~x528 ~x111 ~x11 ~x632 ~x737 ~x215 
541.14/542.79	v ~x319 ~x424 ~x112 ~x12 ~x633 ~x738 ~x216 ~x320 x425 ~x113 
541.14/542.79	v ~x529 ~x13 ~x634 ~x739 ~x217 ~x321 ~x426 ~x114 ~x530 x14 
541.14/542.79	v ~x635 ~x740 ~x218 ~x322 ~x427 ~x115 ~x531 x15 ~x636 ~x741 
541.14/542.79	v ~x219 ~x323 ~x428 ~x116 ~x532 x16 ~x637 ~x742 ~x220 ~x324 
541.14/542.79	v ~x429 ~x117 ~x533 x17 ~x638 ~x743 ~x221 ~x325 ~x430 ~x118 
541.14/542.79	v x534 x18 x639 ~x744 ~x222 ~x326 ~x431 x119 ~x535 x19 
541.14/542.79	v ~x640 ~x745 ~x223 ~x327 ~x432 ~x120 ~x536 x20 ~x641 ~x746 
541.14/542.79	v x224 ~x328 ~x433 ~x121 ~x537 x21 ~x642 ~x747 ~x225 ~x329 
541.14/542.79	v ~x434 ~x122 ~x538 x22 ~x643 ~x748 ~x226 ~x330 ~x435 ~x123 
541.14/542.79	v ~x539 ~x644 ~x749 ~x227 ~x331 ~x436 ~x124 ~x540 ~x645 x750 
541.14/542.79	v ~x228 x332 ~x437 ~x125 ~x541 ~x646 ~x751 ~x229 ~x23 ~x333 
541.14/542.79	v ~x438 ~x126 ~x542 ~x647 ~x752 ~x230 ~x24 ~x334 ~x439 ~x127 
541.14/542.79	v ~x543 ~x648 ~x753 ~x231 x25 ~x335 ~x440 ~x128 ~x544 ~x649 
541.14/542.79	v ~x754 ~x232 ~x26 ~x336 ~x441 ~x129 ~x545 ~x650 ~x755 ~x233 
541.14/542.79	v ~x27 ~x337 ~x442 ~x130 ~x546 ~x651 ~x756 ~x234 ~x28 ~x338 
541.14/542.79	v ~x443 ~x131 ~x547 ~x652 ~x757 ~x235 ~x29 ~x339 x444 ~x132 
541.14/542.79	v ~x548 ~x653

Verifier Data 

OK	9

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: 63968 MiB (63001 MiB free)
  memory of node 1: 64473 MiB (63384 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436456-1721127991/watcher-4436456-1721127991 -o /tmp/evaluation-result-4436456-1721127991/solver-4436456-1721127991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721128003-870028 --watchdog 3760 pb_picat HOME/instance-4436456-1721127991.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=870060, runsolver pid=870056

[startup+0.100232 s]*
/proc/loadavg: 3.15 3.53 3.86 6/248 870077
/proc/meminfo: memFree=129338844/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2042476 memory=32376 CPUtime=0.09 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 1593 0 0 0 9 0 0 0 20 0 1 0 164961484 2091495424 8094 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 510619 8094 1732 439 0 506048 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2042476 KiB
Current children cumulated memory: 32376 KiB

[startup+0.205363 s]*
/proc/loadavg: 3.15 3.53 3.86 5/254 870088
/proc/meminfo: memFree=129238128/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2042848 memory=33096 CPUtime=0.2 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 2147 0 0 0 20 0 0 0 20 0 1 0 164961484 2091876352 8274 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 510712 8274 1748 439 0 506141 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2042848 KiB
Current children cumulated memory: 33096 KiB

[startup+0.305441 s]*
/proc/loadavg: 3.15 3.53 3.86 5/254 870088
/proc/meminfo: memFree=129158936/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2043616 memory=33444 CPUtime=0.3 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 2430 0 0 0 30 0 0 0 20 0 1 0 164961484 2092662784 8361 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 510904 8361 1748 439 0 506333 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2043616 KiB
Current children cumulated memory: 33444 KiB

[startup+0.700182 s]
/proc/loadavg: 3.15 3.53 3.86 5/254 870088
/proc/meminfo: memFree=129010360/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2043816 memory=33520 CPUtime=0.68 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 3375 0 0 0 68 0 0 0 20 0 1 0 164961484 2092867584 8380 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 510954 8380 1748 439 0 506383 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2043816 KiB
Current children cumulated memory: 33520 KiB

[startup+1.5002 s]
/proc/loadavg: 3.15 3.53 3.86 5/254 870088
/proc/meminfo: memFree=128631488/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2044328 memory=34480 CPUtime=1.48 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 4852 0 0 0 148 0 0 0 20 0 1 0 164961484 2093391872 8620 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 511082 8620 1748 439 0 506511 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2044328 KiB
Current children cumulated memory: 34480 KiB

[startup+3.10542 s]
/proc/loadavg: 3.15 3.53 3.86 5/254 870088
/proc/meminfo: memFree=127924116/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2044544 memory=34276 CPUtime=3.09 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 7320 0 0 0 308 1 0 0 20 0 1 0 164961484 2093613056 8569 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 511136 8569 1748 439 0 506565 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2044544 KiB
Current children cumulated memory: 34276 KiB

[startup+6.30015 s]
/proc/loadavg: 3.22 3.54 3.86 5/254 870090
/proc/meminfo: memFree=126837268/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2045632 memory=35472 CPUtime=6.27 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 12472 0 0 0 626 1 0 0 20 0 1 0 164961484 2094727168 8868 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 511408 8868 1748 439 0 506837 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2045632 KiB
Current children cumulated memory: 35472 KiB

[startup+12.7002 s]
/proc/loadavg: 3.28 3.55 3.86 5/254 870090
/proc/meminfo: memFree=125532112/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2048320 memory=36592 CPUtime=12.65 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 22613 0 0 0 1262 3 0 0 20 0 1 0 164961484 2097479680 9148 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 512080 9148 1748 439 0 507509 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2048320 KiB
Current children cumulated memory: 36592 KiB

[startup+25.5002 s]
/proc/loadavg: 3.39 3.56 3.86 5/254 870093
/proc/meminfo: memFree=124966096/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2048384 memory=37964 CPUtime=25.41 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 36875 0 0 0 2534 7 0 0 20 0 1 0 164961484 2097545216 9491 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 512096 9491 1748 439 0 507525 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2048384 KiB
Current children cumulated memory: 37964 KiB

[startup+51.1054 s]
/proc/loadavg: 3.70 3.62 3.87 5/254 870096
/proc/meminfo: memFree=124068948/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2049240 memory=38408 CPUtime=50.94 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 59676 0 0 0 5081 13 0 0 20 0 1 0 164961484 2098421760 9602 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 512310 9602 1748 439 0 507739 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2049240 KiB
Current children cumulated memory: 38408 KiB

[startup+102.3 s]
/proc/loadavg: 3.93 3.70 3.89 5/254 870104
/proc/meminfo: memFree=123767236/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2049240 memory=39348 CPUtime=101.98 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 95426 0 0 0 10175 23 0 0 20 0 1 0 164961484 2098421760 9837 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 512310 9837 1748 439 0 507739 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2049240 KiB
Current children cumulated memory: 39348 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 3.77 3.90 5/255 870116
/proc/meminfo: memFree=123945968/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2056100 memory=42980 CPUtime=161.79 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 136775 0 0 0 16146 33 0 0 20 0 1 0 164961484 2105446400 10745 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 514025 10745 1748 439 0 509454 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 42980 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 3.86 3.93 5/255 870126
/proc/meminfo: memFree=123941736/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2060580 memory=52660 CPUtime=221.61 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 168354 0 0 0 22121 40 0 0 20 0 1 0 164961484 2110033920 13165 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 515145 13165 1748 439 0 510574 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2060580 KiB
Current children cumulated memory: 52660 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.90 3.94 5/257 870140
/proc/meminfo: memFree=124468048/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2060744 memory=55328 CPUtime=281.46 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 196265 0 0 0 28099 47 0 0 20 0 1 0 164961484 2110201856 13832 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 515186 13832 1748 439 0 510615 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 2060744 KiB
Current children cumulated memory: 55328 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.95 3.95 5/257 870151
/proc/meminfo: memFree=123853524/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2056648 memory=50928 CPUtime=341.31 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 220690 0 0 0 34077 54 0 0 20 0 1 0 164961484 2106007552 12732 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 514162 12732 1748 439 0 509591 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2056648 KiB
Current children cumulated memory: 50928 KiB

[startup+402.3 s]
/proc/loadavg: 4.43 4.08 4.00 5/257 870161
/proc/meminfo: memFree=123826704/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2060744 memory=52468 CPUtime=401.14 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 246001 0 0 0 40055 59 0 0 20 0 1 0 164961484 2110201856 13117 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 515186 13117 1748 439 0 510615 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2060744 KiB
Current children cumulated memory: 52468 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.09 4.01 5/256 870172
/proc/meminfo: memFree=124048124/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2069120 memory=52684 CPUtime=460.98 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 272634 0 0 0 46030 68 0 0 20 0 1 0 164961484 2118778880 13171 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 517280 13171 1748 439 0 512709 0
Current children cumulated CPU time: 460.98 s
Current children cumulated vsize: 2069120 KiB
Current children cumulated memory: 52684 KiB

[startup+522.3 s]
/proc/loadavg: 4.23 4.12 4.02 5/256 870182
/proc/meminfo: memFree=123872768/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2077312 memory=56912 CPUtime=520.8 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 295522 0 0 0 52006 74 0 0 20 0 1 0 164961484 2127167488 14228 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 519328 14228 1748 439 0 514757 0
Current children cumulated CPU time: 520.8 s
Current children cumulated vsize: 2077312 KiB
Current children cumulated memory: 56912 KiB

[startup+542.796 s]
# the end of solver process 870060 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=540.489 s, system=0.757814 s

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

[startup+524.8 s]
/proc/loadavg: 4.23 4.12 4.02 5/256 870182
/proc/meminfo: memFree=123868604/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2069120 memory=56912 CPUtime=523.3 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 297587 0 0 0 52256 74 0 0 20 0 1 0 164961484 2118778880 14228 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 517280 14228 1748 439 0 512709 0
Current children cumulated CPU time: 523.3 s
Current children cumulated vsize: 2069120 KiB
Current children cumulated memory: 56912 KiB

[startup+531.2 s]
/proc/loadavg: 4.20 4.12 4.02 5/256 870184
/proc/meminfo: memFree=123858092/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2069120 memory=57088 CPUtime=529.67 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 298671 0 0 0 52893 74 0 0 20 0 1 0 164961484 2118778880 14272 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 517280 14272 1748 439 0 512709 0
Current children cumulated CPU time: 529.67 s
Current children cumulated vsize: 2069120 KiB
Current children cumulated memory: 57088 KiB

[startup+537.6 s]
/proc/loadavg: 4.18 4.11 4.02 5/256 870185
/proc/meminfo: memFree=123784216/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2069120 memory=53456 CPUtime=536.06 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 301350 0 0 0 53531 75 0 0 20 0 1 0 164961484 2118778880 13364 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 517280 13364 1748 439 0 512709 0
Current children cumulated CPU time: 536.06 s
Current children cumulated vsize: 2069120 KiB
Current children cumulated memory: 53456 KiB

[startup+540.8 s]
/proc/loadavg: 4.18 4.11 4.02 5/256 870185
/proc/meminfo: memFree=123784252/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2069120 memory=57088 CPUtime=539.25 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 301713 0 0 0 53850 75 0 0 20 0 1 0 164961484 2118778880 14272 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 517280 14272 1748 439 0 512709 0
Current children cumulated CPU time: 539.25 s
Current children cumulated vsize: 2069120 KiB
Current children cumulated memory: 57088 KiB

[startup+541.6 s]
/proc/loadavg: 4.17 4.11 4.02 5/256 870186
/proc/meminfo: memFree=123775944/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2069120 memory=57088 CPUtime=540.04 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 301713 0 0 0 53929 75 0 0 20 0 1 0 164961484 2118778880 14272 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 517280 14272 1748 439 0 512709 0
Current children cumulated CPU time: 540.04 s
Current children cumulated vsize: 2069120 KiB
Current children cumulated memory: 57088 KiB

[startup+542.4 s]
/proc/loadavg: 4.17 4.11 4.02 5/256 870187
/proc/meminfo: memFree=123773920/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2052736 memory=47312 CPUtime=540.84 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 302463 0 0 0 54009 75 0 0 20 0 1 0 164961484 2102001664 11828 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 513184 11828 1748 439 0 508613 0
Current children cumulated CPU time: 540.84 s
Current children cumulated vsize: 2052736 KiB
Current children cumulated memory: 47312 KiB

[startup+542.6 s]
/proc/loadavg: 4.17 4.11 4.02 5/256 870187
/proc/meminfo: memFree=123773920/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2056832 memory=47312 CPUtime=541.04 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 302490 0 0 0 54029 75 0 0 20 0 1 0 164961484 2106195968 11828 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 514208 11828 1748 439 0 509637 0
Current children cumulated CPU time: 541.04 s
Current children cumulated vsize: 2056832 KiB
Current children cumulated memory: 47312 KiB

[startup+542.7 s]
/proc/loadavg: 4.17 4.11 4.02 5/256 870187
/proc/meminfo: memFree=123773920/131524600 swapFree=131071996/131071996
[pid=870060] ppid=870056 vsize=2056832 memory=47576 CPUtime=541.14 cores=5,7
/proc/870060/stat : 870060 (pb_picat) R 870056 870060 870015 0 -1 4194304 302533 0 0 0 54039 75 0 0 20 0 1 0 164961484 2106195968 11894 134679101440 4194304 5989780 140725781340704 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22745088 140725781345305 140725781345381 140725781345381 140725781352396 0
/proc/870060/statm: 514208 11894 1748 439 0 509637 0
Current children cumulated CPU time: 541.14 s
Current children cumulated vsize: 2056832 KiB
Current children cumulated memory: 47576 KiB

Child status: 0

Real time (s): 542.796
CPU time (s): 541.246
CPU user time (s): 540.489
CPU system time (s): 0.757814
CPU usage (%): 99.7145
Max. virtual memory (cumulated for all children) (KiB): 2077312
Max. memory (cumulated for all children) (KiB): 59056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 540.489
system time used= 0.757814
maximum resident set size= 59056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302551
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= 9
involuntary context switches= 715


# summary of solver processes directly reported to runsolver:
#   pid: 870060
#   total CPU time (s): 541.246
#   total CPU user time (s): 540.489
#   total CPU system time (s): 0.757814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14952 second user time and 2.3378 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-16 13:06:43
IDJOB=4436456
IDBENCH=155341
IDSOLVER=3068
FILE ID=nodeC018/4436456-1721127991
RUNJOBID= nodeC018-1721128003-870028
SLURM_JOB_ID= 7505689
Free space on /tmp= 890084 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1620770.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436456-1721127991/watcher-4436456-1721127991 -o /tmp/evaluation-result-4436456-1721127991/solver-4436456-1721127991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721128003-870028 --watchdog 3760  pb_picat HOME/instance-4436456-1721127991.opb

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

MD5SUM BENCH= ea40b84df91c60f1b4d71ba03d843a27
RANDOM SEED=2057097086

nodeC018.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		: 3596.268
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.52
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		: 3588.350
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.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	: 0xb00002a
cpu MHz		: 3591.301
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.52
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		: 3630.173
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.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	: 0xb00002a
cpu MHz		: 3535.778
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.52
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		: 3576.731
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.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	: 0xb00002a
cpu MHz		: 3595.941
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.52
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		: 3610.763
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129426760 kB
MemAvailable:   129771044 kB
Buffers:          396476 kB
Cached:           788908 kB
SwapCached:            0 kB
Active:           700148 kB
Inactive:         810024 kB
Active(anon):       1448 kB
Inactive(anon):   361376 kB
Active(file):     698700 kB
Inactive(file):   448648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12328 kB
Writeback:            12 kB
AnonPages:        323424 kB
Mapped:           105840 kB
Shmem:             37720 kB
KReclaimable:      73520 kB
Slab:             180152 kB
SReclaimable:      73520 kB
SUnreclaim:       106632 kB
KernelStack:        3792 kB
PageTables:         9176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     612064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      232148 kB
DirectMap2M:    16318464 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC018 at 2024-07-16 13:15:46