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.04 | 1815.72 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo |
| MD5SUM | d7d01ec0794d07991a9972239b49c230 |
| 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 | 202342 |
| Best CPU time to get the best result obtained on this benchmark | 9.55977 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 444 |
| Total number of constraints | 80644 |
| Number of soft constraints | 80622 |
| Number of constraints which are clauses | 80622 |
| 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 | 22 |
| Top cost | 54058235 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 6107276475 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| 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.00/4.01 o 13090210 4.41/4.12 o 13090109 6.17/5.09 o 12090104 8.93/6.46 o 10170608 10.13/7.04 o 10140506 15.08/9.51 o 10110506 15.08/9.54 o 10110000 15.48/9.80 o 8180108 17.46/10.76 o 4290916 17.46/10.78 o 4270913 20.26/12.10 o 4260913 22.04/13.04 o 4250913 22.63/13.34 o 4220917 25.01/14.55 o 4220609 27.79/15.90 o 4220608 31.29/17.77 o 3573854 33.07/18.64 o 3562442 33.07/18.66 o 1532441 35.25/19.75 o 1532243 36.24/20.24 o 1522043 43.76/24.09 o 1513459 44.74/24.50 o 501839 44.74/24.52 o 481736 50.30/27.39 o 431230 51.29/27.83 o 421230 71.74/38.17 o 401625 71.74/38.19 o 361623 72.92/38.76 o 321726 75.70/40.19 o 311826 77.88/41.20 o 311726 105.66/55.29 o 301526 127.49/66.20 o 301525 144.97/75.03 o 281527 145.17/75.12 o 281524 1720.34/868.77 o 262430 1720.54/868.88 o 252328 1754.68/886.05 o 242331 1756.67/887.03 o 232329 1812.64/915.23 o 222441 1814.83/916.30 o 222341 1814.83/916.32 o 212341 1876.53/947.45 o 212243 1897.59/958.09 o 202342 3600.01/1815.70 s SATISFIABLE 3600.01/1815.70 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.01/1815.70 v -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 3600.01/1815.70 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 3600.01/1815.70 v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 3600.01/1815.70 v -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 3600.01/1815.70 v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 3600.01/1815.70 v -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 3600.01/1815.70 v x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 3600.01/1815.70 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 3600.01/1815.70 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 3600.01/1815.70 v -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 3600.01/1815.70 v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 3600.01/1815.70 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 3600.01/1815.70 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 3600.01/1815.70 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 3600.01/1815.70 v -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 3600.01/1815.70 v x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 3600.01/1815.70 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 3600.01/1815.70 v -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 3600.01/1815.70 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 3600.01/1815.70 v -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 3600.01/1815.70 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 3600.01/1815.70 v -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 3600.01/1815.70 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 3600.01/1815.70 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 3600.01/1815.70 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 3600.01/1815.70 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 3600.01/1815.70 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 3600.01/1815.70 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 3600.01/1815.70 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 3600.01/1815.70 v -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 3600.01/1815.70 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 3600.01/1815.70 v -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
OK 202342
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 (62300 MiB free)
memory of node 1: 64465 MiB (47337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525719-1751621095/watcher-4525719-1751621095 -o /tmp/evaluation-result-4525719-1751621095/solver-4525719-1751621095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90041 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:318447432 --competition_mode --input HOME/instance-4525719-1751621095.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=97001, runsolver pid=96998
[startup+0.100068 s]*
/proc/loadavg: 7.95 8.01 8.03 9/258 97002
/proc/meminfo: memFree=112076404/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=21760 memory=15564 CPUtime=0.1 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) R 96998 97001 90031 0 -1 4194304 3178 0 0 0 9 1 0 0 20 0 1 0 77788705 22282240 3891 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 5440 3891 1088 2102 0 2980 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21760 KiB
Current children cumulated memory: 15564 KiB
[startup+0.213844 s]*
/proc/loadavg: 7.95 8.01 8.03 8/258 97002
/proc/meminfo: memFree=111896440/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=53256 memory=46532 CPUtime=0.22 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) R 96998 97001 90031 0 -1 4194304 11510 0 0 0 18 4 0 0 20 0 1 0 77788705 54534144 11633 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 13314 11633 1280 2102 0 10854 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 53256 KiB
Current children cumulated memory: 46532 KiB
[startup+0.313532 s]*
/proc/loadavg: 7.95 8.01 8.03 8/258 97002
/proc/meminfo: memFree=111864180/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=67704 memory=60868 CPUtime=0.32 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) R 96998 97001 90031 0 -1 4194304 15046 0 0 0 27 5 0 0 20 0 1 0 77788705 69328896 15217 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 16926 15217 1344 2102 0 14466 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 67704 KiB
Current children cumulated memory: 60868 KiB
[startup+0.700318 s]
/proc/loadavg: 7.95 8.01 8.03 8/258 97002
/proc/meminfo: memFree=111712900/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=93636 memory=85060 CPUtime=0.69 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) R 96998 97001 90031 0 -1 4194304 20963 0 0 0 62 7 0 0 20 0 1 0 77788705 95883264 21265 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 23409 21265 1472 2102 0 20949 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 93636 KiB
Current children cumulated memory: 85060 KiB
[startup+1.50033 s]
/proc/loadavg: 7.95 8.01 8.03 8/258 97002
/proc/meminfo: memFree=111676996/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=146084 memory=138152 CPUtime=1.48 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) R 96998 97001 90031 0 -1 4194304 36438 0 0 0 137 11 0 0 20 0 1 0 77788705 149590016 34538 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 36521 34538 1856 2102 0 34061 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 146084 KiB
Current children cumulated memory: 138152 KiB
[startup+3.11338 s]
/proc/loadavg: 7.95 8.01 8.03 8/258 97002
/proc/meminfo: memFree=112090416/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=187748 memory=179400 CPUtime=3.09 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) R 96998 97001 90031 0 -1 4194304 50431 0 0 0 295 14 0 0 20 0 1 0 77788705 192253952 44850 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 46937 44850 1888 2102 0 44477 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 187748 KiB
Current children cumulated memory: 179400 KiB
[startup+6.30025 s]
/proc/loadavg: 7.87 7.99 8.03 9/260 97004
/proc/meminfo: memFree=111136516/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=982936 memory=803468 CPUtime=8.73 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) R 96998 97001 90031 0 -1 4194304 199793 0 0 0 830 43 0 0 20 0 3 0 77788705 1006526464 200867 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 245734 200867 2144 2102 0 219869 0
[pid=97001/tid=97003] ppid=96998 vsize=982936 memory=600296 CPUtime=2.28 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) S 96998 97001 90031 0 -1 4194368 110188 0 0 0 208 20 0 0 20 0 3 0 77789081 1006526464 200867 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=982936 memory=18560 CPUtime=2.5 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 38226 0 0 0 242 8 0 0 20 0 3 0 77789081 1006526464 200867 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 982936 KiB
Current children cumulated memory: 803468 KiB
[startup+12.7002 s]
/proc/loadavg: 7.96 8.01 8.03 9/260 97004
/proc/meminfo: memFree=110756504/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=958236 memory=805192 CPUtime=21.44 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 282200 0 0 0 2088 56 0 0 20 0 3 0 77788705 981233664 201298 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 239559 201298 2144 2102 0 212301 0
[pid=97001/tid=97003] ppid=96998 vsize=958236 memory=582992 CPUtime=8.53 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 135545 0 0 0 832 21 0 0 20 0 3 0 77789081 981233664 201298 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=958236 memory=179400 CPUtime=8.74 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 95200 0 0 0 855 19 0 0 20 0 3 0 77789081 981233664 201298 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 21.44 s
Current children cumulated vsize: 958236 KiB
Current children cumulated memory: 805192 KiB
[startup+25.5003 s]
/proc/loadavg: 7.97 8.01 8.03 9/260 97005
/proc/meminfo: memFree=110625084/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=1106848 memory=980300 CPUtime=46.73 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 469627 0 0 0 4590 83 0 0 20 0 3 0 77788705 1133412352 245075 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 276712 245075 2144 2102 0 261033 0
[pid=97001/tid=97003] ppid=96998 vsize=1106848 memory=960020 CPUtime=20.6 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 254845 0 0 0 2026 34 0 0 20 0 3 0 77789081 1133412352 245075 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=1106848 memory=906172 CPUtime=20.88 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 158967 0 0 0 2056 32 0 0 20 0 3 0 77789081 1133412352 245075 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 46.73 s
Current children cumulated vsize: 1106848 KiB
Current children cumulated memory: 980300 KiB
[startup+51.1056 s]
/proc/loadavg: 7.99 8.00 8.03 9/260 97005
/proc/meminfo: memFree=110580824/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=1108864 memory=982448 CPUtime=97.54 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 555440 0 0 0 9646 108 0 0 20 0 3 0 77788705 1135476736 245612 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 277216 245612 2144 2102 0 262082 0
[pid=97001/tid=97003] ppid=96998 vsize=1108864 memory=18560 CPUtime=45.9 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 263507 0 0 0 4556 34 0 0 20 0 3 0 77789081 1135476736 245612 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=1108864 memory=969580 CPUtime=46.38 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 236041 0 0 0 4581 57 0 0 20 0 3 0 77789081 1135476736 245612 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 97.54 s
Current children cumulated vsize: 1108864 KiB
Current children cumulated memory: 982448 KiB
[startup+102.3 s]
/proc/loadavg: 7.89 7.97 8.01 8/258 97052
/proc/meminfo: memFree=123433752/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=1103360 memory=984552 CPUtime=199.14 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 668261 0 0 0 19757 157 0 0 20 0 3 0 77788705 1129840640 246138 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 275840 246138 2144 2102 0 261072 0
[pid=97001/tid=97003] ppid=96998 vsize=1103360 memory=949988 CPUtime=96.51 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 281480 0 0 0 9614 37 0 0 20 0 3 0 77789081 1129840640 246138 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=1103360 memory=970512 CPUtime=97.37 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 330817 0 0 0 9634 103 0 0 20 0 3 0 77789081 1129840640 246138 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 199.14 s
Current children cumulated vsize: 1103360 KiB
Current children cumulated memory: 984552 KiB
[startup+162.3 s]
/proc/loadavg: 7.84 7.93 8.00 9/259 97056
/proc/meminfo: memFree=121347972/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=1050264 memory=968756 CPUtime=318.26 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 728721 0 0 0 31630 196 0 0 20 0 3 0 77788705 1075470336 242189 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 262566 242189 2144 2102 0 252710 0
[pid=97001/tid=97003] ppid=96998 vsize=1050264 memory=991580 CPUtime=155.84 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 296801 0 0 0 15546 38 0 0 20 0 3 0 77789081 1075470336 242189 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=1050264 memory=998544 CPUtime=157.14 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 375916 0 0 0 15574 140 0 0 20 0 3 0 77789081 1075470336 242189 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 318.26 s
Current children cumulated vsize: 1050264 KiB
Current children cumulated memory: 968756 KiB
[startup+222.3 s]
/proc/loadavg: 7.92 7.95 8.00 9/259 97058
/proc/meminfo: memFree=120958384/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=1050264 memory=969356 CPUtime=437.36 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 766199 0 0 0 43515 221 0 0 20 0 3 0 77788705 1075470336 242339 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 262566 242339 2144 2102 0 252710 0
[pid=97001/tid=97003] ppid=96998 vsize=1050264 memory=1021772 CPUtime=215.17 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 315709 0 0 0 21476 41 0 0 20 0 3 0 77789081 1075470336 242339 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=1050264 memory=14080 CPUtime=216.88 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 394450 0 0 0 21527 161 0 0 20 0 3 0 77789081 1075470336 242339 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 437.36 s
Current children cumulated vsize: 1050264 KiB
Current children cumulated memory: 969356 KiB
[startup+282.3 s]
/proc/loadavg: 7.93 7.96 8.00 9/258 97107
/proc/meminfo: memFree=121202556/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=1104256 memory=1014516 CPUtime=556.43 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 851564 0 0 0 55390 253 0 0 20 0 3 0 77788705 1130758144 253629 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 276064 253629 2144 2102 0 267097 0
[pid=97001/tid=97003] ppid=96998 vsize=1104256 memory=1022304 CPUtime=274.38 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 379756 0 0 0 27393 45 0 0 20 0 3 0 77789081 1130758144 253629 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=1104256 memory=18560 CPUtime=276.45 cores=0,2
################
# More data... #
################
Current children cumulated memory: 926324 KiB
[startup+1362.3 s]
/proc/loadavg: 8.16 8.11 8.06 9/258 97160
/proc/meminfo: memFree=120914052/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=984728 memory=932852 CPUtime=2699.98 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1450578 0 0 0 269633 365 0 0 20 0 3 0 77788705 1008361472 233213 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 246182 233213 2144 2102 0 241946 0
[pid=97001/tid=97003] ppid=96998 vsize=984728 memory=926324 CPUtime=1342.67 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 758804 0 0 0 134182 85 0 0 20 0 3 0 77789081 1008361472 233213 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=984728 memory=926324 CPUtime=1351.42 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 632913 0 0 0 134894 248 0 0 20 0 3 0 77789081 1008361472 233213 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 2699.98 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 932852 KiB
[startup+1422.3 s]
/proc/loadavg: 8.10 8.10 8.06 9/258 97162
/proc/meminfo: memFree=120917492/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=984728 memory=937204 CPUtime=2819.07 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1470906 0 0 0 281540 367 0 0 20 0 3 0 77788705 1008361472 234301 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 246182 234301 2144 2102 0 241946 0
[pid=97001/tid=97003] ppid=96998 vsize=984728 memory=926324 CPUtime=1402.42 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 767656 0 0 0 140156 86 0 0 20 0 3 0 77789081 1008361472 234301 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=984728 memory=14080 CPUtime=1410.75 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 644370 0 0 0 140826 249 0 0 20 0 3 0 77789081 1008361472 234301 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 2819.07 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 937204 KiB
[startup+1482.3 s]
/proc/loadavg: 8.12 8.11 8.06 9/257 97164
/proc/meminfo: memFree=120933492/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=984728 memory=937744 CPUtime=2938.16 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1497559 0 0 0 293446 370 0 0 20 0 3 0 77788705 1008361472 234436 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 246182 234436 2144 2102 0 241946 0
[pid=97001/tid=97003] ppid=96998 vsize=984728 memory=11264 CPUtime=1461.81 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 782787 0 0 0 146094 87 0 0 20 0 3 0 77789081 1008361472 234436 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=984728 memory=937744 CPUtime=1470.43 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 655876 0 0 0 146793 250 0 0 20 0 3 0 77789081 1008361472 234436 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 2938.16 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 937744 KiB
[startup+1542.3 s]
/proc/loadavg: 8.09 8.11 8.06 9/259 97172
/proc/meminfo: memFree=120920620/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=984728 memory=939416 CPUtime=3057.25 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1503269 0 0 0 305336 389 0 0 20 0 3 0 77788705 1008361472 234854 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 246182 234854 2144 2102 0 241946 0
[pid=97001/tid=97003] ppid=96998 vsize=984728 memory=937744 CPUtime=1521.14 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 783928 0 0 0 152027 87 0 0 20 0 3 0 77789081 1008361472 234854 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=984728 memory=11264 CPUtime=1530.18 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 660441 0 0 0 152749 269 0 0 20 0 3 0 77789081 1008361472 234854 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 3057.25 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 939416 KiB
[startup+1602.3 s]
/proc/loadavg: 7.12 7.85 7.98 7/251 97204
/proc/meminfo: memFree=123981324/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=984728 memory=943000 CPUtime=3176.34 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1524349 0 0 0 317222 412 0 0 20 0 3 0 77788705 1008361472 235750 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 246182 235750 2144 2102 0 241946 0
[pid=97001/tid=97003] ppid=96998 vsize=984728 memory=937744 CPUtime=1580.49 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 789912 0 0 0 157961 88 0 0 20 0 3 0 77789081 1008361472 235750 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=984728 memory=11264 CPUtime=1589.9 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 675519 0 0 0 158699 291 0 0 20 0 3 0 77789081 1008361472 235750 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 3176.34 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 943000 KiB
[startup+1662.3 s]
/proc/loadavg: 6.47 7.53 7.86 7/251 97206
/proc/meminfo: memFree=123995780/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=984728 memory=944008 CPUtime=3295.44 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1534443 0 0 0 329116 428 0 0 20 0 3 0 77788705 1008361472 236002 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 246182 236002 2144 2102 0 241946 0
[pid=97001/tid=97003] ppid=96998 vsize=984728 memory=11264 CPUtime=1639.84 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 794326 0 0 0 163896 88 0 0 20 0 3 0 77789081 1008361472 236002 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=984728 memory=975140 CPUtime=1649.65 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 681178 0 0 0 164658 307 0 0 20 0 3 0 77789081 1008361472 236002 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 3295.44 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 944008 KiB
[startup+1722.3 s]
/proc/loadavg: 6.29 7.28 7.75 7/251 97208
/proc/meminfo: memFree=124106208/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=984728 memory=944008 CPUtime=3414.57 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1539530 0 0 0 341005 452 0 0 20 0 3 0 77788705 1008361472 236002 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 246182 236002 2144 2102 0 241946 0
[pid=97001/tid=97003] ppid=96998 vsize=984728 memory=11264 CPUtime=1699.19 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 794375 0 0 0 169831 88 0 0 20 0 3 0 77789081 1008361472 236002 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=984728 memory=975140 CPUtime=1709.39 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 686213 0 0 0 170610 329 0 0 20 0 3 0 77789081 1008361472 236002 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 3414.57 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 944008 KiB
[startup+1782.3 s]
/proc/loadavg: 6.17 7.06 7.64 7/251 97212
/proc/meminfo: memFree=124182392/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=984728 memory=944080 CPUtime=3533.69 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1548085 0 0 0 352895 474 0 0 20 0 3 0 77788705 1008361472 236020 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 246182 236020 2144 2102 0 241946 0
[pid=97001/tid=97003] ppid=96998 vsize=984728 memory=997308 CPUtime=1758.54 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 796805 0 0 0 175766 88 0 0 20 0 3 0 77789081 1008361472 236020 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=984728 memory=944080 CPUtime=1769.15 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 692316 0 0 0 176565 350 0 0 20 0 3 0 77789081 1008361472 236020 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 3533.69 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 944080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.7 s]
/proc/loadavg: 6.17 6.96 7.58 7/251 97214
/proc/meminfo: memFree=124175612/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=1036312 memory=995664 CPUtime=3600.01 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1551767 0 0 0 359513 488 0 0 20 0 3 0 77788705 1061183488 248916 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 259078 248916 2144 2102 0 254842 0
[pid=97001/tid=97003] ppid=96998 vsize=1036312 memory=976384 CPUtime=1791.59 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 797252 0 0 0 179071 88 0 0 20 0 3 0 77789081 1061183488 248916 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=1036312 memory=944080 CPUtime=1802.41 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 695533 0 0 0 179877 364 0 0 20 0 3 0 77789081 1061183488 248916 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1036312 KiB
Current children cumulated memory: 995664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1815.72 s]
# the end of solver process 97001 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.14 s, system=4.89946 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1815.7 s]
/proc/loadavg: 6.17 6.96 7.58 7/251 97214
/proc/meminfo: memFree=124175612/131382116 swapFree=33009904/33010684
[pid=97001] ppid=96998 vsize=1036312 memory=995664 CPUtime=3600.01 cores=0,2
/proc/97001/stat : 97001 (cp-sat-runner) S 96998 97001 90031 0 -1 4194304 1551767 0 0 0 359513 488 0 0 20 0 3 0 77788705 1061183488 248916 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
/proc/97001/statm: 259078 248916 2144 2102 0 254842 0
[pid=97001/tid=97003] ppid=96998 vsize=1036312 memory=976384 CPUtime=1791.59 cores=0,2
/proc/97001/task/97003/stat : 97003 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 797252 0 0 0 179071 88 0 0 20 0 3 0 77789081 1061183488 248916 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
[pid=97001/tid=97004] ppid=96998 vsize=1036312 memory=944080 CPUtime=1802.41 cores=0,2
/proc/97001/task/97004/stat : 97004 (cp-sat-runner) R 96998 97001 90031 0 -1 4194368 695533 0 0 0 179877 364 0 0 20 0 3 0 77789081 1061183488 248916 18446744073709551615 4198400 12805993 140721050723024 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 44408832 140721050728727 140721050728931 140721050728931 140721050734535 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1036312 KiB
Current children cumulated memory: 995664 KiB
Child status: 0
Real time (s): 1815.72
CPU time (s): 3600.04
CPU user time (s): 3595.14
CPU system time (s): 4.89946
CPU usage (%): 198.271
Max. virtual memory (cumulated for all children) (KiB): 1115800
Max. memory (cumulated for all children) (KiB): 1032568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.14
system time used= 4.89946
maximum resident set size= 1032568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1551773
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= 19469
involuntary context switches= 118978
# summary of solver processes directly reported to runsolver:
# pid: 97001
# total CPU time (s): 3600.04
# total CPU user time (s): 3595.14
# total CPU system time (s): 4.89946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76565 second user time and 9.08542 second system time
The end
Begin job on nodeC004 at 2025-07-04 11:24:55 IDJOB=4525719 IDBENCH=143881 IDSOLVER=3378 FILE ID=nodeC004/4525719-1751621095 RUNJOBID= nodeC004-1751612733-90041 SLURM_JOB_ID= 9598915 Free space on /tmp= 431588 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4-22_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-4525719-1751621095/watcher-4525719-1751621095 -o /tmp/evaluation-result-4525719-1751621095/solver-4525719-1751621095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90041 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:318447432 --competition_mode --input HOME/instance-4525719-1751621095.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d7d01ec0794d07991a9972239b49c230 RANDOM SEED=318447432 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 : 3492.105 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.815 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 : 1197.215 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 : 3591.566 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 : 3591.632 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 : 3491.994 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 : 3591.672 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 : 3192.653 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: 112289548 kB MemAvailable: 113282876 kB Buffers: 2128 kB Cached: 1741480 kB SwapCached: 32 kB Active: 17124496 kB Inactive: 1146500 kB Active(anon): 16534584 kB Inactive(anon): 10736 kB Active(file): 589912 kB Inactive(file): 1135764 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14976 kB Writeback: 0 kB AnonPages: 16523756 kB Mapped: 129848 kB Shmem: 17932 kB KReclaimable: 214556 kB Slab: 301384 kB SReclaimable: 214556 kB SUnreclaim: 86828 kB KernelStack: 4160 kB PageTables: 35812 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 17812580 kB VmallocTotal: 34359738367 kB VmallocUsed: 149608 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10248192 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= 431628 MiB End job on nodeC004 at 2025-07-04 11:55:11