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 | MSAT (TO) | 3600.05 | 1819.03 |
| 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 |
6.17/6.15 o 106517 6.34/6.27 o 55794 8.14/7.17 o 30069 11.28/8.70 o 29371 12.27/9.24 o 10156 14.06/10.17 o 9957 17.22/11.75 o 9956 19.39/12.89 o 8578 19.80/13.02 o 7942 21.78/14.09 o 7746 34.24/20.30 o 6794 34.44/20.41 o 6640 38.60/22.53 o 6323 50.09/28.38 o 6233 50.89/28.71 o 6155 50.89/28.73 o 6145 58.22/32.47 o 6135 60.80/33.79 o 6045 60.99/33.82 o 5931 63.37/35.06 o 5853 63.37/35.09 o 5648 66.53/36.65 o 5249 66.73/36.77 o 5126 73.48/40.11 o 5117 79.22/43.08 o 5107 80.59/43.72 o 4679 81.78/44.39 o 4567 102.79/54.98 o 4565 110.12/58.66 o 4465 145.37/76.47 o 4375 159.64/83.69 o 4275 184.82/96.39 o 4270 277.45/143.05 o 4158 279.81/144.25 o 4148 282.98/145.82 o 4049 441.30/225.78 o 4047 793.97/403.66 o 3798 793.97/403.68 o 3658 812.02/412.80 o 3648 819.55/416.59 o 3572 821.34/417.49 o 3562 821.53/417.51 o 3550 832.25/422.96 o 3540 878.65/446.36 o 3532 3600.01/1819.01 s SATISFIABLE 3600.01/1819.01 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.01/1819.01 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 3600.01/1819.01 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 3600.01/1819.01 v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 3600.01/1819.01 v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 3600.01/1819.01 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 3600.01/1819.01 v x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 3600.01/1819.01 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 -x122 3600.01/1819.01 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 3600.01/1819.01 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 3600.01/1819.01 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 3600.01/1819.01 v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 3600.01/1819.01 v -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 3600.01/1819.01 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 3600.01/1819.01 v -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 3600.01/1819.01 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 3600.01/1819.01 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 3600.01/1819.01 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 3600.01/1819.01 v -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 3600.01/1819.01 v -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 3600.01/1819.01 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 3600.01/1819.01 v -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 x301 -x302 -x303 -x304 3600.01/1819.01 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 3600.01/1819.01 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 3600.01/1819.01 v -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 3600.01/1819.01 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 3600.01/1819.01 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 3600.01/1819.01 v -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 3600.01/1819.01 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 3600.01/1819.01 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 3600.01/1819.01 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 3600.01/1819.01 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 3600.01/1819.01 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: 63837 MiB (51852 MiB free)
memory of node 1: 64465 MiB (49973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525701-1751619550/watcher-4525701-1751619550 -o /tmp/evaluation-result-4525701-1751619550/solver-4525701-1751619550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90042 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1243935613 --competition_mode --input HOME/instance-4525701-1751619550.wbo
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
Current StackSize limit: 8192 KiB
solver pid=96807, runsolver pid=96804
[startup+0.100077 s]*
/proc/loadavg: 7.74 7.82 7.96 8/256 96808
/proc/meminfo: memFree=104291796/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=21632 memory=15292 CPUtime=0.1 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) R 96804 96807 90031 0 -1 4194304 3629 0 0 0 9 1 0 0 20 0 1 0 77634163 22151168 3823 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 5408 3823 1088 2102 0 2948 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21632 KiB
Current children cumulated memory: 15292 KiB
[startup+0.214128 s]*
/proc/loadavg: 7.74 7.82 7.96 8/256 96808
/proc/meminfo: memFree=104244236/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=51236 memory=43992 CPUtime=0.22 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) R 96804 96807 90031 0 -1 4194304 11749 0 0 0 19 3 0 0 20 0 1 0 77634163 52465664 10998 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 12809 10998 1312 2102 0 10349 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 51236 KiB
Current children cumulated memory: 43992 KiB
[startup+0.314109 s]*
/proc/loadavg: 7.74 7.82 7.96 8/256 96808
/proc/meminfo: memFree=104215192/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=78084 memory=68952 CPUtime=0.31 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) R 96804 96807 90031 0 -1 4194304 17902 0 0 0 27 4 0 0 20 0 1 0 77634163 79958016 17238 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 19521 17238 1408 2102 0 17061 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 68952 KiB
[startup+0.700337 s]
/proc/loadavg: 7.74 7.82 7.96 9/256 96808
/proc/meminfo: memFree=104182552/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=88760 memory=79832 CPUtime=0.69 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) R 96804 96807 90031 0 -1 4194304 20573 0 0 0 63 6 0 0 20 0 1 0 77634163 90890240 19958 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 22190 19958 1472 2102 0 19730 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 88760 KiB
Current children cumulated memory: 79832 KiB
[startup+1.50033 s]
/proc/loadavg: 7.74 7.82 7.96 8/256 96808
/proc/meminfo: memFree=104168756/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=134432 memory=122420 CPUtime=1.48 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) R 96804 96807 90031 0 -1 4194304 29096 0 0 0 140 8 0 0 20 0 1 0 77634163 137658368 30605 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 33608 30605 1568 2102 0 31148 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 134432 KiB
Current children cumulated memory: 122420 KiB
[startup+3.11371 s]
/proc/loadavg: 7.74 7.82 7.96 8/256 96808
/proc/meminfo: memFree=104025144/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=173832 memory=163112 CPUtime=3.09 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) R 96804 96807 90031 0 -1 4194304 36036 0 0 0 300 9 0 0 20 0 1 0 77634163 178003968 40778 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 43458 40778 1856 2102 0 40998 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 173832 KiB
Current children cumulated memory: 163112 KiB
[startup+6.30036 s]
/proc/loadavg: 7.76 7.82 7.96 8/258 96810
/proc/meminfo: memFree=104860668/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=518664 memory=355220 CPUtime=6.54 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 75791 0 0 0 634 20 0 0 20 0 3 0 77634163 531111936 88805 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 129666 88805 2016 2102 0 115903 0
[pid=96807/tid=96809] ppid=96804 vsize=518664 memory=184468 CPUtime=0.28 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 10474 0 0 0 25 3 0 0 20 0 3 0 77634761 531111936 88805 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=518664 memory=18560 CPUtime=0.3 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 16808 0 0 0 26 4 0 0 20 0 3 0 77634761 531111936 88805 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 6.54 s
Current children cumulated vsize: 518664 KiB
Current children cumulated memory: 355220 KiB
[startup+12.7002 s]
/proc/loadavg: 7.78 7.83 7.96 9/259 96811
/proc/meminfo: memFree=104458892/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=776052 memory=709568 CPUtime=19.2 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 231908 0 0 0 1873 47 0 0 20 0 3 0 77634163 794677248 177392 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 194013 177392 2144 2102 0 189114 0
[pid=96807/tid=96809] ppid=96804 vsize=776052 memory=715048 CPUtime=6.35 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 117644 0 0 0 615 20 0 0 20 0 3 0 77634761 794677248 177392 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=776052 memory=163112 CPUtime=6.42 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 65666 0 0 0 628 14 0 0 20 0 3 0 77634761 794677248 177392 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 19.2 s
Current children cumulated vsize: 776052 KiB
Current children cumulated memory: 709568 KiB
[startup+25.5003 s]
/proc/loadavg: 7.83 7.83 7.96 9/259 96811
/proc/meminfo: memFree=104432688/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=869348 memory=756240 CPUtime=44.55 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 341760 0 0 0 4390 65 0 0 20 0 3 0 77634163 890212352 189060 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 217337 189060 2144 2102 0 207418 0
[pid=96807/tid=96809] ppid=96804 vsize=869348 memory=735360 CPUtime=18.95 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 183404 0 0 0 1870 25 0 0 20 0 3 0 77634761 890212352 189060 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=869348 memory=122676 CPUtime=19.11 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 109681 0 0 0 1885 26 0 0 20 0 3 0 77634761 890212352 189060 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 44.55 s
Current children cumulated vsize: 869348 KiB
Current children cumulated memory: 756240 KiB
[startup+51.1055 s]
/proc/loadavg: 7.96 7.87 7.97 9/258 96812
/proc/meminfo: memFree=104726620/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=791860 CPUtime=95.26 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 438354 0 0 0 9437 89 0 0 20 0 3 0 77634163 939327488 197965 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 197965 2144 2102 0 209651 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=-8183430297518313415 CPUtime=44.2 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 202138 0 0 0 4393 27 0 0 20 0 3 0 77634761 939327488 197965 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=811876 CPUtime=44.58 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 187469 0 0 0 4409 49 0 0 20 0 3 0 77634761 939327488 197965 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 95.26 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 791860 KiB
[startup+102.3 s]
/proc/loadavg: 8.01 7.89 7.97 9/259 96819
/proc/meminfo: memFree=104870284/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=896800 memory=808368 CPUtime=196.72 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 543297 0 0 0 19549 123 0 0 20 0 3 0 77634163 918323200 202092 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 224200 202092 2144 2102 0 219303 0
[pid=96807/tid=96809] ppid=96804 vsize=896800 memory=814252 CPUtime=94.7 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 235904 0 0 0 9440 30 0 0 20 0 3 0 77634761 918323200 202092 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=896800 memory=834152 CPUtime=95.51 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 258569 0 0 0 9473 78 0 0 20 0 3 0 77634761 918323200 202092 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 196.72 s
Current children cumulated vsize: 896800 KiB
Current children cumulated memory: 808368 KiB
[startup+162.3 s]
/proc/loadavg: 8.00 7.91 7.98 9/259 96832
/proc/meminfo: memFree=103600516/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=895680 memory=807272 CPUtime=315.67 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 632859 0 0 0 31406 161 0 0 20 0 3 0 77634163 917176320 201818 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 223920 201818 2144 2102 0 219028 0
[pid=96807/tid=96809] ppid=96804 vsize=895680 memory=827008 CPUtime=153.91 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 279991 0 0 0 15358 33 0 0 20 0 3 0 77634761 917176320 201818 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=895680 memory=825544 CPUtime=155.23 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 303975 0 0 0 15411 112 0 0 20 0 3 0 77634761 917176320 201818 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 315.67 s
Current children cumulated vsize: 895680 KiB
Current children cumulated memory: 807272 KiB
[startup+222.3 s]
/proc/loadavg: 8.12 7.96 8.00 9/259 96834
/proc/meminfo: memFree=103400440/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=851776 memory=785896 CPUtime=434.56 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 686006 0 0 0 43274 182 0 0 20 0 3 0 77634163 872218624 196474 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 212944 196474 2144 2102 0 208052 0
[pid=96807/tid=96809] ppid=96804 vsize=851776 memory=785896 CPUtime=213.09 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 316627 0 0 0 21272 37 0 0 20 0 3 0 77634761 872218624 196474 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=851776 memory=785896 CPUtime=214.92 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 320479 0 0 0 21363 129 0 0 20 0 3 0 77634761 872218624 196474 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 434.56 s
Current children cumulated vsize: 851776 KiB
Current children cumulated memory: 785896 KiB
[startup+282.3 s]
/proc/loadavg: 8.14 8.00 8.00 9/259 96838
/proc/meminfo: memFree=104021048/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=851776 memory=785896 CPUtime=553.56 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 755341 0 0 0 55143 213 0 0 20 0 3 0 77634163 872218624 196474 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 212944 196474 2144 2102 0 208052 0
[pid=96807/tid=96809] ppid=96804 vsize=851776 memory=18560 CPUtime=272.33 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 355689 0 0 0 27193 40 0 0 20 0 3 0 77634761 872218624 196474 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=851776 memory=785896 CPUtime=274.67 cores=4,6
################
# More data... #
################
Current children cumulated memory: 814520 KiB
[startup+1302.3 s]
/proc/loadavg: 7.69 8.03 8.05 8/256 96931
/proc/meminfo: memFree=99662084/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=828732 CPUtime=2575.2 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 1985870 0 0 0 256680 840 0 0 20 0 3 0 77634163 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 207183 2144 2102 0 218757 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=828732 CPUtime=1286.15 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1212760 0 0 0 128336 279 0 0 20 0 3 0 77634761 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=872856 CPUtime=1281.97 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 723733 0 0 0 127669 528 0 0 20 0 3 0 77634761 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 2575.2 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 828732 KiB
[startup+1362.3 s]
/proc/loadavg: 7.95 8.03 8.05 9/262 96947
/proc/meminfo: memFree=98703516/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=828732 CPUtime=2694.07 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2024851 0 0 0 268545 862 0 0 20 0 3 0 77634163 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 207183 2144 2102 0 218757 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=828732 CPUtime=1345.86 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1235887 0 0 0 134304 282 0 0 20 0 3 0 77634761 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=854216 CPUtime=1341.13 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 739548 0 0 0 133565 548 0 0 20 0 3 0 77634761 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 2694.07 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 828732 KiB
[startup+1422.3 s]
/proc/loadavg: 8.16 8.07 8.06 9/259 96950
/proc/meminfo: memFree=96631360/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=828732 CPUtime=2813.08 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2058832 0 0 0 280421 887 0 0 20 0 3 0 77634163 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 207183 2144 2102 0 218757 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=828732 CPUtime=1405.62 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1252585 0 0 0 140277 285 0 0 20 0 3 0 77634761 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=854216 CPUtime=1400.34 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 756791 0 0 0 139467 567 0 0 20 0 3 0 77634761 939327488 207183 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 2813.08 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 828732 KiB
[startup+1482.3 s]
/proc/loadavg: 7.93 8.01 8.04 9/260 96955
/proc/meminfo: memFree=97800284/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=962512 memory=857676 CPUtime=2932.04 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2133409 0 0 0 292284 920 0 0 20 0 3 0 77634163 985612288 214419 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 240628 214419 2144 2102 0 230069 0
[pid=96807/tid=96809] ppid=96804 vsize=962512 memory=828732 CPUtime=1465.37 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1308628 0 0 0 146246 291 0 0 20 0 3 0 77634761 985612288 214419 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=962512 memory=854352 CPUtime=1459.53 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 775323 0 0 0 145360 593 0 0 20 0 3 0 77634761 985612288 214419 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 2932.04 s
Current children cumulated vsize: 962512 KiB
Current children cumulated memory: 857676 KiB
[startup+1542.3 s]
/proc/loadavg: 7.94 8.01 8.03 8/257 96971
/proc/meminfo: memFree=111583380/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=828860 CPUtime=3051.03 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2174172 0 0 0 304158 945 0 0 20 0 3 0 77634163 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 207215 2144 2102 0 218769 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=11264 CPUtime=1525.12 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1326935 0 0 0 152219 293 0 0 20 0 3 0 77634761 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=828860 CPUtime=1518.75 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 797742 0 0 0 151259 616 0 0 20 0 3 0 77634761 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 3051.03 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 828860 KiB
[startup+1602.3 s]
/proc/loadavg: 7.99 8.00 8.03 9/260 97005
/proc/meminfo: memFree=110602988/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=828860 CPUtime=3170.05 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2230007 0 0 0 316035 970 0 0 20 0 3 0 77634163 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 207215 2144 2102 0 218769 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=828860 CPUtime=1584.9 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1352177 0 0 0 158193 297 0 0 20 0 3 0 77634761 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=5632 CPUtime=1577.99 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 828294 0 0 0 157162 637 0 0 20 0 3 0 77634761 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 3170.05 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 828860 KiB
[startup+1662.3 s]
/proc/loadavg: 7.84 7.96 8.01 8/258 97052
/proc/meminfo: memFree=123141760/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=828860 CPUtime=3289.06 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2297562 0 0 0 327913 993 0 0 20 0 3 0 77634163 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 207215 2144 2102 0 218769 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=828860 CPUtime=1644.67 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1400369 0 0 0 164166 301 0 0 20 0 3 0 77634761 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=828860 CPUtime=1637.22 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 847652 0 0 0 163066 656 0 0 20 0 3 0 77634761 939327488 207215 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 3289.06 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 828860 KiB
[startup+1722.3 s]
/proc/loadavg: 7.95 7.95 8.00 9/259 97056
/proc/meminfo: memFree=121463672/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=828988 CPUtime=3408.11 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2337132 0 0 0 339789 1022 0 0 20 0 3 0 77634163 939327488 207247 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 207247 2144 2102 0 218769 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=828860 CPUtime=1704.45 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1428954 0 0 0 170140 305 0 0 20 0 3 0 77634761 939327488 207247 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=828860 CPUtime=1696.45 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 858614 0 0 0 168966 679 0 0 20 0 3 0 77634761 939327488 207247 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 3408.11 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 828988 KiB
[startup+1782.3 s]
/proc/loadavg: 7.94 7.95 8.00 9/258 97058
/proc/meminfo: memFree=121016756/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=917312 memory=829116 CPUtime=3527.16 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2385384 0 0 0 351664 1052 0 0 20 0 3 0 77634163 939327488 207279 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 229328 207279 2144 2102 0 218769 0
[pid=96807/tid=96809] ppid=96804 vsize=917312 memory=854932 CPUtime=1764.23 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1452700 0 0 0 176115 308 0 0 20 0 3 0 77634761 939327488 207279 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=917312 memory=862788 CPUtime=1755.71 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 883098 0 0 0 174866 705 0 0 20 0 3 0 77634761 939327488 207279 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 3527.16 s
Current children cumulated vsize: 917312 KiB
Current children cumulated memory: 829116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819 s]*
/proc/loadavg: 8.09 7.99 8.01 9/258 97060
/proc/meminfo: memFree=121123312/131382116 swapFree=33009904/33010684
[pid=96807] ppid=96804 vsize=961264 memory=873068 CPUtime=3600.01 cores=4,6
/proc/96807/stat : 96807 (cp-sat-runner) S 96804 96807 90031 0 -1 4194304 2430595 0 0 0 358932 1069 0 0 20 0 3 0 77634163 984334336 218267 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
/proc/96807/statm: 240316 218267 2144 2102 0 229757 0
[pid=96807/tid=96809] ppid=96804 vsize=961264 memory=-8183426981937714882 CPUtime=1800.8 cores=4,6
/proc/96807/task/96809/stat : 96809 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 1483061 0 0 0 179768 312 0 0 20 0 3 0 77634761 984334336 218267 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
[pid=96807/tid=96810] ppid=96804 vsize=961264 memory=6516 CPUtime=1791.98 cores=4,6
/proc/96807/task/96810/stat : 96810 (cp-sat-runner) R 96804 96807 90031 0 -1 4194368 897942 0 0 0 178480 718 0 0 20 0 3 0 77634761 984334336 218267 18446744073709551615 4198400 12805993 140729965609632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 23687168 140729965615382 140729965615587 140729965615587 140729965621191 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 961264 KiB
Current children cumulated memory: 873068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1819.03 s]
# the end of solver process 96807 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.34 s, system=10.7108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1819.03
CPU time (s): 3600.05
CPU user time (s): 3589.34
CPU system time (s): 10.7108
CPU usage (%): 197.91
Max. virtual memory (cumulated for all children) (KiB): 1028464
Max. memory (cumulated for all children) (KiB): 891532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.34
system time used= 10.7108
maximum resident set size= 891532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2430601
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= 19536
involuntary context switches= 86492
# summary of solver processes directly reported to runsolver:
# pid: 96807
# total CPU time (s): 3600.05
# total CPU user time (s): 3589.34
# total CPU system time (s): 10.7108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86879 second user time and 9.56341 second system time
The end
Begin job on nodeC004 at 2025-07-04 10:59:10 IDJOB=4525701 IDBENCH=143879 IDSOLVER=3378 FILE ID=nodeC004/4525701-1751619550 RUNJOBID= nodeC004-1751612733-90042 SLURM_JOB_ID= 9598915 Free space on /tmp= 431536 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 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-4525701-1751619550/watcher-4525701-1751619550 -o /tmp/evaluation-result-4525701-1751619550/solver-4525701-1751619550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90042 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1243935613 --competition_mode --input HOME/instance-4525701-1751619550.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c20fa776bae7355b4d4e94acf2d6929f RANDOM SEED=1243935613 nodeC004 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 : 0xb00001f cpu MHz : 3591.926 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 3591.325 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 3591.380 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 3490.911 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 3491.875 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 3559.485 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 1197.738 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 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 : 0xb00001f cpu MHz : 3491.876 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 104295064 kB MemAvailable: 105339616 kB Buffers: 2128 kB Cached: 1792744 kB SwapCached: 32 kB Active: 25094604 kB Inactive: 1197764 kB Active(anon): 24504692 kB Inactive(anon): 10736 kB Active(file): 589912 kB Inactive(file): 1187028 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14344 kB Writeback: 32 kB AnonPages: 24491468 kB Mapped: 129764 kB Shmem: 17932 kB KReclaimable: 214480 kB Slab: 301468 kB SReclaimable: 214480 kB SUnreclaim: 86988 kB KernelStack: 4176 kB PageTables: 51480 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 26731580 kB VmallocTotal: 34359738367 kB VmallocUsed: 149480 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 15749120 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431608 MiB End job on nodeC004 at 2025-07-04 11:29:29