Trace number 4449732

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-18OPT18 2955.87 2965.75

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
MD5SUM06b87d46bf38d4b028e9a0f41f22c2e8
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 benchmark18
Best CPU time to get the best result obtained on this benchmark49.4743
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables650
Total number of constraints72640
Number of constraints which are clauses72620
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint21
Number of terms in the objective function 20
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 20
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 22
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-4449732-1721399503.opb (Picat 3.6#12)
0.67/0.72	o 20
0.67/0.78	o 19
2955.81/2965.75	o 18
2955.81/2965.75	s OPTIMUM FOUND
2955.81/2965.75	v ~x316 ~x122 ~x647 ~x401 ~x271 x486 x19 ~x336 ~x123 x648 
2955.81/2965.75	v ~x421 ~x291 x506 ~x20 ~x356 x124 x649 ~x441 ~x311 x526 
2955.81/2965.75	v ~x21 ~x376 ~x125 ~x650 ~x461 ~x331 x546 ~x22 ~x396 ~x126 
2955.81/2965.75	v ~x481 ~x351 x566 ~x23 ~x416 ~x127 ~x501 ~x371 x586 ~x24 
2955.81/2965.75	v ~x436 ~x128 ~x521 ~x391 ~x606 ~x25 ~x456 ~x129 ~x541 ~x411 
2955.81/2965.75	v ~x227 ~x26 ~x476 ~x130 ~x561 ~x431 ~x247 ~x27 ~x496 ~x131 
2955.81/2965.75	v ~x581 ~x451 ~x267 ~x28 ~x516 ~x132 ~x601 ~x471 ~x287 ~x29 
2955.81/2965.75	v ~x536 ~x133 ~x222 ~x491 ~x307 ~x30 ~x556 ~x134 ~x242 ~x511 
2955.81/2965.75	v ~x327 ~x31 ~x576 x135 ~x262 ~x531 ~x347 ~x32 ~x596 ~x136 
2955.81/2965.75	v ~x282 ~x551 ~x367 ~x33 ~x137 ~x302 ~x571 ~x387 ~x34 ~x138 
2955.81/2965.75	v ~x217 ~x322 ~x591 ~x407 ~x35 ~x139 ~x237 ~x342 ~x427 ~x36 
2955.81/2965.75	v ~x140 ~x257 ~x362 ~x447 ~x212 x37 ~x141 ~x277 ~x382 ~x467 
2955.81/2965.75	v ~x232 ~x38 ~x142 ~x297 ~x402 ~x487 ~x252 ~x39 ~x143 ~x317 
2955.81/2965.75	v ~x422 ~x507 ~x272 ~x40 ~x144 ~x337 ~x442 ~x527 ~x292 ~x41 
2955.81/2965.75	v x145 ~x357 ~x462 ~x547 ~x312 ~x42 ~x146 ~x377 ~x482 ~x567 
2955.81/2965.75	v ~x332 ~x43 ~x147 ~x397 ~x502 ~x587 ~x352 ~x44 ~x148 ~x417 
2955.81/2965.75	v ~x522 ~x607 ~x372 ~x45 ~x149 ~x437 ~x542 ~x228 ~x392 ~x46 
2955.81/2965.75	v ~x150 ~x457 ~x562 ~x248 ~x412 ~x47 ~x151 ~x477 ~x582 ~x268 
2955.81/2965.75	v ~x432 ~x48 ~x152 ~x497 ~x602 ~x288 ~x452 ~x49 ~x153 ~x517 
2955.81/2965.75	v ~x308 ~x472 ~x50 x154 ~x537 ~x223 ~x328 ~x492 ~x51 ~x155 
2955.81/2965.75	v ~x557 ~x243 ~x348 ~x512 ~x52 ~x156 ~x577 ~x263 ~x368 ~x532 
2955.81/2965.75	v ~x53 ~x157 ~x597 ~x283 ~x388 ~x552 x54 ~x158 ~x218 ~x303 
2955.81/2965.75	v ~x408 ~x572 ~x55 ~x159 ~x238 ~x323 ~x428 ~x592 ~x56 ~x160 
2955.81/2965.75	v ~x258 ~x343 ~x448 ~x213 ~x57 ~x161 ~x278 ~x363 ~x468 ~x233 
2955.81/2965.75	v ~x58 x162 ~x298 ~x383 ~x488 ~x253 ~x59 ~x163 ~x318 ~x403 
2955.81/2965.75	v ~x508 ~x273 ~x60 ~x164 ~x338 ~x423 ~x528 ~x293 ~x61 ~x165 
2955.81/2965.75	v ~x358 ~x443 ~x548 ~x313 ~x62 ~x166 ~x378 ~x463 ~x568 ~x333 
2955.81/2965.75	v ~x63 ~x167 ~x398 ~x483 ~x588 ~x353 ~x64 ~x168 ~x418 ~x503 
2955.81/2965.75	v ~x608 ~x373 ~x65 x169 ~x438 ~x523 ~x229 ~x393 ~x66 ~x170 
2955.81/2965.75	v ~x458 ~x543 ~x249 ~x413 ~x67 ~x171 ~x478 ~x563 ~x269 ~x433 
2955.81/2965.75	v ~x68 ~x172 ~x498 ~x583 ~x289 ~x453 ~x69 ~x173 ~x518 ~x603 
2955.81/2965.75	v ~x309 ~x473 x70 ~x174 ~x538 ~x224 ~x329 ~x493 ~x71 x175 
2955.81/2965.75	v ~x558 ~x244 ~x349 ~x513 ~x72 ~x176 ~x578 ~x264 ~x369 ~x533 
2955.81/2965.75	v ~x73 ~x177 ~x598 ~x284 ~x389 ~x553 ~x74 ~x178 ~x219 ~x304 
2955.81/2965.75	v ~x409 ~x573 ~x75 ~x179 ~x239 ~x324 ~x429 ~x593 ~x76 x180 
2955.81/2965.75	v ~x259 ~x344 ~x449 ~x77 ~x181 ~x279 ~x364 ~x469 ~x78 ~x214 
2955.81/2965.75	v ~x182 ~x299 ~x384 ~x489 ~x79 ~x234 ~x183 ~x319 ~x404 ~x509 
2955.81/2965.75	v ~x80 ~x254 x184 ~x339 ~x424 ~x529 ~x81 ~x274 ~x185 ~x359 
2955.81/2965.75	v ~x444 ~x549 ~x82 ~x294 ~x186 ~x379 ~x464 ~x569 ~x83 ~x314 
2955.81/2965.75	v x187 ~x399 ~x484 ~x589 ~x84 ~x334 ~x188 ~x419 ~x504 ~x609 
2955.81/2965.75	v x85 ~x354 x189 ~x439 ~x524 ~x230 ~x86 ~x374 x190 ~x459 
2955.81/2965.75	v ~x544 ~x250 ~x87 ~x394 ~x611 ~x479 ~x564 ~x270 ~x88 ~x414 
2955.81/2965.75	v x612 ~x499 ~x584 ~x290 ~x89 ~x434 ~x613 ~x519 ~x604 ~x310 
2955.81/2965.75	v ~x90 ~x454 x614 ~x539 ~x225 ~x330 ~x91 ~x474 ~x615 ~x559 
2955.81/2965.75	v ~x245 ~x350 ~x92 ~x494 x616 ~x579 ~x265 ~x370 ~x93 ~x514 
2955.81/2965.75	v ~x617 ~x599 ~x285 ~x390 ~x94 ~x534 x618 ~x220 ~x305 ~x410 
2955.81/2965.75	v ~x95 ~x554 ~x619 ~x240 ~x325 ~x430 ~x96 ~x574 x620 ~x260 
2955.81/2965.75	v ~x345 ~x450 ~x97 ~x594 ~x621 ~x280 ~x365 ~x470 ~x98 ~x215 
2955.81/2965.75	v x191 x622 ~x300 ~x385 ~x490 x99 ~x235 x192 ~x623 ~x320 
2955.81/2965.75	v ~x405 ~x510 ~x100 ~x255 x193 x624 ~x340 ~x425 ~x530 ~x101 
2955.81/2965.75	v ~x275 x194 ~x625 ~x360 ~x445 ~x550 ~x102 ~x295 x195 x626 
2955.81/2965.75	v ~x380 ~x465 ~x570 ~x103 ~x315 x196 ~x627 ~x400 ~x485 ~x590 
2955.81/2965.75	v ~x335 x197 x628 ~x420 ~x505 x610 ~x355 ~x104 x198 ~x629 
2955.81/2965.75	v ~x440 ~x525 ~x1 ~x375 ~x105 x199 x630 ~x460 ~x545 ~x2 
2955.81/2965.75	v ~x395 ~x106 x200 ~x631 ~x480 ~x565 ~x3 ~x415 ~x107 x201 
2955.81/2965.75	v x632 ~x500 ~x585 ~x4 ~x435 ~x108 x202 ~x633 ~x520 ~x605 
2955.81/2965.75	v ~x5 ~x455 ~x109 x203 x634 ~x540 x226 ~x6 ~x475 ~x110 
2955.81/2965.75	v x204 ~x635 ~x560 x246 ~x7 ~x495 ~x111 x205 x636 ~x580 
2955.81/2965.75	v x266 ~x8 ~x515 x112 ~x206 ~x637 ~x600 x286 ~x9 ~x535 
2955.81/2965.75	v ~x113 x207 x638 ~x221 x306 ~x10 ~x555 ~x114 x208 ~x639 
2955.81/2965.75	v ~x241 x326 ~x11 ~x575 ~x115 x209 x640 ~x261 x346 ~x12 
2955.81/2965.75	v ~x595 ~x116 ~x210 ~x641 ~x281 x366 ~x13 ~x216 ~x117 x642 
2955.81/2965.75	v ~x301 x386 ~x14 ~x236 ~x118 ~x643 ~x321 x406 ~x15 ~x256 
2955.81/2965.75	v ~x119 x644 ~x341 ~x211 x426 ~x16 ~x276 ~x120 ~x645 ~x361 
2955.81/2965.75	v ~x231 x446 ~x17 ~x296 ~x121 x646 ~x381 ~x251 x466 ~x18

Verifier Data 

OK	18

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449732-1721399503/watcher-4449732-1721399503 -o /tmp/evaluation-result-4449732-1721399503/solver-4449732-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721399516-1018517 --watchdog 3760 pb_picat HOME/instance-4449732-1721399503.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=1018549, runsolver pid=1018546

[startup+0.101032 s]*
/proc/loadavg: 0.12 0.09 0.09 4/239 1018562
/proc/meminfo: memFree=127037020/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2033608 memory=34644 CPUtime=0.09 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 1236 0 0 0 9 0 0 0 20 0 1 0 192121188 2082414592 8661 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 2 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 508402 8661 1489 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 34644 KiB

[startup+0.20603 s]*
/proc/loadavg: 0.12 0.09 0.09 3/249 1018588
/proc/meminfo: memFree=126986756/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2033608 memory=51028 CPUtime=0.19 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 1244 0 0 0 19 0 0 0 20 0 1 0 192121188 2082414592 12757 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 2 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 508402 12757 1489 439 0 503831 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 51028 KiB

[startup+0.306033 s]*
/proc/loadavg: 0.12 0.09 0.09 5/253 1018594
/proc/meminfo: memFree=126920824/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2033608 memory=67412 CPUtime=0.29 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 1252 0 0 0 28 1 0 0 20 0 1 0 192121188 2082414592 16853 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 508402 16853 1489 439 0 503831 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 67412 KiB

[startup+0.700251 s]
/proc/loadavg: 0.12 0.09 0.09 4/250 1018611
/proc/meminfo: memFree=126854380/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2044664 memory=139796 CPUtime=0.67 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 1830 0 0 0 65 2 0 0 20 0 1 0 192121188 2093735936 34949 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 511166 34949 1647 439 0 506595 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2044664 KiB
Current children cumulated memory: 139796 KiB

[startup+1.50019 s]
/proc/loadavg: 0.12 0.09 0.09 4/253 1018640
/proc/meminfo: memFree=126746820/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2061872 memory=153928 CPUtime=1.47 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 6642 0 0 0 144 3 0 0 20 0 1 0 192121188 2111356928 38482 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 515468 38482 1710 439 0 510897 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2061872 KiB
Current children cumulated memory: 153928 KiB

[startup+3.1053 s]
/proc/loadavg: 0.43 0.16 0.11 5/256 1018672
/proc/meminfo: memFree=126710632/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2060652 memory=153308 CPUtime=3.06 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 9917 0 0 0 303 3 0 0 20 0 1 0 192121188 2110107648 38327 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 515163 38327 1710 439 0 510592 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2060652 KiB
Current children cumulated memory: 153308 KiB

[startup+6.30019 s]
/proc/loadavg: 0.43 0.16 0.11 5/257 1018675
/proc/meminfo: memFree=126697348/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2060652 memory=153580 CPUtime=6.25 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 14746 0 0 0 621 4 0 0 20 0 1 0 192121188 2110107648 38395 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 515163 38395 1710 439 0 510592 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2060652 KiB
Current children cumulated memory: 153580 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.22 0.13 5/257 1018675
/proc/meminfo: memFree=126679360/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2080176 memory=166504 CPUtime=12.63 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 21262 0 0 0 1257 6 0 0 20 0 1 0 192121188 2130100224 41626 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 520044 41626 1710 439 0 515473 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2080176 KiB
Current children cumulated memory: 166504 KiB

[startup+25.5002 s]
/proc/loadavg: 1.51 0.42 0.20 5/257 1018677
/proc/meminfo: memFree=126654744/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2080176 memory=175512 CPUtime=25.39 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 28892 0 0 0 2530 9 0 0 20 0 1 0 192121188 2130100224 43878 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 520044 43878 1710 439 0 515473 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2080176 KiB
Current children cumulated memory: 175512 KiB

[startup+51.1058 s]
/proc/loadavg: 2.36 0.71 0.30 5/257 1018682
/proc/meminfo: memFree=126620004/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2112944 memory=191128 CPUtime=50.9 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 35486 0 0 0 5078 12 0 0 20 0 1 0 192121188 2163654656 47782 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 528236 47782 1710 439 0 523665 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2112944 KiB
Current children cumulated memory: 191128 KiB

[startup+102.3 s]
/proc/loadavg: 3.34 1.24 0.50 5/257 1018691
/proc/meminfo: memFree=126561544/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2148652 memory=214072 CPUtime=101.94 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 45139 0 0 0 10176 18 0 0 20 0 1 0 192121188 2200219648 53518 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 537163 53518 1710 439 0 532592 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2148652 KiB
Current children cumulated memory: 214072 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.77 0.74 5/257 1018702
/proc/meminfo: memFree=126530644/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2181420 memory=225180 CPUtime=161.73 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 50930 0 0 0 16151 22 0 0 20 0 1 0 192121188 2233774080 56295 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 545355 56295 1710 439 0 540784 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 2181420 KiB
Current children cumulated memory: 225180 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.20 0.95 5/255 1018712
/proc/meminfo: memFree=126500112/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2181420 memory=238496 CPUtime=221.53 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 55161 0 0 0 22127 26 0 0 20 0 1 0 192121188 2233774080 59624 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 545355 59624 1710 439 0 540784 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 2181420 KiB
Current children cumulated memory: 238496 KiB

[startup+282.3 s]
/proc/loadavg: 4.00 2.53 1.14 5/255 1018722
/proc/meminfo: memFree=126470488/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2187564 memory=259204 CPUtime=281.32 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 57577 0 0 0 28103 29 0 0 20 0 1 0 192121188 2240065536 64801 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 546891 64801 1710 439 0 542320 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 2187564 KiB
Current children cumulated memory: 259204 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 2.84 1.34 5/255 1018734
/proc/meminfo: memFree=126459636/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2187564 memory=261028 CPUtime=341.11 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 60790 0 0 0 34078 33 0 0 20 0 1 0 192121188 2240065536 65257 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 546891 65257 1710 439 0 542320 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 2187564 KiB
Current children cumulated memory: 261028 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.07 1.51 5/255 1018744
/proc/meminfo: memFree=126439628/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2253100 memory=279464 CPUtime=400.9 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 62388 0 0 0 40056 34 0 0 20 0 1 0 192121188 2307174400 69866 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 563275 69866 1710 439 0 558704 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 2253100 KiB
Current children cumulated memory: 279464 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.26 1.68 5/255 1018754
/proc/meminfo: memFree=126408796/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2253100 memory=279624 CPUtime=460.7 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 64523 0 0 0 46033 37 0 0 20 0 1 0 192121188 2307174400 69906 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 563275 69906 1710 439 0 558704 0

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

/proc/loadavg: 2.08 2.11 2.19 3/243 1019770
/proc/meminfo: memFree=126615660/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2285868 memory=329500 CPUtime=2553.64 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 156355 0 0 0 255227 137 0 0 20 0 1 0 192121188 2340728832 82375 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 571467 82375 1710 439 0 566896 0
Current children cumulated CPU time: 2553.64 s
Current children cumulated vsize: 2285868 KiB
Current children cumulated memory: 329500 KiB

[startup+2622.3 s]
/proc/loadavg: 2.14 2.12 2.19 3/240 1019780
/proc/meminfo: memFree=126575712/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2285868 memory=356264 CPUtime=2613.46 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 161283 0 0 0 261200 146 0 0 20 0 1 0 192121188 2340728832 89066 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 571467 89066 1710 439 0 566896 0
Current children cumulated CPU time: 2613.46 s
Current children cumulated vsize: 2285868 KiB
Current children cumulated memory: 356264 KiB

[startup+2682.3 s]
/proc/loadavg: 2.10 2.11 2.18 3/240 1019790
/proc/meminfo: memFree=126577104/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2285868 memory=356264 CPUtime=2673.28 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 166900 0 0 0 267175 153 0 0 20 0 1 0 192121188 2340728832 89066 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 571467 89066 1710 439 0 566896 0
Current children cumulated CPU time: 2673.28 s
Current children cumulated vsize: 2285868 KiB
Current children cumulated memory: 356264 KiB

[startup+2742.3 s]
/proc/loadavg: 2.15 2.12 2.18 3/240 1019801
/proc/meminfo: memFree=126559904/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=376716 CPUtime=2733.1 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 169942 0 0 0 273151 159 0 0 20 0 1 0 192121188 2407837696 94179 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 94179 1710 439 0 583280 0
Current children cumulated CPU time: 2733.1 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 376716 KiB

[startup+2802.3 s]
/proc/loadavg: 2.18 2.13 2.18 3/240 1019811
/proc/meminfo: memFree=126559336/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=380840 CPUtime=2792.91 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 173947 0 0 0 279124 167 0 0 20 0 1 0 192121188 2407837696 95210 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 95210 1710 439 0 583280 0
Current children cumulated CPU time: 2792.91 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 380840 KiB

[startup+2862.3 s]
/proc/loadavg: 2.20 2.15 2.18 3/240 1019821
/proc/meminfo: memFree=126538076/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=397224 CPUtime=2852.73 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 178809 0 0 0 285099 174 0 0 20 0 1 0 192121188 2407837696 99306 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 99306 1710 439 0 583280 0
Current children cumulated CPU time: 2852.73 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 397224 KiB

[startup+2922.3 s]
/proc/loadavg: 2.14 2.14 2.17 3/243 1019836
/proc/meminfo: memFree=126519668/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2482476 memory=409468 CPUtime=2912.54 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 181972 0 0 0 291075 179 0 0 20 0 1 0 192121188 2542055424 102367 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 620619 102367 1710 439 0 616048 0
Current children cumulated CPU time: 2912.54 s
Current children cumulated vsize: 2482476 KiB
Current children cumulated memory: 409468 KiB

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

# cumulated CPU time of all completed processes:  user=2954.02 s, system=1.84716 s

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

[startup+2944 s]*
/proc/loadavg: 2.09 2.12 2.17 3/243 1019840
/proc/meminfo: memFree=126556744/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=391084 CPUtime=2934.18 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 185321 0 0 0 293236 182 0 0 20 0 1 0 192121188 2407837696 97771 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 97771 1710 439 0 583280 0
Current children cumulated CPU time: 2934.18 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 391084 KiB

[startup+2956.8 s]
/proc/loadavg: 2.16 2.14 2.17 3/243 1019843
/proc/meminfo: memFree=126601708/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=366508 CPUtime=2946.94 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 186763 0 0 0 294510 184 0 0 20 0 1 0 192121188 2407837696 91627 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 91627 1710 439 0 583280 0
Current children cumulated CPU time: 2946.94 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 366508 KiB

[startup+2960 s]*
/proc/loadavg: 2.14 2.13 2.17 3/243 1019843
/proc/meminfo: memFree=126569288/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=368556 CPUtime=2950.13 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 186764 0 0 0 294829 184 0 0 20 0 1 0 192121188 2407837696 92139 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 92139 1710 439 0 583280 0
Current children cumulated CPU time: 2950.13 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 368556 KiB

[startup+2963.2 s]
/proc/loadavg: 2.13 2.13 2.17 3/243 1019843
/proc/meminfo: memFree=126559024/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=368556 CPUtime=2953.32 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 186764 0 0 0 295148 184 0 0 20 0 1 0 192121188 2407837696 92139 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 92139 1710 439 0 583280 0
Current children cumulated CPU time: 2953.32 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 368556 KiB

[startup+2964.8 s]
/proc/loadavg: 2.13 2.13 2.17 3/243 1019843
/proc/meminfo: memFree=126559016/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=368556 CPUtime=2954.91 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 186764 0 0 0 295307 184 0 0 20 0 1 0 192121188 2407837696 92139 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 92139 1710 439 0 583280 0
Current children cumulated CPU time: 2954.91 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 368556 KiB

[startup+2965.2 s]
/proc/loadavg: 2.13 2.13 2.17 3/243 1019843
/proc/meminfo: memFree=126596456/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=368556 CPUtime=2955.31 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 186764 0 0 0 295347 184 0 0 20 0 1 0 192121188 2407837696 92139 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 92139 1710 439 0 583280 0
Current children cumulated CPU time: 2955.31 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 368556 KiB

[startup+2965.6 s]
/proc/loadavg: 2.13 2.13 2.17 3/243 1019843
/proc/meminfo: memFree=126596456/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=370604 CPUtime=2955.71 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 186765 0 0 0 295387 184 0 0 20 0 1 0 192121188 2407837696 92651 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 92651 1710 439 0 583280 0
Current children cumulated CPU time: 2955.71 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 370604 KiB

[startup+2965.7 s]
/proc/loadavg: 2.13 2.13 2.17 3/243 1019843
/proc/meminfo: memFree=126596456/131524600 swapFree=131071996/131071996
[pid=1018549] ppid=1018546 vsize=2351404 memory=370604 CPUtime=2955.81 cores=0,2
/proc/1018549/stat : 1018549 (pb_picat) R 1018546 1018549 1018507 0 -1 4194304 186815 0 0 0 295397 184 0 0 20 0 1 0 192121188 2407837696 92651 134679101440 4194304 5989780 140724204760864 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 36012032 140724204762135 140724204762211 140724204762211 140724204769228 0
/proc/1018549/statm: 587851 92651 1710 439 0 583280 0
Current children cumulated CPU time: 2955.81 s
Current children cumulated vsize: 2351404 KiB
Current children cumulated memory: 370604 KiB

Child status: 0

Real time (s): 2965.75
CPU time (s): 2955.87
CPU user time (s): 2954.02
CPU system time (s): 1.84716
CPU usage (%): 99.6668
Max. virtual memory (cumulated for all children) (KiB): 2482476
Max. memory (cumulated for all children) (KiB): 409468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2954.02
system time used= 1.84716
maximum resident set size= 438492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186820
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= 21
involuntary context switches= 20265


# summary of solver processes directly reported to runsolver:
#   pid: 1018549
#   total CPU time (s): 2955.87
#   total CPU user time (s): 2954.02
#   total CPU system time (s): 1.84716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4909 second user time and 13.1242 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-19 16:31:56
IDJOB=4449732
IDBENCH=176097
IDSOLVER=3068
FILE ID=nodeC035/4449732-1721399503
RUNJOBID= nodeC035-1721399516-1018517
SLURM_JOB_ID= 7545458
Free space on /tmp= 890060 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449732-1721399503/watcher-4449732-1721399503 -o /tmp/evaluation-result-4449732-1721399503/solver-4449732-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721399516-1018517 --watchdog 3760  pb_picat HOME/instance-4449732-1721399503.opb

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

MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=1818638320

nodeC035.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		: 3577.815
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.65
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		: 3506.851
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.79
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		: 3601.032
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.65
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		: 3127.217
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.79
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		: 2532.348
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.65
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		: 3123.539
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.79
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		: 2312.086
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.65
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		: 2198.563
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127066752 kB
MemAvailable:   129661476 kB
Buffers:          523520 kB
Cached:          2890448 kB
SwapCached:            0 kB
Active:           997300 kB
Inactive:        2791412 kB
Active(anon):       1432 kB
Inactive(anon):   419552 kB
Active(file):     995868 kB
Inactive(file):  2371860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              9120 kB
Writeback:             0 kB
AnonPages:        374988 kB
Mapped:           107312 kB
Shmem:             45916 kB
KReclaimable:     133640 kB
Slab:             250260 kB
SReclaimable:     133640 kB
SUnreclaim:       116620 kB
KernelStack:        3936 kB
PageTables:         9292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     716344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      207572 kB
DirectMap2M:    19488768 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC035 at 2024-07-19 17:21:22