Trace number 4502261

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 2025-06-16Wrong Cert. 221.08 221.7

General information on the benchmark

NamePB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
MD5SUMdd402b2688f2af05a1e1d750cfef6b8d
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark3.22177
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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.01	c solving HOME/instance-4502261-1751275734.opb (Picat 3.9b6)
8.96/9.02	o 60
37.47/37.66	o 19
143.78/144.25	o 13
220.97/221.69	s OPTIMUM FOUND
220.97/221.69	v x578 ~x62 ~x167 ~x265 ~x370 ~x475 ~x579 ~x63 ~x168 x266 
220.97/221.69	v x371 ~x476 x580 ~x64 ~x169 ~x267 x372 x477 x581 ~x65 
220.97/221.69	v ~x170 x268 x373 x478 x582 ~x66 ~x171 x269 x374 ~x479 
220.97/221.69	v ~x583 ~x67 ~x172 x270 x375 ~x480 ~x584 ~x68 ~x173 x271 
220.97/221.69	v ~x376 ~x481 x69 ~x174 ~x272 ~x377 ~x482 ~x70 ~x175 ~x273 
220.97/221.69	v x378 x483 x71 ~x176 x274 ~x379 ~x484 ~x72 ~x177 ~x275 
220.97/221.69	v x380 x485 ~x73 ~x178 ~x276 x381 ~x486 ~x74 ~x179 x277 
220.97/221.69	v ~x382 x487 ~x75 ~x180 x278 ~x383 ~x488 ~x76 ~x181 x279 
220.97/221.69	v x384 ~x489 ~x77 ~x182 x280 ~x385 x490 ~x78 x281 x386 
220.97/221.69	v ~x491 ~x79 x282 ~x387 ~x492 ~x80 x283 x388 x493 ~x81 
220.97/221.69	v ~x284 x389 ~x494 ~x82 x285 ~x390 ~x495 ~x83 x286 ~x391 
220.97/221.69	v x496 ~x84 x183 x287 x392 x497 ~x85 ~x184 x288 x393 
220.97/221.69	v ~x498 ~x86 x185 x289 ~x394 x499 ~x87 ~x186 x290 ~x395 
220.97/221.69	v ~x500 ~x88 x187 ~x291 x396 x501 ~x89 ~x188 x292 x397 
220.97/221.69	v ~x502 ~x90 ~x189 x293 x398 x503 ~x91 ~x190 ~x294 ~x399 
220.97/221.69	v ~x504 ~x92 ~x191 ~x295 ~x400 ~x505 ~x93 ~x192 ~x296 x401 
220.97/221.69	v ~x506 ~x94 x193 ~x297 x402 x507 x95 x194 ~x298 ~x403 
220.97/221.69	v ~x508 ~x96 x195 x299 x404 ~x509 ~x97 ~x196 ~x300 ~x405 
220.97/221.69	v ~x510 ~x98 x197 ~x301 ~x406 ~x511 ~x99 x198 x302 ~x407 
220.97/221.69	v x512 ~x100 x199 ~x303 ~x408 x513 ~x101 x200 ~x304 ~x409 
220.97/221.69	v ~x514 ~x102 ~x201 x305 ~x410 ~x515 x103 x202 x306 x411 
220.97/221.69	v x516 ~x104 x203 x307 ~x412 x517 ~x105 x204 ~x308 x413 
220.97/221.69	v x518 ~x1 ~x106 ~x205 ~x309 x414 ~x519 ~x2 ~x107 ~x206 
220.97/221.69	v ~x310 ~x415 x520 ~x3 ~x108 x207 x311 ~x416 x521 ~x4 
220.97/221.69	v ~x109 ~x208 ~x312 x417 x522 ~x5 ~x110 ~x209 x313 ~x418 
220.97/221.69	v x523 ~x6 x111 ~x210 ~x314 x419 ~x7 ~x112 x211 ~x315 
220.97/221.69	v ~x420 x524 ~x8 ~x113 x212 ~x316 x421 x525 ~x9 ~x114 
220.97/221.69	v ~x213 ~x317 x422 ~x526 ~x10 ~x115 x214 x318 x423 ~x527 
220.97/221.69	v ~x11 x116 ~x215 x319 x424 ~x528 ~x12 x117 x216 x320 
220.97/221.69	v x425 ~x529 ~x13 ~x118 x217 ~x321 x426 x530 ~x14 ~x119 
220.97/221.69	v x218 x322 x427 x531 ~x15 ~x120 ~x219 x323 x428 ~x532 
220.97/221.69	v ~x16 ~x121 x220 x324 ~x429 ~x533 ~x17 ~x122 x221 ~x325 
220.97/221.69	v x430 ~x534 ~x18 x123 ~x222 x326 x431 ~x535 ~x19 ~x124 
220.97/221.69	v ~x223 x327 ~x432 ~x536 ~x20 ~x125 ~x224 ~x328 x433 ~x537 
220.97/221.69	v ~x21 ~x126 x225 ~x329 x434 ~x538 ~x22 x127 ~x226 ~x330 
220.97/221.69	v x435 x539 ~x23 ~x128 x227 ~x331 ~x436 ~x540 ~x24 ~x129 
220.97/221.69	v ~x228 ~x332 ~x437 x541 ~x25 ~x130 ~x229 x333 x438 x542 
220.97/221.69	v ~x26 ~x131 x230 x334 ~x439 x543 ~x27 ~x132 ~x231 x335 
220.97/221.69	v ~x440 x544 x28 ~x133 ~x232 x336 ~x441 x545 ~x29 ~x134 
220.97/221.69	v ~x233 ~x337 ~x442 ~x546 ~x30 ~x135 x234 x338 x443 x547 
220.97/221.69	v ~x31 ~x136 x235 ~x339 x444 ~x548 ~x32 ~x137 x236 x340 
220.97/221.69	v x445 ~x549 ~x33 ~x138 ~x237 x341 x446 x550 ~x34 x139 
220.97/221.69	v x238 x342 ~x447 ~x551 ~x35 ~x140 ~x239 ~x343 ~x448 x552 
220.97/221.69	v ~x36 ~x141 ~x240 x344 ~x449 x553 ~x37 ~x142 ~x241 ~x345 
220.97/221.69	v x450 x554 ~x38 x143 x242 x346 ~x451 x555 ~x39 ~x144 
220.97/221.69	v x243 x347 x452 ~x556 ~x40 ~x145 x244 ~x348 x453 ~x557 
220.97/221.69	v ~x41 ~x146 ~x245 ~x349 x454 ~x558 ~x42 ~x147 ~x246 ~x350 
220.97/221.69	v x455 ~x559 ~x43 ~x148 x247 ~x351 ~x456 x560 ~x44 ~x149 
220.97/221.69	v x248 ~x352 x457 ~x561 ~x45 x150 ~x249 x353 ~x458 ~x562 
220.97/221.69	v ~x46 ~x151 x250 x354 x459 x563 ~x47 ~x152 ~x251 ~x355 
220.97/221.69	v x460 x564 ~x48 ~x153 ~x252 x356 x461 ~x565 ~x49 ~x154 
220.97/221.69	v ~x253 x357 x462 ~x566 ~x50 ~x155 ~x254 ~x358 ~x463 ~x567 
220.97/221.69	v ~x51 ~x156 ~x255 x359 ~x464 x568 ~x52 ~x157 x256 ~x360 
220.97/221.69	v ~x465 x569 ~x53 ~x158 x257 x361 ~x466 ~x570 ~x54 ~x159 
220.97/221.69	v ~x258 x362 ~x467 ~x571 ~x55 ~x160 ~x259 x363 ~x468 x572 
220.97/221.69	v ~x56 ~x161 ~x260 x364 x469 ~x573 ~x57 ~x162 ~x365 ~x470 
220.97/221.69	v x574 ~x58 ~x163 ~x261 x366 x471 x575 ~x59 ~x164 x262 
220.97/221.69	v x367 ~x472 ~x576 ~x60 ~x165 ~x263 x368 ~x473 ~x577 ~x61 
220.97/221.69	v ~x166 ~x264 x369 ~x474

