Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toulbar2 2025-06-13 | OPTIMUM | 6.1932 | 6.22246 |
| 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 |
5.56/5.67 o 3920 5.66/5.70 o 3901 5.66/5.76 o 3821 5.66/5.78 o 3780 5.66/5.79 o 2716 6.06/6.19 o 2716 6.06/6.19 s OPTIMUM FOUND 6.06/6.19 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440
OK 2716
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 (46339 MiB free)
memory of node 1: 64465 MiB (47893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525706-1751627204/watcher-4525706-1751627204 -o /tmp/evaluation-result-4525706-1751627204/solver-4525706-1751627204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751623294-89822 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4525706-1751627204.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=90399, runsolver pid=90396
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.19 4.13 4.10 5/267 90401
/proc/meminfo: memFree=96407484/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=97640 memory=85956 CPUtime=0.08 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 21164 0 0 0 6 2 0 0 20 0 1 0 78394963 99983360 21489 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 24410 21489 864 1162 0 23019 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 101832 KiB
Current children cumulated memory: 88900 KiB
[startup+0.205623 s]*
/proc/loadavg: 4.19 4.13 4.10 5/267 90401
/proc/meminfo: memFree=96367416/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=140792 memory=129348 CPUtime=0.19 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 31974 0 0 0 15 4 0 0 20 0 1 0 78394963 144171008 32337 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 35198 32337 928 1162 0 33807 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 144984 KiB
Current children cumulated memory: 132292 KiB
[startup+0.305564 s]*
/proc/loadavg: 4.19 4.13 4.10 5/267 90401
/proc/meminfo: memFree=96367416/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=179640 memory=168132 CPUtime=0.28 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 41683 0 0 0 22 6 0 0 20 0 1 0 78394963 183951360 42033 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 44910 42033 928 1162 0 43519 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 183832 KiB
Current children cumulated memory: 171076 KiB
[startup+0.7002 s]
/proc/loadavg: 4.19 4.13 4.10 5/267 90401
/proc/meminfo: memFree=96311220/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=332004 memory=319812 CPUtime=0.67 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 79609 0 0 0 55 12 0 0 20 0 1 0 78394963 339972096 79953 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 83001 79953 928 1162 0 81610 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 336196 KiB
Current children cumulated memory: 322756 KiB
[startup+1.50021 s]
/proc/loadavg: 4.19 4.13 4.10 5/267 90401
/proc/meminfo: memFree=96081584/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=613972 memory=599512 CPUtime=1.48 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 149455 0 0 0 124 24 0 0 20 0 1 0 78394963 628707328 149878 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 153493 149878 992 1162 0 152102 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 618164 KiB
Current children cumulated memory: 602456 KiB
[startup+3.10543 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 90401
/proc/meminfo: memFree=95920556/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=640044 memory=626976 CPUtime=3.07 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 156893 0 0 0 282 25 0 0 20 0 1 0 78394963 655405056 156744 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 160011 156744 1024 1162 0 158620 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 644236 KiB
Current children cumulated memory: 629920 KiB
[startup+6.22241 s]
# the end of solver process 90399 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=5.88972 s, system=0.303473 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20026 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 90401
/proc/meminfo: memFree=95920556/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=640044 memory=626976 CPUtime=3.17 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 156893 0 0 0 292 25 0 0 20 0 1 0 78394963 655405056 156744 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 160011 156744 1024 1162 0 158620 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 644236 KiB
Current children cumulated memory: 629920 KiB
[startup+4.8002 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 90401
/proc/meminfo: memFree=95892520/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=677280 memory=662024 CPUtime=4.76 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 163596 0 0 0 450 26 0 0 20 0 1 0 78394963 693534720 165506 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 169320 165506 1024 1162 0 167929 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 681472 KiB
Current children cumulated memory: 664968 KiB
[startup+5.60018 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 90401
/proc/meminfo: memFree=95884456/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=680184 memory=665096 CPUtime=5.56 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 164353 0 0 0 529 27 0 0 20 0 1 0 78394963 696508416 166274 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 170046 166274 1024 1162 0 168655 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 684376 KiB
Current children cumulated memory: 668040 KiB
[startup+6.00013 s]*
/proc/loadavg: 4.18 4.12 4.10 5/267 90401
/proc/meminfo: memFree=95860008/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
[pid=90401] ppid=90399 vsize=686828 memory=672136 CPUtime=5.96 cores=4,6
/proc/90401/stat : 90401 (toulbar2) R 90399 90399 89811 0 -1 4194304 165971 0 0 0 569 27 0 0 20 0 1 0 78394963 703311872 168034 18446744073709551615 4198400 8956741 140736673116640 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 14290944 140736673122675 140736673122794 140736673122794 140736673128396 0
/proc/90401/statm: 171707 168034 1184 1162 0 170316 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 691020 KiB
Current children cumulated memory: 675080 KiB
[startup+6.20015 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 90401
/proc/meminfo: memFree=95860008/131249992 swapFree=33009392/33010684
[pid=90399] ppid=90396 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90399/stat : 90399 (toulbar2.sh) S 90396 90399 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78394963 4292608 736 18446744073709551615 94317615616000 94317616510533 140730072133936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94317616749584 94317616797328 94317618933760 140730072140085 140730072140261 140730072140261 140730072145865 0
/proc/90399/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 6.22246
CPU time (s): 6.1932
CPU user time (s): 5.88972
CPU system time (s): 0.303473
CPU usage (%): 99.5297
Max. virtual memory (cumulated for all children) (KiB): 691020
Max. memory (cumulated for all children) (KiB): 675080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.88972
system time used= 0.303473
maximum resident set size= 672136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166186
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= 66
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 90399
# total CPU time (s): 6.1932
# total CPU user time (s): 5.88972
# total CPU system time (s): 0.303473
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025587 second user time and 0.054915 second system time
The end
Begin job on nodeC035 at 2025-07-04 13:06:44 IDJOB=4525706 IDBENCH=143879 IDSOLVER=3383 FILE ID=nodeC035/4525706-1751627204 RUNJOBID= nodeC035-1751623294-89822 SLURM_JOB_ID= 9598943 Free space on /tmp= 432696 MiB SOLVER NAME= toulbar2 2025-06-13 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4-20_wcsp.wbo COMMAND LINE= toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525706-1751627204/watcher-4525706-1751627204 -o /tmp/evaluation-result-4525706-1751627204/solver-4525706-1751627204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751623294-89822 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4525706-1751627204.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c20fa776bae7355b4d4e94acf2d6929f RANDOM SEED=1380724434 nodeC035 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.751 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.51 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.811 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.51 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.853 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.51 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 : 3600.425 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.51 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.459 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.51 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.476 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.51 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.740 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.51 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.892 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 96495172 kB MemAvailable: 99222236 kB Buffers: 664 kB Cached: 3477008 kB SwapCached: 332 kB Active: 30731788 kB Inactive: 3174660 kB Active(anon): 30425424 kB Inactive(anon): 21052 kB Active(file): 306364 kB Inactive(file): 3153608 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009392 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 8528 kB Writeback: 4 kB AnonPages: 30431540 kB Mapped: 118180 kB Shmem: 17700 kB KReclaimable: 212660 kB Slab: 304284 kB SReclaimable: 212660 kB SUnreclaim: 91624 kB KernelStack: 4268 kB PageTables: 62736 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 30916700 kB VmallocTotal: 34359738367 kB VmallocUsed: 150584 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1239040 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432692 MiB End job on nodeC035 at 2025-07-04 13:06:51