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) | -43 | 3600.03 | 1811.21 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
| MD5SUM | a3f6b61db250b51897503d5946a188dc |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 432.391 |
| 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 | 945 |
| Total number of constraints | 58245 |
| Number of constraints which are clauses | 58245 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| 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 | 945 |
| 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 | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.70/0.79 o 0 1.31/1.04 o -30 1.31/1.06 o -34 1.31/1.10 o -35 1.50/1.11 o -36 12.83/6.84 o -37 13.62/7.20 o -38 15.02/7.90 o -39 28.34/14.69 o -40 29.14/15.04 o -41 239.25/120.76 o -42 2871.40/1444.74 o -43 3600.01/1811.20 s SATISFIABLE 3600.01/1811.20 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.01/1811.20 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.01/1811.20 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 3600.01/1811.20 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 3600.01/1811.20 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.01/1811.20 v -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 3600.01/1811.20 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 3600.01/1811.20 v -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 3600.01/1811.20 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 3600.01/1811.20 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 3600.01/1811.20 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 3600.01/1811.20 v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 3600.01/1811.20 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 3600.01/1811.20 v -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 3600.01/1811.20 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 3600.01/1811.20 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 3600.01/1811.20 v x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 3600.01/1811.20 v -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 3600.01/1811.20 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 3600.01/1811.20 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 3600.01/1811.20 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 3600.01/1811.20 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 3600.01/1811.20 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 3600.01/1811.20 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 3600.01/1811.20 v -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 3600.01/1811.20 v -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 3600.01/1811.20 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 3600.01/1811.20 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 3600.01/1811.20 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 3600.01/1811.20 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 3600.01/1811.20 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 3600.01/1811.20 v -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 3600.01/1811.20 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 3600.01/1811.20 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 3600.01/1811.20 v -x460 -x461 x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 3600.01/1811.20 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 3600.01/1811.20 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 3600.01/1811.20 v -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 3600.01/1811.20 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 3600.01/1811.20 v -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 3600.01/1811.20 v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 3600.01/1811.20 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 3600.01/1811.20 v -x564 x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 3600.01/1811.20 v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 3600.01/1811.20 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 3600.01/1811.20 v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 3600.01/1811.20 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 3600.01/1811.20 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 3600.01/1811.20 v -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 3600.01/1811.20 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 3600.01/1811.20 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 3600.01/1811.20 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 3600.01/1811.20 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 3600.01/1811.20 v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 3600.01/1811.20 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 3600.01/1811.20 v -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 3600.01/1811.20 v x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 3600.01/1811.20 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 3600.01/1811.20 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 3600.01/1811.20 v x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 3600.01/1811.20 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 3600.01/1811.20 v x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 3600.01/1811.20 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 3600.01/1811.20 v -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 3600.01/1811.20 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 3600.01/1811.20 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 3600.01/1811.20 v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 3600.01/1811.20 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 3600.01/1811.20 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 3600.01/1811.20 v -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 3600.01/1811.20 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 3600.01/1811.20 v -x941 -x942 -x943 -x944 -x945
OK -43
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62958 MiB free)
memory of node 1: 64507 MiB (63381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484972-1751313715/watcher-4484972-1751313715 -o /tmp/evaluation-result-4484972-1751313715/solver-4484972-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751313715-47857 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:40033737 --competition_mode --input HOME/instance-4484972-1751313715.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=47911, runsolver pid=47898
[startup+0.100063 s]*
/proc/loadavg: 1.63 3.39 3.85 6/265 47914
/proc/meminfo: memFree=129307948/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=44948 memory=40080 CPUtime=0.09 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) R 47898 47911 47844 0 -1 4194304 9607 0 0 0 8 1 0 0 20 0 1 0 47049404 46026752 10020 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 11237 10020 1504 2102 0 8777 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44948 KiB
Current children cumulated memory: 40080 KiB
[startup+0.2058 s]*
/proc/loadavg: 1.98 3.43 3.86 6/265 47914
/proc/meminfo: memFree=129283756/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=50980 memory=46096 CPUtime=0.19 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) R 47898 47911 47844 0 -1 4194304 11116 0 0 0 18 1 0 0 20 0 1 0 47049404 52203520 11524 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 12745 11524 1504 2102 0 10285 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 46096 KiB
[startup+0.305628 s]*
/proc/loadavg: 1.98 3.43 3.86 9/271 47920
/proc/meminfo: memFree=129279056/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=59912 memory=55892 CPUtime=0.29 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) R 47898 47911 47844 0 -1 4194304 12319 0 0 0 27 2 0 0 20 0 1 0 47049404 61349888 13973 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 14978 13973 1728 2102 0 12518 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59912 KiB
Current children cumulated memory: 55892 KiB
[startup+0.700166 s]
/proc/loadavg: 1.98 3.43 3.86 9/271 47920
/proc/meminfo: memFree=129251336/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=207444 memory=61176 CPUtime=0.7 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 14795 0 0 0 68 2 0 0 20 0 3 0 47049404 212422656 15294 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 51861 15294 1920 2102 0 18094 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 207444 KiB
Current children cumulated memory: 61176 KiB
[startup+1.5002 s]
/proc/loadavg: 1.98 3.43 3.86 10/273 47922
/proc/meminfo: memFree=129223788/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=207444 memory=85216 CPUtime=2.29 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 19843 0 0 0 226 3 0 0 20 0 3 0 47049404 212422656 21304 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 51861 21304 2144 2102 0 28425 0
[pid=47911/tid=47921] ppid=47898 vsize=207444 memory=0 CPUtime=0.83 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 2760 0 0 0 83 0 0 0 20 0 3 0 47049469 212422656 21304 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=207444 memory=14848 CPUtime=0.81 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 3560 0 0 0 81 0 0 0 20 0 3 0 47049469 212422656 21304 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 207444 KiB
Current children cumulated memory: 85216 KiB
[startup+3.10575 s]
/proc/loadavg: 1.98 3.43 3.86 10/273 47922
/proc/meminfo: memFree=129200252/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=207444 memory=97392 CPUtime=5.48 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 26369 0 0 0 544 4 0 0 20 0 3 0 47049404 212422656 24348 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 51861 24348 2144 2102 0 28887 0
[pid=47911/tid=47921] ppid=47898 vsize=207444 memory=14848 CPUtime=2.43 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 5442 0 0 0 242 1 0 0 20 0 3 0 47049469 212422656 24348 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=207444 memory=87920 CPUtime=2.41 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 7378 0 0 0 240 1 0 0 20 0 3 0 47049469 212422656 24348 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 207444 KiB
Current children cumulated memory: 97392 KiB
[startup+6.30019 s]
/proc/loadavg: 2.47 3.51 3.88 10/273 47922
/proc/meminfo: memFree=129186432/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=207444 memory=106616 CPUtime=11.84 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 34004 0 0 0 1178 6 0 0 20 0 3 0 47049404 212422656 26654 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 51861 26654 2144 2102 0 33753 0
[pid=47911/tid=47921] ppid=47898 vsize=207444 memory=97776 CPUtime=5.61 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 9645 0 0 0 560 1 0 0 20 0 3 0 47049469 212422656 26654 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=207444 memory=17920 CPUtime=5.57 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 10766 0 0 0 556 1 0 0 20 0 3 0 47049469 212422656 26654 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 11.84 s
Current children cumulated vsize: 207444 KiB
Current children cumulated memory: 106616 KiB
[startup+12.7002 s]
/proc/loadavg: 2.99 3.60 3.91 10/273 47922
/proc/meminfo: memFree=129174588/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=207444 memory=115796 CPUtime=24.56 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 48980 0 0 0 2449 7 0 0 20 0 3 0 47049404 212422656 28949 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 51861 28949 2144 2102 0 35815 0
[pid=47911/tid=47921] ppid=47898 vsize=207444 memory=115796 CPUtime=12 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 14055 0 0 0 1198 2 0 0 20 0 3 0 47049469 212422656 28949 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=207444 memory=0 CPUtime=11.91 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 21252 0 0 0 1189 2 0 0 20 0 3 0 47049469 212422656 28949 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 24.56 s
Current children cumulated vsize: 207444 KiB
Current children cumulated memory: 115796 KiB
[startup+25.5002 s]
/proc/loadavg: 3.83 3.76 3.96 10/273 47922
/proc/meminfo: memFree=129173968/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=207444 memory=116052 CPUtime=50.01 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 50458 0 0 0 4994 7 0 0 20 0 3 0 47049404 212422656 29013 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 51861 29013 2144 2102 0 35884 0
[pid=47911/tid=47921] ppid=47898 vsize=207444 memory=116052 CPUtime=24.76 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 15245 0 0 0 2474 2 0 0 20 0 3 0 47049469 212422656 29013 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=207444 memory=0 CPUtime=24.59 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 21536 0 0 0 2457 2 0 0 20 0 3 0 47049469 212422656 29013 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 50.01 s
Current children cumulated vsize: 207444 KiB
Current children cumulated memory: 116052 KiB
[startup+51.1055 s]
/proc/loadavg: 5.48 4.16 4.09 10/273 47923
/proc/meminfo: memFree=129167736/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=207444 memory=120788 CPUtime=100.92 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 62297 0 0 0 10083 9 0 0 20 0 3 0 47049404 212422656 30197 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 51861 30197 2144 2102 0 37061 0
[pid=47911/tid=47921] ppid=47898 vsize=207444 memory=116180 CPUtime=50.29 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 19532 0 0 0 5027 2 0 0 20 0 3 0 47049469 212422656 30197 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=207444 memory=17920 CPUtime=49.96 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 28988 0 0 0 4993 3 0 0 20 0 3 0 47049469 212422656 30197 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 100.92 s
Current children cumulated vsize: 207444 KiB
Current children cumulated memory: 120788 KiB
[startup+102.3 s]
/proc/loadavg: 6.95 4.77 4.30 10/273 47926
/proc/meminfo: memFree=129122140/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=207444 memory=141908 CPUtime=202.68 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 83994 0 0 0 20254 14 0 0 20 0 3 0 47049404 212422656 35477 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 51861 35477 2144 2102 0 42436 0
[pid=47911/tid=47921] ppid=47898 vsize=207444 memory=141908 CPUtime=101.34 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 23050 0 0 0 10131 3 0 0 20 0 3 0 47049469 212422656 35477 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=207444 memory=141908 CPUtime=100.66 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 47085 0 0 0 10058 8 0 0 20 0 3 0 47049469 212422656 35477 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 202.68 s
Current children cumulated vsize: 207444 KiB
Current children cumulated memory: 141908 KiB
[startup+162.3 s]
/proc/loadavg: 7.76 5.41 4.55 10/273 47928
/proc/meminfo: memFree=129074392/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=157524 CPUtime=321.94 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 100661 0 0 0 32175 19 0 0 20 0 3 0 47049404 279531520 39381 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 39381 2144 2102 0 46356 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=155092 CPUtime=161.18 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 23132 0 0 0 16114 4 0 0 20 0 3 0 47049469 279531520 39381 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=14848 CPUtime=160.07 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 63651 0 0 0 15996 11 0 0 20 0 3 0 47049469 279531520 39381 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 321.94 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 157524 KiB
[startup+222.3 s]
/proc/loadavg: 7.91 5.88 4.77 10/273 47930
/proc/meminfo: memFree=129037512/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=170324 CPUtime=441.21 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 112849 0 0 0 44099 22 0 0 20 0 3 0 47049404 279531520 42581 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 42581 2144 2102 0 49641 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=168276 CPUtime=221 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 28536 0 0 0 22096 4 0 0 20 0 3 0 47049469 279531520 42581 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=14848 CPUtime=219.49 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 70333 0 0 0 21936 13 0 0 20 0 3 0 47049469 279531520 42581 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 441.21 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 170324 KiB
################
# More data... #
################
Current children cumulated memory: 192596 KiB
[startup+1302.3 s]
/proc/loadavg: 8.10 8.07 7.12 10/273 48076
/proc/meminfo: memFree=128811420/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=2588.27 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153121 0 0 0 258779 48 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=192596 CPUtime=1295.73 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 33775 0 0 0 129559 14 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=192596 CPUtime=1291.49 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105224 0 0 0 129131 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 2588.27 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
[startup+1362.3 s]
/proc/loadavg: 8.13 8.09 7.19 10/274 48079
/proc/meminfo: memFree=128803876/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=2707.56 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153124 0 0 0 270707 49 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=192596 CPUtime=1355.56 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 33778 0 0 0 135542 14 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=192596 CPUtime=1350.93 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105224 0 0 0 135075 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 2707.56 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
[startup+1422.3 s]
/proc/loadavg: 8.10 8.09 7.25 10/274 48082
/proc/meminfo: memFree=128783420/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=2826.86 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153389 0 0 0 282635 51 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=192596 CPUtime=1415.4 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 33968 0 0 0 141525 15 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=192596 CPUtime=1410.37 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105277 0 0 0 141019 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 2826.86 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
[startup+1482.3 s]
/proc/loadavg: 8.22 8.12 7.31 10/273 48084
/proc/meminfo: memFree=128781212/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=2946.14 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153397 0 0 0 294563 51 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=192596 CPUtime=1475.23 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 33976 0 0 0 147508 15 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=192596 CPUtime=1469.79 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105277 0 0 0 146961 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 2946.14 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
[startup+1542.3 s]
/proc/loadavg: 8.17 8.12 7.37 10/272 48086
/proc/meminfo: memFree=128788816/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=3065.42 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153400 0 0 0 306489 53 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=192596 CPUtime=1535.07 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 33976 0 0 0 153491 16 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=192596 CPUtime=1529.22 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105277 0 0 0 152904 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 3065.42 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
[startup+1602.3 s]
/proc/loadavg: 8.11 8.11 7.42 10/272 48088
/proc/meminfo: memFree=128789176/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=3184.7 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153400 0 0 0 318416 54 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=192596 CPUtime=1594.9 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 33976 0 0 0 159474 16 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=192596 CPUtime=1588.65 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105277 0 0 0 158847 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 3184.7 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
[startup+1662.3 s]
/proc/loadavg: 8.15 8.12 7.47 10/272 48091
/proc/meminfo: memFree=128789356/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=3303.99 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153598 0 0 0 330343 56 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=192596 CPUtime=1654.75 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 34155 0 0 0 165458 17 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=14848 CPUtime=1648.08 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105283 0 0 0 164790 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 3303.99 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
[startup+1722.3 s]
/proc/loadavg: 8.11 8.11 7.51 10/272 48094
/proc/meminfo: memFree=128789024/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=3423.27 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153615 0 0 0 342270 57 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=192596 CPUtime=1714.59 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 34172 0 0 0 171441 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=192596 CPUtime=1707.5 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105283 0 0 0 170732 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 3423.27 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
[startup+1782.3 s]
/proc/loadavg: 8.12 8.11 7.55 10/272 48097
/proc/meminfo: memFree=128790368/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=3542.55 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153630 0 0 0 354197 58 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=10752 CPUtime=1774.42 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 34173 0 0 0 177424 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=2764 CPUtime=1766.94 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105297 0 0 0 176675 19 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 3542.55 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.2 s]
/proc/loadavg: 8.07 8.09 7.56 10/272 48097
/proc/meminfo: memFree=128790244/131249996 swapFree=33010684/33010684
[pid=47911] ppid=47898 vsize=272980 memory=192596 CPUtime=3600.01 cores=5,7
/proc/47911/stat : 47911 (cp-sat-runner) S 47898 47911 47844 0 -1 4194304 153630 0 0 0 359943 58 0 0 20 0 3 0 47049404 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
/proc/47911/statm: 68245 48149 2144 2102 0 53721 0
[pid=47911/tid=47921] ppid=47898 vsize=272980 memory=0 CPUtime=1803.24 cores=5,7
/proc/47911/task/47921/stat : 47921 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 34173 0 0 0 180306 18 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
[pid=47911/tid=47922] ppid=47898 vsize=272980 memory=192596 CPUtime=1795.57 cores=5,7
/proc/47911/task/47922/stat : 47922 (cp-sat-runner) R 47898 47911 47844 0 -1 4194368 105297 0 0 0 179538 19 0 0 20 0 3 0 47049469 279531520 48149 18446744073709551615 4198400 12805993 140730762779456 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38457344 140730762783002 140730762783205 140730762783205 140730762788807 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 272980 KiB
Current children cumulated memory: 192596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1811.21 s]
# the end of solver process 47911 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.44 s, system=0.590774 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1811.21
CPU time (s): 3600.03
CPU user time (s): 3599.44
CPU system time (s): 0.590774
CPU usage (%): 198.764
Max. virtual memory (cumulated for all children) (KiB): 272980
Max. memory (cumulated for all children) (KiB): 192596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.44
system time used= 0.590774
maximum resident set size= 192852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153636
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= 26598
involuntary context switches= 85899
# summary of solver processes directly reported to runsolver:
# pid: 47911
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.44
# total CPU system time (s): 0.590774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66187 second user time and 8.23934 second system time
The end
Begin job on nodeC024 at 2025-06-30 22:01:55 IDJOB=4484972 IDBENCH=146684 IDSOLVER=3320 FILE ID=nodeC024/4484972-1751313715 RUNJOBID= nodeC024-1751313715-47857 SLURM_JOB_ID= 9594318 Free space on /tmp= 433056 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-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-4484972-1751313715/watcher-4484972-1751313715 -o /tmp/evaluation-result-4484972-1751313715/solver-4484972-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751313715-47857 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:40033737 --competition_mode --input HOME/instance-4484972-1751313715.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc RANDOM SEED=40033737 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2020.784 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.675 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2287.118 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3570.266 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2251.632 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.893 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3597.530 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.672 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129400560 kB MemAvailable: 129753176 kB Buffers: 3280 kB Cached: 1158504 kB SwapCached: 0 kB Active: 321696 kB Inactive: 903020 kB Active(anon): 80996 kB Inactive(anon): 0 kB Active(file): 240700 kB Inactive(file): 903020 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 52488 kB Writeback: 0 kB AnonPages: 66116 kB Mapped: 102648 kB Shmem: 18064 kB KReclaimable: 95872 kB Slab: 182596 kB SReclaimable: 95872 kB SUnreclaim: 86724 kB KernelStack: 4024 kB PageTables: 2348 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 331752 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3808 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 433008 MiB End job on nodeC024 at 2025-06-30 22:32:06