Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PRINTEMPS 2025-05-28 | MSAT (TO) | 3600.23 | 2781.18 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo |
| MD5SUM | c20fa776bae7355b4d4e94acf2d6929f |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2716 |
| Best CPU time to get the best result obtained on this benchmark | 6.1932 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 440 |
| Total number of constraints | 72754 |
| Number of soft constraints | 72732 |
| Number of constraints which are clauses | 72732 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Top cost | 69687 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 10145370 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.00 c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/) 0.44/0.35 c #variable: 440 0.44/0.35 c #constraint: 72754 0.44/0.35 c #equal: 22 0.44/0.35 c intsize: 5 0.44/0.35 c sizeproduct: 0 0.44/0.35 c #soft: 72732 0.44/0.35 c mincost: 1 0.44/0.35 c maxcost: 1000 0.44/0.35 c sumcost: 10145370 0.44/0.35 c iteration_max: -1 0.44/0.35 c time_max: -1 0.44/0.35 c number_of_threads(move update): 2 0.44/0.35 c number_of_threads(move evaluation): 2 0.44/0.35 c seed: 439720652 5.19/4.83 o 31884 42.10/27.03 o 31722 47.13/30.97 o 25057 47.46/31.27 o 25056 68.74/45.86 o 22474 99.15/65.79 o 21076 102.73/68.42 o 20915 113.21/75.51 o 18602 144.53/98.29 o 13664 147.22/100.29 o 13464 162.68/111.95 o 12607 200.44/141.07 o 10943 281.79/207.03 o 8271 282.48/207.65 o 8261 285.25/210.16 o 8062 285.70/210.53 o 8058 348.94/261.81 o 5990 370.94/278.14 o 5968 428.90/321.63 o 5440 429.94/322.64 o 5362 430.80/323.41 o 5346 434.58/326.87 o 4802 596.10/447.67 o 4014 1422.85/1086.77 o 3927 1445.95/1104.35 o 3808 1748.60/1341.13 o 3269 1749.93/1342.45 o 3239 1926.07/1471.11 o 3138 3474.59/2680.35 o 3099 3600.05/2781.05 s SATISFIABLE 3600.05/2781.05 v -x1 -x10 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x16 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x21 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x44 -x440 -x45 -x46 -x47 -x48 -x49 -x5 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 3099
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 (55619 MiB free)
memory of node 1: 64465 MiB (53353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525702-1751628612/watcher-4525702-1751628612 -o /tmp/evaluation-result-4525702-1751628612/solver-4525702-1751628612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751628612-89815 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 439720652 HOME/instance-4525702-1751628612.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89851, runsolver pid=89846
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 1.12 1.25 2.23 3/263 89876
/proc/meminfo: memFree=111512264/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=119172 memory=52296 CPUtime=0.15 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 12775 0 0 0 13 2 0 0 20 0 2 0 78539859 122032128 13074 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 29793 13074 608 633 0 14621 0
[pid=89851/tid=89859] ppid=89846 vsize=119172 memory=4026532379 CPUtime=0.04 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 1998 0 0 0 4 0 0 0 20 0 2 0 78539860 122032128 13074 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 0 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 119172 KiB
Current children cumulated memory: 52296 KiB
[startup+0.205512 s]*
/proc/loadavg: 1.12 1.25 2.23 5/264 89884
/proc/meminfo: memFree=111406976/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=189532 memory=125220 CPUtime=0.28 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 21818 0 0 0 24 4 0 0 20 0 2 0 78539859 194080768 31305 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 47383 31305 608 633 0 32854 0
[pid=89851/tid=89859] ppid=89846 vsize=189532 memory=5983648042466672759 CPUtime=0.07 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 2644 0 0 0 7 0 0 0 20 0 2 0 78539860 194080768 31305 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 0 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 189532 KiB
Current children cumulated memory: 125220 KiB
[startup+0.30545 s]*
/proc/loadavg: 1.12 1.25 2.23 6/260 89893
/proc/meminfo: memFree=111349552/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=198308 memory=140580 CPUtime=0.44 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) S 89846 89851 89805 0 -1 4194304 25640 0 0 0 39 5 0 0 20 0 2 0 78539859 203067392 35145 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 49577 35145 608 633 0 36677 0
[pid=89851/tid=89859] ppid=89846 vsize=198308 memory=-6000919481363358567 CPUtime=0.14 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 4273 0 0 0 13 1 0 0 20 0 2 0 78539860 203067392 35145 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 0 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 198308 KiB
Current children cumulated memory: 140580 KiB
[startup+0.700195 s]
/proc/loadavg: 1.12 1.25 2.23 3/260 89893
/proc/meminfo: memFree=111234688/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=257932 memory=199076 CPUtime=0.83 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 40216 0 0 0 76 7 0 0 20 0 2 0 78539859 264122368 49769 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 64483 49769 672 633 0 51586 0
[pid=89851/tid=89859] ppid=89846 vsize=257932 memory=18560 CPUtime=0.14 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 4276 0 0 0 13 1 0 0 20 0 2 0 78539860 264122368 49769 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 257932 KiB
Current children cumulated memory: 199076 KiB
[startup+1.50021 s]
/proc/loadavg: 1.12 1.25 2.23 6/265 89902
/proc/meminfo: memFree=110787848/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=409276 memory=350924 CPUtime=1.63 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 98195 0 0 0 149 14 0 0 20 0 2 0 78539859 419098624 87731 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 102319 87731 672 633 0 89422 0
[pid=89851/tid=89859] ppid=89846 vsize=409276 memory=18560 CPUtime=0.15 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 4912 0 0 0 14 1 0 0 20 0 2 0 78539860 419098624 87731 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 409276 KiB
Current children cumulated memory: 350924 KiB
[startup+3.10552 s]
/proc/loadavg: 1.12 1.25 2.23 6/270 90059
/proc/meminfo: memFree=109978468/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=409540 memory=351180 CPUtime=3.39 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 134466 0 0 0 323 16 0 0 20 0 2 0 78539859 419368960 87795 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 102385 87795 672 633 0 89488 0
[pid=89851/tid=89859] ppid=89846 vsize=409540 memory=7971235586250456690 CPUtime=0.3 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 5518 0 0 0 29 1 0 0 20 0 2 0 78539860 419368960 87795 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3.39 s
Current children cumulated vsize: 409540 KiB
Current children cumulated memory: 351180 KiB
[startup+6.30018 s]
/proc/loadavg: 1.35 1.29 2.24 6/270 90059
/proc/meminfo: memFree=108798016/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=426548 memory=368204 CPUtime=7.78 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 211199 0 0 0 756 22 0 0 20 0 2 0 78539859 436785152 92051 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106637 92051 672 633 0 93740 0
[pid=89851/tid=89859] ppid=89846 vsize=426548 memory=367564 CPUtime=1.53 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 7713 0 0 0 151 2 0 0 20 0 2 0 78539860 436785152 92051 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 7.78 s
Current children cumulated vsize: 426548 KiB
Current children cumulated memory: 368204 KiB
[startup+12.7002 s]
/proc/loadavg: 1.72 1.37 2.26 7/270 90059
/proc/meminfo: memFree=108385488/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=426548 memory=368204 CPUtime=19.06 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 283908 0 0 0 1879 27 0 0 20 0 2 0 78539859 436785152 92051 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106637 92051 672 633 0 93740 0
[pid=89851/tid=89859] ppid=89846 vsize=426548 memory=368204 CPUtime=6.44 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 10550 0 0 0 642 2 0 0 20 0 2 0 78539860 436785152 92051 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 19.06 s
Current children cumulated vsize: 426548 KiB
Current children cumulated memory: 368204 KiB
[startup+25.5002 s]
/proc/loadavg: 2.67 1.60 2.32 6/271 90061
/proc/meminfo: memFree=107773776/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=426548 memory=368204 CPUtime=39.88 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 367487 0 0 0 3953 35 0 0 20 0 2 0 78539859 436785152 92051 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106637 92051 672 633 0 93740 0
[pid=89851/tid=89859] ppid=89846 vsize=426548 memory=368204 CPUtime=14.56 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 11939 0 0 0 1453 3 0 0 20 0 2 0 78539860 436785152 92051 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 39.88 s
Current children cumulated vsize: 426548 KiB
Current children cumulated memory: 368204 KiB
[startup+51.1056 s]
/proc/loadavg: 4.29 2.07 2.46 9/271 90061
/proc/meminfo: memFree=107637184/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=426680 memory=368332 CPUtime=76.73 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 463521 0 0 0 7628 45 0 0 20 0 2 0 78539859 436920320 92083 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106670 92083 672 633 0 93773 0
[pid=89851/tid=89859] ppid=89846 vsize=426680 memory=368332 CPUtime=25.99 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 14587 0 0 0 2594 5 0 0 20 0 2 0 78539860 436920320 92083 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 76.73 s
Current children cumulated vsize: 426680 KiB
Current children cumulated memory: 368332 KiB
[startup+102.3 s]
/proc/loadavg: 5.28 2.70 2.65 7/271 90064
/proc/meminfo: memFree=107628644/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=426944 memory=368588 CPUtime=149.59 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 569610 0 0 0 14901 58 0 0 20 0 2 0 78539859 437190656 92147 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106736 92147 672 633 0 93839 0
[pid=89851/tid=89859] ppid=89846 vsize=426944 memory=368588 CPUtime=48.04 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 17525 0 0 0 4796 8 0 0 20 0 2 0 78539860 437190656 92147 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 149.59 s
Current children cumulated vsize: 426944 KiB
Current children cumulated memory: 368588 KiB
[startup+162.3 s]
/proc/loadavg: 5.81 3.33 2.88 8/270 90066
/proc/meminfo: memFree=107591408/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=426944 memory=368716 CPUtime=226.65 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 619745 0 0 0 22597 68 0 0 20 0 2 0 78539859 437190656 92179 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106736 92179 672 633 0 93839 0
[pid=89851/tid=89859] ppid=89846 vsize=426944 memory=7971235586250456690 CPUtime=65.45 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 18865 0 0 0 6534 11 0 0 20 0 2 0 78539860 437190656 92179 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 226.65 s
Current children cumulated vsize: 426944 KiB
Current children cumulated memory: 368716 KiB
[startup+222.3 s]
/proc/loadavg: 5.75 3.77 3.06 7/271 90073
/proc/meminfo: memFree=107560020/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427076 memory=369612 CPUtime=299.9 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 668716 0 0 0 29913 77 0 0 20 0 2 0 78539859 437325824 92403 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106769 92403 672 633 0 93872 0
[pid=89851/tid=89859] ppid=89846 vsize=427076 memory=18560 CPUtime=79.06 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 19156 0 0 0 7892 14 0 0 20 0 2 0 78539860 437325824 92403 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 299.9 s
Current children cumulated vsize: 427076 KiB
Current children cumulated memory: 369612 KiB
[startup+282.3 s]
/proc/loadavg: 5.82 4.16 3.24 8/271 90077
/proc/meminfo: memFree=107550660/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427076 memory=369740 CPUtime=376.01 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 681298 0 0 0 37519 82 0 0 20 0 2 0 78539859 437325824 92435 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106769 92435 672 633 0 93872 0
[pid=89851/tid=89859] ppid=89846 vsize=427076 memory=369740 CPUtime=95.5 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 19315 0 0 0 9534 16 0 0 20 0 2 0 78539860 437325824 92435 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 376.01 s
Current children cumulated vsize: 427076 KiB
Current children cumulated memory: 369740 KiB
################
# More data... #
################
/proc/meminfo: memFree=109063900/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=2848.32 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 752460 0 0 0 284549 283 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=658.91 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 20177 0 0 0 65762 129 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 2848.32 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2262.3 s]
/proc/loadavg: 5.34 5.49 5.32 5/270 90233
/proc/meminfo: memFree=109067244/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=2927.86 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 755794 0 0 0 292497 289 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=678.66 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 20216 0 0 0 67734 132 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 2927.86 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2322.3 s]
/proc/loadavg: 4.88 5.33 5.27 5/269 90235
/proc/meminfo: memFree=109076988/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=3004.98 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 756997 0 0 0 300205 293 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=695.99 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 20221 0 0 0 69465 134 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3004.98 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2382.3 s]
/proc/loadavg: 5.59 5.44 5.31 6/269 90238
/proc/meminfo: memFree=109077324/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=3084.21 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 758607 0 0 0 308124 297 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=715.49 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 20225 0 0 0 71412 137 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3084.21 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2442.3 s]
/proc/loadavg: 5.05 5.30 5.27 6/269 90240
/proc/meminfo: memFree=109077952/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=3164.1 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 758616 0 0 0 316109 301 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=735.61 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 20225 0 0 0 73422 139 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3164.1 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2502.3 s]
/proc/loadavg: 5.11 5.29 5.27 6/268 90242
/proc/meminfo: memFree=109078856/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=3242.93 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 760082 0 0 0 323988 305 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=18560 CPUtime=754.69 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 20259 0 0 0 75328 141 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3242.93 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2562.3 s]
/proc/loadavg: 5.04 5.22 5.24 5/267 90244
/proc/meminfo: memFree=109087808/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=3321.3 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 761677 0 0 0 331820 310 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=773.31 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 20274 0 0 0 77188 143 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3321.3 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2622.3 s]
/proc/loadavg: 5.07 5.19 5.23 5/270 90253
/proc/meminfo: memFree=109089764/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=3399.18 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 762086 0 0 0 339604 314 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=791.42 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 20280 0 0 0 78996 146 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3399.18 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2682.3 s]
/proc/loadavg: 4.95 5.12 5.20 5/270 90258
/proc/meminfo: memFree=109090220/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370124 CPUtime=3477.54 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 763440 0 0 0 347435 319 0 0 20 0 2 0 78539859 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92531 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=810.03 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 20285 0 0 0 80855 148 0 0 20 0 2 0 78539860 437731328 92531 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3477.54 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370124 KiB
[startup+2742.3 s]
/proc/loadavg: 4.99 5.12 5.20 6/270 90305
/proc/meminfo: memFree=109372764/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370252 CPUtime=3551.9 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 763724 0 0 0 354867 323 0 0 20 0 2 0 78539859 437731328 92563 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92563 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=370124 CPUtime=824.61 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 20291 0 0 0 82312 149 0 0 20 0 2 0 78539860 437731328 92563 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3551.9 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2781 s]*
/proc/loadavg: 4.79 5.05 5.17 5/270 90307
/proc/meminfo: memFree=109385232/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=427472 memory=370252 CPUtime=3600.05 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 765005 0 0 0 359680 325 0 0 20 0 2 0 78539859 437731328 92563 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 106868 92563 672 633 0 93971 0
[pid=89851/tid=89859] ppid=89846 vsize=427472 memory=7972085482818058605 CPUtime=834.19 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) R 89846 89851 89805 0 -1 4194368 20319 0 0 0 83269 150 0 0 20 0 2 0 78539860 437731328 92563 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 427472 KiB
Current children cumulated memory: 370252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2781.18 s]
# the end of solver process 89851 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.97 s, system=3.26363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2781.11 s]
/proc/loadavg: 4.79 5.05 5.17 5/270 90307
/proc/meminfo: memFree=109385232/131249996 swapFree=33010160/33010684
[pid=89851] ppid=89846 vsize=421788 memory=364572 CPUtime=3600.15 cores=0,2
/proc/89851/stat : 89851 (pb_competition_) R 89846 89851 89805 0 -1 4194304 772052 0 0 0 359690 325 0 0 20 0 2 0 78539859 431910912 91143 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
/proc/89851/statm: 105447 91143 672 633 0 92550 0
[pid=89851/tid=89859] ppid=89846 vsize=421788 memory=2764 CPUtime=834.19 cores=0,2
/proc/89851/task/89859/stat : 89859 (pb_competition_) S 89846 89851 89805 0 -1 4194368 20319 0 0 0 83269 150 0 0 20 0 2 0 78539860 431910912 91143 18446744073709551615 4198400 6788177 140724363621200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 13918208 140724363626840 140724363626966 140724363626966 140724363632570 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 421788 KiB
Current children cumulated memory: 364572 KiB
Child status: 0
Real time (s): 2781.18
CPU time (s): 3600.23
CPU user time (s): 3596.97
CPU system time (s): 3.26363
CPU usage (%): 129.45
Max. virtual memory (cumulated for all children) (KiB): 427472
Max. memory (cumulated for all children) (KiB): 370252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.97
system time used= 3.26363
maximum resident set size= 370252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 777456
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= 171544
involuntary context switches= 33041
# summary of solver processes directly reported to runsolver:
# pid: 89851
# total CPU time (s): 3600.23
# total CPU user time (s): 3596.97
# total CPU system time (s): 3.26363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.52512 second user time and 13.1965 second system time
The end
Begin job on nodeC032 at 2025-07-04 13:30:12 IDJOB=4525702 IDBENCH=143879 IDSOLVER=3379 FILE ID=nodeC032/4525702-1751628612 RUNJOBID= nodeC032-1751628612-89815 SLURM_JOB_ID= 9598962 Free space on /tmp= 429044 MiB SOLVER NAME= PRINTEMPS 2025-05-28 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4-20_wcsp.wbo COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525702-1751628612/watcher-4525702-1751628612 -o /tmp/evaluation-result-4525702-1751628612/solver-4525702-1751628612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751628612-89815 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 439720652 HOME/instance-4525702-1751628612.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c20fa776bae7355b4d4e94acf2d6929f RANDOM SEED=439720652 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.974 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.69 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 : 3597.236 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.69 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.837 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.69 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.943 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.69 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.836 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.69 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 : 3600.176 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.69 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.096 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.69 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.863 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 111584384 kB MemAvailable: 129640272 kB Buffers: 2728 kB Cached: 18733276 kB SwapCached: 20 kB Active: 437816 kB Inactive: 18363796 kB Active(anon): 80532 kB Inactive(anon): 3124 kB Active(file): 357284 kB Inactive(file): 18360672 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 27564 kB Writeback: 8 kB AnonPages: 68476 kB Mapped: 103768 kB Shmem: 18048 kB KReclaimable: 354344 kB Slab: 449136 kB SReclaimable: 354344 kB SUnreclaim: 94792 kB KernelStack: 4144 kB PageTables: 2848 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 338216 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429020 MiB End job on nodeC032 at 2025-07-04 14:16:34