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.09 | 1825.53 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub1_wcsp.wbo |
| MD5SUM | 4332859c61197d8e78afa6b8b48bb73c |
| 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 | 2669 |
| Best CPU time to get the best result obtained on this benchmark | 28.4538 |
| 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 | 241978 |
| Number of soft constraints | 241964 |
| Number of constraints which are clauses | 241964 |
| 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 | 48694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 34489736 |
| 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 |
28.04/27.58 o 40297 28.64/27.88 o 29281 34.19/30.64 o 21376 48.84/38.18 o 16825 54.79/41.18 o 14425 60.55/44.08 o 14185 63.11/45.35 o 12754 63.31/45.42 o 12520 63.51/45.57 o 12510 71.65/49.60 o 7921 71.84/49.76 o 6821 101.20/64.59 o 6717 132.34/80.24 o 6707 175.78/102.13 o 5710 195.81/112.27 o 4894 196.01/112.32 o 4694 220.42/124.66 o 4503 366.62/198.45 o 4502 1070.95/553.12 o 4423 1095.99/565.77 o 3711 1124.61/580.14 o 3612 1152.82/594.38 o 3574 1153.22/594.53 o 3472 1167.52/601.72 o 3396 1167.52/601.77 o 3365 1281.77/659.27 o 3265 1517.64/777.97 o 3255 1687.58/863.40 o 3254 3600.05/1825.50 s SATISFIABLE 3600.05/1825.50 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.05/1825.50 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.05/1825.50 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.05/1825.50 v -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 3600.05/1825.50 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.05/1825.50 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 3600.05/1825.50 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 3600.05/1825.50 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 3600.05/1825.50 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 3600.05/1825.50 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 3600.05/1825.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 3600.05/1825.50 v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 3600.05/1825.50 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 3600.05/1825.50 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 3600.05/1825.50 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 3600.05/1825.50 v -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 3600.05/1825.50 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 3600.05/1825.50 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 3600.05/1825.50 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 3600.05/1825.50 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 3600.05/1825.50 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 3600.05/1825.50 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 3600.05/1825.50 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 3600.05/1825.50 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 3600.05/1825.50 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 3600.05/1825.50 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 3600.05/1825.50 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 3600.05/1825.50 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 3600.05/1825.50 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 3600.05/1825.50 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 3600.05/1825.50 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 3600.05/1825.50 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 3600.05/1825.50 v -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 3600.05/1825.50 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 3600.05/1825.50 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 3600.05/1825.50 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 3600.05/1825.50 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 3600.05/1825.50 v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 3600.05/1825.50 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 3600.05/1825.50 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 3600.05/1825.50 v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 3600.05/1825.50 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 3600.05/1825.50 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 3600.05/1825.50 v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 3600.05/1825.50 v x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 3600.05/1825.50 v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 3600.05/1825.50 v -x616
OK 3254
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60987 MiB free)
memory of node 1: 64507 MiB (63806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529467-1752571877/watcher-4529467-1752571877 -o /tmp/evaluation-result-4529467-1752571877/solver-4529467-1752571877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752571843-122534 --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-4529467-1752571877.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=122730, runsolver pid=122726
[startup+0.10006 s]*
/proc/loadavg: 2.59 0.71 0.30 5/263 122732
/proc/meminfo: memFree=127758972/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=44852 memory=34388 CPUtime=0.09 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 8139 0 0 0 8 1 0 0 20 0 1 0 172867876 45928448 8597 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 11213 8597 1088 2102 0 8753 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44852 KiB
Current children cumulated memory: 34388 KiB
[startup+0.205447 s]*
/proc/loadavg: 2.59 0.71 0.30 7/269 122738
/proc/meminfo: memFree=127670392/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=133356 memory=125436 CPUtime=0.19 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 29861 0 0 0 15 4 0 0 20 0 1 0 172867876 136556544 31359 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 33339 31359 1088 2102 0 30879 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133356 KiB
Current children cumulated memory: 125436 KiB
[startup+0.305517 s]*
/proc/loadavg: 2.59 0.71 0.30 5/264 122738
/proc/meminfo: memFree=127645444/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=144872 memory=139220 CPUtime=0.29 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 35531 0 0 0 24 5 0 0 20 0 1 0 172867876 148348928 34805 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 36218 34805 1344 2102 0 33758 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 144872 KiB
Current children cumulated memory: 139220 KiB
[startup+0.700163 s]
/proc/loadavg: 2.59 0.71 0.30 5/265 122742
/proc/meminfo: memFree=127569572/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=243320 memory=237664 CPUtime=0.68 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 55930 0 0 0 61 7 0 0 20 0 1 0 172867876 249159680 59416 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 60830 59416 1472 2102 0 58370 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 243320 KiB
Current children cumulated memory: 237664 KiB
[startup+1.50018 s]
/proc/loadavg: 2.59 0.71 0.30 5/263 122746
/proc/meminfo: memFree=127537068/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=271212 memory=261112 CPUtime=1.48 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 67307 0 0 0 139 9 0 0 20 0 1 0 172867876 277721088 65278 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 67803 65278 1536 2102 0 65343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 271212 KiB
Current children cumulated memory: 261112 KiB
[startup+3.10525 s]
/proc/loadavg: 2.87 0.80 0.33 6/265 122748
/proc/meminfo: memFree=127061016/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=390524 memory=378708 CPUtime=3.08 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 83926 0 0 0 295 13 0 0 20 0 1 0 172867876 399896576 94677 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 97631 94677 1568 2102 0 95171 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 390524 KiB
Current children cumulated memory: 378708 KiB
[startup+6.3001 s]
/proc/loadavg: 2.87 0.80 0.33 6/265 122748
/proc/meminfo: memFree=127007580/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=403248 memory=391444 CPUtime=6.26 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 86621 0 0 0 612 14 0 0 20 0 1 0 172867876 412925952 97861 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 100812 97861 1568 2102 0 98352 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 403248 KiB
Current children cumulated memory: 391444 KiB
[startup+12.7002 s]
/proc/loadavg: 3.35 0.97 0.39 6/265 122748
/proc/meminfo: memFree=126817664/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=467660 memory=452144 CPUtime=12.65 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 93749 0 0 0 1246 19 0 0 20 0 1 0 172867876 478883840 113036 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 116915 113036 1856 2102 0 114455 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 467660 KiB
Current children cumulated memory: 452144 KiB
[startup+25.5002 s]
/proc/loadavg: 3.76 1.14 0.45 7/269 122786
/proc/meminfo: memFree=125634240/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=560800 memory=556776 CPUtime=25.42 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) R 122726 122730 122516 0 -1 4194304 117501 0 0 0 2514 28 0 0 20 0 1 0 172867876 574259200 139194 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 140200 139194 1888 2102 0 137740 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 560800 KiB
Current children cumulated memory: 556776 KiB
[startup+51.1057 s]
/proc/loadavg: 5.09 1.66 0.64 9/273 122790
/proc/meminfo: memFree=121753016/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2124476 memory=1941260 CPUtime=74.62 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 421455 0 0 0 7362 100 0 0 20 0 3 0 172867876 2175463424 485315 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 531119 485315 2144 2102 0 512936 0
[pid=122730/tid=122787] ppid=122726 vsize=2124476 memory=1918684 CPUtime=21.66 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 168502 0 0 0 2136 30 0 0 20 0 3 0 172870560 2175463424 485315 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2124476 memory=14720 CPUtime=23.55 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 135011 0 0 0 2315 40 0 0 20 0 3 0 172870560 2175463424 485315 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 74.62 s
Current children cumulated vsize: 2124476 KiB
Current children cumulated memory: 1941260 KiB
[startup+102.3 s]
/proc/loadavg: 6.88 2.74 1.07 9/272 122792
/proc/meminfo: memFree=121264792/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2062644 memory=1920852 CPUtime=176.17 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 638222 0 0 0 17452 165 0 0 20 0 3 0 172867876 2112147456 480213 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 515661 480213 2144 2102 0 498847 0
[pid=122730/tid=122787] ppid=122726 vsize=2062644 memory=14720 CPUtime=72.61 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 284864 0 0 0 7223 38 0 0 20 0 3 0 172870560 2112147456 480213 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2062644 memory=1989552 CPUtime=74.09 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 235346 0 0 0 7312 97 0 0 20 0 3 0 172870560 2112147456 480213 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 176.17 s
Current children cumulated vsize: 2062644 KiB
Current children cumulated memory: 1920852 KiB
[startup+162.3 s]
/proc/loadavg: 7.74 3.68 1.49 9/272 122794
/proc/meminfo: memFree=120753404/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2463960 memory=2244944 CPUtime=295.03 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 844650 0 0 0 29264 239 0 0 20 0 3 0 172867876 2523095040 561236 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 615990 561236 2144 2102 0 589487 0
[pid=122730/tid=122787] ppid=122726 vsize=2463960 memory=14720 CPUtime=130.77 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 441549 0 0 0 13024 53 0 0 20 0 3 0 172870560 2523095040 561236 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2463960 memory=1991808 CPUtime=133.12 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 285039 0 0 0 13157 155 0 0 20 0 3 0 172870560 2523095040 561236 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 295.03 s
Current children cumulated vsize: 2463960 KiB
Current children cumulated memory: 2244944 KiB
[startup+222.3 s]
/proc/loadavg: 8.22 4.57 1.94 9/273 122797
/proc/meminfo: memFree=121039244/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2285656 memory=2112976 CPUtime=414 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 933406 0 0 0 41098 302 0 0 20 0 3 0 172867876 2340511744 528244 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 571414 528244 2144 2102 0 555470 0
[pid=122730/tid=122787] ppid=122726 vsize=2285656 memory=2237780 CPUtime=190.38 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 474725 0 0 0 18982 56 0 0 20 0 3 0 172870560 2340511744 528244 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2285656 memory=2178452 CPUtime=192.48 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 340585 0 0 0 19033 215 0 0 20 0 3 0 172870560 2340511744 528244 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 414 s
Current children cumulated vsize: 2285656 KiB
Current children cumulated memory: 2112976 KiB
[startup+282.3 s]
/proc/loadavg: 8.22 5.23 2.33 9/271 122799
/proc/meminfo: memFree=120836000/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2251456 memory=2051256 CPUtime=533.05 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 1031700 0 0 0 52938 367 0 0 20 0 3 0 172867876 2305490944 512814 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 562864 512814 2144 2102 0 546972 0
[pid=122730/tid=122787] ppid=122726 vsize=2251456 memory=14720 CPUtime=250.11 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 533893 0 0 0 24949 62 0 0 20 0 3 0 172870560 2305490944 512814 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2251456 memory=2098368 CPUtime=251.77 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 379675 0 0 0 24904 273 0 0 20 0 3 0 172870560 2305490944 512814 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 533.05 s
Current children cumulated vsize: 2251456 KiB
Current children cumulated memory: 2051256 KiB
[startup+342.3 s]
/proc/loadavg: 8.08 5.74 2.69 9/271 122801
/proc/meminfo: memFree=120787172/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2286912 memory=2121880 CPUtime=652.06 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 1120142 0 0 0 64774 432 0 0 20 0 3 0 172867876 2341797888 530470 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 571728 530470 2144 2102 0 555779 0
################
# More data... #
################
Current children cumulated memory: 2158748 KiB
[startup+1362.3 s]
/proc/loadavg: 4.11 4.23 3.88 5/258 122915
/proc/meminfo: memFree=125162412/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2346984 memory=2209396 CPUtime=2679.26 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2030413 0 0 0 266322 1604 0 0 20 0 3 0 172867876 2403311616 552349 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 586746 552349 2144 2102 0 570777 0
[pid=122730/tid=122787] ppid=122726 vsize=2346984 memory=2201424 CPUtime=1325.63 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 996900 0 0 0 132407 156 0 0 20 0 3 0 172870560 2403311616 552349 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2346984 memory=2160028 CPUtime=1322.12 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 915019 0 0 0 130805 1407 0 0 20 0 3 0 172870560 2403311616 552349 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 2679.26 s
Current children cumulated vsize: 2346984 KiB
Current children cumulated memory: 2209396 KiB
[startup+1422.3 s]
/proc/loadavg: 4.09 4.20 3.90 5/258 122917
/proc/meminfo: memFree=125155304/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2367724 memory=2248952 CPUtime=2798.51 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2056027 0 0 0 278185 1666 0 0 20 0 3 0 172867876 2424549376 562238 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 591931 562238 2144 2102 0 575962 0
[pid=122730/tid=122787] ppid=122726 vsize=2367724 memory=2201424 CPUtime=1385.07 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1012162 0 0 0 138350 157 0 0 20 0 3 0 172870560 2424549376 562238 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2367724 memory=14720 CPUtime=1381.94 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 925359 0 0 0 136726 1468 0 0 20 0 3 0 172870560 2424549376 562238 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 2798.51 s
Current children cumulated vsize: 2367724 KiB
Current children cumulated memory: 2248952 KiB
[startup+1482.3 s]
/proc/loadavg: 4.08 4.18 3.91 5/256 122919
/proc/meminfo: memFree=125112040/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2373996 memory=2257116 CPUtime=2917.78 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2091160 0 0 0 290032 1746 0 0 20 0 3 0 172867876 2430971904 564279 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 593499 564279 2144 2102 0 577530 0
[pid=122730/tid=122787] ppid=122726 vsize=2373996 memory=14720 CPUtime=1444.5 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1023411 0 0 0 144282 168 0 0 20 0 3 0 172870560 2430971904 564279 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2373996 memory=2277904 CPUtime=1441.76 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 949240 0 0 0 142640 1536 0 0 20 0 3 0 172870560 2430971904 564279 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 2917.78 s
Current children cumulated vsize: 2373996 KiB
Current children cumulated memory: 2257116 KiB
[startup+1542.3 s]
/proc/loadavg: 4.06 4.16 3.92 5/255 122921
/proc/meminfo: memFree=125171092/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2361508 memory=2207768 CPUtime=3037.06 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2107274 0 0 0 301879 1827 0 0 20 0 3 0 172867876 2418184192 551942 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 590377 551942 2144 2102 0 574408 0
[pid=122730/tid=122787] ppid=122726 vsize=2361508 memory=-7239674680133783146 CPUtime=1503.94 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1026834 0 0 0 150210 184 0 0 20 0 3 0 172870560 2418184192 551942 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2361508 memory=2219864 CPUtime=1501.58 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 961906 0 0 0 148558 1600 0 0 20 0 3 0 172870560 2418184192 551942 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 3037.06 s
Current children cumulated vsize: 2361508 KiB
Current children cumulated memory: 2207768 KiB
[startup+1602.3 s]
/proc/loadavg: 4.07 4.14 3.93 5/254 122924
/proc/meminfo: memFree=125074808/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2279568 memory=2166916 CPUtime=3156.32 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2129344 0 0 0 313722 1910 0 0 20 0 3 0 172867876 2334277632 541729 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 569892 541729 2144 2102 0 553923 0
[pid=122730/tid=122787] ppid=122726 vsize=2279568 memory=2219864 CPUtime=1563.37 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1031770 0 0 0 156133 204 0 0 20 0 3 0 172870560 2334277632 541729 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2279568 memory=2232740 CPUtime=1561.41 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 979040 0 0 0 154478 1663 0 0 20 0 3 0 172870560 2334277632 541729 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 3156.32 s
Current children cumulated vsize: 2279568 KiB
Current children cumulated memory: 2166916 KiB
[startup+1662.3 s]
/proc/loadavg: 4.14 4.15 3.95 5/254 122926
/proc/meminfo: memFree=125100704/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2375836 memory=2261340 CPUtime=3275.6 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2157086 0 0 0 325572 1988 0 0 20 0 3 0 172867876 2432856064 565335 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 593959 565335 2144 2102 0 577990 0
[pid=122730/tid=122787] ppid=122726 vsize=2375836 memory=2219864 CPUtime=1623.13 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1038006 0 0 0 162090 223 0 0 20 0 3 0 172870560 2432856064 565335 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2375836 memory=2259532 CPUtime=1620.91 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1000531 0 0 0 160370 1721 0 0 20 0 3 0 172870560 2432856064 565335 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 3275.6 s
Current children cumulated vsize: 2375836 KiB
Current children cumulated memory: 2261340 KiB
[startup+1722.3 s]
/proc/loadavg: 4.11 4.13 3.96 5/254 122928
/proc/meminfo: memFree=125037152/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2394204 memory=2281756 CPUtime=3394.89 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2178426 0 0 0 337421 2068 0 0 20 0 3 0 172867876 2451664896 570439 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 598551 570439 2144 2102 0 582582 0
[pid=122730/tid=122787] ppid=122726 vsize=2394204 memory=2219864 CPUtime=1682.96 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1039226 0 0 0 168055 241 0 0 20 0 3 0 172870560 2451664896 570439 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2394204 memory=2249156 CPUtime=1680.35 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1020636 0 0 0 166252 1783 0 0 20 0 3 0 172870560 2451664896 570439 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 3394.89 s
Current children cumulated vsize: 2394204 KiB
Current children cumulated memory: 2281756 KiB
[startup+1782.3 s]
/proc/loadavg: 4.04 4.11 3.97 5/254 122941
/proc/meminfo: memFree=125048748/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2462736 memory=2311216 CPUtime=3514.17 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2196320 0 0 0 349271 2146 0 0 20 0 3 0 172867876 2521841664 577804 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 615684 577804 2144 2102 0 595367 0
[pid=122730/tid=122787] ppid=122726 vsize=2462736 memory=2325164 CPUtime=1742.81 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1039931 0 0 0 174025 256 0 0 20 0 3 0 172870560 2521841664 577804 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2462736 memory=2307860 CPUtime=1739.78 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1037811 0 0 0 172132 1846 0 0 20 0 3 0 172870560 2521841664 577804 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 3514.17 s
Current children cumulated vsize: 2462736 KiB
Current children cumulated memory: 2311216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1825.5 s]
/proc/loadavg: 3.68 4.02 3.95 3/247 122977
/proc/meminfo: memFree=125716096/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2368916 memory=2229204 CPUtime=3600.05 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2210266 0 0 0 357803 2202 0 0 20 0 3 0 172867876 2425769984 557301 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 592229 557301 2144 2102 0 576260 0
[pid=122730/tid=122787] ppid=122726 vsize=2368916 memory=2321044 CPUtime=1785.88 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1041273 0 0 0 178321 267 0 0 20 0 3 0 172870560 2425769984 557301 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2368916 memory=2280816 CPUtime=1782.57 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1050400 0 0 0 176366 1891 0 0 20 0 3 0 172870560 2425769984 557301 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2368916 KiB
Current children cumulated memory: 2229204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1825.53 s]
# the end of solver process 122730 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.04 s, system=22.0489 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1825.5 s]
/proc/loadavg: 3.68 4.02 3.95 3/247 122977
/proc/meminfo: memFree=125716096/131250000 swapFree=33010416/33010684
[pid=122730] ppid=122726 vsize=2368916 memory=2229204 CPUtime=3600.05 cores=4,6
/proc/122730/stat : 122730 (cp_sat_runner) S 122726 122730 122516 0 -1 4194304 2210266 0 0 0 357803 2202 0 0 20 0 3 0 172867876 2425769984 557301 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
/proc/122730/statm: 592229 557301 2144 2102 0 576260 0
[pid=122730/tid=122787] ppid=122726 vsize=2368916 memory=2321044 CPUtime=1785.88 cores=4,6
/proc/122730/task/122787/stat : 122787 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1041273 0 0 0 178321 267 0 0 20 0 3 0 172870560 2425769984 557301 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
[pid=122730/tid=122788] ppid=122726 vsize=2368916 memory=2280816 CPUtime=1782.57 cores=4,6
/proc/122730/task/122788/stat : 122788 (cp_sat_runner) R 122726 122730 122516 0 -1 4194368 1050400 0 0 0 176366 1891 0 0 20 0 3 0 172870560 2425769984 557301 18446744073709551615 4198400 12806697 140731889076272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 20930560 140731889080597 140731889080801 140731889080801 140731889086407 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2368916 KiB
Current children cumulated memory: 2229204 KiB
Child status: 0
Real time (s): 1825.53
CPU time (s): 3600.09
CPU user time (s): 3578.04
CPU system time (s): 22.0489
CPU usage (%): 197.208
Max. virtual memory (cumulated for all children) (KiB): 2529012
Max. memory (cumulated for all children) (KiB): 2335396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.04
system time used= 22.0489
maximum resident set size= 2337444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2210271
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= 19031
involuntary context switches= 53597
# summary of solver processes directly reported to runsolver:
# pid: 122730
# total CPU time (s): 3600.09
# total CPU user time (s): 3578.04
# total CPU system time (s): 22.0489
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.48164 second user time and 8.51993 second system time
The end
Begin job on nodeC027 at 2025-07-15 11:31:19 IDJOB=4529467 IDBENCH=143893 IDSOLVER=3387 FILE ID=nodeC027/4529467-1752571877 RUNJOBID= nodeC027-1752571843-122534 SLURM_JOB_ID= 9683896 Free space on /tmp= 431652 MiB SOLVER NAME= OR-Tools CP-SAT 9.14.2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-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-4529467-1752571877/watcher-4529467-1752571877 -o /tmp/evaluation-result-4529467-1752571877/solver-4529467-1752571877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752571843-122534 --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-4529467-1752571877.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4332859c61197d8e78afa6b8b48bb73c RANDOM SEED=482937223 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.628 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.464 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.848 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3581.879 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.637 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.637 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.631 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127898568 kB MemAvailable: 129701872 kB Buffers: 2488 kB Cached: 2595380 kB SwapCached: 12 kB Active: 725152 kB Inactive: 1984596 kB Active(anon): 127144 kB Inactive(anon): 2792 kB Active(file): 598008 kB Inactive(file): 1981804 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33204 kB Writeback: 0 kB AnonPages: 115012 kB Mapped: 115408 kB Shmem: 18056 kB KReclaimable: 125060 kB Slab: 218036 kB SReclaimable: 125060 kB SUnreclaim: 92976 kB KernelStack: 4224 kB PageTables: 3116 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 420620 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431664 MiB End job on nodeC027 at 2025-07-15 12:01:46