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) | -85 | 3600.21 | 1812.31 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb |
| MD5SUM | 3e57f143ec316384ecd8a4071d2e7f39 |
| 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 | -86 |
| Best CPU time to get the best result obtained on this benchmark | 3600.2 |
| 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 | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| 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) | 75484 |
| Sum of products size (including duplicates) | 150968 |
| Number of different products | 37742 |
| Sum of products size | 75484 |
1.33/1.31 o -44 1.73/1.55 o -60 1.93/1.65 o -72 2.53/2.00 o -74 14.25/7.84 o -75 15.24/8.38 o -76 15.84/8.68 o -77 16.24/8.83 o -78 16.44/8.97 o -79 16.85/9.17 o -80 18.64/10.01 o -81 20.62/11.05 o -82 20.62/11.06 o -83 25.58/13.54 o -84 27.37/14.48 o -85 3600.19/1812.30 s SATISFIABLE 3600.19/1812.30 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 3600.19/1812.30 v -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 3600.19/1812.30 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 3600.19/1812.30 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 3600.19/1812.30 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.19/1812.30 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 3600.19/1812.30 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 3600.19/1812.30 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 3600.19/1812.30 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 3600.19/1812.30 v -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 3600.19/1812.30 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 3600.19/1812.30 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 3600.19/1812.30 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 3600.19/1812.30 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 3600.19/1812.30 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 3600.19/1812.30 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 3600.19/1812.30 v -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 3600.19/1812.30 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 3600.19/1812.30 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 3600.19/1812.30 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 3600.19/1812.30 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 3600.19/1812.30 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 3600.19/1812.30 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 3600.19/1812.30 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 3600.19/1812.30 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 3600.19/1812.30 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 3600.19/1812.30 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 3600.19/1812.30 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 x380 3600.19/1812.30 v -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 3600.19/1812.30 v x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 3600.19/1812.30 v -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 3600.19/1812.30 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 3600.19/1812.30 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 3600.19/1812.30 v -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 3600.19/1812.30 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 3600.19/1812.30 v x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 3600.19/1812.30 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 3600.19/1812.30 v -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 3600.19/1812.30 v -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 3600.19/1812.30 v -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 x534 -x535 -x536 3600.19/1812.30 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 3600.19/1812.30 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 3600.19/1812.30 v -x563 -x564 -x565 x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 3600.19/1812.30 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 3600.19/1812.30 v -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 3600.19/1812.30 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 3600.19/1812.30 v -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 x623 x624 -x625 -x626 -x627 3600.19/1812.30 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 3600.19/1812.30 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 3600.19/1812.30 v -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 3600.19/1812.30 v -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 3600.19/1812.30 v x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 3600.19/1812.30 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 3600.19/1812.30 v -x706 x707 -x708 -x709 x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 3600.19/1812.30 v x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 3600.19/1812.30 v -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 3600.19/1812.30 v -x745 -x746 x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 3600.19/1812.30 v -x758 -x759 -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 3600.19/1812.30 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 3600.19/1812.30 v -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 3600.19/1812.30 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 3600.19/1812.30 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 3600.19/1812.30 v x823 -x824 x825 x826 -x827 -x828 -x829 -x830 x831 -x832 x833 x834 -x835 -x836 3600.19/1812.30 v -x837 -x838 x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 x849 3600.19/1812.30 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 3600.19/1812.30 v -x863 -x864 -x865 -x866 -x867 x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 3600.19/1812.30 v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 x886 -x887 -x888 3600.19/1812.30 v x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 3600.19/1812.30 v -x902 -x903 -x904 -x905 -x906 x907 x908 -x909 -x910 x911 -x912 -x913 x914 -x915 3600.19/1812.30 v -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 3600.19/1812.30 v -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 3600.19/1812.30 v -x942 -x943 -x944 -x945 -x946 x947 -x948 x949 -x950 -x951 x952 x953 -x954 -x955 3600.19/1812.30 v -x956 -x957 -x958 x959 -x960 -x961 -x962 x963 -x964 x965 -x966 -x967 -x968 3600.19/1812.30 v -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 x977 -x978 x979 -x980 -x981 3600.19/1812.30 v x982 -x983 -x984 -x985 x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 3600.19/1812.30 v x995 -x996 -x997 x998 -x999 -x1000
OK -85
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 (63213 MiB free)
memory of node 1: 64507 MiB (63872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498158-1751268233/watcher-4498158-1751268233 -o /tmp/evaluation-result-4498158-1751268233/solver-4498158-1751268233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751268232-35514 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1488826855 --competition_mode --input HOME/instance-4498158-1751268233.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=35564, runsolver pid=35554
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 0.20 0.11 0.10 6/249 35570
/proc/meminfo: memFree=130104240/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=33076 memory=27412 CPUtime=0.1 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) R 35554 35564 35496 0 -1 4194304 6468 0 0 0 7 3 0 0 20 0 1 0 42503144 33869824 6853 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 8269 6853 1280 2102 0 5809 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33076 KiB
Current children cumulated memory: 27412 KiB
[startup+0.213906 s]*
/proc/loadavg: 0.20 0.11 0.10 7/255 35576
/proc/meminfo: memFree=130078496/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=52784 memory=45716 CPUtime=0.21 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) R 35554 35564 35496 0 -1 4194304 10948 0 0 0 16 5 0 0 20 0 1 0 42503144 54050816 11429 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 13196 11429 1408 2102 0 10736 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52784 KiB
Current children cumulated memory: 45716 KiB
[startup+0.313851 s]*
/proc/loadavg: 0.20 0.11 0.10 8/257 35578
/proc/meminfo: memFree=130069424/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=56084 memory=49300 CPUtime=0.31 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) R 35554 35564 35496 0 -1 4194304 11771 0 0 0 26 5 0 0 20 0 1 0 42503144 57430016 12325 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 14021 12325 1472 2102 0 11561 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56084 KiB
Current children cumulated memory: 49300 KiB
[startup+0.700289 s]
/proc/loadavg: 0.20 0.11 0.10 8/257 35578
/proc/meminfo: memFree=130057096/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=77820 memory=70412 CPUtime=0.68 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) R 35554 35564 35496 0 -1 4194304 20516 0 0 0 60 8 0 0 20 0 1 0 42503144 79687680 17603 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 19455 17603 1856 2102 0 16995 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77820 KiB
Current children cumulated memory: 70412 KiB
[startup+1.50032 s]
/proc/loadavg: 0.20 0.11 0.10 8/257 35578
/proc/meminfo: memFree=130039708/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=246104 memory=96012 CPUtime=1.73 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 27310 0 0 0 163 10 0 0 20 0 3 0 42503144 252010496 24003 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 61526 24003 2144 2102 0 32425 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 246104 KiB
Current children cumulated memory: 96012 KiB
[startup+3.10714 s]
/proc/loadavg: 0.20 0.11 0.10 9/259 35580
/proc/meminfo: memFree=129999056/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=220100 memory=110276 CPUtime=4.92 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 34513 0 0 0 480 12 0 0 20 0 3 0 42503144 225382400 27569 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 55025 27569 2144 2102 0 33084 0
[pid=35564/tid=35579] ppid=35554 vsize=220100 memory=0 CPUtime=1.86 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 7845 0 0 0 185 1 0 0 20 0 3 0 42503262 225382400 27569 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=220100 memory=110148 CPUtime=1.87 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 5508 0 0 0 186 1 0 0 20 0 3 0 42503262 225382400 27569 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 220100 KiB
Current children cumulated memory: 110276 KiB
[startup+6.30019 s]
/proc/loadavg: 0.83 0.24 0.14 9/259 35580
/proc/meminfo: memFree=129987360/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=220100 memory=113732 CPUtime=11.27 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 39860 0 0 0 1115 12 0 0 20 0 3 0 42503144 225382400 28433 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 55025 28433 2144 2102 0 33405 0
[pid=35564/tid=35579] ppid=35554 vsize=220100 memory=1252 CPUtime=5.02 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 11701 0 0 0 501 1 0 0 20 0 3 0 42503262 225382400 28433 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=220100 memory=3472323902207700994 CPUtime=5.06 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 6960 0 0 0 505 1 0 0 20 0 3 0 42503262 225382400 28433 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 11.27 s
Current children cumulated vsize: 220100 KiB
Current children cumulated memory: 113732 KiB
[startup+12.7002 s]
/proc/loadavg: 1.40 0.37 0.18 9/259 35580
/proc/meminfo: memFree=129972680/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=220100 memory=133240 CPUtime=24 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 51521 0 0 0 2386 14 0 0 20 0 3 0 42503144 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 55025 33310 2144 2102 0 42283 0
[pid=35564/tid=35579] ppid=35554 vsize=220100 memory=113476 CPUtime=11.36 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 18158 0 0 0 1134 2 0 0 20 0 3 0 42503262 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=220100 memory=133240 CPUtime=11.44 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 12116 0 0 0 1142 2 0 0 20 0 3 0 42503262 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 24 s
Current children cumulated vsize: 220100 KiB
Current children cumulated memory: 133240 KiB
[startup+25.5002 s]
/proc/loadavg: 2.86 0.74 0.31 9/259 35580
/proc/meminfo: memFree=129968524/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=220100 memory=133240 CPUtime=49.44 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 57679 0 0 0 4929 15 0 0 20 0 3 0 42503144 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 55025 33310 2144 2102 0 42283 0
[pid=35564/tid=35579] ppid=35554 vsize=220100 memory=131192 CPUtime=24.05 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 22116 0 0 0 2402 3 0 0 20 0 3 0 42503262 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=220100 memory=133240 CPUtime=24.19 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 14271 0 0 0 2417 2 0 0 20 0 3 0 42503262 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 49.44 s
Current children cumulated vsize: 220100 KiB
Current children cumulated memory: 133240 KiB
[startup+51.1053 s]
/proc/loadavg: 4.75 1.36 0.52 9/260 35582
/proc/meminfo: memFree=129949776/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=220100 memory=133240 CPUtime=100.32 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 65019 0 0 0 10016 16 0 0 20 0 3 0 42503144 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 55025 33310 2144 2102 0 42283 0
[pid=35564/tid=35579] ppid=35554 vsize=220100 memory=133240 CPUtime=49.4 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 26196 0 0 0 4936 4 0 0 20 0 3 0 42503262 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=220100 memory=133240 CPUtime=49.73 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 17489 0 0 0 4970 3 0 0 20 0 3 0 42503262 225382400 33310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 100.32 s
Current children cumulated vsize: 220100 KiB
Current children cumulated memory: 133240 KiB
[startup+102.3 s]
/proc/loadavg: 6.65 2.40 0.92 9/260 35583
/proc/meminfo: memFree=129929932/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=220100 memory=150136 CPUtime=202.08 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 80675 0 0 0 20188 20 0 0 20 0 3 0 42503144 225382400 37534 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 55025 37534 2144 2102 0 46421 0
[pid=35564/tid=35579] ppid=35554 vsize=220100 memory=145144 CPUtime=100.1 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 39441 0 0 0 10004 6 0 0 20 0 3 0 42503262 225382400 37534 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=220100 memory=141688 CPUtime=100.76 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 19798 0 0 0 10073 3 0 0 20 0 3 0 42503262 225382400 37534 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 202.08 s
Current children cumulated vsize: 220100 KiB
Current children cumulated memory: 150136 KiB
[startup+162.3 s]
/proc/loadavg: 7.56 3.44 1.37 9/260 35585
/proc/meminfo: memFree=129865788/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=184952 CPUtime=321.35 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 99519 0 0 0 32110 25 0 0 20 0 3 0 42503144 292491264 46238 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 46238 2144 2102 0 55850 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=161016 CPUtime=159.54 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 58244 0 0 0 15944 10 0 0 20 0 3 0 42503262 292491264 46238 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=184952 CPUtime=160.58 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 19816 0 0 0 16054 4 0 0 20 0 3 0 42503262 292491264 46238 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 321.35 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 184952 KiB
[startup+222.3 s]
/proc/loadavg: 7.94 4.30 1.80 9/260 35587
/proc/meminfo: memFree=129883048/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=185208 CPUtime=440.64 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 119447 0 0 0 44037 27 0 0 20 0 3 0 42503144 292491264 46302 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 46302 2144 2102 0 55850 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=185080 CPUtime=219 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 73908 0 0 0 21888 12 0 0 20 0 3 0 42503262 292491264 46302 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=185080 CPUtime=220.39 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24040 0 0 0 22035 4 0 0 20 0 3 0 42503262 292491264 46302 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 440.64 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 185208 KiB
[startup+282.3 s]
/proc/loadavg: 8.03 4.99 2.20 9/259 35589
/proc/meminfo: memFree=129881376/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=187256 CPUtime=559.92 cores=4,6
################
# More data... #
################
Current children cumulated memory: 213240 KiB
[startup+1362.3 s]
/proc/loadavg: 8.10 8.05 6.31 9/259 35644
/proc/meminfo: memFree=129842916/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=213240 CPUtime=2706.09 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146272 0 0 0 270561 48 0 0 20 0 3 0 42503144 292491264 53310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53310 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=213240 CPUtime=1348.54 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100292 0 0 0 134837 17 0 0 20 0 3 0 42503262 292491264 53310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=17664 CPUtime=1356.02 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24430 0 0 0 135590 12 0 0 20 0 3 0 42503262 292491264 53310 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 2706.09 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 213240 KiB
[startup+1422.3 s]
/proc/loadavg: 8.15 8.07 6.43 9/259 35646
/proc/meminfo: memFree=129842512/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=213880 CPUtime=2825.29 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146273 0 0 0 282481 48 0 0 20 0 3 0 42503144 292491264 53470 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53470 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=213240 CPUtime=1407.97 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100292 0 0 0 140780 17 0 0 20 0 3 0 42503262 292491264 53470 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=17664 CPUtime=1415.78 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24430 0 0 0 141566 12 0 0 20 0 3 0 42503262 292491264 53470 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 2825.29 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 213880 KiB
[startup+1482.3 s]
/proc/loadavg: 8.11 8.07 6.53 9/259 35648
/proc/meminfo: memFree=129833788/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=214008 CPUtime=2944.51 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146299 0 0 0 294402 49 0 0 20 0 3 0 42503144 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53502 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=213240 CPUtime=1467.42 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100317 0 0 0 146725 17 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=214008 CPUtime=1475.53 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24431 0 0 0 147541 12 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 2944.51 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 214008 KiB
[startup+1542.3 s]
/proc/loadavg: 8.08 8.07 6.63 9/258 35650
/proc/meminfo: memFree=129836452/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=214008 CPUtime=3063.73 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146301 0 0 0 306322 51 0 0 20 0 3 0 42503144 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53502 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=214008 CPUtime=1526.85 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100317 0 0 0 152668 17 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=214008 CPUtime=1535.29 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24431 0 0 0 153517 12 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 3063.73 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 214008 KiB
[startup+1602.3 s]
/proc/loadavg: 8.13 8.09 6.73 9/257 35652
/proc/meminfo: memFree=129835892/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=214008 CPUtime=3182.94 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146303 0 0 0 318242 52 0 0 20 0 3 0 42503144 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53502 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=214008 CPUtime=1586.3 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100317 0 0 0 158613 17 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=10752 CPUtime=1595.05 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24433 0 0 0 159492 13 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 3182.94 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 214008 KiB
[startup+1662.3 s]
/proc/loadavg: 8.10 8.09 6.82 9/257 35655
/proc/meminfo: memFree=129835992/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=214008 CPUtime=3302.15 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146469 0 0 0 330163 52 0 0 20 0 3 0 42503144 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53502 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=214008 CPUtime=1645.74 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100326 0 0 0 164557 17 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=5632 CPUtime=1654.81 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24574 0 0 0 165468 13 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 3302.15 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 214008 KiB
[startup+1722.3 s]
/proc/loadavg: 8.14 8.10 6.91 9/257 35657
/proc/meminfo: memFree=129836104/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=214008 CPUtime=3421.37 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146472 0 0 0 342084 53 0 0 20 0 3 0 42503144 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53502 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=214008 CPUtime=1705.18 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100326 0 0 0 170501 17 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=214008 CPUtime=1714.56 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24574 0 0 0 171443 13 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 3421.37 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 214008 KiB
[startup+1782.3 s]
/proc/loadavg: 8.11 8.09 6.98 9/257 35659
/proc/meminfo: memFree=129837220/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=214008 CPUtime=3540.59 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146472 0 0 0 354005 54 0 0 20 0 3 0 42503144 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53502 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=214008 CPUtime=1764.63 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100326 0 0 0 176445 18 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=214008 CPUtime=1774.32 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24574 0 0 0 177419 13 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 3540.59 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 214008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.3 s]
/proc/loadavg: 8.14 8.10 7.02 3/242 35686
/proc/meminfo: memFree=129901584/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=214008 CPUtime=3600.19 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146654 0 0 0 359965 54 0 0 20 0 3 0 42503144 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53502 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=214008 CPUtime=1794.35 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100334 0 0 0 179417 18 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=214008 CPUtime=1804.19 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24733 0 0 0 180406 13 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 214008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1812.31 s]
# the end of solver process 35564 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.66 s, system=0.545256 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1812.3 s]
/proc/loadavg: 8.14 8.10 7.02 3/242 35686
/proc/meminfo: memFree=129901584/131382112 swapFree=33010684/33010684
[pid=35564] ppid=35554 vsize=285636 memory=214008 CPUtime=3600.19 cores=4,6
/proc/35564/stat : 35564 (cp-sat-runner) S 35554 35564 35496 0 -1 4194304 146654 0 0 0 359965 54 0 0 20 0 3 0 42503144 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
/proc/35564/statm: 71409 53502 2144 2102 0 61573 0
[pid=35564/tid=35579] ppid=35554 vsize=285636 memory=214008 CPUtime=1794.35 cores=4,6
/proc/35564/task/35579/stat : 35579 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 100334 0 0 0 179417 18 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
[pid=35564/tid=35580] ppid=35554 vsize=285636 memory=214008 CPUtime=1804.19 cores=4,6
/proc/35564/task/35580/stat : 35580 (cp-sat-runner) R 35554 35564 35496 0 -1 4194368 24733 0 0 0 180406 13 0 0 20 0 3 0 42503262 292491264 53502 18446744073709551615 4198400 12805993 140724928055040 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 22663168 140724928063768 140724928063973 140724928063973 140724928069575 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 285636 KiB
Current children cumulated memory: 214008 KiB
Child status: 0
Real time (s): 1812.31
CPU time (s): 3600.21
CPU user time (s): 3599.66
CPU system time (s): 0.545256
CPU usage (%): 198.653
Max. virtual memory (cumulated for all children) (KiB): 285636
Max. memory (cumulated for all children) (KiB): 214008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 0.545256
maximum resident set size= 214136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146660
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= 26271
involuntary context switches= 112297
# summary of solver processes directly reported to runsolver:
# pid: 35564
# total CPU time (s): 3600.21
# total CPU user time (s): 3599.66
# total CPU system time (s): 0.545256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.02346 second user time and 8.63594 second system time
The end
Begin job on nodeC012 at 2025-06-30 09:23:54 IDJOB=4498158 IDBENCH=148537 IDSOLVER=3320 FILE ID=nodeC012/4498158-1751268233 RUNJOBID= nodeC012-1751268232-35514 SLURM_JOB_ID= 9594179 Free space on /tmp= 433060 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_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-4498158-1751268233/watcher-4498158-1751268233 -o /tmp/evaluation-result-4498158-1751268233/solver-4498158-1751268233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751268232-35514 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1488826855 --competition_mode --input HOME/instance-4498158-1751268233.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e57f143ec316384ecd8a4071d2e7f39 RANDOM SEED=1488826855 nodeC012 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.195 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 1197.132 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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.308 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 1197.251 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 1197.151 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 1196.967 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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.156 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 130162292 kB MemAvailable: 129988976 kB Buffers: 3280 kB Cached: 636664 kB SwapCached: 0 kB Active: 316616 kB Inactive: 388028 kB Active(anon): 82660 kB Inactive(anon): 0 kB Active(file): 233956 kB Inactive(file): 388028 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 38672 kB Writeback: 0 kB AnonPages: 67812 kB Mapped: 102416 kB Shmem: 17960 kB KReclaimable: 88272 kB Slab: 169860 kB SReclaimable: 88272 kB SUnreclaim: 81588 kB KernelStack: 3808 kB PageTables: 2760 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 330460 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433008 MiB End job on nodeC012 at 2025-06-30 09:54:07