Trace number 4502274

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. 239.386 240.041

General information on the benchmark

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

Verifier Data 

FAILED
ERROR: unsatisfied constraint on line 42
	1=0

Falsified constraint is:
-1*x222[=0] +1*~x223[=1]*~x224[=0]*~x216[=0]*x225[=1]+1*~x225[=0]*~x223[=1]*~x216[=0]*x224[=1]+1*~x225[=0]*~x223[=1]*~x224[=0]*x216[=1]+1*~x223[=1]*x216[=1]*x224[=1]*x225[=1]+1*~x225[=0]*~x224[=0]*~x216[=0]*x223[=0]+1*~x216[=0]*x224[=1]*x223[=0]*x225[=1]+1*~x224[=0]*x216[=1]*x223[=0]*x225[=1]+1*~x225[=0]*x216[=1]*x224[=1]*x223[=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 (62820 MiB free)
  memory of node 1: 64507 MiB (62983 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=38305, runsolver pid=38302

[startup+0.100067 s]*
/proc/loadavg: 3.39 2.75 3.39 5/264 38306
/proc/meminfo: memFree=128798604/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2035964 memory=40568 CPUtime=0.08 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 1462 0 0 0 8 0 0 0 20 0 1 0 43259869 2084827136 10142 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 508991 10142 1728 343 0 506055 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2035964 KiB
Current children cumulated memory: 40568 KiB

[startup+0.20583 s]*
/proc/loadavg: 3.39 2.75 3.39 5/264 38306
/proc/meminfo: memFree=128772268/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2070848 memory=70012 CPUtime=0.19 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 7176 0 0 0 18 1 0 0 20 0 1 0 43259869 2120548352 17503 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 517712 17503 1728 343 0 514776 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2070848 KiB
Current children cumulated memory: 70012 KiB

[startup+0.30559 s]*
/proc/loadavg: 3.39 2.75 3.39 5/264 38306
/proc/meminfo: memFree=128740196/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2106304 memory=96592 CPUtime=0.29 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 9920 0 0 0 27 2 0 0 20 0 1 0 43259869 2156855296 24148 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 526576 24148 1728 343 0 523640 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2106304 KiB
Current children cumulated memory: 96592 KiB

[startup+0.700171 s]
/proc/loadavg: 3.39 2.75 3.39 5/264 38306
/proc/meminfo: memFree=128727908/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2108352 memory=107512 CPUtime=0.68 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 13359 0 0 0 64 4 0 0 20 0 1 0 43259869 2158952448 26878 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 527088 26878 1728 343 0 524152 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2108352 KiB
Current children cumulated memory: 107512 KiB

[startup+1.50018 s]
/proc/loadavg: 3.39 2.75 3.39 5/264 38306
/proc/meminfo: memFree=128726144/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2141120 memory=117856 CPUtime=1.48 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 13914 0 0 0 143 5 0 0 20 0 1 0 43259869 2192506880 29464 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 535280 29464 1728 343 0 532344 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2141120 KiB
Current children cumulated memory: 117856 KiB

[startup+3.10546 s]
/proc/loadavg: 3.44 2.78 3.40 5/264 38306
/proc/meminfo: memFree=128707844/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2146720 memory=132496 CPUtime=3.08 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 18955 0 0 0 302 6 0 0 20 0 1 0 43259869 2198241280 33124 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 536680 33124 1728 343 0 533744 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2146720 KiB
Current children cumulated memory: 132496 KiB

[startup+6.30015 s]
/proc/loadavg: 3.44 2.78 3.40 5/264 38306
/proc/meminfo: memFree=128740316/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2146016 memory=125020 CPUtime=6.26 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 24341 0 0 0 618 8 0 0 20 0 1 0 43259869 2197520384 31255 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 536504 31255 1728 343 0 533568 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2146016 KiB
Current children cumulated memory: 125020 KiB

[startup+12.7002 s]
/proc/loadavg: 3.49 2.80 3.40 5/264 38306
/proc/meminfo: memFree=128741588/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2117000 memory=114640 CPUtime=12.65 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 36721 0 0 0 1252 13 0 0 20 0 1 0 43259869 2167808000 28660 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 529250 28660 1728 343 0 526314 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2117000 KiB
Current children cumulated memory: 114640 KiB

[startup+25.5002 s]
/proc/loadavg: 3.67 2.87 3.42 5/265 38308
/proc/meminfo: memFree=128721164/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2076040 memory=77776 CPUtime=25.43 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 52124 0 0 0 2523 20 0 0 20 0 1 0 43259869 2125864960 19444 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 519010 19444 1728 343 0 516074 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2076040 KiB
Current children cumulated memory: 77776 KiB

[startup+51.1056 s]
/proc/loadavg: 3.79 2.96 3.43 5/265 38308
/proc/meminfo: memFree=128740216/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2100700 memory=100216 CPUtime=50.96 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 90684 0 0 0 5063 33 0 0 20 0 1 0 43259869 2151116800 25054 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 525175 25054 1728 343 0 522239 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2100700 KiB
Current children cumulated memory: 100216 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.14 3.47 5/265 38310
/proc/meminfo: memFree=128738884/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2084360 memory=81992 CPUtime=102.03 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 146683 0 0 0 10150 53 0 0 20 0 1 0 43259869 2134384640 20498 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 521090 20498 1728 343 0 518154 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2084360 KiB
Current children cumulated memory: 81992 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.32 3.51 5/266 38358
/proc/meminfo: memFree=128296140/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2068464 memory=71868 CPUtime=161.87 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 221203 0 0 0 16099 88 0 0 20 0 1 0 43259869 2118107136 17967 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 517116 17967 1728 343 0 514180 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2068464 KiB
Current children cumulated memory: 71868 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.47 3.56 5/265 38360
/proc/meminfo: memFree=128288412/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2068804 memory=75756 CPUtime=221.68 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 276691 0 0 0 22057 111 0 0 20 0 1 0 43259869 2118455296 18939 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 517201 18939 1728 343 0 514265 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2068804 KiB
Current children cumulated memory: 75756 KiB

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

# cumulated CPU time of all completed processes:  user=238.237 s, system=1.14953 s

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

[startup+230.4 s]
/proc/loadavg: 4.08 3.49 3.56 5/265 38360
/proc/meminfo: memFree=128263144/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2064708 memory=72784 CPUtime=229.77 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 280874 0 0 0 22864 113 0 0 20 0 1 0 43259869 2114260992 18164 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 516177 18196 1728 343 0 513241 0
Current children cumulated CPU time: 229.77 s
Current children cumulated vsize: 2064708 KiB
Current children cumulated memory: 72784 KiB

[startup+236.8 s]
/proc/loadavg: 4.16 3.51 3.57 5/265 38360
/proc/meminfo: memFree=128267888/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2068804 memory=75756 CPUtime=236.15 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 284562 0 0 0 23501 114 0 0 20 0 1 0 43259869 2118455296 18939 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 517201 18939 1728 343 0 514265 0
Current children cumulated CPU time: 236.15 s
Current children cumulated vsize: 2068804 KiB
Current children cumulated memory: 75756 KiB

[startup+238.4 s]
/proc/loadavg: 4.14 3.52 3.57 5/265 38360
/proc/meminfo: memFree=128266124/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2068804 memory=73296 CPUtime=237.74 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 285074 0 0 0 23660 114 0 0 20 0 1 0 43259869 2118455296 18324 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 517201 18324 1728 343 0 514265 0
Current children cumulated CPU time: 237.74 s
Current children cumulated vsize: 2068804 KiB
Current children cumulated memory: 73296 KiB

[startup+239.2 s]
/proc/loadavg: 4.14 3.52 3.57 5/265 38360
/proc/meminfo: memFree=128264108/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2068804 memory=73552 CPUtime=238.54 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 285157 0 0 0 23740 114 0 0 20 0 1 0 43259869 2118455296 18388 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 517201 18388 1728 343 0 514265 0
Current children cumulated CPU time: 238.54 s
Current children cumulated vsize: 2068804 KiB
Current children cumulated memory: 73552 KiB

[startup+239.6 s]
/proc/loadavg: 4.14 3.52 3.57 5/265 38360
/proc/meminfo: memFree=128264108/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2068804 memory=75756 CPUtime=238.93 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 286237 0 0 0 23779 114 0 0 20 0 1 0 43259869 2118455296 18939 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 517201 18939 1728 343 0 514265 0
Current children cumulated CPU time: 238.93 s
Current children cumulated vsize: 2068804 KiB
Current children cumulated memory: 75756 KiB

[startup+240 s]*
/proc/loadavg: 4.14 3.52 3.57 5/264 38360
/proc/meminfo: memFree=128264108/131249996 swapFree=33010684/33010684
[pid=38305] ppid=38302 vsize=2068804 memory=75756 CPUtime=239.34 cores=4,6
/proc/38305/stat : 38305 (pb_picat) R 38302 38305 37143 0 -1 4194304 286237 0 0 0 23820 114 0 0 20 0 1 0 43259869 2118455296 18939 18446744073709551615 94392386195456 94392387597037 140736345162272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94392387868464 94392389742768 94392400678912 140736345164190 140736345164266 140736345164266 140736345169868 0
/proc/38305/statm: 517201 18939 1728 343 0 514265 0
Current children cumulated CPU time: 239.34 s
Current children cumulated vsize: 2068804 KiB
Current children cumulated memory: 75756 KiB

Child status: 0

Real time (s): 240.041
CPU time (s): 239.386
CPU user time (s): 238.237
CPU system time (s): 1.14953
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 2150724
Max. memory (cumulated for all children) (KiB): 140148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.237
system time used= 1.14953
maximum resident set size= 170140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286249
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= 67
involuntary context switches= 326


# summary of solver processes directly reported to runsolver:
#   pid: 38305
#   total CPU time (s): 239.386
#   total CPU user time (s): 238.237
#   total CPU system time (s): 1.14953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.503781 second user time and 1.0656 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 11:30:21
IDJOB=4502274
IDBENCH=155312
IDSOLVER=3346
FILE ID=nodeC022/4502274-1751275821
RUNJOBID= nodeC022-1751275734-38200
SLURM_JOB_ID= 9594189
Free space on /tmp= 433052 MiB

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

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

MD5SUM BENCH= ab4c554ed2f191f485244f3b7085352c
RANDOM SEED=1406782572

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.712
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.723
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		: 3707.740
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		: 3649.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 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		: 3672.452
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		: 3599.786
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.717
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		: 3577.174
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:        128823432 kB
MemAvailable:   129558128 kB
Buffers:            3280 kB
Cached:          1537996 kB
SwapCached:            0 kB
Active:           527592 kB
Inactive:        1289636 kB
Active(anon):     294012 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1289636 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3616 kB
Writeback:             0 kB
AnonPages:        276232 kB
Mapped:           113088 kB
Shmem:             18060 kB
KReclaimable:     101040 kB
Slab:             187644 kB
SReclaimable:     101040 kB
SUnreclaim:        86604 kB
KernelStack:        4252 kB
PageTables:         3628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6639440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 433040 MiB
End job on nodeC022 at 2025-06-30 11:34:21