Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| OR-Tools CP-SAT 9.14.2 | MSAT (TO) | 3600.12 | 1825.94 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo |
| MD5SUM | daf2f1ed087a94b78160429ad112bf14 |
| 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 | 142640 |
| Best CPU time to get the best result obtained on this benchmark | 27.4485 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 616 |
| Total number of constraints | 249748 |
| Number of soft constraints | 249734 |
| Number of constraints which are clauses | 249734 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 39275680 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 19104596930 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
25.78/25.47 o 21878638 26.38/25.73 o 17559974 31.54/28.35 o 16721860 37.48/31.36 o 16721859 39.40/32.35 o 16111817 56.08/40.75 o 11272323 56.28/40.81 o 10252222 60.45/42.97 o 4352438 60.66/43.04 o 3332236 69.39/47.42 o 3312341 73.37/49.45 o 3292338 77.34/51.44 o 3282338 77.34/51.49 o 3272338 93.43/59.67 o 1403944 97.77/62.06 o 1262339 97.97/62.18 o 1262238 115.36/71.01 o 502938 121.52/74.12 o 473837 121.71/74.20 o 413334 129.17/78.09 o 403744 129.51/78.22 o 343542 171.96/99.81 o 303140 172.16/99.97 o 272838 196.85/112.46 o 212645 201.62/114.82 o 212642 201.62/114.88 o 212638 362.35/195.72 o 212637 431.41/230.58 o 203145 431.61/230.65 o 192939 478.28/254.14 o 192739 500.51/265.36 o 183546 505.09/267.61 o 172944 507.07/268.67 o 172740 507.67/268.99 o 172739 570.02/300.38 o 172641 570.42/300.51 o 172640 1135.45/585.02 o 172639 1170.00/602.41 o 162841 1170.00/602.46 o 162639 1753.09/896.01 o 152746 1753.09/896.02 o 152745 1753.09/896.06 o 152743 2358.40/1200.86 o 152742 2378.06/1210.77 o 152645 2378.46/1210.92 o 152640 3600.06/1825.90 s SATISFIABLE 3600.06/1825.90 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 3600.06/1825.90 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.06/1825.90 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.06/1825.90 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 3600.06/1825.90 v x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.06/1825.90 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 3600.06/1825.90 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 3600.06/1825.90 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 3600.06/1825.90 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 3600.06/1825.90 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 3600.06/1825.90 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 3600.06/1825.90 v -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 3600.06/1825.90 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 3600.06/1825.90 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 3600.06/1825.90 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 3600.06/1825.90 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 3600.06/1825.90 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 3600.06/1825.90 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 3600.06/1825.90 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 3600.06/1825.90 v x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 3600.06/1825.90 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 3600.06/1825.90 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 3600.06/1825.90 v x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 3600.06/1825.90 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 3600.06/1825.90 v -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 3600.06/1825.90 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 3600.06/1825.90 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 3600.06/1825.90 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 3600.06/1825.90 v -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 3600.06/1825.90 v -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 3600.06/1825.90 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 3600.06/1825.90 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 3600.06/1825.90 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 3600.06/1825.90 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 3600.06/1825.90 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 3600.06/1825.90 v -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 3600.06/1825.90 v -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 3600.06/1825.90 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 3600.06/1825.90 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 3600.06/1825.90 v -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 3600.06/1825.90 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 3600.06/1825.90 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 3600.06/1825.90 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 3600.06/1825.90 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 3600.06/1825.90 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 3600.06/1825.90 v -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 3600.06/1825.90 v -x615 -x616
OK 152640
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 (61449 MiB free)
memory of node 1: 64465 MiB (62576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529473-1752571873/watcher-4529473-1752571873 -o /tmp/evaluation-result-4529473-1752571873/solver-4529473-1752571873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752571843-125743 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529473-1752571873.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=125856, runsolver pid=125853
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 2.91 0.77 0.32 8/257 125857
/proc/meminfo: memFree=126992856/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=21776 memory=15684 CPUtime=0.1 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) R 125853 125856 125726 0 -1 4194304 3694 0 0 0 9 1 0 0 20 0 1 0 172866402 22298624 3921 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 5444 3921 1088 2102 0 2984 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21776 KiB
Current children cumulated memory: 15684 KiB
[startup+0.213567 s]*
/proc/loadavg: 2.91 0.77 0.32 9/257 125857
/proc/meminfo: memFree=126985044/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=33956 memory=27664 CPUtime=0.21 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) R 125853 125856 125726 0 -1 4194304 6453 0 0 0 19 2 0 0 20 0 1 0 172866402 34770944 6916 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 8489 6916 1088 2102 0 6029 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33956 KiB
Current children cumulated memory: 27664 KiB
[startup+0.313397 s]*
/proc/loadavg: 2.91 0.77 0.32 8/257 125857
/proc/meminfo: memFree=126973136/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=47756 memory=39328 CPUtime=0.31 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) R 125853 125856 125726 0 -1 4194304 8844 0 0 0 28 3 0 0 20 0 1 0 172866402 48902144 9832 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 11939 9832 1088 2102 0 9479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47756 KiB
Current children cumulated memory: 39328 KiB
[startup+0.700329 s]
/proc/loadavg: 2.91 0.77 0.32 8/257 125857
/proc/meminfo: memFree=126926768/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=134740 memory=129124 CPUtime=0.69 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) R 125853 125856 125726 0 -1 4194304 33529 0 0 0 59 10 0 0 20 0 1 0 172866402 137973760 32281 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 33685 32281 1280 2102 0 31225 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134740 KiB
Current children cumulated memory: 129124 KiB
[startup+1.50029 s]
/proc/loadavg: 2.91 0.77 0.32 8/257 125857
/proc/meminfo: memFree=126806316/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=248952 memory=241748 CPUtime=1.48 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) R 125853 125856 125726 0 -1 4194304 57438 0 0 0 132 16 0 0 20 0 1 0 172866402 254926848 60437 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 62238 60437 1472 2102 0 59778 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 248952 KiB
Current children cumulated memory: 241748 KiB
[startup+3.11328 s]
/proc/loadavg: 3.24 0.87 0.35 8/257 125857
/proc/meminfo: memFree=126632492/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=391872 memory=377940 CPUtime=3.09 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) R 125853 125856 125726 0 -1 4194304 84497 0 0 0 288 21 0 0 20 0 1 0 172866402 401276928 94485 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 97968 94485 1600 2102 0 95508 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 391872 KiB
Current children cumulated memory: 377940 KiB
[startup+6.30029 s]
/proc/loadavg: 3.24 0.87 0.35 8/257 125857
/proc/meminfo: memFree=126608784/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=407328 memory=392916 CPUtime=6.27 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) R 125853 125856 125726 0 -1 4194304 88240 0 0 0 604 23 0 0 20 0 1 0 172866402 417103872 98229 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 101832 98229 1600 2102 0 99372 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 407328 KiB
Current children cumulated memory: 392916 KiB
[startup+12.7003 s]
/proc/loadavg: 3.73 1.06 0.42 6/251 125865
/proc/meminfo: memFree=126782780/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=479660 memory=462024 CPUtime=12.65 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) R 125853 125856 125726 0 -1 4194304 99700 0 0 0 1236 29 0 0 20 0 1 0 172866402 491171840 115506 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 119915 115506 1888 2102 0 117455 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 479660 KiB
Current children cumulated memory: 462024 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 1.24 0.48 7/253 125869
/proc/meminfo: memFree=126485564/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=1527876 memory=1056748 CPUtime=25.98 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 183885 0 0 0 2544 54 0 0 20 0 3 0 172866402 1564545024 264187 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 381969 264187 1984 2102 0 352037 0
[pid=125856/tid=125867] ppid=125853 vsize=1527876 memory=27341 CPUtime=0.56 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 19060 0 0 0 50 6 0 0 20 0 3 0 172868893 1564545024 264187 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=1527876 memory=566484 CPUtime=0.57 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 29001 0 0 0 50 7 0 0 20 0 3 0 172868893 1564545024 264187 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 25.98 s
Current children cumulated vsize: 1527876 KiB
Current children cumulated memory: 1056748 KiB
[startup+51.1055 s]
/proc/loadavg: 4.85 1.64 0.64 7/251 125891
/proc/meminfo: memFree=125142532/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2235448 memory=2053284 CPUtime=76.75 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 433779 0 0 0 7560 115 0 0 20 0 3 0 172866402 2289098752 513321 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 558862 513321 2176 2102 0 539395 0
[pid=125856/tid=125867] ppid=125853 vsize=2235448 memory=2058616 CPUtime=23.61 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 215749 0 0 0 2326 35 0 0 20 0 3 0 172868893 2289098752 513321 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2235448 memory=1949688 CPUtime=25.84 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 82149 0 0 0 2546 38 0 0 20 0 3 0 172868893 2289098752 513321 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 76.75 s
Current children cumulated vsize: 2235448 KiB
Current children cumulated memory: 2053284 KiB
[startup+102.3 s]
/proc/loadavg: 5.60 2.39 0.95 7/251 125893
/proc/meminfo: memFree=124881092/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2409700 memory=2254488 CPUtime=176.92 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 681246 0 0 0 17505 187 0 0 20 0 3 0 172866402 2467532800 563622 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 602425 563622 2176 2102 0 585693 0
[pid=125856/tid=125867] ppid=125853 vsize=2409700 memory=5504 CPUtime=67.19 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 368533 0 0 0 6668 51 0 0 20 0 3 0 172868893 2467532800 563622 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2409700 memory=2241828 CPUtime=74.61 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 169758 0 0 0 7369 92 0 0 20 0 3 0 172868893 2467532800 563622 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 176.92 s
Current children cumulated vsize: 2409700 KiB
Current children cumulated memory: 2254488 KiB
[startup+162.3 s]
/proc/loadavg: 5.96 3.08 1.28 7/251 125895
/proc/meminfo: memFree=124826612/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2561940 memory=2325516 CPUtime=295.99 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 826065 0 0 0 29338 261 0 0 20 0 3 0 172866402 2623426560 581379 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 640485 581379 2176 2102 0 611460 0
[pid=125856/tid=125867] ppid=125853 vsize=2561940 memory=2301252 CPUtime=125.77 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 407278 0 0 0 12520 57 0 0 20 0 3 0 172868893 2623426560 581379 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2561940 memory=2301192 CPUtime=133.72 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 275763 0 0 0 13212 160 0 0 20 0 3 0 172868893 2623426560 581379 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 295.99 s
Current children cumulated vsize: 2561940 KiB
Current children cumulated memory: 2325516 KiB
[startup+222.3 s]
/proc/loadavg: 5.96 3.61 1.58 5/243 125928
/proc/meminfo: memFree=124853336/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2445560 memory=2288348 CPUtime=415.13 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 948776 0 0 0 41183 330 0 0 20 0 3 0 172866402 2504253440 572087 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 611390 572087 2176 2102 0 594093 0
[pid=125856/tid=125867] ppid=125853 vsize=2445560 memory=2346936 CPUtime=183.83 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 459511 0 0 0 18321 62 0 0 20 0 3 0 172868893 2504253440 572087 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2445560 memory=2390260 CPUtime=193.31 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 345945 0 0 0 19108 223 0 0 20 0 3 0 172868893 2504253440 572087 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 415.13 s
Current children cumulated vsize: 2445560 KiB
Current children cumulated memory: 2288348 KiB
[startup+282.3 s]
/proc/loadavg: 4.84 3.72 1.75 6/242 125929
/proc/meminfo: memFree=124762768/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2649856 memory=2456576 CPUtime=534.28 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 1038196 0 0 0 53028 400 0 0 20 0 3 0 172866402 2713452544 614144 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 662464 614144 2176 2102 0 638523 0
[pid=125856/tid=125867] ppid=125853 vsize=2649856 memory=24192 CPUtime=243.22 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 501877 0 0 0 24257 65 0 0 20 0 3 0 172868893 2713452544 614144 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2649856 memory=2374900 CPUtime=253.06 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 392990 0 0 0 25016 290 0 0 20 0 3 0 172868893 2713452544 614144 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 534.28 s
Current children cumulated vsize: 2649856 KiB
Current children cumulated memory: 2456576 KiB
[startup+342.3 s]
/proc/loadavg: 4.37 3.79 1.89 5/242 125931
/proc/meminfo: memFree=124703552/131382120 swapFree=33010416/33010684
################
# More data... #
################
Current children cumulated memory: 2460896 KiB
[startup+1362.3 s]
/proc/loadavg: 4.17 4.11 3.41 5/243 125984
/proc/meminfo: memFree=124632576/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2643876 memory=2483400 CPUtime=2679.16 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2455183 0 0 0 266296 1620 0 0 20 0 3 0 172866402 2707329024 620850 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 660969 620850 2176 2102 0 643663 0
[pid=125856/tid=125867] ppid=125853 vsize=2643876 memory=2396032 CPUtime=1312.22 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1183993 0 0 0 131104 118 0 0 20 0 3 0 172868893 2707329024 620850 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2643876 memory=11264 CPUtime=1328.59 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1127405 0 0 0 131417 1442 0 0 20 0 3 0 172868893 2707329024 620850 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 2679.16 s
Current children cumulated vsize: 2643876 KiB
Current children cumulated memory: 2483400 KiB
[startup+1422.3 s]
/proc/loadavg: 4.13 4.10 3.45 5/243 125986
/proc/meminfo: memFree=124671364/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2644284 memory=2425428 CPUtime=2798.34 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2511372 0 0 0 278152 1682 0 0 20 0 3 0 172866402 2707746816 606357 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 661071 606357 2176 2102 0 643765 0
[pid=125856/tid=125867] ppid=125853 vsize=2644284 memory=2396032 CPUtime=1371.61 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1198920 0 0 0 137042 119 0 0 20 0 3 0 172868893 2707746816 606357 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2644284 memory=2418248 CPUtime=1388.37 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1168665 0 0 0 137334 1503 0 0 20 0 3 0 172868893 2707746816 606357 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 2798.34 s
Current children cumulated vsize: 2644284 KiB
Current children cumulated memory: 2425428 KiB
[startup+1482.3 s]
/proc/loadavg: 4.33 4.18 3.53 5/242 125988
/proc/meminfo: memFree=124687196/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2614440 memory=2414028 CPUtime=2917.52 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2560549 0 0 0 290010 1742 0 0 20 0 3 0 172866402 2677186560 603507 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 653610 603507 2176 2102 0 636304 0
[pid=125856/tid=125867] ppid=125853 vsize=2614440 memory=2418248 CPUtime=1431 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1207790 0 0 0 142980 120 0 0 20 0 3 0 172868893 2677186560 603507 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2614440 memory=2427412 CPUtime=1448.14 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1208967 0 0 0 143253 1561 0 0 20 0 3 0 172868893 2677186560 603507 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 2917.52 s
Current children cumulated vsize: 2614440 KiB
Current children cumulated memory: 2414028 KiB
[startup+1542.3 s]
/proc/loadavg: 4.16 4.16 3.56 5/241 125990
/proc/meminfo: memFree=124675784/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2619352 memory=2425084 CPUtime=3036.7 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2601886 0 0 0 301870 1800 0 0 20 0 3 0 172866402 2682216448 606271 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 654838 606271 2176 2102 0 637532 0
[pid=125856/tid=125867] ppid=125853 vsize=2619352 memory=11264 CPUtime=1490.4 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1215640 0 0 0 148919 121 0 0 20 0 3 0 172868893 2682216448 606271 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2619352 memory=2414844 CPUtime=1507.92 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1242450 0 0 0 149174 1618 0 0 20 0 3 0 172868893 2682216448 606271 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 3036.7 s
Current children cumulated vsize: 2619352 KiB
Current children cumulated memory: 2425084 KiB
[startup+1602.3 s]
/proc/loadavg: 4.11 4.15 3.60 5/241 125993
/proc/meminfo: memFree=124656360/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2635432 memory=2420684 CPUtime=3155.89 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2667237 0 0 0 313727 1862 0 0 20 0 3 0 172866402 2698682368 605171 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 658858 605171 2176 2102 0 641552 0
[pid=125856/tid=125867] ppid=125853 vsize=2635432 memory=2457836 CPUtime=1549.8 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1238781 0 0 0 154857 123 0 0 20 0 3 0 172868893 2698682368 605171 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2635432 memory=2405140 CPUtime=1567.7 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1284656 0 0 0 155092 1678 0 0 20 0 3 0 172868893 2698682368 605171 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 3155.89 s
Current children cumulated vsize: 2635432 KiB
Current children cumulated memory: 2420684 KiB
[startup+1662.3 s]
/proc/loadavg: 4.08 4.13 3.63 5/241 125995
/proc/meminfo: memFree=124672296/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2575672 memory=2401884 CPUtime=3275.09 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2714769 0 0 0 325589 1920 0 0 20 0 3 0 172866402 2637488128 600471 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 643918 600471 2176 2102 0 626612 0
[pid=125856/tid=125867] ppid=125853 vsize=2575672 memory=2424384 CPUtime=1609.19 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1246385 0 0 0 160796 123 0 0 20 0 3 0 172868893 2637488128 600471 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2575672 memory=14464 CPUtime=1627.48 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1324580 0 0 0 161013 1735 0 0 20 0 3 0 172868893 2637488128 600471 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 3275.09 s
Current children cumulated vsize: 2575672 KiB
Current children cumulated memory: 2401884 KiB
[startup+1722.3 s]
/proc/loadavg: 4.13 4.14 3.67 5/241 125997
/proc/meminfo: memFree=124656016/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2559028 memory=2392176 CPUtime=3394.29 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2753270 0 0 0 337445 1984 0 0 20 0 3 0 172866402 2620444672 598044 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 639757 598044 2176 2102 0 622465 0
[pid=125856/tid=125867] ppid=125853 vsize=2559028 memory=2468740 CPUtime=1668.59 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1252628 0 0 0 166735 124 0 0 20 0 3 0 172868893 2620444672 598044 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2559028 memory=-7023217124407610727 CPUtime=1687.26 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1356833 0 0 0 166930 1796 0 0 20 0 3 0 172868893 2620444672 598044 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 3394.29 s
Current children cumulated vsize: 2559028 KiB
Current children cumulated memory: 2392176 KiB
[startup+1782.3 s]
/proc/loadavg: 4.05 4.11 3.69 5/242 126000
/proc/meminfo: memFree=124645192/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2571944 memory=2413796 CPUtime=3513.48 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2806485 0 0 0 349296 2052 0 0 20 0 3 0 172866402 2633670656 603449 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 642986 603449 2176 2102 0 625694 0
[pid=125856/tid=125867] ppid=125853 vsize=2571944 memory=2366532 CPUtime=1727.99 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1259084 0 0 0 172674 125 0 0 20 0 3 0 172868893 2633670656 603449 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2571944 memory=2417524 CPUtime=1747.04 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1403589 0 0 0 172841 1863 0 0 20 0 3 0 172868893 2633670656 603449 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 2571944 KiB
Current children cumulated memory: 2413796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1825.9 s]
/proc/loadavg: 3.09 3.86 3.63 3/236 126052
/proc/meminfo: memFree=125144036/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2577148 memory=2397240 CPUtime=3600.06 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2850175 0 0 0 357894 2112 0 0 20 0 3 0 172866402 2638999552 599310 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 644287 599310 2176 2102 0 626995 0
[pid=125856/tid=125867] ppid=125853 vsize=2577148 memory=2366748 CPUtime=1771.13 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1270048 0 0 0 176987 126 0 0 20 0 3 0 172868893 2638999552 599310 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2577148 memory=2418632 CPUtime=1790.47 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1436314 0 0 0 177125 1922 0 0 20 0 3 0 172868893 2638999552 599310 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2577148 KiB
Current children cumulated memory: 2397240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1825.94 s]
# the end of solver process 125856 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.95 s, system=21.1665 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1825.9 s]
/proc/loadavg: 3.09 3.86 3.63 3/236 126052
/proc/meminfo: memFree=125144036/131382120 swapFree=33010416/33010684
[pid=125856] ppid=125853 vsize=2577148 memory=2397240 CPUtime=3600.06 cores=0,2
/proc/125856/stat : 125856 (cp_sat_runner) S 125853 125856 125726 0 -1 4194304 2850175 0 0 0 357894 2112 0 0 20 0 3 0 172866402 2638999552 599310 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
/proc/125856/statm: 644287 599310 2176 2102 0 626995 0
[pid=125856/tid=125867] ppid=125853 vsize=2577148 memory=2366748 CPUtime=1771.13 cores=0,2
/proc/125856/task/125867/stat : 125867 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1270048 0 0 0 176987 126 0 0 20 0 3 0 172868893 2638999552 599310 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
[pid=125856/tid=125868] ppid=125853 vsize=2577148 memory=2418632 CPUtime=1790.47 cores=0,2
/proc/125856/task/125868/stat : 125868 (cp_sat_runner) R 125853 125856 125726 0 -1 4194368 1436314 0 0 0 177125 1922 0 0 20 0 3 0 172868893 2638999552 599310 18446744073709551615 4198400 12806697 140722389145552 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 39239680 140722389149973 140722389150177 140722389150177 140722389155783 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2577148 KiB
Current children cumulated memory: 2397240 KiB
Child status: 0
Real time (s): 1825.94
CPU time (s): 3600.12
CPU user time (s): 3578.95
CPU system time (s): 21.1665
CPU usage (%): 197.165
Max. virtual memory (cumulated for all children) (KiB): 2709700
Max. memory (cumulated for all children) (KiB): 2529748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.95
system time used= 21.1665
maximum resident set size= 2529748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2850181
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= 19077
involuntary context switches= 46065
# summary of solver processes directly reported to runsolver:
# pid: 125856
# total CPU time (s): 3600.12
# total CPU user time (s): 3578.95
# total CPU system time (s): 21.1665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22648 second user time and 6.02001 second system time
The end
Begin job on nodeC002 at 2025-07-15 11:31:15 IDJOB=4529473 IDBENCH=143884 IDSOLVER=3387 FILE ID=nodeC002/4529473-1752571873 RUNJOBID= nodeC002-1752571843-125743 SLURM_JOB_ID= 9683871 Free space on /tmp= 431576 MiB SOLVER NAME= OR-Tools CP-SAT 9.14.2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub1_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-4529473-1752571873/watcher-4529473-1752571873 -o /tmp/evaluation-result-4529473-1752571873/solver-4529473-1752571873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752571843-125743 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529473-1752571873.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= daf2f1ed087a94b78160429ad112bf14 RANDOM SEED=482937223 nodeC002 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 : 1197.560 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.81 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.685 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.81 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.223 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.81 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.673 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.81 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.665 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.81 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 : 3591.680 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.81 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.678 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.81 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 : 3591.674 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.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127002372 kB MemAvailable: 129283380 kB Buffers: 2128 kB Cached: 3088092 kB SwapCached: 28 kB Active: 1050444 kB Inactive: 2722168 kB Active(anon): 702112 kB Inactive(anon): 6404 kB Active(file): 348332 kB Inactive(file): 2715764 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19940 kB Writeback: 4 kB AnonPages: 683284 kB Mapped: 133136 kB Shmem: 26124 kB KReclaimable: 113076 kB Slab: 202624 kB SReclaimable: 113076 kB SUnreclaim: 89548 kB KernelStack: 4144 kB PageTables: 4472 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 1124672 kB VmallocTotal: 34359738367 kB VmallocUsed: 149448 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 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: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431604 MiB End job on nodeC002 at 2025-07-15 12:01:42