Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PRINTEMPS 2025-05-28 | SAT (TO) | 1 | 3600.1 | 1858.72 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
| MD5SUM | 0c08209891d9f5241a74237055766898 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.056181 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 934 |
| Total number of constraints | 1063 |
| Number of constraints which are clauses | 879 |
| Number of constraints which are cardinality constraints (but not clauses) | 184 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 934 |
| Biggest coefficient in the objective function | 546 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2594 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 546 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2594 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/) 0.00/0.00 c #variable: 934 0.00/0.00 c #constraint: 1063 0.00/0.00 c #equal: 1 0.00/0.00 c intsize: 12 0.00/0.00 c sizeproduct: 0 0.00/0.00 c #soft: 0 0.00/0.00 c mincost: 0 0.00/0.00 c maxcost: 0 0.00/0.00 c sumcost: 0 0.00/0.00 c iteration_max: -1 0.00/0.00 c time_max: -1 0.00/0.00 c number_of_threads(move update): 2 0.00/0.00 c number_of_threads(move evaluation): 2 0.00/0.00 c seed: 614723101 0.00/0.04 o 66 0.00/0.06 o 17 0.00/0.06 o 16 0.00/0.07 o 14 0.00/0.08 o 11 0.18/0.12 o 7 0.18/0.12 o 6 0.18/0.18 o 5 0.18/0.19 o 4 0.38/0.22 o 2 1.93/1.10 o 1 3600.07/1858.70 s SATISFIABLE 3600.07/1858.70 v x1 -x10 -x100 x101 x102 x103 x104 x105 x106 x107 -x108 -x109 -x11 x110 x111 -x112 -x113 -x114 x115 -x116 -x117 x118 x119 -x12 -x120 -x121 -x122 x123 x124 x125 x126 x127 x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x14 x140 -x141 -x142 x143 x144 -x145 -x146 x147 x148 x149 -x15 -x150 -x151 x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x16 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 x168 x169 -x17 x170 x171 x172 x173 -x174 x175 x176 -x177 -x178 -x179 -x18 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 x189 x19 x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 x2 x20 x200 -x201 -x202 -x203 x204 -x205 -x206 x207 x208 -x209 -x21 -x210 -x211 x212 x213 -x214 x215 x216 -x217 -x218 -x219 -x22 -x220 x221 -x222 -x223 -x224 x225 x226 -x227 x228 x229 x23 -x230 -x231 -x232 x233 -x234 -x235 -x236 x237 -x238 -x239 x24 -x240 x241 -x242 -x243 -x244 x245 x246 x247 x248 x249 x25 x250 -x251 -x252 x253 x254 -x255 -x256 x257 x258 -x259 x26 -x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x29 -x290 -x291 -x292 -x293 -x294 x295 x296 -x297 -x298 -x299 x3 x30 x300 -x301 -x302 x303 x304 -x305 -x306 -x307 x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 x315 x316 -x317 -x318 -x319 -x32 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x34 -x340 x341 -x342 -x343 x344 x345 x346 -x347 -x348 x349 -x35 x350 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 x361 x362 -x363 -x364 -x365 x366 x367 -x368 x369 -x37 x370 -x371 -x372 x373 x374 -x375 -x376 -x377 x378 -x379 x38 -x380 -x381 -x382 x383 -x384 -x385 -x386 x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x4 -x40 -x400 -x401 -x402 -x403 x404 x405 -x406 x407 -x408 -x409 -x41 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 x42 x420 x421 x422 x423 x424 x425 -x426 -x427 -x428 x429 x43 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 x438 x439 x44 x440 -x441 -x442 x443 x444 x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 -x46 x460 x461 -x462 x463 -x464 -x465 x466 x467 -x468 -x469 x47 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x48 -x480 -x481 -x482 x483 -x484 -x485 -x486 x487 -x488 -x489 x49 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 x5 x50 -x500 -x501 x502 x503 -x504 -x505 x506 x507 -x508 -x509 -x51 -x510 x511 x512 -x513 -x514 x515 x516 x517 x518 x519 -x52 x520 x521 x522 x523 x524 -x525 -x526 x527 x528 -x529 -x53 -x530 -x531 x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 x543 x544 -x545 -x546 x547 x548 -x549 -x55 -x550 -x551 x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x56 -x560 x561 -x562 x563 x564 -x565 -x566 x567 x568 x569 -x57 x570 x571 x572 -x573 -x574 -x575 -x576 x577 x578 x579 -x58 -x580 -x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 x59 x590 x591 x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 x6 x60 x600 -x601 -x602 -x603 x604 -x605 -x606 x607 x608 -x609 -x61 -x610 x611 x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 -x638 -x639 -x64 -x640 x641 -x642 -x643 -x644 x645 -x646 -x647 x648 x649 -x65 -x650 -x651 x652 x653 -x654 -x655 -x656 x657 x658 x659 x66 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 x673 -x674 -x675 -x676 x677 x678 x679 -x68 x680 x681 x682 x683 x684 x685 x686 -x687 -x688 -x689 -x69 x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 x698 x699 x7 x70 -x700 -x701 -x702 x703 x704 -x705 -x706 -x707 x708 -x709 -x71 -x710 x711 x712 x713 -x714 x715 x716 -x717 -x718 x719 -x72 x720 -x721 -x722 -x723 x724 x725 -x726 x727 x728 x729 -x73 x730 x731 x732 x733 x734 x735 x736 x737 x738 -x739 -x74 -x740 x741 x742 x743 x744 x745 x746 x747 -x748 -x749 x75 x750 x751 -x752 -x753 x754 x755 -x756 -x757 x758 x759 x76 x760 x761 x762 -x763 -x764 -x765 x766 x767 x768 x769 -x77 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 x778 x779 x78 -x780 x781 -x782 -x783 x784 x785 -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 -x795 x796 x797 -x798 -x799 -x8 x80 x800 x801 -x802 -x803 x804 x805 x806 x807 x808 x809 x81 x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 x825 x826 x827 -x828 x829 -x83 x830 x831 x832 -x833 x834 x835 -x836 -x837 -x838 x839 -x84 -x840 -x841 x842 x843 -x844 -x845 x846 x847 x848 x849 -x85 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 -x86 -x860 -x861 x862 x863 -x864 -x865 -x866 x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 x875 x876 -x877 -x878 -x879 -x88 x880 -x881 -x882 -x883 x884 x885 x886 x887 -x888 -x889 x89 -x890 -x891 x892 -x893 x894 x895 -x896 -x897 x898 x899 -x9 x90 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 x910 x911 x912 -x913 -x914 x915 x916 x917 -x918 x919 -x92 x920 -x921 -x922 x923 x924 x925 x926 x927 x928 x929 x93 -x930 x931 x932 x933 x934 x94 -x95 -x96 x97 x98 -x99
OK 1
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: 63708 MiB (63136 MiB free)
memory of node 1: 64465 MiB (63814 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484628-1751291873/watcher-4484628-1751291873 -o /tmp/evaluation-result-4484628-1751291873/solver-4484628-1751291873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751291873-39489 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 614723101 HOME/instance-4484628-1751291873.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39536, runsolver pid=39528
[startup+0.100059 s]*
/proc/loadavg: 0.77 1.91 2.86 10/267 39550
/proc/meminfo: memFree=129939152/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=81932 memory=7936 CPUtime=0.18 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 1438 0 0 0 18 0 0 0 20 0 2 0 44865958 83898368 1984 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20483 1984 672 633 0 3428 0
[pid=39536/tid=39539] ppid=39528 vsize=81932 memory=4026532124 CPUtime=0.08 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 117 0 0 0 8 0 0 0 20 0 2 0 44865958 83898368 1984 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 81932 KiB
Current children cumulated memory: 7936 KiB
[startup+0.205553 s]*
/proc/loadavg: 0.77 1.91 2.86 10/267 39550
/proc/meminfo: memFree=129766128/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=82256 memory=8064 CPUtime=0.38 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 1493 0 0 0 38 0 0 0 20 0 2 0 44865958 84230144 2016 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20564 2016 672 633 0 3509 0
[pid=39536/tid=39539] ppid=39528 vsize=82256 memory=5983648042466672924 CPUtime=0.18 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 117 0 0 0 18 0 0 0 20 0 2 0 44865958 84230144 2016 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 82256 KiB
Current children cumulated memory: 8064 KiB
[startup+0.305623 s]*
/proc/loadavg: 1.35 2.01 2.89 8/267 39550
/proc/meminfo: memFree=129737916/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=82204 memory=8192 CPUtime=0.57 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 1514 0 0 0 57 0 0 0 20 0 2 0 44865958 84176896 2048 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20551 2048 672 633 0 3496 0
[pid=39536/tid=39539] ppid=39528 vsize=82204 memory=7969546723505356143 CPUtime=0.27 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 117 0 0 0 27 0 0 0 20 0 2 0 44865958 84176896 2048 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 82204 KiB
Current children cumulated memory: 8192 KiB
[startup+0.700209 s]
/proc/loadavg: 1.35 2.01 2.89 8/267 39550
/proc/meminfo: memFree=129633084/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=82296 memory=8320 CPUtime=1.33 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 1629 0 0 0 133 0 0 0 20 0 2 0 44865958 84271104 2080 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20574 2080 672 633 0 3519 0
[pid=39536/tid=39539] ppid=39528 vsize=82296 memory=17664 CPUtime=0.65 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 117 0 0 0 65 0 0 0 20 0 2 0 44865958 84271104 2080 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 82296 KiB
Current children cumulated memory: 8320 KiB
[startup+1.50022 s]
/proc/loadavg: 1.35 2.01 2.89 8/267 39551
/proc/meminfo: memFree=129394748/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=82292 memory=8320 CPUtime=2.92 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 3741 0 0 0 290 2 0 0 20 0 2 0 44865958 84267008 2080 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20573 2080 672 633 0 3518 0
[pid=39536/tid=39539] ppid=39528 vsize=82292 memory=17664 CPUtime=1.44 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 261 0 0 0 144 0 0 0 20 0 2 0 44865958 84267008 2080 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 82292 KiB
Current children cumulated memory: 8320 KiB
[startup+3.10557 s]
/proc/loadavg: 1.35 2.01 2.89 9/267 39551
/proc/meminfo: memFree=129395540/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=82320 memory=8320 CPUtime=6.05 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 5476 0 0 0 601 4 0 0 20 0 2 0 44865958 84295680 2080 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20580 2080 672 633 0 3525 0
[pid=39536/tid=39539] ppid=39528 vsize=82320 memory=8320 CPUtime=2.98 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 262 0 0 0 298 0 0 0 20 0 2 0 44865958 84295680 2080 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 82320 KiB
Current children cumulated memory: 8320 KiB
[startup+6.30018 s]
/proc/loadavg: 1.81 2.09 2.91 9/268 39552
/proc/meminfo: memFree=129396012/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=82616 memory=8576 CPUtime=11.51 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 6504 0 0 0 1143 8 0 0 20 0 2 0 44865958 84598784 2144 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20654 2144 672 633 0 3599 0
[pid=39536/tid=39539] ppid=39528 vsize=82616 memory=7971796324295720047 CPUtime=5.27 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 263 0 0 0 527 0 0 0 20 0 2 0 44865958 84598784 2144 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 11.51 s
Current children cumulated vsize: 82616 KiB
Current children cumulated memory: 8576 KiB
[startup+12.7002 s]
/proc/loadavg: 2.30 2.19 2.94 10/268 39552
/proc/meminfo: memFree=129396580/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=83004 memory=8812 CPUtime=23.89 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 8862 0 0 0 2375 14 0 0 20 0 2 0 44865958 84996096 2203 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20751 2203 672 633 0 3696 0
[pid=39536/tid=39539] ppid=39528 vsize=83004 memory=8812 CPUtime=11.29 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) S 39528 39536 39477 0 -1 4194368 792 0 0 0 1128 1 0 0 20 0 2 0 44865958 84996096 2203 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 23.89 s
Current children cumulated vsize: 83004 KiB
Current children cumulated memory: 8812 KiB
[startup+25.5002 s]
/proc/loadavg: 3.02 2.35 2.99 10/268 39552
/proc/meminfo: memFree=129397128/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=83180 memory=9188 CPUtime=47.66 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 12629 0 0 0 4738 28 0 0 20 0 2 0 44865958 85176320 2297 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20795 2297 672 633 0 3740 0
[pid=39536/tid=39539] ppid=39528 vsize=83180 memory=9204 CPUtime=22.35 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) S 39528 39536 39477 0 -1 4194368 973 0 0 0 2232 3 0 0 20 0 2 0 44865958 85176320 2297 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 47.66 s
Current children cumulated vsize: 83180 KiB
Current children cumulated memory: 9188 KiB
[startup+51.1058 s]
/proc/loadavg: 4.63 2.81 3.12 8/268 39552
/proc/meminfo: memFree=129398284/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=83932 memory=9516 CPUtime=97.31 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 14025 0 0 0 9682 49 0 0 20 0 2 0 44865958 85946368 2379 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 20983 2379 672 633 0 3928 0
[pid=39536/tid=39539] ppid=39528 vsize=83932 memory=9516 CPUtime=46.59 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 1165 0 0 0 4654 5 0 0 20 0 2 0 44865958 85946368 2379 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 97.31 s
Current children cumulated vsize: 83932 KiB
Current children cumulated memory: 9516 KiB
[startup+102.3 s]
/proc/loadavg: 6.03 3.48 3.33 10/268 39554
/proc/meminfo: memFree=129406096/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=84396 memory=10232 CPUtime=195.26 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 16311 0 0 0 19443 83 0 0 20 0 2 0 44865958 86421504 2558 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 21099 2558 672 633 0 4044 0
[pid=39536/tid=39539] ppid=39528 vsize=84396 memory=17664 CPUtime=93.7 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 1525 0 0 0 9359 11 0 0 20 0 2 0 44865958 86421504 2558 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 195.26 s
Current children cumulated vsize: 84396 KiB
Current children cumulated memory: 10232 KiB
[startup+162.3 s]
/proc/loadavg: 6.65 4.11 3.56 8/268 39556
/proc/meminfo: memFree=129365824/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=85496 memory=10700 CPUtime=312.94 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 17149 0 0 0 31172 122 0 0 20 0 2 0 44865958 87547904 2675 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 21374 2675 672 633 0 4319 0
[pid=39536/tid=39539] ppid=39528 vsize=85496 memory=10572 CPUtime=151.82 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 1704 0 0 0 15164 18 0 0 20 0 2 0 44865958 87547904 2675 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 312.94 s
Current children cumulated vsize: 85496 KiB
Current children cumulated memory: 10700 KiB
[startup+222.3 s]
/proc/loadavg: 6.78 4.61 3.77 8/269 39572
/proc/meminfo: memFree=129362768/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=85644 memory=10956 CPUtime=430.49 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 17732 0 0 0 42895 154 0 0 20 0 2 0 44865958 87699456 2739 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 21411 2739 672 633 0 4356 0
[pid=39536/tid=39539] ppid=39528 vsize=85644 memory=11136 CPUtime=209.81 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 1708 0 0 0 20957 24 0 0 20 0 2 0 44865958 87699456 2739 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 430.49 s
Current children cumulated vsize: 85644 KiB
Current children cumulated memory: 10956 KiB
[startup+282.3 s]
/proc/loadavg: 6.75 5.01 3.96 8/269 39579
/proc/meminfo: memFree=129401928/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=85644 memory=11212 CPUtime=547.92 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 18174 0 0 0 54607 185 0 0 20 0 2 0 44865958 87699456 2803 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 21411 2803 672 633 0 4356 0
[pid=39536/tid=39539] ppid=39528 vsize=85644 memory=17664 CPUtime=267.65 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 1858 0 0 0 26736 29 0 0 20 0 2 0 44865958 87699456 2803 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 547.92 s
Current children cumulated vsize: 85644 KiB
Current children cumulated memory: 11212 KiB
################
# More data... #
################
/proc/meminfo: memFree=129371492/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89100 memory=13952 CPUtime=2525.92 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 24515 0 0 0 251970 622 0 0 20 0 2 0 44865958 91238400 3488 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22275 3488 672 633 0 5220 0
[pid=39536/tid=39539] ppid=39528 vsize=89100 memory=13952 CPUtime=1232.9 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 3385 0 0 0 123171 119 0 0 20 0 2 0 44865958 91238400 3488 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 2525.92 s
Current children cumulated vsize: 89100 KiB
Current children cumulated memory: 13952 KiB
[startup+1362.3 s]
/proc/loadavg: 6.58 6.54 5.80 10/267 39626
/proc/meminfo: memFree=129369964/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89100 memory=13952 CPUtime=2642.41 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 24524 0 0 0 263597 644 0 0 20 0 2 0 44865958 91238400 3488 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22275 3488 672 633 0 5220 0
[pid=39536/tid=39539] ppid=39528 vsize=89100 memory=13952 CPUtime=1289.81 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 3385 0 0 0 128856 125 0 0 20 0 2 0 44865958 91238400 3488 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 2642.41 s
Current children cumulated vsize: 89100 KiB
Current children cumulated memory: 13952 KiB
[startup+1422.3 s]
/proc/loadavg: 6.53 6.55 5.85 8/268 39631
/proc/meminfo: memFree=129371628/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89100 memory=14080 CPUtime=2758.83 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 25715 0 0 0 275217 666 0 0 20 0 2 0 44865958 91238400 3520 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22275 3520 672 633 0 5220 0
[pid=39536/tid=39539] ppid=39528 vsize=89100 memory=13952 CPUtime=1346.69 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 3751 0 0 0 134539 130 0 0 20 0 2 0 44865958 91238400 3520 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 2758.83 s
Current children cumulated vsize: 89100 KiB
Current children cumulated memory: 14080 KiB
[startup+1482.3 s]
/proc/loadavg: 6.39 6.52 5.89 8/269 39638
/proc/meminfo: memFree=129371504/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89100 memory=14080 CPUtime=2875.3 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 25724 0 0 0 286841 689 0 0 20 0 2 0 44865958 91238400 3520 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22275 3520 672 633 0 5220 0
[pid=39536/tid=39539] ppid=39528 vsize=89100 memory=17664 CPUtime=1403.57 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 3751 0 0 0 140221 136 0 0 20 0 2 0 44865958 91238400 3520 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 2875.3 s
Current children cumulated vsize: 89100 KiB
Current children cumulated memory: 14080 KiB
[startup+1542.3 s]
/proc/loadavg: 6.46 6.49 5.92 8/269 39640
/proc/meminfo: memFree=129371280/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89384 memory=14336 CPUtime=2991.72 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 27026 0 0 0 298463 709 0 0 20 0 2 0 44865958 91529216 3584 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22346 3584 672 633 0 5291 0
[pid=39536/tid=39539] ppid=39528 vsize=89384 memory=14336 CPUtime=1460.44 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 4002 0 0 0 145904 140 0 0 20 0 2 0 44865958 91529216 3584 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 2991.72 s
Current children cumulated vsize: 89384 KiB
Current children cumulated memory: 14336 KiB
[startup+1602.3 s]
/proc/loadavg: 6.73 6.55 5.98 8/269 39643
/proc/meminfo: memFree=129369784/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89576 memory=14336 CPUtime=3102.86 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 27034 0 0 0 309559 727 0 0 20 0 2 0 44865958 91725824 3584 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22394 3584 672 633 0 5339 0
[pid=39536/tid=39539] ppid=39528 vsize=89576 memory=17664 CPUtime=1512 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 4002 0 0 0 151055 145 0 0 20 0 2 0 44865958 91725824 3584 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 3102.86 s
Current children cumulated vsize: 89576 KiB
Current children cumulated memory: 14336 KiB
[startup+1662.3 s]
/proc/loadavg: 6.60 6.54 6.01 8/269 39645
/proc/meminfo: memFree=129370976/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89576 memory=14336 CPUtime=3219.23 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 28307 0 0 0 321173 750 0 0 20 0 2 0 44865958 91725824 3584 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22394 3584 672 633 0 5339 0
[pid=39536/tid=39539] ppid=39528 vsize=89576 memory=14336 CPUtime=1568.81 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) S 39528 39536 39477 0 -1 4194368 4247 0 0 0 156730 151 0 0 20 0 2 0 44865958 91725824 3584 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 3219.23 s
Current children cumulated vsize: 89576 KiB
Current children cumulated memory: 14336 KiB
[startup+1722.3 s]
/proc/loadavg: 6.11 6.40 6.00 8/268 39647
/proc/meminfo: memFree=129370556/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89576 memory=14464 CPUtime=3335.58 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 29588 0 0 0 332785 773 0 0 20 0 2 0 44865958 91725824 3616 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22394 3616 672 633 0 5339 0
[pid=39536/tid=39539] ppid=39528 vsize=89576 memory=14572 CPUtime=1625.6 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 4476 0 0 0 162404 156 0 0 20 0 2 0 44865958 91725824 3616 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 3335.58 s
Current children cumulated vsize: 89576 KiB
Current children cumulated memory: 14464 KiB
[startup+1782.3 s]
/proc/loadavg: 6.39 6.44 6.04 8/267 39648
/proc/meminfo: memFree=129370576/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89576 memory=14464 CPUtime=3451.9 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 29593 0 0 0 344397 793 0 0 20 0 2 0 44865958 91725824 3616 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22394 3616 672 633 0 5339 0
[pid=39536/tid=39539] ppid=39528 vsize=89576 memory=14464 CPUtime=1682.35 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 4476 0 0 0 168075 160 0 0 20 0 2 0 44865958 91725824 3616 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 89576 KiB
Current children cumulated memory: 14464 KiB
[startup+1842.3 s]
/proc/loadavg: 6.56 6.47 6.07 10/267 39650
/proc/meminfo: memFree=129370512/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89760 memory=14720 CPUtime=3568.28 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 30475 0 0 0 356012 816 0 0 20 0 2 0 44865958 91914240 3680 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22440 3680 672 633 0 5385 0
[pid=39536/tid=39539] ppid=39528 vsize=89760 memory=14592 CPUtime=1739.16 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 4816 0 0 0 173751 165 0 0 20 0 2 0 44865958 91914240 3680 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 3568.28 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 14720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1858.7 s]
/proc/loadavg: 6.28 6.41 6.06 9/267 39651
/proc/meminfo: memFree=129370560/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89760 memory=14720 CPUtime=3600.07 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 30475 0 0 0 359184 823 0 0 20 0 2 0 44865958 91914240 3680 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22440 3680 672 633 0 5385 0
[pid=39536/tid=39539] ppid=39528 vsize=89760 memory=14592 CPUtime=1754.66 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 4816 0 0 0 175299 167 0 0 20 0 2 0 44865958 91914240 3680 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 14720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1858.72 s]
# the end of solver process 39536 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.87 s, system=8.2303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1858.7 s]
/proc/loadavg: 6.28 6.41 6.06 9/267 39651
/proc/meminfo: memFree=129370560/131249996 swapFree=33010684/33010684
[pid=39536] ppid=39528 vsize=89760 memory=14720 CPUtime=3600.07 cores=1,3
/proc/39536/stat : 39536 (pb_competition_) R 39528 39536 39477 0 -1 4194304 30475 0 0 0 359184 823 0 0 20 0 2 0 44865958 91914240 3680 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
/proc/39536/statm: 22440 3680 672 633 0 5385 0
[pid=39536/tid=39539] ppid=39528 vsize=89760 memory=14592 CPUtime=1754.66 cores=1,3
/proc/39536/task/39539/stat : 39539 (pb_competition_) R 39528 39536 39477 0 -1 4194368 4816 0 0 0 175299 167 0 0 20 0 2 0 44865958 91914240 3680 18446744073709551615 4198400 6788177 140727851574208 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11407360 140727851575642 140727851575768 140727851575768 140727851581370 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 14720 KiB
Child status: 0
Real time (s): 1858.72
CPU time (s): 3600.1
CPU user time (s): 3591.87
CPU system time (s): 8.2303
CPU usage (%): 193.687
Max. virtual memory (cumulated for all children) (KiB): 89760
Max. memory (cumulated for all children) (KiB): 14720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.87
system time used= 8.2303
maximum resident set size= 14720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30622
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= 36125
involuntary context switches= 28313
# summary of solver processes directly reported to runsolver:
# pid: 39536
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.87
# total CPU system time (s): 8.2303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.949 second user time and 8.55941 second system time
The end
Begin job on nodeC032 at 2025-06-30 15:57:53 IDJOB=4484628 IDBENCH=146663 IDSOLVER=3347 FILE ID=nodeC032/4484628-1751291873 RUNJOBID= nodeC032-1751291873-39489 SLURM_JOB_ID= 9594255 Free space on /tmp= 432072 MiB SOLVER NAME= PRINTEMPS 2025-05-28 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484628-1751291873/watcher-4484628-1751291873 -o /tmp/evaluation-result-4484628-1751291873/solver-4484628-1751291873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751291873-39489 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 614723101 HOME/instance-4484628-1751291873.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0c08209891d9f5241a74237055766898 RANDOM SEED=614723101 nodeC032 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 : 3600.491 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.69 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.850 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.69 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 : 3599.804 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.69 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 : 3599.949 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.69 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 : 3600.326 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.69 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 : 3758.883 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.69 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 : 3600.298 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.69 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.879 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 130003408 kB MemAvailable: 129746380 kB Buffers: 3280 kB Cached: 551372 kB SwapCached: 0 kB Active: 319700 kB Inactive: 297996 kB Active(anon): 81112 kB Inactive(anon): 0 kB Active(file): 238588 kB Inactive(file): 297996 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15552 kB Writeback: 0 kB AnonPages: 66396 kB Mapped: 102148 kB Shmem: 18068 kB KReclaimable: 91252 kB Slab: 175820 kB SReclaimable: 91252 kB SUnreclaim: 84568 kB KernelStack: 4008 kB PageTables: 2660 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 329940 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432044 MiB End job on nodeC032 at 2025-06-30 16:28:52