Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OR-Tools CP-SAT 9.14 | SAT (TO) | -45 | 3600.16 | 1815.81 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb |
| MD5SUM | 38e00c2bd7e76d458d5bc96a9953dc34 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -46 |
| Best CPU time to get the best result obtained on this benchmark | 72001.8 |
| 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 | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 74916 |
| Sum of products size (including duplicates) | 149832 |
| Number of different products | 37458 |
| Sum of products size | 74916 |
4.39/4.44 o -15 4.80/4.62 o -27 7.38/5.91 o -28 7.78/6.10 o -31 7.78/6.13 o -32 8.37/6.42 o -33 9.96/7.21 o -34 10.16/7.35 o -36 11.94/8.20 o -37 15.33/9.97 o -38 17.90/11.22 o -39 18.49/11.53 o -40 28.03/16.31 o -41 94.25/49.79 o -42 111.89/58.62 o -43 194.77/100.48 o -44 219.16/112.74 o -45 3600.14/1815.80 s SATISFIABLE 3600.14/1815.80 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.14/1815.80 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.14/1815.80 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.14/1815.80 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 3600.14/1815.80 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 3600.14/1815.80 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 3600.14/1815.80 v -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 3600.14/1815.80 v x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 3600.14/1815.80 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 3600.14/1815.80 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 3600.14/1815.80 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 3600.14/1815.80 v -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 3600.14/1815.80 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 3600.14/1815.80 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 3600.14/1815.80 v -x199 -x200 -x201 -x202 -x203 x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 3600.14/1815.80 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 3600.14/1815.80 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 3600.14/1815.80 v -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 3600.14/1815.80 v -x251 -x252 x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 3600.14/1815.80 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 3600.14/1815.80 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 3600.14/1815.80 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 3600.14/1815.80 v -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 3600.14/1815.80 v -x316 x317 -x318 x319 -x320 -x321 -x322 x323 -x324 -x325 x326 -x327 -x328 -x329 3600.14/1815.80 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 3600.14/1815.80 v -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 3600.14/1815.80 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 3600.14/1815.80 v -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 3600.14/1815.80 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 3600.14/1815.80 v -x395 -x396 -x397 x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 3600.14/1815.80 v -x408 -x409 x410 -x411 -x412 x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 3600.14/1815.80 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 3600.14/1815.80 v x434 x435 -x436 -x437 x438 -x439 -x440 x441 -x442 x443 -x444 -x445 -x446 x447 3600.14/1815.80 v x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 3600.14/1815.80 v -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 -x472 -x473 3600.14/1815.80 v -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 x483 -x484 -x485 -x486 3600.14/1815.80 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 3600.14/1815.80 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 3600.14/1815.80 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 3600.14/1815.80 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 3600.14/1815.80 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 3600.14/1815.80 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 3600.14/1815.80 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 3600.14/1815.80 v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 3600.14/1815.80 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 3600.14/1815.80 v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 3600.14/1815.80 v -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 3600.14/1815.80 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 3600.14/1815.80 v -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 3600.14/1815.80 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 3600.14/1815.80 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 3600.14/1815.80 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 3600.14/1815.80 v x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 3600.14/1815.80 v -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 3600.14/1815.80 v -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 x731 -x732 -x733 3600.14/1815.80 v -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 -x745 -x746 3600.14/1815.80 v -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 3600.14/1815.80 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 3600.14/1815.80 v -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 3600.14/1815.80 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 3600.14/1815.80 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 3600.14/1815.80 v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 3600.14/1815.80 v -x825 -x826 -x827 x828 x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 3600.14/1815.80 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 x848 -x849 -x850 3600.14/1815.80 v x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 3600.14/1815.80 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 3600.14/1815.80 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 3600.14/1815.80 v x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 3600.14/1815.80 v -x903 x904 -x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 3600.14/1815.80 v -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 3600.14/1815.80 v -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 3600.14/1815.80 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 x953 -x954 3600.14/1815.80 v -x955 x956 -x957 -x958 x959 -x960 -x961 x962 -x963 -x964 x965 -x966 -x967 -x968 3600.14/1815.80 v -x969 -x970 -x971 x972 x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 3600.14/1815.80 v -x982 -x983 x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 x992 -x993 -x994 3600.14/1815.80 v -x995 -x996 -x997 x998 -x999 -x1000
OK -45
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: 63794 MiB (63175 MiB free)
memory of node 1: 64507 MiB (63847 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498457-1751268244/watcher-4498457-1751268244 -o /tmp/evaluation-result-4498457-1751268244/solver-4498457-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751268232-38832 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1449179163 --competition_mode --input HOME/instance-4498457-1751268244.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39036, runsolver pid=39033
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 1.15 0.32 0.16 6/256 39037
/proc/meminfo: memFree=130047748/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=33260 memory=27520 CPUtime=0.11 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) R 39033 39036 38814 0 -1 4194304 6498 0 0 0 9 2 0 0 20 0 1 0 42504149 34058240 6880 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 8315 6880 1280 2102 0 5855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 33260 KiB
Current children cumulated memory: 27520 KiB
[startup+0.213848 s]*
/proc/loadavg: 1.15 0.32 0.16 5/252 39037
/proc/meminfo: memFree=130031872/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=53592 memory=46464 CPUtime=0.21 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) R 39033 39036 38814 0 -1 4194304 11135 0 0 0 18 3 0 0 20 0 1 0 42504149 54878208 11616 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 13398 11616 1408 2102 0 10938 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53592 KiB
Current children cumulated memory: 46464 KiB
[startup+0.313667 s]*
/proc/loadavg: 1.15 0.32 0.16 5/252 39040
/proc/meminfo: memFree=130023816/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=56240 memory=49536 CPUtime=0.31 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) R 39033 39036 38814 0 -1 4194304 11807 0 0 0 28 3 0 0 20 0 1 0 42504149 57589760 12384 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 14060 12384 1504 2102 0 11600 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56240 KiB
Current children cumulated memory: 49536 KiB
[startup+0.700328 s]
/proc/loadavg: 1.15 0.32 0.16 6/253 39045
/proc/meminfo: memFree=130020164/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=66620 memory=60760 CPUtime=0.69 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) R 39033 39036 38814 0 -1 4194304 19528 0 0 0 63 6 0 0 20 0 1 0 42504149 68218880 15190 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 16655 15190 1728 2102 0 14195 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66620 KiB
Current children cumulated memory: 60760 KiB
[startup+1.50026 s]
/proc/loadavg: 1.15 0.32 0.16 6/252 39047
/proc/meminfo: memFree=129972768/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=95132 memory=88996 CPUtime=1.48 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) R 39033 39036 38814 0 -1 4194304 25909 0 0 0 140 8 0 0 20 0 1 0 42504149 97415168 22249 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 23783 22249 1856 2102 0 21323 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95132 KiB
Current children cumulated memory: 88996 KiB
[startup+3.11385 s]
/proc/loadavg: 1.15 0.32 0.16 6/252 39047
/proc/meminfo: memFree=129914204/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=112876 memory=106784 CPUtime=3.09 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) R 39033 39036 38814 0 -1 4194304 31522 0 0 0 300 9 0 0 20 0 1 0 42504149 115585024 26696 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 28219 26696 1888 2102 0 25759 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112876 KiB
Current children cumulated memory: 106784 KiB
[startup+6.30022 s]
/proc/loadavg: 1.54 0.41 0.20 7/255 39076
/proc/meminfo: memFree=129800212/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=275224 memory=214492 CPUtime=8.17 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 73738 0 0 0 799 18 0 0 20 0 3 0 42504149 281829376 53623 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 68806 53623 2144 2102 0 59387 0
[pid=39036/tid=39048] ppid=39033 vsize=275224 memory=221828 CPUtime=1.89 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 11955 0 0 0 187 2 0 0 20 0 3 0 42504587 281829376 53623 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=275224 memory=-7522837415796907935 CPUtime=1.91 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 27838 0 0 0 186 5 0 0 20 0 3 0 42504587 281829376 53623 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 275224 KiB
Current children cumulated memory: 214492 KiB
[startup+12.7002 s]
/proc/loadavg: 1.97 0.52 0.23 8/258 39086
/proc/meminfo: memFree=129311040/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=346312 memory=305032 CPUtime=20.89 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 144229 0 0 0 2059 30 0 0 20 0 3 0 42504149 354623488 76258 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 86578 76258 2176 2102 0 81194 0
[pid=39036/tid=39048] ppid=39033 vsize=346312 memory=298640 CPUtime=8.23 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 40015 0 0 0 816 7 0 0 20 0 3 0 42504587 354623488 76258 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=346312 memory=14336 CPUtime=8.28 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 70224 0 0 0 816 12 0 0 20 0 3 0 42504587 354623488 76258 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 20.89 s
Current children cumulated vsize: 346312 KiB
Current children cumulated memory: 305032 KiB
[startup+25.5002 s]
/proc/loadavg: 3.32 0.89 0.36 9/261 39089
/proc/meminfo: memFree=128657668/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=347456 memory=309804 CPUtime=46.26 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 174884 0 0 0 4584 42 0 0 20 0 3 0 42504149 355794944 77451 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 86864 77451 2176 2102 0 82385 0
[pid=39036/tid=39048] ppid=39033 vsize=347456 memory=221212 CPUtime=20.88 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 49338 0 0 0 2080 8 0 0 20 0 3 0 42504587 355794944 77451 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=347456 memory=4026531876 CPUtime=21.01 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 91505 0 0 0 2078 23 0 0 20 0 3 0 42504587 355794944 77451 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 46.26 s
Current children cumulated vsize: 347456 KiB
Current children cumulated memory: 309804 KiB
[startup+51.1057 s]
/proc/loadavg: 4.92 1.46 0.56 9/261 39090
/proc/meminfo: memFree=128578180/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=412992 memory=318452 CPUtime=97.03 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 210822 0 0 0 9643 60 0 0 20 0 3 0 42504149 422903808 79613 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 103248 79613 2176 2102 0 84775 0
[pid=39036/tid=39048] ppid=39033 vsize=412992 memory=17664 CPUtime=46.18 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 70645 0 0 0 4609 9 0 0 20 0 3 0 42504587 422903808 79613 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=412992 memory=318452 CPUtime=46.46 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 106099 0 0 0 4607 39 0 0 20 0 3 0 42504587 422903808 79613 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 97.03 s
Current children cumulated vsize: 412992 KiB
Current children cumulated memory: 318452 KiB
[startup+102.3 s]
/proc/loadavg: 6.78 2.50 0.97 9/261 39092
/proc/meminfo: memFree=128519100/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=413688 memory=327844 CPUtime=198.54 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 263908 0 0 0 19753 101 0 0 20 0 3 0 42504149 423616512 81961 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 103422 81961 2176 2102 0 87453 0
[pid=39036/tid=39048] ppid=39033 vsize=413688 memory=327712 CPUtime=96.79 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 96689 0 0 0 9668 11 0 0 20 0 3 0 42504587 423616512 81961 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=413688 memory=279312058623680 CPUtime=97.35 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 133047 0 0 0 9657 78 0 0 20 0 3 0 42504587 423616512 81961 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 198.54 s
Current children cumulated vsize: 413688 KiB
Current children cumulated memory: 327844 KiB
[startup+162.3 s]
/proc/loadavg: 7.70 3.54 1.42 9/261 39094
/proc/meminfo: memFree=128246196/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=413688 memory=333436 CPUtime=317.51 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 293215 0 0 0 31604 147 0 0 20 0 3 0 42504149 423616512 83359 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 103422 83359 2176 2102 0 88851 0
[pid=39036/tid=39048] ppid=39033 vsize=413688 memory=0 CPUtime=156.09 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 110860 0 0 0 15597 12 0 0 20 0 3 0 42504587 423616512 83359 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=413688 memory=333436 CPUtime=156.98 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 148147 0 0 0 15577 121 0 0 20 0 3 0 42504587 423616512 83359 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 317.51 s
Current children cumulated vsize: 413688 KiB
Current children cumulated memory: 333436 KiB
[startup+222.3 s]
/proc/loadavg: 7.94 4.37 1.84 9/261 39096
/proc/meminfo: memFree=128182868/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=415396 memory=335472 CPUtime=436.42 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 314243 0 0 0 43467 175 0 0 20 0 3 0 42504149 425365504 83868 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 103849 83868 2176 2102 0 89299 0
[pid=39036/tid=39048] ppid=39033 vsize=415396 memory=333440 CPUtime=215.37 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 122626 0 0 0 21524 13 0 0 20 0 3 0 42504587 425365504 83868 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=415396 memory=334572 CPUtime=216.6 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 157399 0 0 0 21512 148 0 0 20 0 3 0 42504587 425365504 83868 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 436.42 s
Current children cumulated vsize: 415396 KiB
Current children cumulated memory: 335472 KiB
[startup+282.3 s]
/proc/loadavg: 8.05 5.05 2.23 9/261 39098
/proc/meminfo: memFree=128112964/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=415396 memory=341808 CPUtime=555.29 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 336409 0 0 0 55306 223 0 0 20 0 3 0 42504149 425365504 85452 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 103849 85452 2176 2102 0 89305 0
[pid=39036/tid=39048] ppid=39033 vsize=415396 memory=340784 CPUtime=274.7 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 125940 0 0 0 27457 13 0 0 20 0 3 0 42504587 425365504 85452 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
################
# More data... #
################
Current children cumulated memory: 408696 KiB
[startup+1302.3 s]
/proc/loadavg: 8.09 8.03 6.19 9/260 39148
/proc/meminfo: memFree=127907648/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=2580.15 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 392412 0 0 0 257727 288 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=17664 CPUtime=1283.86 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 128460 0 0 0 128372 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=139656029336865 CPUtime=1291.45 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 229630 0 0 0 128898 247 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 2580.15 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
[startup+1362.3 s]
/proc/loadavg: 8.13 8.05 6.32 9/260 39150
/proc/meminfo: memFree=127886040/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=2699.33 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 392652 0 0 0 269644 289 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=14336 CPUtime=1343.25 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 128493 0 0 0 134311 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=408696 CPUtime=1351.21 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 229822 0 0 0 134874 247 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 2699.33 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
[startup+1422.3 s]
/proc/loadavg: 8.25 8.09 6.44 9/259 39152
/proc/meminfo: memFree=127872148/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=2818.51 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 392863 0 0 0 281561 290 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=14336 CPUtime=1402.65 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 128504 0 0 0 140251 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=408696 CPUtime=1410.99 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 230013 0 0 0 140851 248 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 2818.51 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
[startup+1482.3 s]
/proc/loadavg: 8.35 8.16 6.57 9/260 39155
/proc/meminfo: memFree=127912924/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=2937.68 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 393206 0 0 0 293477 291 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=14336 CPUtime=1462.03 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 128847 0 0 0 146189 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=408696 CPUtime=1470.75 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 230013 0 0 0 146827 248 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 2937.68 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
[startup+1542.3 s]
/proc/loadavg: 8.48 8.21 6.69 9/258 39157
/proc/meminfo: memFree=127926512/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=3056.87 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 393705 0 0 0 305394 293 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=408696 CPUtime=1521.42 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 129343 0 0 0 152128 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=408696 CPUtime=1530.51 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 230013 0 0 0 152803 248 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 3056.87 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
[startup+1602.3 s]
/proc/loadavg: 8.25 8.20 6.79 9/258 39160
/proc/meminfo: memFree=127879264/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=3176.05 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 393711 0 0 0 317312 293 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=408696 CPUtime=1580.82 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 129345 0 0 0 158068 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=14336 CPUtime=1590.28 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 230015 0 0 0 158779 249 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 3176.05 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
[startup+1662.3 s]
/proc/loadavg: 8.27 8.21 6.88 9/258 39162
/proc/meminfo: memFree=127924772/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=3295.24 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 394305 0 0 0 329229 295 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=408696 CPUtime=1640.22 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 129689 0 0 0 164008 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=14336 CPUtime=1650.05 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 230242 0 0 0 164756 249 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 3295.24 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
[startup+1722.3 s]
/proc/loadavg: 8.15 8.18 6.96 9/258 39164
/proc/meminfo: memFree=127877708/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=3414.41 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 394844 0 0 0 341145 296 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=408696 CPUtime=1699.61 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 130050 0 0 0 169947 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=14336 CPUtime=1709.81 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 230409 0 0 0 170731 250 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 3414.41 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
[startup+1782.3 s]
/proc/loadavg: 8.10 8.16 7.03 9/259 39168
/proc/meminfo: memFree=127905736/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=3533.6 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 395070 0 0 0 353063 297 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=408696 CPUtime=1759.01 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 130248 0 0 0 175887 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=408696 CPUtime=1769.59 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 230437 0 0 0 176708 251 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 3533.6 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.8 s]
/proc/loadavg: 7.60 8.04 7.04 5/243 39236
/proc/meminfo: memFree=128115364/131382116 swapFree=33010684/33010684
[pid=39036] ppid=39033 vsize=490472 memory=408696 CPUtime=3600.14 cores=4,6
/proc/39036/stat : 39036 (cp-sat-runner) S 39033 39036 38814 0 -1 4194304 395112 0 0 0 359716 298 0 0 20 0 3 0 42504149 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
/proc/39036/statm: 122618 102174 2176 2102 0 105592 0
[pid=39036/tid=39048] ppid=39033 vsize=490472 memory=3328 CPUtime=1792.16 cores=4,6
/proc/39036/task/39048/stat : 39048 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 130284 0 0 0 179202 14 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
[pid=39036/tid=39049] ppid=39033 vsize=490472 memory=4752 CPUtime=1802.95 cores=4,6
/proc/39036/task/39049/stat : 39049 (cp-sat-runner) R 39033 39036 38814 0 -1 4194368 230443 0 0 0 180044 251 0 0 20 0 3 0 42504587 502243328 102174 18446744073709551615 4198400 12805993 140734043804944 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43032576 140734043814168 140734043814373 140734043814373 140734043819975 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 490472 KiB
Current children cumulated memory: 408696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1815.81 s]
# the end of solver process 39036 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.17 s, system=2.99145 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1815.81
CPU time (s): 3600.16
CPU user time (s): 3597.17
CPU system time (s): 2.99145
CPU usage (%): 198.267
Max. virtual memory (cumulated for all children) (KiB): 544760
Max. memory (cumulated for all children) (KiB): 413088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.17
system time used= 2.99145
maximum resident set size= 413088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395118
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= 26010
involuntary context switches= 109382
# summary of solver processes directly reported to runsolver:
# pid: 39036
# total CPU time (s): 3600.16
# total CPU user time (s): 3597.17
# total CPU system time (s): 2.99145
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66594 second user time and 7.53691 second system time
The end
Begin job on nodeC011 at 2025-06-30 09:24:04 IDJOB=4498457 IDBENCH=148683 IDSOLVER=3320 FILE ID=nodeC011/4498457-1751268244 RUNJOBID= nodeC011-1751268232-38832 SLURM_JOB_ID= 9594178 Free space on /tmp= 433024 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb 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 --file-size-limit 102400 -w /tmp/evaluation-result-4498457-1751268244/watcher-4498457-1751268244 -o /tmp/evaluation-result-4498457-1751268244/solver-4498457-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751268232-38832 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1449179163 --competition_mode --input HOME/instance-4498457-1751268244.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 38e00c2bd7e76d458d5bc96a9953dc34 RANDOM SEED=1449179163 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.264 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.880 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.145 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.874 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.292 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.297 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.278 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 130071180 kB MemAvailable: 129934228 kB Buffers: 3280 kB Cached: 672064 kB SwapCached: 0 kB Active: 401128 kB Inactive: 373192 kB Active(anon): 116936 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 373192 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 51624 kB Writeback: 0 kB AnonPages: 102468 kB Mapped: 115656 kB Shmem: 17960 kB KReclaimable: 90196 kB Slab: 170856 kB SReclaimable: 90196 kB SUnreclaim: 80660 kB KernelStack: 4048 kB PageTables: 3140 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 430196 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433024 MiB End job on nodeC011 at 2025-06-30 09:54:20