Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| OR-Tools CP-SAT 9.14.2 | MSAT (TO) | 3600.03 | 1817.41 |
| 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 |
4.80/4.73 o 23890 5.00/4.81 o 23163 6.19/5.47 o 20384 8.76/6.77 o 18669 10.94/7.80 o 17145 12.13/8.48 o 16912 13.13/8.97 o 16801 13.34/9.01 o 16799 13.72/9.23 o 13678 13.72/9.24 o 13476 16.70/10.73 o 12516 16.70/10.76 o 11140 21.07/12.99 o 10941 23.26/14.07 o 9920 23.26/14.10 o 9819 28.42/16.69 o 8826 30.61/17.73 o 8624 30.61/17.75 o 8492 32.19/18.54 o 7297 32.19/18.57 o 6713 43.13/24.09 o 6516 43.32/24.11 o 6404 56.82/30.95 o 6400 61.38/33.22 o 6398 64.37/34.76 o 6390 105.27/55.38 o 6079 105.47/55.40 o 5867 135.21/70.49 o 5620 135.41/70.54 o 4810 174.26/90.16 o 4522 200.80/103.57 o 4410 216.86/111.67 o 4325 218.44/112.40 o 4323 251.54/129.14 o 4223 598.42/304.12 o 4168 802.55/407.16 o 4160 832.28/422.11 o 3860 1222.41/618.98 o 3785 1222.61/619.01 o 3783 1229.15/622.31 o 3774 2313.12/1168.91 o 3769 2315.31/1170.02 o 3767 2317.09/1170.96 o 3764 2318.47/1171.65 o 3754 2323.63/1174.29 o 3753 2337.91/1181.41 o 3734 2484.36/1255.28 o 3643 2484.56/1255.30 o 3631 2538.15/1282.32 o 3544 2538.35/1282.43 o 3532 3600.01/1817.40 s SATISFIABLE 3600.01/1817.40 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.01/1817.40 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 3600.01/1817.40 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 3600.01/1817.40 v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 3600.01/1817.40 v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 3600.01/1817.40 v x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 3600.01/1817.40 v x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 3600.01/1817.40 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 3600.01/1817.40 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 3600.01/1817.40 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 3600.01/1817.40 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 3600.01/1817.40 v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 3600.01/1817.40 v -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 3600.01/1817.40 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 3600.01/1817.40 v -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 3600.01/1817.40 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 3600.01/1817.40 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 3600.01/1817.40 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 3600.01/1817.40 v -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 3600.01/1817.40 v -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 3600.01/1817.40 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 3600.01/1817.40 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 3600.01/1817.40 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 3600.01/1817.40 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 3600.01/1817.40 v -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 3600.01/1817.40 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 3600.01/1817.40 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 3600.01/1817.40 v -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 3600.01/1817.40 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 3600.01/1817.40 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 3600.01/1817.40 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 3600.01/1817.40 v -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 3600.01/1817.40 v -x435 -x436 -x437 -x438 -x439 -x440
OK 3532
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (59912 MiB free)
memory of node 1: 64507 MiB (63628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529470-1752571848/watcher-4529470-1752571848 -o /tmp/evaluation-result-4529470-1752571848/solver-4529470-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752571848-133578 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529470-1752571848.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=133632, runsolver pid=133619
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.23 0.36 0.18 4/263 133633
/proc/meminfo: memFree=126468272/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=57704 memory=50964 CPUtime=0.09 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) R 133619 133632 133558 0 -1 4194304 12717 0 0 0 7 2 0 0 20 0 1 0 172866410 59088896 12741 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 14426 12741 1344 2102 0 11966 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57704 KiB
Current children cumulated memory: 50964 KiB
[startup+0.2055 s]*
/proc/loadavg: 1.23 0.36 0.18 5/267 133637
/proc/meminfo: memFree=126416548/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=85432 memory=76692 CPUtime=0.2 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) R 133619 133632 133558 0 -1 4194304 19013 0 0 0 17 3 0 0 20 0 1 0 172866410 87482368 19173 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 21358 19173 1472 2102 0 18898 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 85432 KiB
Current children cumulated memory: 76692 KiB
[startup+0.305452 s]*
/proc/loadavg: 1.23 0.36 0.18 5/267 133637
/proc/meminfo: memFree=126372888/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=88792 memory=80020 CPUtime=0.3 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) R 133619 133632 133558 0 -1 4194304 19855 0 0 0 27 3 0 0 20 0 1 0 172866410 90923008 20005 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 22198 20005 1472 2102 0 19738 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88792 KiB
Current children cumulated memory: 80020 KiB
[startup+0.700171 s]
/proc/loadavg: 1.23 0.36 0.18 6/269 133639
/proc/meminfo: memFree=126180228/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=133684 memory=124612 CPUtime=0.68 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) R 133619 133632 133558 0 -1 4194304 27812 0 0 0 64 4 0 0 20 0 1 0 172866410 136892416 31153 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 33421 31153 1600 2102 0 30961 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133684 KiB
Current children cumulated memory: 124612 KiB
[startup+1.50017 s]
/proc/loadavg: 1.23 0.36 0.18 4/263 133640
/proc/meminfo: memFree=125977680/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=153296 memory=142364 CPUtime=1.48 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) R 133619 133632 133558 0 -1 4194304 31899 0 0 0 143 5 0 0 20 0 1 0 172866410 156975104 35591 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 38324 35591 1856 2102 0 35864 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 153296 KiB
Current children cumulated memory: 142364 KiB
[startup+3.10536 s]
/proc/loadavg: 1.45 0.42 0.20 5/265 133649
/proc/meminfo: memFree=124568960/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=167248 memory=158380 CPUtime=3.08 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) R 133619 133632 133558 0 -1 4194304 43766 0 0 0 300 8 0 0 20 0 1 0 172866410 171261952 39595 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 41812 39595 1888 2102 0 39352 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 167248 KiB
Current children cumulated memory: 158380 KiB
[startup+6.30023 s]
/proc/loadavg: 1.45 0.42 0.20 6/267 133651
/proc/meminfo: memFree=123562772/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=848492 memory=694404 CPUtime=7.96 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) R 133619 133632 133558 0 -1 4194304 148499 0 0 0 768 28 0 0 20 0 3 0 172866410 868855808 173601 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 212123 173601 2176 2102 0 197923 0
[pid=133632/tid=133650] ppid=133619 vsize=848492 memory=-7312012645308272489 CPUtime=1.55 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 68891 0 0 0 144 11 0 0 20 0 3 0 172866865 868855808 173601 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=848492 memory=3200 CPUtime=1.68 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 24350 0 0 0 162 6 0 0 20 0 3 0 172866865 868855808 173601 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 848492 KiB
Current children cumulated memory: 694404 KiB
[startup+12.7002 s]
/proc/loadavg: 2.23 0.62 0.27 6/267 133651
/proc/meminfo: memFree=122452512/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=851908 memory=720272 CPUtime=20.67 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 241008 0 0 0 2027 40 0 0 20 0 3 0 172866410 872353792 180068 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 212977 180068 2176 2102 0 191837 0
[pid=133632/tid=133650] ppid=133619 vsize=851908 memory=14464 CPUtime=7.88 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 98582 0 0 0 776 12 0 0 20 0 3 0 172866865 872353792 180068 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=851908 memory=707328 CPUtime=8.01 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 87096 0 0 0 784 17 0 0 20 0 3 0 172866865 872353792 180068 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 20.67 s
Current children cumulated vsize: 851908 KiB
Current children cumulated memory: 720272 KiB
[startup+25.5003 s]
/proc/loadavg: 2.89 0.81 0.33 6/266 133698
/proc/meminfo: memFree=122247348/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=813796 memory=716616 CPUtime=46.1 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 343566 0 0 0 4557 53 0 0 20 0 3 0 172866410 833327104 179154 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 203449 179154 2176 2102 0 190711 0
[pid=133632/tid=133650] ppid=133619 vsize=813796 memory=716360 CPUtime=20.58 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 132297 0 0 0 2044 14 0 0 20 0 3 0 172866865 833327104 179154 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=813796 memory=3968 CPUtime=20.7 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 155896 0 0 0 2043 27 0 0 20 0 3 0 172866865 833327104 179154 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 46.1 s
Current children cumulated vsize: 813796 KiB
Current children cumulated memory: 716616 KiB
[startup+51.1057 s]
/proc/loadavg: 3.95 1.23 0.48 9/274 133740
/proc/meminfo: memFree=116099024/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=814672 memory=717268 CPUtime=96.94 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 455085 0 0 0 9631 63 0 0 20 0 3 0 172866410 834224128 179317 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 203668 179317 2176 2102 0 190960 0
[pid=133632/tid=133650] ppid=133619 vsize=814672 memory=717268 CPUtime=46.1 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 158880 0 0 0 4595 15 0 0 20 0 3 0 172866865 834224128 179317 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=814672 memory=10624 CPUtime=46.02 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 240762 0 0 0 4566 36 0 0 20 0 3 0 172866865 834224128 179317 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 96.94 s
Current children cumulated vsize: 814672 KiB
Current children cumulated memory: 717268 KiB
[startup+102.3 s]
/proc/loadavg: 6.42 2.39 0.92 9/274 133742
/proc/meminfo: memFree=111695552/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=886468 memory=785208 CPUtime=198.42 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 560440 0 0 0 19759 83 0 0 20 0 3 0 172866410 907743232 196302 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 221617 196302 2176 2102 0 209033 0
[pid=133632/tid=133650] ppid=133619 vsize=886468 memory=741708 CPUtime=97.05 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 178016 0 0 0 9688 17 0 0 20 0 3 0 172866865 907743232 196302 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=886468 memory=778536 CPUtime=96.52 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 326913 0 0 0 9599 53 0 0 20 0 3 0 172866865 907743232 196302 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 198.42 s
Current children cumulated vsize: 886468 KiB
Current children cumulated memory: 785208 KiB
[startup+162.3 s]
/proc/loadavg: 7.34 3.38 1.36 8/275 133745
/proc/meminfo: memFree=111213184/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=838936 memory=741708 CPUtime=317.32 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 657260 0 0 0 31633 99 0 0 20 0 3 0 172866410 859070464 185427 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 209734 185427 2176 2102 0 197150 0
[pid=133632/tid=133650] ppid=133619 vsize=838936 memory=741708 CPUtime=156.76 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 190616 0 0 0 15658 18 0 0 20 0 3 0 172866865 859070464 185427 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=838936 memory=788680 CPUtime=155.7 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 411067 0 0 0 15502 68 0 0 20 0 3 0 172866865 859070464 185427 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 317.32 s
Current children cumulated vsize: 838936 KiB
Current children cumulated memory: 741708 KiB
[startup+222.3 s]
/proc/loadavg: 7.83 4.24 1.78 9/275 133747
/proc/meminfo: memFree=110382360/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=838936 memory=741712 CPUtime=436.23 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 693713 0 0 0 43505 118 0 0 20 0 3 0 172866410 859070464 185428 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 209734 185428 2176 2102 0 197150 0
[pid=133632/tid=133650] ppid=133619 vsize=838936 memory=741708 CPUtime=216.47 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 196369 0 0 0 21628 19 0 0 20 0 3 0 172866865 859070464 185428 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=838936 memory=741712 CPUtime=214.88 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 441731 0 0 0 21402 86 0 0 20 0 3 0 172866865 859070464 185428 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 436.23 s
Current children cumulated vsize: 838936 KiB
Current children cumulated memory: 741712 KiB
[startup+282.3 s]
/proc/loadavg: 7.85 4.89 2.16 9/274 133748
/proc/meminfo: memFree=110190692/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=838936 memory=741732 CPUtime=555.16 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 726028 0 0 0 55388 128 0 0 20 0 3 0 172866410 859070464 185433 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 209734 185433 2176 2102 0 197155 0
[pid=133632/tid=133650] ppid=133619 vsize=838936 memory=14464 CPUtime=276.19 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 207134 0 0 0 27599 20 0 0 20 0 3 0 172866865 859070464 185433 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=838936 memory=16512 CPUtime=274.07 cores=5,7
################
# More data... #
################
Current children cumulated memory: 870672 KiB
[startup+1302.3 s]
/proc/loadavg: 8.15 7.99 6.12 9/272 133799
/proc/meminfo: memFree=109341524/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=828476 CPUtime=2577.82 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1216581 0 0 0 257368 414 0 0 20 0 3 0 172866410 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 207119 2176 2102 0 214222 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=828476 CPUtime=1291.65 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 289833 0 0 0 129133 32 0 0 20 0 3 0 172866865 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=872392 CPUtime=1280.96 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 870785 0 0 0 127743 353 0 0 20 0 3 0 172866865 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 2577.82 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 828476 KiB
[startup+1362.3 s]
/proc/loadavg: 8.12 8.01 6.24 9/273 133802
/proc/meminfo: memFree=109522324/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=828476 CPUtime=2696.89 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1222153 0 0 0 269268 421 0 0 20 0 3 0 172866410 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 207119 2176 2102 0 214222 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=828476 CPUtime=1351.42 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 290595 0 0 0 135110 32 0 0 20 0 3 0 172866865 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=872392 CPUtime=1340.24 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 875571 0 0 0 133665 359 0 0 20 0 3 0 172866865 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 2696.89 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 828476 KiB
[startup+1422.3 s]
/proc/loadavg: 8.19 8.06 6.37 9/273 133806
/proc/meminfo: memFree=109015120/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=828476 CPUtime=2815.94 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1229271 0 0 0 281159 435 0 0 20 0 3 0 172866410 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 207119 2176 2102 0 214222 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=828476 CPUtime=1411.18 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 291107 0 0 0 141086 32 0 0 20 0 3 0 172866865 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=872392 CPUtime=1399.51 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 882176 0 0 0 139579 372 0 0 20 0 3 0 172866865 928706560 207119 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 2815.94 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 828476 KiB
[startup+1482.3 s]
/proc/loadavg: 8.14 8.06 6.48 9/273 133808
/proc/meminfo: memFree=109261252/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=829372 CPUtime=2935.01 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1230936 0 0 0 293061 440 0 0 20 0 3 0 172866410 928706560 207343 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 207343 2176 2102 0 214445 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=828476 CPUtime=1470.95 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 291640 0 0 0 147063 32 0 0 20 0 3 0 172866865 928706560 207343 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=14464 CPUtime=1458.79 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 883307 0 0 0 145503 376 0 0 20 0 3 0 172866865 928706560 207343 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 2935.01 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 829372 KiB
[startup+1542.3 s]
/proc/loadavg: 8.10 8.06 6.58 9/272 133810
/proc/meminfo: memFree=108851944/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=829884 CPUtime=3054.09 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1234381 0 0 0 304964 445 0 0 20 0 3 0 172866410 928706560 207471 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 207471 2176 2102 0 214557 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=16512 CPUtime=1530.72 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 291869 0 0 0 153040 32 0 0 20 0 3 0 172866865 928706560 207471 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=-7312012645308272489 CPUtime=1518.08 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 886502 0 0 0 151428 380 0 0 20 0 3 0 172866865 928706560 207471 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 3054.09 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 829884 KiB
[startup+1602.3 s]
/proc/loadavg: 8.37 8.14 6.71 9/271 133813
/proc/meminfo: memFree=109240380/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=834364 CPUtime=3173.15 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1240139 0 0 0 316862 453 0 0 20 0 3 0 172866410 928706560 208591 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 208591 2176 2102 0 215672 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=829884 CPUtime=1590.48 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 293337 0 0 0 159016 32 0 0 20 0 3 0 172866865 928706560 208591 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=834364 CPUtime=1577.36 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 890770 0 0 0 157349 387 0 0 20 0 3 0 172866865 928706560 208591 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 3173.15 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 834364 KiB
[startup+1662.3 s]
/proc/loadavg: 8.16 8.13 6.80 9/272 133816
/proc/meminfo: memFree=109061780/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=835516 CPUtime=3292.22 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1242273 0 0 0 328761 461 0 0 20 0 3 0 172866410 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 208879 2176 2102 0 215956 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=829884 CPUtime=1650.25 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 293637 0 0 0 164993 32 0 0 20 0 3 0 172866865 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=835516 CPUtime=1636.65 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 892586 0 0 0 163270 395 0 0 20 0 3 0 172866865 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 3292.22 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 835516 KiB
[startup+1722.3 s]
/proc/loadavg: 8.10 8.12 6.88 9/271 133818
/proc/meminfo: memFree=109441060/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=835516 CPUtime=3411.29 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1245343 0 0 0 340661 468 0 0 20 0 3 0 172866410 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 208879 2176 2102 0 215956 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=829884 CPUtime=1710.02 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 293856 0 0 0 170970 32 0 0 20 0 3 0 172866865 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=835516 CPUtime=1695.92 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 895416 0 0 0 169192 400 0 0 20 0 3 0 172866865 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 3411.29 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 835516 KiB
[startup+1782.3 s]
/proc/loadavg: 8.15 8.12 6.96 9/273 133822
/proc/meminfo: memFree=108707648/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=835516 CPUtime=3530.35 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1247130 0 0 0 352562 473 0 0 20 0 3 0 172866410 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 208879 2176 2102 0 215956 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=835516 CPUtime=1769.79 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 294377 0 0 0 176946 33 0 0 20 0 3 0 172866865 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=835516 CPUtime=1755.21 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 896681 0 0 0 175116 405 0 0 20 0 3 0 172866865 928706560 208879 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 3530.35 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 835516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.4 s]
/proc/loadavg: 8.09 8.11 7.00 7/267 133841
/proc/meminfo: memFree=110163784/131249996 swapFree=33005016/33010684
[pid=133632] ppid=133619 vsize=906940 memory=835552 CPUtime=3600.01 cores=5,7
/proc/133632/stat : 133632 (cp_sat_runner) S 133619 133632 133558 0 -1 4194304 1249564 0 0 0 359521 480 0 0 20 0 3 0 172866410 928706560 208888 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
/proc/133632/statm: 226735 208888 2176 2102 0 215956 0
[pid=133632/tid=133650] ppid=133619 vsize=906940 memory=3761913309373399343 CPUtime=1804.75 cores=5,7
/proc/133632/task/133650/stat : 133650 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 294392 0 0 0 180442 33 0 0 20 0 3 0 172866865 928706560 208888 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
[pid=133632/tid=133651] ppid=133619 vsize=906940 memory=3674992508611592947 CPUtime=1789.89 cores=5,7
/proc/133632/task/133651/stat : 133651 (cp_sat_runner) R 133619 133632 133558 0 -1 4194368 899098 0 0 0 178578 411 0 0 20 0 3 0 172866865 928706560 208888 18446744073709551615 4198400 12806697 140732581992224 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26435584 140732581996821 140732581997025 140732581997025 140732582002631 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 906940 KiB
Current children cumulated memory: 835552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1817.41 s]
# the end of solver process 133632 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.22 s, system=4.81212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1817.41
CPU time (s): 3600.03
CPU user time (s): 3595.22
CPU system time (s): 4.81212
CPU usage (%): 198.085
Max. virtual memory (cumulated for all children) (KiB): 1017136
Max. memory (cumulated for all children) (KiB): 881464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.22
system time used= 4.81212
maximum resident set size= 881464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1249571
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= 19587
involuntary context switches= 105965
# summary of solver processes directly reported to runsolver:
# pid: 133632
# total CPU time (s): 3600.03
# total CPU user time (s): 3595.22
# total CPU system time (s): 4.81212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98784 second user time and 9.37616 second system time
The end
Begin job on nodeC030 at 2025-07-15 11:30:56 IDJOB=4529470 IDBENCH=143879 IDSOLVER=3387 FILE ID=nodeC030/4529470-1752571848 RUNJOBID= nodeC030-1752571848-133578 SLURM_JOB_ID= 9683899 Free space on /tmp= 432992 MiB SOLVER NAME= OR-Tools CP-SAT 9.14.2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4-20_wcsp.wbo 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 -w /tmp/evaluation-result-4529470-1752571848/watcher-4529470-1752571848 -o /tmp/evaluation-result-4529470-1752571848/solver-4529470-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752571848-133578 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529470-1752571848.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c20fa776bae7355b4d4e94acf2d6929f RANDOM SEED=764063283 nodeC030 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 : 1200.142 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 : 7000.62 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 : 3601.402 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 : 7000.62 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 : 3700.000 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 : 7000.62 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 : 3700.000 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 : 7000.62 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 : 1193.901 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 : 7000.62 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.536 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 : 7000.62 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 : 1620.478 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 : 7000.62 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 : 3600.897 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 : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126646124 kB MemAvailable: 129748816 kB Buffers: 16 kB Cached: 3887088 kB SwapCached: 216 kB Active: 169336 kB Inactive: 3778516 kB Active(anon): 14080 kB Inactive(anon): 60216 kB Active(file): 155256 kB Inactive(file): 3718300 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005016 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 85848 kB Writeback: 0 kB AnonPages: 63712 kB Mapped: 101088 kB Shmem: 13548 kB KReclaimable: 136352 kB Slab: 229136 kB SReclaimable: 136352 kB SUnreclaim: 92784 kB KernelStack: 4080 kB PageTables: 2872 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 332128 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432948 MiB End job on nodeC030 at 2025-07-15 12:01:26