Verifier Data 

FAILED
ERROR: unsatisfied constraint on line 44
	1=0

Falsified constraint is:
-1*x231[=0] +1*~x232[=1]*~x226[=1]*~x221[=0]*x233[=0]+1*~x233[=1]*~x232[=1]*~x226[=1]*x221[=1]+1*~x233[=1]*~x232[=1]*~x221[=0]*x226[=0]+1*~x232[=1]*x221[=1]*x226[=0]*x233[=0]+1*~x233[=1]*~x226[=1]*~x221[=0]*x232[=0]+1*~x226[=1]*x221[=1]*x232[=0]*x233[=0]+1*~x221[=0]*x226[=0]*x232[=0]*x233[=0]+1*~x233[=1]*x221[=1]*x226[=0]*x232[=0]= 0

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: 63665 MiB (62929 MiB free)
  memory of node 1: 64507 MiB (63020 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502261-1751275734/watcher-4502261-1751275734 -o /tmp/evaluation-result-4502261-1751275734/solver-4502261-1751275734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751275734-38199 --watchdog 3760 pb_picat HOME/instance-4502261-1751275734.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=38250, runsolver pid=38241
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 1.16 2.30 3.32 6/264 38259
/proc/meminfo: memFree=128907236/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2035576 memory=40312 CPUtime=0.09 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 1411 0 0 0 8 1 0 0 20 0 1 0 43251193 2084429824 10078 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 508894 10078 1696 343 0 505958 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2035576 KiB
Current children cumulated memory: 40312 KiB

[startup+0.205602 s]*
/proc/loadavg: 1.16 2.30 3.32 6/264 38259
/proc/meminfo: memFree=128869448/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2070848 memory=68048 CPUtime=0.19 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 6537 0 0 0 18 1 0 0 20 0 1 0 43251193 2120548352 17012 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 517712 17012 1760 343 0 514776 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2070848 KiB
Current children cumulated memory: 68048 KiB

[startup+0.305474 s]*
/proc/loadavg: 1.16 2.30 3.32 6/264 38259
/proc/meminfo: memFree=128808076/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2106304 memory=98692 CPUtime=0.29 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 8703 0 0 0 27 2 0 0 20 0 1 0 43251193 2156855296 24673 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 526576 24673 1760 343 0 523640 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2106304 KiB
Current children cumulated memory: 98692 KiB

[startup+0.700171 s]
/proc/loadavg: 1.16 2.30 3.32 6/264 38259
/proc/meminfo: memFree=128771592/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2108352 memory=105660 CPUtime=0.67 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 12262 0 0 0 64 3 0 0 20 0 1 0 43251193 2158952448 26415 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 527088 26415 1760 343 0 524152 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2108352 KiB
Current children cumulated memory: 105660 KiB

[startup+1.50017 s]
/proc/loadavg: 1.16 2.30 3.32 6/264 38259
/proc/meminfo: memFree=128765512/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2141120 memory=116092 CPUtime=1.48 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 12830 0 0 0 144 4 0 0 20 0 1 0 43251193 2192506880 29023 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 535280 29023 1760 343 0 532344 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2141120 KiB
Current children cumulated memory: 116092 KiB

[startup+3.10549 s]
/proc/loadavg: 1.16 2.30 3.32 6/264 38259
/proc/meminfo: memFree=128716580/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2141120 memory=128628 CPUtime=3.08 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 17577 0 0 0 302 6 0 0 20 0 1 0 43251193 2192506880 32157 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 535280 32157 1760 343 0 532344 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2141120 KiB
Current children cumulated memory: 128628 KiB

[startup+6.30016 s]
/proc/loadavg: 1.39 2.33 3.32 6/264 38259
/proc/meminfo: memFree=128737740/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2145996 memory=123472 CPUtime=6.27 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 25095 0 0 0 618 9 0 0 20 0 1 0 43251193 2197499904 30868 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 536499 30868 1760 343 0 533563 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2145996 KiB
Current children cumulated memory: 123472 KiB

[startup+12.7002 s]
/proc/loadavg: 1.60 2.36 3.33 6/264 38259
/proc/meminfo: memFree=128726092/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2149528 memory=139060 CPUtime=12.64 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 38812 0 0 0 1250 14 0 0 20 0 1 0 43251193 2201116672 34765 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 537382 34765 1760 343 0 534446 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2149528 KiB
Current children cumulated memory: 139060 KiB

[startup+25.5002 s]
/proc/loadavg: 2.20 2.46 3.35 6/264 38259
/proc/meminfo: memFree=128748648/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2092184 memory=99768 CPUtime=25.41 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 54991 0 0 0 2519 22 0 0 20 0 1 0 43251193 2142396416 24942 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 523046 24942 1760 343 0 520110 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2092184 KiB
Current children cumulated memory: 99768 KiB

[startup+51.1054 s]
/proc/loadavg: 2.81 2.58 3.36 6/264 38260
/proc/meminfo: memFree=128705000/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2117032 memory=110040 CPUtime=50.94 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 87685 0 0 0 5057 37 0 0 20 0 1 0 43251193 2167840768 27510 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 529258 27510 1760 343 0 526322 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2117032 KiB
Current children cumulated memory: 110040 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.82 3.40 6/264 38306
/proc/meminfo: memFree=128744052/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2068140 memory=83668 CPUtime=102 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 142671 0 0 0 10144 56 0 0 20 0 1 0 43251193 2117775360 20917 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 517035 20917 1760 343 0 514099 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2068140 KiB
Current children cumulated memory: 83668 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.06 3.46 6/265 38309
/proc/meminfo: memFree=128772136/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2086556 memory=88896 CPUtime=161.83 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 220622 0 0 0 16097 86 0 0 20 0 1 0 43251193 2136633344 22224 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 521639 22224 1760 343 0 518703 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2086556 KiB
Current children cumulated memory: 88896 KiB

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

# cumulated CPU time of all completed processes:  user=220.014 s, system=1.06594 s

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

[startup+179.2 s]
/proc/loadavg: 3.94 3.11 3.46 6/265 38310
/proc/meminfo: memFree=128750456/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2070172 memory=83284 CPUtime=178.69 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 232357 0 0 0 17779 90 0 0 20 0 1 0 43251193 2119856128 20821 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 517543 20821 1760 343 0 514607 0
Current children cumulated CPU time: 178.69 s
Current children cumulated vsize: 2070172 KiB
Current children cumulated memory: 83284 KiB

[startup+204.8 s]
/proc/loadavg: 3.96 3.18 3.48 6/265 38310
/proc/meminfo: memFree=128716308/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2119192 memory=125912 CPUtime=204.21 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 263647 0 0 0 20319 102 0 0 20 0 1 0 43251193 2170052608 31478 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 529798 31478 1760 343 0 526862 0
Current children cumulated CPU time: 204.21 s
Current children cumulated vsize: 2119192 KiB
Current children cumulated memory: 125912 KiB

[startup+211.2 s]
/proc/loadavg: 3.97 3.21 3.49 6/265 38311
/proc/meminfo: memFree=128774084/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2086424 memory=91096 CPUtime=210.6 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 268260 0 0 0 20956 104 0 0 20 0 1 0 43251193 2136498176 22774 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 521606 22774 1760 343 0 518670 0
Current children cumulated CPU time: 210.6 s
Current children cumulated vsize: 2086424 KiB
Current children cumulated memory: 91096 KiB

[startup+217.6 s]
/proc/loadavg: 3.97 3.22 3.49 6/265 38311
/proc/meminfo: memFree=128774400/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2072088 memory=81596 CPUtime=216.98 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 272131 0 0 0 21593 105 0 0 20 0 1 0 43251193 2121818112 20399 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 518022 20399 1760 343 0 515086 0
Current children cumulated CPU time: 216.98 s
Current children cumulated vsize: 2072088 KiB
Current children cumulated memory: 81596 KiB

[startup+219.2 s]
/proc/loadavg: 3.97 3.22 3.49 6/265 38311
/proc/meminfo: memFree=128764028/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2070040 memory=80376 CPUtime=218.57 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 274083 0 0 0 21752 105 0 0 20 0 1 0 43251193 2119720960 20094 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 517510 20094 1760 343 0 514574 0
Current children cumulated CPU time: 218.57 s
Current children cumulated vsize: 2070040 KiB
Current children cumulated memory: 80376 KiB

[startup+220.8 s]
/proc/loadavg: 3.97 3.24 3.49 6/265 38311
/proc/meminfo: memFree=128733532/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2078232 memory=84824 CPUtime=220.17 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 275672 0 0 0 21911 106 0 0 20 0 1 0 43251193 2128109568 21206 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 519558 21206 1760 343 0 516622 0
Current children cumulated CPU time: 220.17 s
Current children cumulated vsize: 2078232 KiB
Current children cumulated memory: 84824 KiB

[startup+221.2 s]
/proc/loadavg: 3.97 3.24 3.49 6/265 38311
/proc/meminfo: memFree=128745820/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2078232 memory=85976 CPUtime=220.57 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 275965 0 0 0 21951 106 0 0 20 0 1 0 43251193 2128109568 21494 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 519558 21494 1760 343 0 516622 0
Current children cumulated CPU time: 220.57 s
Current children cumulated vsize: 2078232 KiB
Current children cumulated memory: 85976 KiB

[startup+221.6 s]
/proc/loadavg: 3.97 3.24 3.49 6/265 38311
/proc/meminfo: memFree=128745820/131249996 swapFree=33010684/33010684
[pid=38250] ppid=38241 vsize=2065944 memory=81124 CPUtime=220.97 cores=0,2
/proc/38250/stat : 38250 (pb_picat) R 38241 38250 37143 0 -1 4194304 276389 0 0 0 21991 106 0 0 20 0 1 0 43251193 2115526656 20281 18446744073709551615 94746536357888 94746537759469 140726304037248 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94746538030896 94746539905200 94746569723904 140726304041374 140726304041450 140726304041450 140726304047052 0
/proc/38250/statm: 516486 20281 1760 343 0 513550 0
Current children cumulated CPU time: 220.97 s
Current children cumulated vsize: 2065944 KiB
Current children cumulated memory: 81124 KiB

Child status: 0

Real time (s): 221.7
CPU time (s): 221.08
CPU user time (s): 220.014
CPU system time (s): 1.06594
CPU usage (%): 99.7205
Max. virtual memory (cumulated for all children) (KiB): 2152092
Max. memory (cumulated for all children) (KiB): 148572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 220.014
system time used= 1.06594
maximum resident set size= 178432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276431
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= 118
involuntary context switches= 495


# summary of solver processes directly reported to runsolver:
#   pid: 38250
#   total CPU time (s): 221.08
#   total CPU user time (s): 220.014
#   total CPU system time (s): 1.06594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.454683 second user time and 0.974517 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 11:28:54
IDJOB=4502261
IDBENCH=155311
IDSOLVER=3346
FILE ID=nodeC022/4502261-1751275734
RUNJOBID= nodeC022-1751275734-38199
SLURM_JOB_ID= 9594189
Free space on /tmp= 433064 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502261-1751275734/watcher-4502261-1751275734 -o /tmp/evaluation-result-4502261-1751275734/solver-4502261-1751275734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751275734-38199 --watchdog 3760  pb_picat HOME/instance-4502261-1751275734.opb

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

MD5SUM BENCH= dd402b2688f2af05a1e1d750cfef6b8d
RANDOM SEED=1927363904

nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.710
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.935
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3598.074
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3598.276
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.812
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3598.359
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.711
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.707
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128972452 kB
MemAvailable:   129706444 kB
Buffers:            3280 kB
Cached:          1537292 kB
SwapCached:            0 kB
Active:           315828 kB
Inactive:        1288948 kB
Active(anon):      82264 kB
Inactive(anon):        0 kB
Active(file):     233564 kB
Inactive(file):  1288948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14756 kB
Writeback:             0 kB
AnonPages:         67432 kB
Mapped:           102524 kB
Shmem:             18060 kB
KReclaimable:     101040 kB
Slab:             187924 kB
SReclaimable:     101040 kB
SUnreclaim:        86884 kB
KernelStack:        4112 kB
PageTables:         2876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC022 at 2025-06-30 11:32:36