Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| OR-Tools CP-SAT 9.14.2 | MSAT (TO) | 3600.2 | 1814.62 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-30_wcsp.wbo |
| MD5SUM | 78328f487213678b2b5d4b2f93871f54 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2080 |
| Best CPU time to get the best result obtained on this benchmark | 4.39449 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1018 |
| Total number of constraints | 50646 |
| Number of soft constraints | 50547 |
| Number of constraints which are clauses | 50547 |
| Number of constraints which are cardinality constraints (but not clauses) | 99 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 14 |
| Top cost | 245952 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 7842900 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 15 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.84/1.85 o 78755 2.03/1.93 o 76073 3.81/2.86 o 58766 4.96/3.46 o 26905 6.94/4.40 o 20232 8.53/5.28 o 18884 10.13/6.03 o 18799 10.91/6.47 o 18552 11.11/6.52 o 18540 11.51/6.72 o 17212 11.51/6.74 o 16100 11.51/6.75 o 16000 13.09/7.53 o 12363 13.09/7.55 o 9187 13.30/7.60 o 9186 14.88/8.48 o 8096 15.08/8.50 o 7876 18.85/10.44 o 7779 18.85/10.49 o 7778 21.23/11.63 o 6778 21.23/11.64 o 6678 21.64/11.83 o 6578 21.64/11.84 o 6577 23.02/12.55 o 6564 24.22/13.11 o 6562 26.39/14.22 o 6561 27.59/14.80 o 6481 27.59/14.81 o 6469 34.53/18.33 o 6460 35.72/19.00 o 6458 35.93/19.01 o 6448 36.72/19.43 o 6447 38.11/20.10 o 5662 38.11/20.11 o 4560 42.08/22.12 o 4473 45.06/23.68 o 3144 45.25/23.70 o 2911 56.16/29.23 o 2909 58.34/30.31 o 2810 58.34/30.32 o 2809 67.87/35.15 o 2750 69.06/35.75 o 2650 104.20/53.46 o 2645 104.20/53.48 o 2642 110.35/56.55 o 2640 199.10/101.22 o 2630 201.09/102.22 o 2629 231.67/117.63 o 2547 296.57/150.38 o 2537 3600.17/1814.60 s SATISFIABLE 3600.17/1814.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.17/1814.60 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 3600.17/1814.60 v -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 3600.17/1814.60 v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 3600.17/1814.60 v -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 3600.17/1814.60 v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 3600.17/1814.60 v -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 3600.17/1814.60 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 3600.17/1814.60 v -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 3600.17/1814.60 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 3600.17/1814.60 v -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 3600.17/1814.60 v -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 3600.17/1814.60 v x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 3600.17/1814.60 v -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 3600.17/1814.60 v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 3600.17/1814.60 v -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 3600.17/1814.60 v -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 3600.17/1814.60 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 3600.17/1814.60 v -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 3600.17/1814.60 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 3600.17/1814.60 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 3600.17/1814.60 v -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 3600.17/1814.60 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 3600.17/1814.60 v -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 3600.17/1814.60 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 3600.17/1814.60 v -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 3600.17/1814.60 v -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 3600.17/1814.60 v x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 x382 -x383 3600.17/1814.60 v -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 3600.17/1814.60 v -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 3600.17/1814.60 v -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 3600.17/1814.60 v -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 -x435 3600.17/1814.60 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 3600.17/1814.60 v -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 3600.17/1814.60 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 3600.17/1814.60 v x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 3600.17/1814.60 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 3600.17/1814.60 v -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 3600.17/1814.60 v -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 3600.17/1814.60 v x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 3600.17/1814.60 v x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 3600.17/1814.60 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 3600.17/1814.60 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 3600.17/1814.60 v -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 3600.17/1814.60 v x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 3600.17/1814.60 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 3600.17/1814.60 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 3600.17/1814.60 v -x631 x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 3600.17/1814.60 v x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 3600.17/1814.60 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 3600.17/1814.60 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 3600.17/1814.60 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 3600.17/1814.60 v -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 3600.17/1814.60 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 3600.17/1814.60 v -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 3600.17/1814.60 v -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 3600.17/1814.60 v -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 3600.17/1814.60 v -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 3600.17/1814.60 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 3600.17/1814.60 v -x787 -x788 x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 3600.17/1814.60 v -x800 -x801 x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 3600.17/1814.60 v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 3600.17/1814.60 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 3600.17/1814.60 v -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 3600.17/1814.60 v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 x864 3600.17/1814.60 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 3600.17/1814.60 v -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 3600.17/1814.60 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 3600.17/1814.60 v -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 3600.17/1814.60 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 3600.17/1814.60 v -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 3600.17/1814.60 v -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 x951 -x952 -x953 -x954 -x955 3600.17/1814.60 v -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 3600.17/1814.60 v -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 3600.17/1814.60 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 3600.17/1814.60 v -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 3600.17/1814.60 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 3600.17/1814.60 v -x1018
OK 2537
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (55019 MiB free)
memory of node 1: 64465 MiB (52463 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529563-1752571848/watcher-4529563-1752571848 -o /tmp/evaluation-result-4529563-1752571848/solver-4529563-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752571848-124434 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529563-1752571848.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=124485, runsolver pid=124475
[startup+0.100061 s]*
/proc/loadavg: 1.23 0.35 0.17 4/264 124490
/proc/meminfo: memFree=110009700/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=54628 memory=48472 CPUtime=0.08 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) R 124475 124485 124417 0 -1 4194304 11690 0 0 0 7 1 0 0 20 0 1 0 172865460 55939072 12118 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 13657 12118 1408 2102 0 11197 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54628 KiB
Current children cumulated memory: 48472 KiB
[startup+0.205681 s]*
/proc/loadavg: 1.23 0.35 0.17 5/268 124494
/proc/meminfo: memFree=109938092/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=62644 memory=56664 CPUtime=0.19 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) R 124475 124485 124417 0 -1 4194304 13670 0 0 0 18 1 0 0 20 0 1 0 172865460 64147456 14166 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 15661 14166 1504 2102 0 13201 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62644 KiB
Current children cumulated memory: 56664 KiB
[startup+0.305773 s]*
/proc/loadavg: 1.23 0.35 0.17 6/270 124496
/proc/meminfo: memFree=109859732/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=73160 memory=65368 CPUtime=0.29 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) R 124475 124485 124417 0 -1 4194304 15825 0 0 0 27 2 0 0 20 0 1 0 172865460 74915840 16342 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 18290 16342 1536 2102 0 15830 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73160 KiB
Current children cumulated memory: 65368 KiB
[startup+0.700167 s]
/proc/loadavg: 1.23 0.35 0.17 6/270 124496
/proc/meminfo: memFree=109679484/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=99916 memory=95584 CPUtime=0.68 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) R 124475 124485 124417 0 -1 4194304 29193 0 0 0 63 5 0 0 20 0 1 0 172865460 102313984 23896 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 24979 23896 1856 2102 0 22519 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99916 KiB
Current children cumulated memory: 95584 KiB
[startup+1.50017 s]
/proc/loadavg: 1.23 0.35 0.17 4/266 124499
/proc/meminfo: memFree=109637392/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=118040 memory=111780 CPUtime=1.48 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) R 124475 124485 124417 0 -1 4194304 36179 0 0 0 141 7 0 0 20 0 1 0 172865460 120872960 27945 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 29510 27945 1888 2102 0 27050 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118040 KiB
Current children cumulated memory: 111780 KiB
[startup+3.10567 s]
/proc/loadavg: 1.46 0.41 0.20 5/266 124506
/proc/meminfo: memFree=109184648/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=591008 memory=445168 CPUtime=4.37 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 137034 0 0 0 416 21 0 0 20 0 3 0 172865460 605192192 111292 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 147752 111292 2176 2102 0 126158 0
[pid=124485/tid=124502] ppid=124475 vsize=591008 memory=0 CPUtime=1.25 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 62639 0 0 0 116 9 0 0 20 0 3 0 172865631 605192192 111292 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=591008 memory=379880 CPUtime=1.28 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 28235 0 0 0 124 4 0 0 20 0 3 0 172865631 605192192 111292 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 591008 KiB
Current children cumulated memory: 445168 KiB
[startup+6.30024 s]
/proc/loadavg: 1.46 0.41 0.20 6/268 124508
/proc/meminfo: memFree=108459900/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=591008 memory=462788 CPUtime=10.71 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 183201 0 0 0 1044 27 0 0 20 0 3 0 172865460 605192192 115697 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 147752 115697 2176 2102 0 130405 0
[pid=124485/tid=124502] ppid=124475 vsize=591008 memory=379880 CPUtime=4.41 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 86352 0 0 0 430 11 0 0 20 0 3 0 172865631 605192192 115697 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=591008 memory=16496 CPUtime=4.42 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 50660 0 0 0 434 8 0 0 20 0 3 0 172865631 605192192 115697 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 10.71 s
Current children cumulated vsize: 591008 KiB
Current children cumulated memory: 462788 KiB
[startup+12.7002 s]
/proc/loadavg: 2.31 0.62 0.27 7/270 124510
/proc/meminfo: memFree=108104780/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=559184 memory=495800 CPUtime=23.42 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 256787 0 0 0 2304 38 0 0 20 0 3 0 172865460 572604416 123950 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 139796 123950 2176 2102 0 130872 0
[pid=124485/tid=124502] ppid=124475 vsize=559184 memory=515572 CPUtime=10.7 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 129095 0 0 0 1057 13 0 0 20 0 3 0 172865631 572604416 123950 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=559184 memory=452052 CPUtime=10.77 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 80944 0 0 0 1061 16 0 0 20 0 3 0 172865631 572604416 123950 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 23.42 s
Current children cumulated vsize: 559184 KiB
Current children cumulated memory: 495800 KiB
[startup+25.5002 s]
/proc/loadavg: 3.03 0.83 0.34 7/270 124557
/proc/meminfo: memFree=107940768/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=627140 memory=560648 CPUtime=48.81 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 346762 0 0 0 4829 52 0 0 20 0 3 0 172865460 642191360 140162 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 156785 140162 2176 2102 0 146028 0
[pid=124485/tid=124502] ppid=124475 vsize=627140 memory=16496 CPUtime=23.33 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 187596 0 0 0 2313 20 0 0 20 0 3 0 172865631 642191360 140162 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=627140 memory=-6880228935766806888 CPUtime=23.45 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 112329 0 0 0 2321 24 0 0 20 0 3 0 172865631 642191360 140162 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 48.81 s
Current children cumulated vsize: 627140 KiB
Current children cumulated memory: 560648 KiB
[startup+51.1059 s]
/proc/loadavg: 4.79 1.43 0.55 8/273 124595
/proc/meminfo: memFree=104735368/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=633712 memory=566264 CPUtime=99.64 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 404234 0 0 0 9896 68 0 0 20 0 3 0 172865460 648921088 141566 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 158428 141566 2176 2102 0 147893 0
[pid=124485/tid=124502] ppid=124475 vsize=633712 memory=6468 CPUtime=48.67 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 211527 0 0 0 4846 21 0 0 20 0 3 0 172865631 648921088 141566 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=633712 memory=593728 CPUtime=48.92 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 145828 0 0 0 4854 38 0 0 20 0 3 0 172865631 648921088 141566 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 99.64 s
Current children cumulated vsize: 633712 KiB
Current children cumulated memory: 566264 KiB
[startup+102.3 s]
/proc/loadavg: 6.21 2.40 0.94 8/273 124596
/proc/meminfo: memFree=102404328/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=635080 memory=557504 CPUtime=201.29 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 500959 0 0 0 20027 102 0 0 20 0 3 0 172865460 650321920 139376 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 158770 139376 2176 2102 0 146958 0
[pid=124485/tid=124502] ppid=124475 vsize=635080 memory=598336 CPUtime=99.68 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 244914 0 0 0 9944 24 0 0 20 0 3 0 172865631 650321920 139376 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=635080 memory=11136 CPUtime=99.55 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 209080 0 0 0 9887 68 0 0 20 0 3 0 172865631 650321920 139376 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 201.29 s
Current children cumulated vsize: 635080 KiB
Current children cumulated memory: 557504 KiB
[startup+162.3 s]
/proc/loadavg: 7.24 3.38 1.36 9/275 124600
/proc/meminfo: memFree=92345872/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=569544 memory=533972 CPUtime=320.39 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 552252 0 0 0 31912 127 0 0 20 0 3 0 172865460 583213056 133493 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 142386 133493 2176 2102 0 139434 0
[pid=124485/tid=124502] ppid=124475 vsize=569544 memory=5632 CPUtime=159.43 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 252332 0 0 0 15919 24 0 0 20 0 3 0 172865631 583213056 133493 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=569544 memory=566264 CPUtime=158.88 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 252904 0 0 0 15796 92 0 0 20 0 3 0 172865631 583213056 133493 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 320.39 s
Current children cumulated vsize: 569544 KiB
Current children cumulated memory: 533972 KiB
[startup+222.3 s]
/proc/loadavg: 7.78 4.24 1.79 9/276 124604
/proc/meminfo: memFree=91079052/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=635080 memory=561720 CPUtime=439.47 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 611551 0 0 0 43785 162 0 0 20 0 3 0 172865460 650321920 140430 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 158770 140430 2176 2102 0 147506 0
[pid=124485/tid=124502] ppid=124475 vsize=635080 memory=534152 CPUtime=219.13 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 254656 0 0 0 21889 24 0 0 20 0 3 0 172865631 650321920 140430 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=635080 memory=534152 CPUtime=218.25 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 309852 0 0 0 21699 126 0 0 20 0 3 0 172865631 650321920 140430 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 439.47 s
Current children cumulated vsize: 635080 KiB
Current children cumulated memory: 561720 KiB
[startup+282.3 s]
/proc/loadavg: 8.24 5.00 2.21 10/276 124606
/proc/meminfo: memFree=91351156/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=602356 memory=566520 CPUtime=558.56 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 650998 0 0 0 55667 189 0 0 20 0 3 0 172865460 616812544 141630 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
################
# More data... #
################
Current children cumulated memory: 607464 KiB
[startup+1302.3 s]
/proc/loadavg: 8.14 8.07 6.22 9/275 124661
/proc/meminfo: memFree=90734736/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=644800 memory=607976 CPUtime=2583.33 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1238759 0 0 0 257670 663 0 0 20 0 3 0 172865460 660275200 151994 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 161200 151994 2176 2102 0 154629 0
[pid=124485/tid=124502] ppid=124475 vsize=644800 memory=607464 CPUtime=1294.31 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 314657 0 0 0 129337 94 0 0 20 0 3 0 172865631 660275200 151994 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=644800 memory=16496 CPUtime=1286.63 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 876773 0 0 0 128116 547 0 0 20 0 3 0 172865631 660275200 151994 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 2583.33 s
Current children cumulated vsize: 644800 KiB
Current children cumulated memory: 607976 KiB
[startup+1362.3 s]
/proc/loadavg: 8.13 8.09 6.35 9/275 124663
/proc/meminfo: memFree=89584036/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=710336 memory=665548 CPUtime=2702.41 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1254819 0 0 0 269567 674 0 0 20 0 3 0 172865460 727384064 166387 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 177584 166387 2176 2102 0 169227 0
[pid=124485/tid=124502] ppid=124475 vsize=710336 memory=665548 CPUtime=1354.05 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 314818 0 0 0 135311 94 0 0 20 0 3 0 172865631 727384064 166387 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=710336 memory=665548 CPUtime=1345.96 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 892670 0 0 0 134038 558 0 0 20 0 3 0 172865631 727384064 166387 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 2702.41 s
Current children cumulated vsize: 710336 KiB
Current children cumulated memory: 665548 KiB
[startup+1422.3 s]
/proc/loadavg: 8.18 8.11 6.47 9/274 124667
/proc/meminfo: memFree=89241984/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=710336 memory=666320 CPUtime=2821.48 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1255534 0 0 0 281472 676 0 0 20 0 3 0 172865460 727384064 166580 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 177584 166580 2176 2102 0 169295 0
[pid=124485/tid=124502] ppid=124475 vsize=710336 memory=665984 CPUtime=1413.79 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 314923 0 0 0 141285 94 0 0 20 0 3 0 172865631 727384064 166580 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=710336 memory=666256 CPUtime=1405.26 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 893256 0 0 0 139968 558 0 0 20 0 3 0 172865631 727384064 166580 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 2821.48 s
Current children cumulated vsize: 710336 KiB
Current children cumulated memory: 666320 KiB
[startup+1482.3 s]
/proc/loadavg: 8.08 8.10 6.57 9/274 124669
/proc/meminfo: memFree=89559492/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=710336 memory=669924 CPUtime=2940.57 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1266825 0 0 0 293379 678 0 0 20 0 3 0 172865460 727384064 167481 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 177584 167481 2176 2102 0 170095 0
[pid=124485/tid=124502] ppid=124475 vsize=710336 memory=669924 CPUtime=1473.54 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 315332 0 0 0 147260 94 0 0 20 0 3 0 172865631 727384064 167481 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=710336 memory=600 CPUtime=1464.6 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 904113 0 0 0 145899 561 0 0 20 0 3 0 172865631 727384064 167481 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 2940.57 s
Current children cumulated vsize: 710336 KiB
Current children cumulated memory: 669924 KiB
[startup+1542.3 s]
/proc/loadavg: 8.28 8.15 6.68 9/272 124672
/proc/meminfo: memFree=89385776/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=745044 memory=702528 CPUtime=3059.66 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1271286 0 0 0 305284 682 0 0 20 0 3 0 172865460 762925056 175632 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 186261 175632 2176 2102 0 180813 0
[pid=124485/tid=124502] ppid=124475 vsize=745044 memory=668388 CPUtime=1533.28 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 317083 0 0 0 153234 94 0 0 20 0 3 0 172865631 762925056 175632 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=745044 memory=677944 CPUtime=1523.92 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 906821 0 0 0 151829 563 0 0 20 0 3 0 172865631 762925056 175632 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 3059.66 s
Current children cumulated vsize: 745044 KiB
Current children cumulated memory: 702528 KiB
[startup+1602.3 s]
/proc/loadavg: 8.13 8.13 6.77 9/271 124675
/proc/meminfo: memFree=90178780/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=710336 memory=680560 CPUtime=3178.75 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1284719 0 0 0 317189 686 0 0 20 0 3 0 172865460 727384064 170140 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 177584 170140 2176 2102 0 172965 0
[pid=124485/tid=124502] ppid=124475 vsize=710336 memory=668388 CPUtime=1593.02 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 318585 0 0 0 159207 95 0 0 20 0 3 0 172865631 727384064 170140 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=710336 memory=677944 CPUtime=1583.26 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 918732 0 0 0 157759 567 0 0 20 0 3 0 172865631 727384064 170140 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 3178.75 s
Current children cumulated vsize: 710336 KiB
Current children cumulated memory: 680560 KiB
[startup+1662.3 s]
/proc/loadavg: 8.17 8.14 6.86 9/272 124678
/proc/meminfo: memFree=89752892/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=710336 memory=681296 CPUtime=3297.85 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1285946 0 0 0 329097 688 0 0 20 0 3 0 172865460 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 177584 170324 2176 2102 0 172965 0
[pid=124485/tid=124502] ppid=124475 vsize=710336 memory=677944 CPUtime=1652.77 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 319294 0 0 0 165182 95 0 0 20 0 3 0 172865631 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=710336 memory=16496 CPUtime=1642.6 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 919249 0 0 0 163692 568 0 0 20 0 3 0 172865631 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 3297.85 s
Current children cumulated vsize: 710336 KiB
Current children cumulated memory: 681296 KiB
[startup+1722.3 s]
/proc/loadavg: 8.24 8.17 6.96 9/272 124680
/proc/meminfo: memFree=88913232/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=710336 memory=681296 CPUtime=3416.97 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1296164 0 0 0 341007 690 0 0 20 0 3 0 172865460 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 177584 170324 2176 2102 0 172965 0
[pid=124485/tid=124502] ppid=124475 vsize=710336 memory=677944 CPUtime=1712.52 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 319333 0 0 0 171157 95 0 0 20 0 3 0 172865631 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=710336 memory=20992 CPUtime=1701.93 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 929407 0 0 0 169624 569 0 0 20 0 3 0 172865631 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 3416.97 s
Current children cumulated vsize: 710336 KiB
Current children cumulated memory: 681296 KiB
[startup+1782.3 s]
/proc/loadavg: 8.30 8.20 7.05 9/275 124687
/proc/meminfo: memFree=89630216/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=710336 memory=681296 CPUtime=3536.06 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1299529 0 0 0 352914 692 0 0 20 0 3 0 172865460 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 177584 170324 2176 2102 0 172965 0
[pid=124485/tid=124502] ppid=124475 vsize=710336 memory=681296 CPUtime=1772.27 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 320793 0 0 0 177132 95 0 0 20 0 3 0 172865631 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=710336 memory=681296 CPUtime=1761.27 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 931309 0 0 0 175556 571 0 0 20 0 3 0 172865631 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 3536.06 s
Current children cumulated vsize: 710336 KiB
Current children cumulated memory: 681296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.6 s]
/proc/loadavg: 8.33 8.21 7.09 9/275 124698
/proc/meminfo: memFree=88712856/131249996 swapFree=33010160/33010684
[pid=124485] ppid=124475 vsize=710336 memory=681296 CPUtime=3600.17 cores=1,3
/proc/124485/stat : 124485 (cp_sat_runner) S 124475 124485 124417 0 -1 4194304 1309478 0 0 0 359324 693 0 0 20 0 3 0 172865460 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
/proc/124485/statm: 177584 170324 2176 2102 0 172965 0
[pid=124485/tid=124502] ppid=124475 vsize=710336 memory=20992 CPUtime=1804.43 cores=1,3
/proc/124485/task/124502/stat : 124502 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 320799 0 0 0 180348 95 0 0 20 0 3 0 172865631 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
[pid=124485/tid=124503] ppid=124475 vsize=710336 memory=16496 CPUtime=1793.21 cores=1,3
/proc/124485/task/124503/stat : 124503 (cp_sat_runner) R 124475 124485 124417 0 -1 4194368 941233 0 0 0 178749 572 0 0 20 0 3 0 172865631 727384064 170324 18446744073709551615 4198400 12806697 140727859619584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 40050688 140727859624213 140727859624417 140727859624417 140727859630023 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 710336 KiB
Current children cumulated memory: 681296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1814.62 s]
# the end of solver process 124485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.25 s, system=6.94944 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1814.62
CPU time (s): 3600.2
CPU user time (s): 3593.25
CPU system time (s): 6.94944
CPU usage (%): 198.4
Max. virtual memory (cumulated for all children) (KiB): 775872
Max. memory (cumulated for all children) (KiB): 719480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.25
system time used= 6.94944
maximum resident set size= 719480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1309489
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= 22274
involuntary context switches= 87295
# summary of solver processes directly reported to runsolver:
# pid: 124485
# total CPU time (s): 3600.2
# total CPU user time (s): 3593.25
# total CPU system time (s): 6.94944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7087 second user time and 9.39834 second system time
The end
Begin job on nodeC032 at 2025-07-15 11:30:56 IDJOB=4529563 IDBENCH=143867 IDSOLVER=3387 FILE ID=nodeC032/4529563-1752571848 RUNJOBID= nodeC032-1752571848-124434 SLURM_JOB_ID= 9683901 Free space on /tmp= 429604 MiB SOLVER NAME= OR-Tools CP-SAT 9.14.2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-30_wcsp.wbo 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 -w /tmp/evaluation-result-4529563-1752571848/watcher-4529563-1752571848 -o /tmp/evaluation-result-4529563-1752571848/solver-4529563-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752571848-124434 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529563-1752571848.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 78328f487213678b2b5d4b2f93871f54 RANDOM SEED=764063283 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1450.198 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.843 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1207.913 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.269 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1207.542 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3594.164 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 110106484 kB MemAvailable: 129591680 kB Buffers: 2728 kB Cached: 20160476 kB SwapCached: 20 kB Active: 492064 kB Inactive: 19736996 kB Active(anon): 80780 kB Inactive(anon): 3124 kB Active(file): 411284 kB Inactive(file): 19733872 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33492 kB Writeback: 0 kB AnonPages: 69012 kB Mapped: 106208 kB Shmem: 18048 kB KReclaimable: 358560 kB Slab: 456132 kB SReclaimable: 358560 kB SUnreclaim: 97572 kB KernelStack: 4128 kB PageTables: 2864 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 340912 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429460 MiB End job on nodeC032 at 2025-07-15 12:01:23