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) | 188 | 3600.1 | 1811.01 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
| MD5SUM | 86551de4ee1411a66be87614daaae1c0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 187 |
| Best CPU time to get the best result obtained on this benchmark | 3585.81 |
| 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 | 481 |
| Total number of constraints | 481 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 481 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 481 |
| 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 | 481 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 481 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 o 256 0.33/0.25 o 236 0.71/0.44 o 224 1.10/0.63 o 221 1.49/0.81 o 220 1.69/0.98 o 216 1.89/1.06 o 212 1.89/1.06 o 209 1.89/1.07 o 208 2.09/1.11 o 207 2.28/1.27 o 206 2.48/1.32 o 203 2.88/1.58 o 202 5.26/2.71 o 201 5.65/2.93 o 200 5.86/3.04 o 199 7.43/3.80 o 198 8.23/4.28 o 197 10.02/5.18 o 196 11.42/5.86 o 195 11.42/5.88 o 194 11.82/6.09 o 193 14.80/7.54 o 192 30.30/15.36 o 191 48.77/24.60 o 190 64.48/32.54 o 189 111.20/56.02 o 188 3600.08/1811.01 s SATISFIABLE 3600.08/1811.01 v x1 -x2 x3 -x4 x5 x6 -x7 x8 x9 -x10 -x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 3600.08/1811.01 v -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 3600.08/1811.01 v x36 -x37 -x38 -x39 x40 x41 x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 x51 -x52 3600.08/1811.01 v -x53 x54 -x55 -x56 -x57 x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 3600.08/1811.01 v x69 x70 -x71 -x72 x73 x74 -x75 -x76 x77 x78 -x79 -x80 -x81 -x82 x83 -x84 x85 3600.08/1811.01 v -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 3600.08/1811.01 v x102 -x103 -x104 -x105 x106 x107 x108 -x109 -x110 x111 x112 x113 x114 -x115 3600.08/1811.01 v -x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 x125 -x126 -x127 x128 x129 3600.08/1811.01 v x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 3600.08/1811.01 v x143 x144 x145 x146 -x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 -x156 3600.08/1811.01 v -x157 x158 -x159 -x160 -x161 -x162 x163 x164 -x165 -x166 x167 -x168 -x169 x170 3600.08/1811.01 v -x171 -x172 -x173 -x174 x175 x176 -x177 x178 -x179 -x180 -x181 x182 -x183 x184 3600.08/1811.01 v x185 -x186 x187 x188 x189 -x190 -x191 x192 x193 -x194 x195 -x196 -x197 -x198 3600.08/1811.01 v -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 3600.08/1811.01 v -x212 x213 -x214 x215 x216 -x217 x218 x219 x220 x221 -x222 -x223 -x224 -x225 3600.08/1811.01 v x226 x227 x228 -x229 x230 x231 x232 x233 -x234 -x235 x236 -x237 x238 -x239 3600.08/1811.01 v -x240 -x241 x242 -x243 x244 -x245 -x246 -x247 x248 x249 -x250 -x251 x252 -x253 3600.08/1811.01 v x254 -x255 -x256 -x257 x258 x259 -x260 x261 x262 -x263 -x264 -x265 -x266 -x267 3600.08/1811.01 v x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 x281 3600.08/1811.01 v x282 -x283 x284 -x285 x286 x287 -x288 -x289 -x290 -x291 x292 x293 x294 x295 3600.08/1811.01 v -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 3600.08/1811.01 v -x309 x310 x311 -x312 x313 -x314 -x315 -x316 x317 x318 x319 -x320 x321 x322 3600.08/1811.01 v -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 x334 x335 x336 3600.08/1811.01 v -x337 x338 -x339 x340 x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 3600.08/1811.01 v -x351 x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 x361 -x362 x363 -x364 3600.08/1811.01 v x365 x366 x367 -x368 x369 -x370 x371 -x372 -x373 -x374 x375 x376 x377 -x378 3600.08/1811.01 v -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 x388 -x389 x390 x391 -x392 3600.08/1811.01 v -x393 -x394 -x395 x396 -x397 x398 x399 x400 x401 -x402 x403 x404 x405 -x406 3600.08/1811.01 v x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 x419 -x420 3600.08/1811.01 v -x421 -x422 x423 -x424 x425 x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 3600.08/1811.01 v x435 -x436 x437 x438 -x439 x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 3600.08/1811.01 v -x449 -x450 -x451 x452 x453 -x454 x455 -x456 x457 x458 -x459 -x460 -x461 -x462 3600.08/1811.01 v x463 x464 -x465 x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 3600.08/1811.01 v x477 -x478 x479 -x480 -x481
OK 188
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: 63708 MiB (61333 MiB free)
memory of node 1: 64465 MiB (63827 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488974-1751317345/watcher-4488974-1751317345 -o /tmp/evaluation-result-4488974-1751317345/solver-4488974-1751317345 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52073 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:101960253 --competition_mode --input HOME/instance-4488974-1751317345.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=52659, runsolver pid=52656
[startup+0.100072 s]*
/proc/loadavg: 8.16 8.16 8.06 9/272 52662
/proc/meminfo: memFree=128162468/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160972 memory=15388 CPUtime=0.12 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 2252 0 0 0 12 0 0 0 20 0 3 0 47412093 164835328 3847 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40243 3847 2176 2102 0 6000 0
[pid=52659/tid=52661] ppid=52656 vsize=160972 memory=4026531960 CPUtime=0.03 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 647 0 0 0 3 0 0 0 20 0 3 0 47412100 164835328 3847 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160972 memory=241407623509 CPUtime=0.03 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 467 0 0 0 3 0 0 0 20 0 3 0 47412100 164835328 3847 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 160972 KiB
Current children cumulated memory: 15388 KiB
[startup+0.205461 s]*
/proc/loadavg: 8.16 8.16 8.06 9/272 52662
/proc/meminfo: memFree=128160452/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161176 memory=17564 CPUtime=0.33 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 2807 0 0 0 33 0 0 0 20 0 3 0 47412093 165044224 4391 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40294 4391 2176 2102 0 6567 0
[pid=52659/tid=52661] ppid=52656 vsize=161176 memory=3461362012838756636 CPUtime=0.12 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 713 0 0 0 12 0 0 0 20 0 3 0 47412100 165044224 4391 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161176 memory=14860 CPUtime=0.13 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 956 0 0 0 13 0 0 0 20 0 3 0 47412100 165044224 4391 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 161176 KiB
Current children cumulated memory: 17564 KiB
[startup+0.305498 s]*
/proc/loadavg: 8.16 8.16 8.06 9/272 52662
/proc/meminfo: memFree=128155664/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=18684 CPUtime=0.52 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 3221 0 0 0 52 0 0 0 20 0 3 0 47412093 164343808 4671 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 4671 2176 2102 0 6834 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=-8183428077054038466 CPUtime=0.22 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 954 0 0 0 22 0 0 0 20 0 3 0 47412100 164343808 4671 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=0 CPUtime=0.23 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 1129 0 0 0 23 0 0 0 20 0 3 0 47412100 164343808 4671 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 18684 KiB
[startup+0.700221 s]
/proc/loadavg: 8.16 8.16 8.06 9/272 52662
/proc/meminfo: memFree=128152640/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=21116 CPUtime=1.29 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 3851 0 0 0 128 1 0 0 20 0 3 0 47412093 164343808 5279 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 5279 2176 2102 0 7451 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=0 CPUtime=0.59 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 1378 0 0 0 59 0 0 0 20 0 3 0 47412100 164343808 5279 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=0 CPUtime=0.62 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 1335 0 0 0 62 0 0 0 20 0 3 0 47412100 164343808 5279 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 21116 KiB
[startup+1.50023 s]
/proc/loadavg: 8.16 8.16 8.06 9/272 52662
/proc/meminfo: memFree=128152640/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=22696 CPUtime=2.88 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 6936 0 0 0 287 1 0 0 20 0 3 0 47412093 164343808 5674 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 5674 2176 2102 0 7835 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=0 CPUtime=1.38 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 3122 0 0 0 138 0 0 0 20 0 3 0 47412100 164343808 5674 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=0 CPUtime=1.41 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 2648 0 0 0 141 0 0 0 20 0 3 0 47412100 164343808 5674 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 22696 KiB
[startup+3.10558 s]
/proc/loadavg: 8.16 8.16 8.06 7/267 52700
/proc/meminfo: memFree=128711668/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=22836 CPUtime=6.05 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 8651 0 0 0 603 2 0 0 20 0 3 0 47412093 164343808 5709 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 5709 2176 2102 0 8216 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=-8183428077054038466 CPUtime=2.97 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 4044 0 0 0 297 0 0 0 20 0 3 0 47412100 164343808 5709 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=0 CPUtime=3 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 3442 0 0 0 299 1 0 0 20 0 3 0 47412100 164343808 5709 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 22836 KiB
[startup+6.30018 s]
/proc/loadavg: 8.14 8.15 8.05 9/273 52710
/proc/meminfo: memFree=128702060/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=23660 CPUtime=12.41 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 13911 0 0 0 1238 3 0 0 20 0 3 0 47412093 164343808 5915 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 5915 2176 2102 0 8270 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=24244 CPUtime=6.14 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 6190 0 0 0 614 0 0 0 20 0 3 0 47412100 164343808 5915 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=14432 CPUtime=6.19 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 6467 0 0 0 617 2 0 0 20 0 3 0 47412100 164343808 5915 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 23660 KiB
[startup+12.7002 s]
/proc/loadavg: 8.13 8.15 8.05 9/273 52710
/proc/meminfo: memFree=128703524/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=24708 CPUtime=25.13 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 18788 0 0 0 2509 4 0 0 20 0 3 0 47412093 164343808 6177 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 6177 2176 2102 0 8680 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=24244 CPUtime=12.48 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 8012 0 0 0 1248 0 0 0 20 0 3 0 47412100 164343808 6177 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=21952 CPUtime=12.56 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 9479 0 0 0 1254 2 0 0 20 0 3 0 47412100 164343808 6177 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 24708 KiB
[startup+25.5002 s]
/proc/loadavg: 8.10 8.14 8.05 9/273 52758
/proc/meminfo: memFree=128758852/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=25560 CPUtime=50.56 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 21943 0 0 0 5050 6 0 0 20 0 3 0 47412093 164343808 6390 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 6390 2176 2102 0 8858 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=25088 CPUtime=25.15 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 10418 0 0 0 2513 2 0 0 20 0 3 0 47412100 164343808 6390 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=14432 CPUtime=25.33 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 10184 0 0 0 2530 3 0 0 20 0 3 0 47412100 164343808 6390 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 50.56 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 25560 KiB
[startup+51.1053 s]
/proc/loadavg: 8.07 8.13 8.05 9/273 52758
/proc/meminfo: memFree=128729960/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=27532 CPUtime=101.46 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 26984 0 0 0 10137 9 0 0 20 0 3 0 47412093 164343808 6883 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 6883 2176 2102 0 9497 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=27020 CPUtime=50.52 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 12826 0 0 0 5048 4 0 0 20 0 3 0 47412100 164343808 6883 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=14432 CPUtime=50.85 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 12807 0 0 0 5081 4 0 0 20 0 3 0 47412100 164343808 6883 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 101.46 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 27532 KiB
[startup+102.3 s]
/proc/loadavg: 8.08 8.12 8.05 9/273 52761
/proc/meminfo: memFree=128706368/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=31424 CPUtime=203.2 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 30657 0 0 0 20309 11 0 0 20 0 3 0 47412093 164343808 7856 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 7856 2176 2102 0 10516 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=32080 CPUtime=101.23 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 13787 0 0 0 10119 4 0 0 20 0 3 0 47412100 164343808 7856 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=31696 CPUtime=101.86 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 15453 0 0 0 10181 5 0 0 20 0 3 0 47412100 164343808 7856 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 203.2 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 31424 KiB
[startup+162.3 s]
/proc/loadavg: 8.07 8.11 8.05 9/273 52763
/proc/meminfo: memFree=128696784/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=160492 memory=33128 CPUtime=322.48 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 34131 0 0 0 32234 14 0 0 20 0 3 0 47412093 164343808 8282 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40123 8282 2176 2102 0 10752 0
[pid=52659/tid=52661] ppid=52656 vsize=160492 memory=32616 CPUtime=160.68 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 14495 0 0 0 16062 6 0 0 20 0 3 0 47412100 164343808 8282 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=160492 memory=32616 CPUtime=161.68 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 18173 0 0 0 16162 6 0 0 20 0 3 0 47412100 164343808 8282 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 322.48 s
Current children cumulated vsize: 160492 KiB
################
# More data... #
################
Current children cumulated memory: 41120 KiB
[startup+1302.3 s]
/proc/loadavg: 8.12 8.10 8.09 9/272 52833
/proc/meminfo: memFree=128674396/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=41660 CPUtime=2588.79 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 174313 0 0 0 258810 69 0 0 20 0 3 0 47412093 165167104 10415 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10415 2176 2102 0 13185 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=41140 CPUtime=1290.21 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 20841 0 0 0 129003 18 0 0 20 0 3 0 47412100 165167104 10415 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=41300 CPUtime=1298.19 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 151707 0 0 0 129777 42 0 0 20 0 3 0 47412100 165167104 10415 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 2588.79 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 41660 KiB
[startup+1362.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/272 52835
/proc/meminfo: memFree=128668480/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=41144 CPUtime=2708.06 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 180345 0 0 0 270735 71 0 0 20 0 3 0 47412093 165167104 10286 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10286 2176 2102 0 13185 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=41140 CPUtime=1349.66 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 20842 0 0 0 134948 18 0 0 20 0 3 0 47412100 165167104 10286 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=3200 CPUtime=1358 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 157735 0 0 0 135757 43 0 0 20 0 3 0 47412100 165167104 10286 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 2708.06 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 41144 KiB
[startup+1422.3 s]
/proc/loadavg: 8.12 8.09 8.09 9/272 52844
/proc/meminfo: memFree=128675804/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=40768 CPUtime=2827.34 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 191806 0 0 0 282659 75 0 0 20 0 3 0 47412093 165167104 10192 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10192 2176 2102 0 13185 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=41140 CPUtime=1409.11 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 20855 0 0 0 140893 18 0 0 20 0 3 0 47412100 165167104 10192 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=17664 CPUtime=1417.81 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 169183 0 0 0 141735 46 0 0 20 0 3 0 47412100 165167104 10192 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 2827.34 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 40768 KiB
[startup+1482.3 s]
/proc/loadavg: 8.50 8.19 8.12 9/274 52848
/proc/meminfo: memFree=128680464/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=40096 CPUtime=2946.62 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 215176 0 0 0 294582 80 0 0 20 0 3 0 47412093 165167104 10024 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10024 2176 2102 0 13185 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=41584 CPUtime=1468.56 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 21128 0 0 0 146837 19 0 0 20 0 3 0 47412100 165167104 10024 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=40352 CPUtime=1477.62 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 192241 0 0 0 147712 50 0 0 20 0 3 0 47412100 165167104 10024 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 2946.62 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 40096 KiB
[startup+1542.3 s]
/proc/loadavg: 8.23 8.17 8.12 9/274 52850
/proc/meminfo: memFree=128684824/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=43084 CPUtime=3065.9 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 223646 0 0 0 306505 85 0 0 20 0 3 0 47412093 165167104 10771 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10771 2176 2102 0 13185 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=39872 CPUtime=1528 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 21133 0 0 0 152781 19 0 0 20 0 3 0 47412100 165167104 10771 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=42188 CPUtime=1537.44 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 200705 0 0 0 153691 53 0 0 20 0 3 0 47412100 165167104 10771 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 3065.9 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 43084 KiB
[startup+1602.3 s]
/proc/loadavg: 8.18 8.16 8.12 9/273 52852
/proc/meminfo: memFree=128684924/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=41404 CPUtime=3185.18 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 237303 0 0 0 318429 89 0 0 20 0 3 0 47412093 165167104 10351 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10351 2176 2102 0 13444 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=39872 CPUtime=1587.46 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 21133 0 0 0 158726 20 0 0 20 0 3 0 47412100 165167104 10351 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=14432 CPUtime=1597.26 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 214362 0 0 0 159669 57 0 0 20 0 3 0 47412100 165167104 10351 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 3185.18 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 41404 KiB
[startup+1662.3 s]
/proc/loadavg: 8.11 8.15 8.11 9/273 52854
/proc/meminfo: memFree=128681184/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=41804 CPUtime=3304.46 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 251223 0 0 0 330354 92 0 0 20 0 3 0 47412093 165167104 10451 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10451 2176 2102 0 13444 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=40736 CPUtime=1646.9 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 21137 0 0 0 164670 20 0 0 20 0 3 0 47412100 165167104 10451 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=41804 CPUtime=1657.08 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 228278 0 0 0 165648 60 0 0 20 0 3 0 47412100 165167104 10451 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 3304.46 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 41804 KiB
[startup+1722.3 s]
/proc/loadavg: 8.16 8.15 8.11 9/272 52856
/proc/meminfo: memFree=128678312/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=42144 CPUtime=3423.74 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 264224 0 0 0 342278 96 0 0 20 0 3 0 47412093 165167104 10536 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10536 2176 2102 0 13469 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=40044 CPUtime=1706.34 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 21173 0 0 0 170614 20 0 0 20 0 3 0 47412100 165167104 10536 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=4252 CPUtime=1716.9 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 241240 0 0 0 171628 62 0 0 20 0 3 0 47412100 165167104 10536 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 3423.74 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 42144 KiB
[startup+1782.3 s]
/proc/loadavg: 8.12 8.14 8.10 9/271 52859
/proc/meminfo: memFree=128677928/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=40704 CPUtime=3543.02 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 275053 0 0 0 354202 100 0 0 20 0 3 0 47412093 165167104 10176 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10176 2176 2102 0 13557 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=41900 CPUtime=1765.8 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 21262 0 0 0 176558 22 0 0 20 0 3 0 47412100 165167104 10176 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=14432 CPUtime=1776.72 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 251980 0 0 0 177608 64 0 0 20 0 3 0 47412100 165167104 10176 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 3543.02 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 40704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811 s]*
/proc/loadavg: 8.06 8.12 8.10 8/269 52905
/proc/meminfo: memFree=128446580/131250000 swapFree=33010684/33010684
[pid=52659] ppid=52656 vsize=161296 memory=43108 CPUtime=3600.08 cores=0,2
/proc/52659/stat : 52659 (cp-sat-runner) S 52656 52659 52063 0 -1 4194304 284257 0 0 0 359906 102 0 0 20 0 3 0 47412093 165167104 10777 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
/proc/52659/statm: 40324 10777 2176 2102 0 13557 0
[pid=52659/tid=52661] ppid=52656 vsize=161296 memory=8903175123218545769 CPUtime=1794.23 cores=0,2
/proc/52659/task/52661/stat : 52661 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 21262 0 0 0 179401 22 0 0 20 0 3 0 47412100 165167104 10777 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
[pid=52659/tid=52662] ppid=52656 vsize=161296 memory=-5155633680935826750 CPUtime=1805.34 cores=0,2
/proc/52659/task/52662/stat : 52662 (cp-sat-runner) R 52656 52659 52063 0 -1 4194368 261184 0 0 0 180468 66 0 0 20 0 3 0 47412100 165167104 10777 18446744073709551615 4198400 12805993 140732995128704 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15605760 140732995135769 140732995135973 140732995135973 140732995141575 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 43108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1811.01 s]
# the end of solver process 52659 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.07 s, system=1.02702 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1811.01
CPU time (s): 3600.1
CPU user time (s): 3599.07
CPU system time (s): 1.02702
CPU usage (%): 198.79
Max. virtual memory (cumulated for all children) (KiB): 161296
Max. memory (cumulated for all children) (KiB): 44356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.07
system time used= 1.02702
maximum resident set size= 44980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284264
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= 29178
involuntary context switches= 118765
# summary of solver processes directly reported to runsolver:
# pid: 52659
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.07
# total CPU system time (s): 1.02702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68197 second user time and 8.06534 second system time
The end
Begin job on nodeC016 at 2025-06-30 23:02:25 IDJOB=4488974 IDBENCH=147536 IDSOLVER=3320 FILE ID=nodeC016/4488974-1751317345 RUNJOBID= nodeC016-1751313715-52073 SLURM_JOB_ID= 9594315 Free space on /tmp= 433024 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.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-4488974-1751317345/watcher-4488974-1751317345 -o /tmp/evaluation-result-4488974-1751317345/solver-4488974-1751317345 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52073 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:101960253 --competition_mode --input HOME/instance-4488974-1751317345.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0 RANDOM SEED=101960253 nodeC016 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 : 3607.286 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.48 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.727 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.48 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.712 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.48 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 : 3599.773 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.734 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.48 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.732 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.48 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.754 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.48 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.751 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128165240 kB MemAvailable: 129086984 kB Buffers: 3280 kB Cached: 1724896 kB SwapCached: 0 kB Active: 951536 kB Inactive: 1454724 kB Active(anon): 696156 kB Inactive(anon): 0 kB Active(file): 255380 kB Inactive(file): 1454724 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25412 kB Writeback: 12 kB AnonPages: 681160 kB Mapped: 129420 kB Shmem: 18072 kB KReclaimable: 101756 kB Slab: 189600 kB SReclaimable: 101756 kB SUnreclaim: 87844 kB KernelStack: 4320 kB PageTables: 4332 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1084852 kB VmallocTotal: 34359738367 kB VmallocUsed: 150648 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 473088 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432996 MiB End job on nodeC016 at 2025-06-30 23:32:37