Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OR-Tools CP-SAT 9.14 | SAT (TO) | -34 | 3600.14 | 1811.81 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
| MD5SUM | d08022a8f602c12904bf031cb8221b8f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -35 |
| Best CPU time to get the best result obtained on this benchmark | 5.01443 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 595 |
| Total number of constraints | 27847 |
| Number of constraints which are clauses | 27847 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 595 |
| 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 | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.32/0.32 o 0 0.51/0.49 o -25 0.70/0.60 o -27 0.89/0.69 o -29 9.42/4.91 o -30 13.40/6.92 o -31 30.10/15.31 o -32 64.68/32.79 o -33 3103.44/1561.88 o -34 3600.11/1811.80 s SATISFIABLE 3600.11/1811.80 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 3600.11/1811.80 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 3600.11/1811.80 v -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 3600.11/1811.80 v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 3600.11/1811.80 v -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 3600.11/1811.80 v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 3600.11/1811.80 v -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 3600.11/1811.80 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 x120 -x121 -x122 -x123 3600.11/1811.80 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 3600.11/1811.80 v -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 3600.11/1811.80 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 3600.11/1811.80 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 3600.11/1811.80 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 3600.11/1811.80 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 3600.11/1811.80 v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 3600.11/1811.80 v x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 3600.11/1811.80 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 x239 -x240 3600.11/1811.80 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 3600.11/1811.80 v -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 3600.11/1811.80 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 3600.11/1811.80 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 3600.11/1811.80 v -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 3600.11/1811.80 v -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 3600.11/1811.80 v -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 3600.11/1811.80 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 3600.11/1811.80 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 3600.11/1811.80 v -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 3600.11/1811.80 v -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 3600.11/1811.80 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 3600.11/1811.80 v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 3600.11/1811.80 v -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 3600.11/1811.80 v x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 3600.11/1811.80 v x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 3600.11/1811.80 v -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 3600.11/1811.80 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 3600.11/1811.80 v x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 3600.11/1811.80 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 3600.11/1811.80 v -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 3600.11/1811.80 v -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 3600.11/1811.80 v -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 3600.11/1811.80 v -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 3600.11/1811.80 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 3600.11/1811.80 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 3600.11/1811.80 v -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 3600.11/1811.80 v -x592 -x593 -x594 -x595
OK -34
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 (62982 MiB free)
memory of node 1: 64507 MiB (63381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485064-1751313715/watcher-4485064-1751313715 -o /tmp/evaluation-result-4485064-1751313715/solver-4485064-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751313715-47855 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:40033737 --competition_mode --input HOME/instance-4485064-1751313715.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47905, runsolver pid=47896
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.63 3.39 3.85 6/265 47914
/proc/meminfo: memFree=129323824/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=30260 memory=25648 CPUtime=0.09 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) R 47896 47905 47844 0 -1 4194304 5746 0 0 0 9 0 0 0 20 0 1 0 47049401 30986240 6412 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 7565 6412 1504 2102 0 5105 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30260 KiB
Current children cumulated memory: 25648 KiB
[startup+0.205415 s]*
/proc/loadavg: 1.98 3.43 3.86 6/265 47914
/proc/meminfo: memFree=129283756/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=35872 memory=32048 CPUtime=0.18 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) R 47896 47905 47844 0 -1 4194304 7022 0 0 0 18 0 0 0 20 0 1 0 47049401 36732928 8012 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 8968 8012 1856 2102 0 6508 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35872 KiB
Current children cumulated memory: 32048 KiB
[startup+0.305651 s]*
/proc/loadavg: 1.98 3.43 3.86 9/271 47920
/proc/meminfo: memFree=129281752/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=36016 CPUtime=0.32 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 7981 0 0 0 31 1 0 0 20 0 3 0 47049401 187801600 9004 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 9004 1920 2102 0 11607 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=-8183426960328661446 CPUtime=0.03 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 441 0 0 0 3 0 0 0 20 0 3 0 47049429 187801600 9004 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=0 CPUtime=0.02 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 416 0 0 0 2 0 0 0 20 0 3 0 47049429 187801600 9004 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 36016 KiB
[startup+0.700167 s]
/proc/loadavg: 1.98 3.43 3.86 9/271 47920
/proc/meminfo: memFree=129251336/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=49636 CPUtime=1.07 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 10968 0 0 0 106 1 0 0 20 0 3 0 47049401 187801600 12409 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 12409 2144 2102 0 17019 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=17920 CPUtime=0.41 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 1818 0 0 0 41 0 0 0 20 0 3 0 47049429 187801600 12409 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=60169173 CPUtime=0.39 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 2026 0 0 0 39 0 0 0 20 0 3 0 47049429 187801600 12409 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 49636 KiB
[startup+1.50017 s]
/proc/loadavg: 1.98 3.43 3.86 10/273 47922
/proc/meminfo: memFree=129223788/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=56312 CPUtime=2.67 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 13184 0 0 0 265 2 0 0 20 0 3 0 47049401 187801600 14078 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 14078 2144 2102 0 17146 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=60169173 CPUtime=1.2 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 2303 0 0 0 120 0 0 0 20 0 3 0 47049429 187801600 14078 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=17920 CPUtime=1.18 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 3717 0 0 0 118 0 0 0 20 0 3 0 47049429 187801600 14078 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 56312 KiB
[startup+3.10518 s]
/proc/loadavg: 1.98 3.43 3.86 10/273 47922
/proc/meminfo: memFree=129200252/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=66920 CPUtime=5.86 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 17013 0 0 0 584 2 0 0 20 0 3 0 47049401 187801600 16730 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 16730 2144 2102 0 21119 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=0 CPUtime=2.8 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 4626 0 0 0 280 0 0 0 20 0 3 0 47049429 187801600 16730 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=14848 CPUtime=2.77 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 5218 0 0 0 277 0 0 0 20 0 3 0 47049429 187801600 16730 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 66920 KiB
[startup+6.30016 s]
/proc/loadavg: 2.47 3.51 3.88 10/273 47922
/proc/meminfo: memFree=129186432/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=68712 CPUtime=12.21 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 24675 0 0 0 1218 3 0 0 20 0 3 0 47049401 187801600 17178 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 17178 2144 2102 0 21631 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=0 CPUtime=5.99 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 7880 0 0 0 598 1 0 0 20 0 3 0 47049429 187801600 17178 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=14848 CPUtime=5.94 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 9550 0 0 0 594 0 0 0 20 0 3 0 47049429 187801600 17178 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 68712 KiB
[startup+12.7002 s]
/proc/loadavg: 2.99 3.60 3.91 10/273 47922
/proc/meminfo: memFree=129174588/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=69608 CPUtime=24.93 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 30891 0 0 0 2489 4 0 0 20 0 3 0 47049401 187801600 17402 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 17402 2144 2102 0 21887 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=69608 CPUtime=12.37 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 11256 0 0 0 1235 2 0 0 20 0 3 0 47049429 187801600 17402 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=0 CPUtime=12.29 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 12345 0 0 0 1228 1 0 0 20 0 3 0 47049429 187801600 17402 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 24.93 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 69608 KiB
[startup+25.5002 s]
/proc/loadavg: 3.83 3.76 3.96 10/273 47922
/proc/meminfo: memFree=129173968/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=70248 CPUtime=50.37 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 31397 0 0 0 5033 4 0 0 20 0 3 0 47049401 187801600 17562 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 17562 2144 2102 0 21887 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=70248 CPUtime=25.12 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 11607 0 0 0 2510 2 0 0 20 0 3 0 47049429 187801600 17562 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=14848 CPUtime=24.97 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 12495 0 0 0 2496 1 0 0 20 0 3 0 47049429 187801600 17562 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 50.37 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 70248 KiB
[startup+51.1052 s]
/proc/loadavg: 5.48 4.16 4.09 10/273 47923
/proc/meminfo: memFree=129167736/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=71144 CPUtime=101.25 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 41113 0 0 0 10119 6 0 0 20 0 3 0 47049401 187801600 17786 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 17786 2144 2102 0 22082 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=70248 CPUtime=50.61 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 16300 0 0 0 5059 2 0 0 20 0 3 0 47049429 187801600 17786 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=70376 CPUtime=50.34 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 17434 0 0 0 5033 1 0 0 20 0 3 0 47049429 187801600 17786 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 101.25 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 71144 KiB
[startup+102.3 s]
/proc/loadavg: 6.95 4.77 4.30 10/273 47926
/proc/meminfo: memFree=129122140/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=81052 CPUtime=202.99 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 52147 0 0 0 20290 9 0 0 20 0 3 0 47049401 187801600 20263 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 20263 2144 2102 0 24059 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=81052 CPUtime=101.61 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 19365 0 0 0 10158 3 0 0 20 0 3 0 47049429 187801600 20263 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=5632 CPUtime=101.07 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 25310 0 0 0 10104 3 0 0 20 0 3 0 47049429 187801600 20263 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 202.99 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 81052 KiB
[startup+162.3 s]
/proc/loadavg: 7.76 5.41 4.55 10/273 47928
/proc/meminfo: memFree=129074392/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=86684 CPUtime=322.24 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 61179 0 0 0 32213 11 0 0 20 0 3 0 47049401 187801600 21671 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 21671 2144 2102 0 24367 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=81052 CPUtime=161.39 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 21946 0 0 0 16135 4 0 0 20 0 3 0 47049429 187801600 21671 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=70248 CPUtime=160.53 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 31714 0 0 0 16049 4 0 0 20 0 3 0 47049429 187801600 21671 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 322.24 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 86684 KiB
[startup+222.3 s]
/proc/loadavg: 7.91 5.88 4.77 10/273 47930
/proc/meminfo: memFree=129037512/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=90652 CPUtime=441.51 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 63401 0 0 0 44136 15 0 0 20 0 3 0 47049401 187801600 22663 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
################
# More data... #
################
Current children cumulated memory: 103008 KiB
[startup+1302.3 s]
/proc/loadavg: 8.10 8.07 7.12 9/273 48076
/proc/meminfo: memFree=128811420/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=2587.88 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 73652 0 0 0 258737 51 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1297.78 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24015 0 0 0 129750 28 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=14848 CPUtime=1289.45 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 41997 0 0 0 128935 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 2587.88 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
[startup+1362.3 s]
/proc/loadavg: 8.13 8.09 7.19 9/274 48079
/proc/meminfo: memFree=128803876/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=2707.09 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 73652 0 0 0 270655 54 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1357.6 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24015 0 0 0 135730 30 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=103008 CPUtime=1348.82 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 41997 0 0 0 134872 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 2707.09 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
[startup+1422.3 s]
/proc/loadavg: 8.10 8.09 7.25 9/274 48082
/proc/meminfo: memFree=128783420/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=2826.29 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 74402 0 0 0 282573 56 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1417.41 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24352 0 0 0 141710 31 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=103008 CPUtime=1408.19 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 42394 0 0 0 140809 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 2826.29 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
[startup+1482.3 s]
/proc/loadavg: 8.22 8.12 7.31 9/273 48084
/proc/meminfo: memFree=128781212/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=2945.51 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 74415 0 0 0 294493 58 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1477.23 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24353 0 0 0 147691 32 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=103008 CPUtime=1467.57 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 42403 0 0 0 146747 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 2945.51 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
[startup+1542.3 s]
/proc/loadavg: 8.17 8.12 7.37 9/272 48086
/proc/meminfo: memFree=128788816/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=3064.7 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 74427 0 0 0 306410 60 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1537.04 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24353 0 0 0 153670 34 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=17920 CPUtime=1526.94 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 42415 0 0 0 152684 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 3064.7 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
[startup+1602.3 s]
/proc/loadavg: 8.11 8.11 7.42 9/272 48088
/proc/meminfo: memFree=128789176/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=3183.91 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 74865 0 0 0 318328 63 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1596.86 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24691 0 0 0 159651 35 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=14848 CPUtime=1586.31 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 42500 0 0 0 158621 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 3183.91 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
[startup+1662.3 s]
/proc/loadavg: 8.15 8.12 7.47 9/272 48091
/proc/meminfo: memFree=128789356/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=3303.1 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 74877 0 0 0 330247 63 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1656.68 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24691 0 0 0 165632 36 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=103008 CPUtime=1645.68 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 42511 0 0 0 164558 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 3303.1 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
[startup+1722.3 s]
/proc/loadavg: 8.11 8.11 7.51 9/272 48094
/proc/meminfo: memFree=128789024/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=3422.31 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 74880 0 0 0 342166 65 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1716.49 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24691 0 0 0 171612 37 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=103008 CPUtime=1705.05 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 42514 0 0 0 170495 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 3422.31 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
[startup+1782.3 s]
/proc/loadavg: 8.12 8.11 7.55 9/272 48097
/proc/meminfo: memFree=128790368/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=3541.52 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 74886 0 0 0 354086 66 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=103008 CPUtime=1776.31 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24697 0 0 0 177593 38 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=103008 CPUtime=1764.42 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 42514 0 0 0 176432 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 3541.52 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.8 s]
/proc/loadavg: 8.07 8.09 7.56 9/272 48097
/proc/meminfo: memFree=128790244/131249996 swapFree=33010684/33010684
[pid=47905] ppid=47896 vsize=183400 memory=103008 CPUtime=3600.11 cores=4,6
/proc/47905/stat : 47905 (cp-sat-runner) S 47896 47905 47844 0 -1 4194304 74891 0 0 0 359944 67 0 0 20 0 3 0 47049401 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
/proc/47905/statm: 45850 25752 2144 2102 0 28102 0
[pid=47905/tid=47917] ppid=47896 vsize=183400 memory=-8183428059840288455 CPUtime=1805.71 cores=4,6
/proc/47905/task/47917/stat : 47917 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 24702 0 0 0 180532 39 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
[pid=47905/tid=47918] ppid=47896 vsize=183400 memory=4380 CPUtime=1793.62 cores=4,6
/proc/47905/task/47918/stat : 47918 (cp-sat-runner) R 47896 47905 47844 0 -1 4194368 42514 0 0 0 179352 10 0 0 20 0 3 0 47049429 187801600 25752 18446744073709551615 4198400 12805993 140733688401392 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31563776 140733688404250 140733688404453 140733688404453 140733688410055 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 183400 KiB
Current children cumulated memory: 103008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1811.81 s]
# the end of solver process 47905 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.46 s, system=0.681643 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1811.81
CPU time (s): 3600.14
CPU user time (s): 3599.46
CPU system time (s): 0.681643
CPU usage (%): 198.704
Max. virtual memory (cumulated for all children) (KiB): 194396
Max. memory (cumulated for all children) (KiB): 103008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.681643
maximum resident set size= 103136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74895
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= 28145
involuntary context switches= 127767
# summary of solver processes directly reported to runsolver:
# pid: 47905
# total CPU time (s): 3600.14
# total CPU user time (s): 3599.46
# total CPU system time (s): 0.681643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80152 second user time and 7.65759 second system time
The end
Begin job on nodeC024 at 2025-06-30 22:01:55 IDJOB=4485064 IDBENCH=146693 IDSOLVER=3320 FILE ID=nodeC024/4485064-1751313715 RUNJOBID= nodeC024-1751313715-47855 SLURM_JOB_ID= 9594318 Free space on /tmp= 433060 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485064-1751313715/watcher-4485064-1751313715 -o /tmp/evaluation-result-4485064-1751313715/solver-4485064-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751313715-47855 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:40033737 --competition_mode --input HOME/instance-4485064-1751313715.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d08022a8f602c12904bf031cb8221b8f RANDOM SEED=40033737 nodeC024 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 : 3598.766 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.36 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.630 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.36 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 : 3599.700 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.36 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 : 3602.005 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.36 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 : 3852.499 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.36 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 : 3606.177 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.36 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.650 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.36 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.672 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129400560 kB MemAvailable: 129753176 kB Buffers: 3280 kB Cached: 1158504 kB SwapCached: 0 kB Active: 321696 kB Inactive: 903020 kB Active(anon): 80996 kB Inactive(anon): 0 kB Active(file): 240700 kB Inactive(file): 903020 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 52488 kB Writeback: 0 kB AnonPages: 66116 kB Mapped: 102648 kB Shmem: 18064 kB KReclaimable: 95872 kB Slab: 182596 kB SReclaimable: 95872 kB SUnreclaim: 86724 kB KernelStack: 4024 kB PageTables: 2348 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 329408 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 433008 MiB End job on nodeC024 at 2025-06-30 22:32:07