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) | -151 | 3600.03 | 1812.41 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb |
| MD5SUM | fc228e1220654f2d8d37c5d03b9b5ad1 |
| 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 | -157 |
| Best CPU time to get the best result obtained on this benchmark | 3600.12 |
| 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 | 25 |
| Maximum length of a constraint | 47 |
| 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) | 31622 |
| Sum of products size (including duplicates) | 63244 |
| Number of different products | 15811 |
| Sum of products size | 31622 |
0.70/0.70 o -86 1.32/1.09 o -112 1.88/1.31 o -120 2.28/1.59 o -124 2.47/1.60 o -129 2.87/1.86 o -131 2.87/1.87 o -134 2.87/1.87 o -135 3.85/2.34 o -136 6.24/3.51 o -138 6.63/3.77 o -139 6.63/3.77 o -140 6.83/3.85 o -141 6.83/3.87 o -142 9.42/5.13 o -143 16.76/8.89 o -144 17.16/9.06 o -145 22.50/11.70 o -146 24.87/12.93 o -147 46.30/23.73 o -148 46.30/23.74 o -149 46.90/24.05 o -150 770.28/388.11 o -151 3600.01/1812.40 s SATISFIABLE 3600.01/1812.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 3600.01/1812.40 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.01/1812.40 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 3600.01/1812.40 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 3600.01/1812.40 v -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 3600.01/1812.40 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 3600.01/1812.40 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 3600.01/1812.40 v -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 3600.01/1812.40 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 3600.01/1812.40 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 3600.01/1812.40 v -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 3600.01/1812.40 v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 3600.01/1812.40 v x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 3600.01/1812.40 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 3600.01/1812.40 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 3600.01/1812.40 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 3600.01/1812.40 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 3600.01/1812.40 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 3600.01/1812.40 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 3600.01/1812.40 v -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 3600.01/1812.40 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 3600.01/1812.40 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 3600.01/1812.40 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 3600.01/1812.40 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 3600.01/1812.40 v x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 3600.01/1812.40 v -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 3600.01/1812.40 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 3600.01/1812.40 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 3600.01/1812.40 v x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 x391 -x392 -x393 -x394 -x395 3600.01/1812.40 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 3600.01/1812.40 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 3600.01/1812.40 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 x434 3600.01/1812.40 v -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 3600.01/1812.40 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 3600.01/1812.40 v -x461 -x462 -x463 -x464 -x465 x466 -x467 x468 -x469 x470 -x471 -x472 -x473 3600.01/1812.40 v -x474 -x475 -x476 x477 x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 3600.01/1812.40 v -x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 x497 x498 -x499 -x500 3600.01/1812.40 v -x501 -x502 -x503 x504 -x505 -x506 x507 x508 -x509 -x510 -x511 -x512 -x513 3600.01/1812.40 v x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 x523 x524 -x525 -x526 -x527 3600.01/1812.40 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 3600.01/1812.40 v -x541 -x542 -x543 -x544 x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 3600.01/1812.40 v -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 3600.01/1812.40 v -x567 x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 3600.01/1812.40 v -x580 -x581 x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 3600.01/1812.40 v -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 3600.01/1812.40 v -x606 -x607 -x608 -x609 -x610 x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 3600.01/1812.40 v -x619 -x620 -x621 x622 x623 x624 -x625 x626 x627 -x628 -x629 -x630 -x631 -x632 3600.01/1812.40 v -x633 -x634 x635 -x636 -x637 x638 x639 -x640 -x641 -x642 x643 -x644 x645 -x646 3600.01/1812.40 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 x655 -x656 -x657 -x658 -x659 3600.01/1812.40 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 x669 -x670 x671 -x672 3600.01/1812.40 v -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 3600.01/1812.40 v -x686 x687 -x688 -x689 x690 x691 -x692 -x693 -x694 x695 x696 -x697 -x698 -x699 3600.01/1812.40 v x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 3600.01/1812.40 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 3600.01/1812.40 v -x726 -x727 x728 x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 3600.01/1812.40 v -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 x751 3600.01/1812.40 v -x752 -x753 -x754 x755 x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 3600.01/1812.40 v x765 -x766 x767 -x768 x769 x770 -x771 x772 x773 -x774 -x775 x776 -x777 x778 3600.01/1812.40 v -x779 -x780 -x781 x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 3600.01/1812.40 v -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 3600.01/1812.40 v -x805 x806 x807 -x808 -x809 -x810 -x811 x812 -x813 x814 -x815 -x816 -x817 -x818 3600.01/1812.40 v -x819 -x820 -x821 x822 -x823 x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 3600.01/1812.40 v -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 3600.01/1812.40 v -x845 -x846 -x847 -x848 x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 3600.01/1812.40 v -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 3600.01/1812.40 v -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 x881 -x882 x883 3600.01/1812.40 v -x884 -x885 x886 x887 x888 x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 3600.01/1812.40 v -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 3600.01/1812.40 v x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 3600.01/1812.40 v -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 3600.01/1812.40 v x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x945 x946 -x947 x948 -x949 x950 3600.01/1812.40 v -x951 x952 -x953 -x954 x955 -x956 x957 -x958 x959 x960 x961 -x962 x963 -x964 3600.01/1812.40 v -x965 x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 3600.01/1812.40 v -x978 -x979 x980 -x981 -x982 -x983 x984 x985 -x986 x987 -x988 -x989 -x990 -x991 3600.01/1812.40 v x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 x1000
OK -151
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63315 MiB free)
memory of node 1: 64465 MiB (63916 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498145-1751268233/watcher-4498145-1751268233 -o /tmp/evaluation-result-4498145-1751268233/solver-4498145-1751268233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751268232-35000 --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-4498145-1751268233.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=35049, runsolver pid=35038
[startup+0.100075 s]*
/proc/loadavg: 0.39 0.15 0.11 5/250 35055
/proc/meminfo: memFree=130245184/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=29380 memory=24048 CPUtime=0.1 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) R 35038 35049 34980 0 -1 4194304 5141 0 0 0 8 2 0 0 20 0 1 0 42502542 30085120 6012 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 7345 6012 1408 2102 0 4885 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29380 KiB
Current children cumulated memory: 24048 KiB
[startup+0.214348 s]*
/proc/loadavg: 0.39 0.15 0.11 6/254 35059
/proc/meminfo: memFree=130220948/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=31908 memory=26988 CPUtime=0.21 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) R 35038 35049 34980 0 -1 4194304 6211 0 0 0 19 2 0 0 20 0 1 0 42502542 32673792 6747 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 7977 6747 1504 2102 0 5517 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31908 KiB
Current children cumulated memory: 26988 KiB
[startup+0.313989 s]*
/proc/loadavg: 0.39 0.15 0.11 4/250 35059
/proc/meminfo: memFree=130211372/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=38808 memory=34172 CPUtime=0.31 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) R 35038 35049 34980 0 -1 4194304 8563 0 0 0 28 3 0 0 20 0 1 0 42502542 39739392 8543 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 9702 8543 1824 2102 0 7242 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38808 KiB
Current children cumulated memory: 34172 KiB
[startup+0.700315 s]
/proc/loadavg: 0.39 0.15 0.11 5/252 35064
/proc/meminfo: memFree=130206848/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=41112 CPUtime=0.7 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 10720 0 0 0 66 4 0 0 20 0 3 0 42502542 190869504 10278 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 10278 2016 2102 0 12722 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 41112 KiB
[startup+1.50031 s]
/proc/loadavg: 0.39 0.15 0.11 7/254 35070
/proc/meminfo: memFree=130162352/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=55740 CPUtime=2.28 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 14328 0 0 0 222 6 0 0 20 0 3 0 42502542 190869504 13935 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 13935 2144 2102 0 19469 0
[pid=35049/tid=35066] ppid=35038 vsize=186396 memory=0 CPUtime=0.82 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 1902 0 0 0 82 0 0 0 20 0 3 0 42502608 190869504 13935 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=186396 memory=16264 CPUtime=0.79 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 2951 0 0 0 78 1 0 0 20 0 3 0 42502608 190869504 13935 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 55740 KiB
[startup+3.10557 s]
/proc/loadavg: 0.39 0.15 0.11 7/254 35073
/proc/meminfo: memFree=130154072/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=62436 CPUtime=5.45 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 19844 0 0 0 537 8 0 0 20 0 3 0 42502542 190869504 15609 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 15609 2144 2102 0 19774 0
[pid=35049/tid=35066] ppid=35038 vsize=186396 memory=16264 CPUtime=2.41 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 4824 0 0 0 240 1 0 0 20 0 3 0 42502608 190869504 15609 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=186396 memory=58396 CPUtime=2.37 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 5495 0 0 0 235 2 0 0 20 0 3 0 42502608 190869504 15609 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 5.45 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 62436 KiB
[startup+6.30021 s]
/proc/loadavg: 0.92 0.26 0.15 7/254 35073
/proc/meminfo: memFree=130128724/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=78692 CPUtime=11.79 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 28752 0 0 0 1169 10 0 0 20 0 3 0 42502542 190869504 19673 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 19673 2144 2102 0 23120 0
[pid=35049/tid=35066] ppid=35038 vsize=186396 memory=16264 CPUtime=5.6 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 7403 0 0 0 558 2 0 0 20 0 3 0 42502608 190869504 19673 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=186396 memory=17536 CPUtime=5.54 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 11774 0 0 0 550 4 0 0 20 0 3 0 42502608 190869504 19673 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 11.79 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 78692 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 0.41 0.19 7/256 35116
/proc/meminfo: memFree=130099836/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=78820 CPUtime=24.48 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 38101 0 0 0 2436 12 0 0 20 0 3 0 42502542 190869504 19705 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 19705 2144 2102 0 23149 0
[pid=35049/tid=35066] ppid=35038 vsize=186396 memory=17536 CPUtime=11.96 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 11593 0 0 0 1193 3 0 0 20 0 3 0 42502608 190869504 19705 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=186396 memory=62436 CPUtime=11.85 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 16846 0 0 0 1180 5 0 0 20 0 3 0 42502608 190869504 19705 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 24.48 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 78820 KiB
[startup+25.5002 s]
/proc/loadavg: 2.93 0.76 0.31 9/260 35159
/proc/meminfo: memFree=129969992/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=79716 CPUtime=49.87 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 39906 0 0 0 4970 17 0 0 20 0 3 0 42502542 190869504 19929 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 19929 2144 2102 0 23401 0
[pid=35049/tid=35066] ppid=35038 vsize=186396 memory=79716 CPUtime=24.71 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 12638 0 0 0 2468 3 0 0 20 0 3 0 42502608 190869504 19929 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=186396 memory=10496 CPUtime=24.49 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 17603 0 0 0 2440 9 0 0 20 0 3 0 42502608 190869504 19929 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 49.87 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 79716 KiB
[startup+51.1053 s]
/proc/loadavg: 4.66 1.35 0.52 9/260 35160
/proc/meminfo: memFree=129880804/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=90468 CPUtime=100.74 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 50455 0 0 0 10055 19 0 0 20 0 3 0 42502542 190869504 22617 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 22617 2144 2102 0 26010 0
[pid=35049/tid=35066] ppid=35038 vsize=186396 memory=90468 CPUtime=50.23 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 13201 0 0 0 5019 4 0 0 20 0 3 0 42502608 190869504 22617 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=186396 memory=89956 CPUtime=49.84 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 27523 0 0 0 4974 10 0 0 20 0 3 0 42502608 190869504 22617 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 100.74 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 90468 KiB
[startup+102.3 s]
/proc/loadavg: 6.59 2.39 0.92 9/260 35161
/proc/meminfo: memFree=129831140/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=105444 CPUtime=202.44 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 62967 0 0 0 20220 24 0 0 20 0 3 0 42502542 190869504 26361 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 26361 2144 2102 0 29038 0
[pid=35049/tid=35066] ppid=35038 vsize=186396 memory=104164 CPUtime=101.23 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 13236 0 0 0 10119 4 0 0 20 0 3 0 42502608 190869504 26361 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=186396 memory=104164 CPUtime=100.51 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 39975 0 0 0 10036 15 0 0 20 0 3 0 42502608 190869504 26361 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 202.44 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 105444 KiB
[startup+162.3 s]
/proc/loadavg: 7.54 3.43 1.37 9/260 35163
/proc/meminfo: memFree=129747888/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=186396 memory=119524 CPUtime=321.65 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 66729 0 0 0 32135 30 0 0 20 0 3 0 42502542 190869504 29881 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 46599 29881 2144 2102 0 32613 0
[pid=35049/tid=35066] ppid=35038 vsize=186396 memory=97892 CPUtime=161.03 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 13426 0 0 0 16098 5 0 0 20 0 3 0 42502608 190869504 29881 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=186396 memory=119396 CPUtime=159.92 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 43524 0 0 0 15972 20 0 0 20 0 3 0 42502608 190869504 29881 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 321.65 s
Current children cumulated vsize: 186396 KiB
Current children cumulated memory: 119524 KiB
[startup+222.3 s]
/proc/loadavg: 7.95 4.29 1.80 9/259 35165
/proc/meminfo: memFree=129742412/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=132452 CPUtime=440.87 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 75799 0 0 0 44051 36 0 0 20 0 3 0 42502542 257978368 33113 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 33113 2144 2102 0 35993 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=97892 CPUtime=220.82 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 13648 0 0 0 22076 6 0 0 20 0 3 0 42502608 257978368 33113 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=16264 CPUtime=219.32 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 52352 0 0 0 21907 25 0 0 20 0 3 0 42502608 257978368 33113 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 440.87 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 132452 KiB
################
# More data... #
################
Current children cumulated memory: 151268 KiB
[startup+1302.3 s]
/proc/loadavg: 8.16 8.03 6.18 9/258 35215
/proc/meminfo: memFree=129644952/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=153060 CPUtime=2586.58 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 99371 0 0 0 258574 84 0 0 20 0 3 0 42502542 257978368 38265 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 38265 2144 2102 0 40565 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=151908 CPUtime=1296.98 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 16276 0 0 0 129684 14 0 0 20 0 3 0 42502608 257978368 38265 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=151908 CPUtime=1288.58 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 73174 0 0 0 128802 56 0 0 20 0 3 0 42502608 257978368 38265 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 2586.58 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 153060 KiB
[startup+1362.3 s]
/proc/loadavg: 8.12 8.04 6.31 9/259 35218
/proc/meminfo: memFree=129627312/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=153444 CPUtime=2705.79 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 99547 0 0 0 270493 86 0 0 20 0 3 0 42502542 257978368 38361 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 38361 2144 2102 0 40663 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=16264 CPUtime=1356.76 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 16351 0 0 0 135662 14 0 0 20 0 3 0 42502608 257978368 38361 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=153060 CPUtime=1347.98 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 73275 0 0 0 134741 57 0 0 20 0 3 0 42502608 257978368 38361 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 2705.79 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 153444 KiB
[startup+1422.3 s]
/proc/loadavg: 8.09 8.05 6.42 9/259 35220
/proc/meminfo: memFree=129627904/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=154468 CPUtime=2824.99 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 99830 0 0 0 282409 90 0 0 20 0 3 0 42502542 257978368 38617 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 38617 2144 2102 0 40943 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=16264 CPUtime=1416.55 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 16351 0 0 0 141640 15 0 0 20 0 3 0 42502608 257978368 38617 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=153060 CPUtime=1407.39 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 73557 0 0 0 140679 60 0 0 20 0 3 0 42502608 257978368 38617 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 2824.99 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 154468 KiB
[startup+1482.3 s]
/proc/loadavg: 8.13 8.07 6.53 9/258 35222
/proc/meminfo: memFree=129627336/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=155108 CPUtime=2944.19 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 99994 0 0 0 294327 92 0 0 20 0 3 0 42502542 257978368 38777 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 38777 2144 2102 0 41091 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=154468 CPUtime=1476.35 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 16365 0 0 0 147619 16 0 0 20 0 3 0 42502608 257978368 38777 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=154468 CPUtime=1466.8 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 73707 0 0 0 146618 62 0 0 20 0 3 0 42502608 257978368 38777 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 2944.19 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 155108 KiB
[startup+1542.3 s]
/proc/loadavg: 8.10 8.07 6.63 9/258 35224
/proc/meminfo: memFree=129585040/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=155364 CPUtime=3063.4 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 100101 0 0 0 306245 95 0 0 20 0 3 0 42502542 257978368 38841 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 38841 2144 2102 0 41139 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=155364 CPUtime=1536.13 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 16422 0 0 0 153597 16 0 0 20 0 3 0 42502608 257978368 38841 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=16264 CPUtime=1526.19 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 73757 0 0 0 152556 63 0 0 20 0 3 0 42502608 257978368 38841 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 3063.4 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 155364 KiB
[startup+1602.3 s]
/proc/loadavg: 8.08 8.07 6.73 9/258 35226
/proc/meminfo: memFree=129583880/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=156260 CPUtime=3182.58 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 100771 0 0 0 318160 98 0 0 20 0 3 0 42502542 257978368 39065 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 39065 2144 2102 0 41363 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=155364 CPUtime=1595.92 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 16863 0 0 0 159575 17 0 0 20 0 3 0 42502608 257978368 39065 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=16264 CPUtime=1585.58 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 73985 0 0 0 158493 65 0 0 20 0 3 0 42502608 257978368 39065 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 3182.58 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 156260 KiB
[startup+1662.3 s]
/proc/loadavg: 8.12 8.08 6.82 9/257 35229
/proc/meminfo: memFree=129586732/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=156516 CPUtime=3301.79 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 101044 0 0 0 330078 101 0 0 20 0 3 0 42502542 257978368 39129 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 39129 2144 2102 0 41411 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=155364 CPUtime=1655.7 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 17086 0 0 0 165553 17 0 0 20 0 3 0 42502608 257978368 39129 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=156516 CPUtime=1644.98 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 74035 0 0 0 164431 67 0 0 20 0 3 0 42502608 257978368 39129 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 3301.79 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 156516 KiB
[startup+1722.3 s]
/proc/loadavg: 8.17 8.10 6.91 9/257 35231
/proc/meminfo: memFree=129586184/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=156900 CPUtime=3420.99 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 101744 0 0 0 341995 104 0 0 20 0 3 0 42502542 257978368 39225 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 39225 2144 2102 0 41515 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=155364 CPUtime=1715.49 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 17653 0 0 0 171531 18 0 0 20 0 3 0 42502608 257978368 39225 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=156644 CPUtime=1704.38 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 74152 0 0 0 170369 69 0 0 20 0 3 0 42502608 257978368 39225 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 3420.99 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 156900 KiB
[startup+1782.3 s]
/proc/loadavg: 8.17 8.11 6.99 9/257 35233
/proc/meminfo: memFree=129577980/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=157284 CPUtime=3540.2 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 101916 0 0 0 353913 107 0 0 20 0 3 0 42502542 257978368 39321 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 39321 2144 2102 0 41590 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=157284 CPUtime=1775.28 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 17716 0 0 0 177509 19 0 0 20 0 3 0 42502608 257978368 39321 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=16264 CPUtime=1763.78 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 74261 0 0 0 176307 71 0 0 20 0 3 0 42502608 257978368 39321 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 3540.2 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 157284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.4 s]
/proc/loadavg: 8.18 8.11 7.03 9/257 35233
/proc/meminfo: memFree=129578128/131382120 swapFree=33010160/33010684
[pid=35049] ppid=35038 vsize=251932 memory=157412 CPUtime=3600.01 cores=5,7
/proc/35049/stat : 35049 (cp-sat-runner) S 35038 35049 34980 0 -1 4194304 102294 0 0 0 359893 108 0 0 20 0 3 0 42502542 257978368 39353 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
/proc/35049/statm: 62983 39353 2144 2102 0 41622 0
[pid=35049/tid=35066] ppid=35038 vsize=251932 memory=17536 CPUtime=1805.27 cores=5,7
/proc/35049/task/35066/stat : 35066 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 17755 0 0 0 180508 19 0 0 20 0 3 0 42502608 257978368 39353 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
[pid=35049/tid=35067] ppid=35038 vsize=251932 memory=10496 CPUtime=1793.58 cores=5,7
/proc/35049/task/35067/stat : 35067 (cp-sat-runner) R 35038 35049 34980 0 -1 4194368 74600 0 0 0 179287 71 0 0 20 0 3 0 42502608 257978368 39353 18446744073709551615 4198400 12805993 140736430430032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 16928768 140736430434584 140736430434789 140736430434789 140736430440391 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 251932 KiB
Current children cumulated memory: 157412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1812.41 s]
# the end of solver process 35049 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.94 s, system=1.08389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1812.41
CPU time (s): 3600.03
CPU user time (s): 3598.94
CPU system time (s): 1.08389
CPU usage (%): 198.633
Max. virtual memory (cumulated for all children) (KiB): 251932
Max. memory (cumulated for all children) (KiB): 157412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.08389
maximum resident set size= 157668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102303
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= 27220
involuntary context switches= 163727
# summary of solver processes directly reported to runsolver:
# pid: 35049
# total CPU time (s): 3600.03
# total CPU user time (s): 3598.94
# total CPU system time (s): 1.08389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.74785 second user time and 8.22393 second system time
The end
Begin job on nodeC008 at 2025-06-30 09:23:54 IDJOB=4498145 IDBENCH=148532 IDSOLVER=3320 FILE ID=nodeC008/4498145-1751268233 RUNJOBID= nodeC008-1751268232-35000 SLURM_JOB_ID= 9594175 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_25_3.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-4498145-1751268233/watcher-4498145-1751268233 -o /tmp/evaluation-result-4498145-1751268233/solver-4498145-1751268233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751268232-35000 --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-4498145-1751268233.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= fc228e1220654f2d8d37c5d03b9b5ad1 RANDOM SEED=1488826855 nodeC008 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 : 1196.797 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.72 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.206 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.72 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.459 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.72 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.112 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.72 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.308 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.72 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.074 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.72 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.244 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.72 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.209 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.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 130293068 kB MemAvailable: 129964584 kB Buffers: 2144 kB Cached: 482628 kB SwapCached: 4 kB Active: 288520 kB Inactive: 266848 kB Active(anon): 51776 kB Inactive(anon): 36736 kB Active(file): 236744 kB Inactive(file): 230112 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 38536 kB Writeback: 8 kB AnonPages: 73428 kB Mapped: 102552 kB Shmem: 17916 kB KReclaimable: 88576 kB Slab: 170248 kB SReclaimable: 88576 kB SUnreclaim: 81672 kB KernelStack: 3920 kB PageTables: 2868 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 330468 kB VmallocTotal: 34359738367 kB VmallocUsed: 149240 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: 181064 kB DirectMap2M: 9158656 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433012 MiB End job on nodeC008 at 2025-06-30 09:54:07