Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pb_picat 2025-07-11 | OPT | -50 | 1849.76 | 1855.61 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
| MD5SUM | f240478745515edc7850a10c9aa5c21f |
| 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 | -50 |
| Best CPU time to get the best result obtained on this benchmark | 1849.76 |
| 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 | 1150 |
| Total number of constraints | 80035 |
| Number of constraints which are clauses | 80035 |
| 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 | 1150 |
| 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 | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c solving HOME/instance-4528361-1752237995.opb (Picat 3.9b11, 7/10/2025) 5.97/6.02 o -44 64.76/65.07 o -49 1849.74/1855.60 o -50 1849.74/1855.60 s OPTIMUM FOUND 1849.74/1855.60 v ~x25 ~x236 ~x447 ~x658 x869 ~x1080 ~x24 ~x235 ~x446 ~x657 1849.74/1855.60 v ~x868 ~x1079 ~x23 ~x234 ~x445 ~x656 ~x867 ~x1078 ~x22 ~x233 1849.74/1855.60 v ~x444 ~x655 ~x866 ~x1077 ~x21 ~x232 ~x443 ~x654 ~x865 ~x1076 1849.74/1855.60 v x20 ~x231 ~x442 ~x653 ~x864 ~x1075 ~x19 ~x230 ~x441 ~x652 1849.74/1855.60 v ~x863 ~x1074 ~x18 ~x229 ~x440 ~x651 ~x862 ~x1073 ~x17 ~x228 1849.74/1855.60 v ~x439 ~x650 ~x861 ~x1072 ~x16 ~x227 ~x438 ~x649 ~x860 ~x1071 1849.74/1855.60 v ~x15 ~x226 ~x437 ~x648 ~x859 x1070 ~x14 ~x225 ~x436 x647 1849.74/1855.60 v ~x858 ~x1069 ~x13 ~x224 ~x435 ~x646 ~x857 ~x1068 ~x12 ~x223 1849.74/1855.60 v ~x434 ~x645 ~x856 ~x1067 ~x11 ~x222 ~x433 ~x644 ~x855 ~x1066 1849.74/1855.61 v ~x10 ~x221 ~x432 ~x643 ~x854 ~x1065 ~x9 ~x220 ~x431 ~x642 1849.74/1855.61 v ~x853 ~x1064 ~x8 ~x219 ~x430 ~x641 ~x852 ~x1063 ~x7 ~x218 1849.74/1855.61 v ~x429 ~x640 x851 ~x1062 ~x6 ~x217 ~x428 ~x639 ~x850 ~x1061 1849.74/1855.61 v ~x5 ~x216 ~x427 ~x638 ~x849 ~x1060 ~x4 ~x215 ~x426 ~x637 1849.74/1855.61 v ~x848 ~x1059 ~x3 ~x214 x425 ~x636 ~x847 ~x1058 ~x2 ~x213 1849.74/1855.61 v ~x424 ~x635 ~x846 ~x1057 ~x1 ~x212 ~x423 ~x634 ~x845 ~x1056 1849.74/1855.61 v ~x211 ~x422 ~x633 ~x844 ~x1055 ~x210 ~x421 ~x632 ~x843 ~x1054 1849.74/1855.61 v ~x209 ~x420 ~x631 ~x842 x1053 x208 ~x419 ~x630 ~x841 ~x1052 1849.74/1855.61 v ~x207 ~x418 ~x629 ~x840 ~x1051 ~x206 ~x417 x628 ~x839 ~x1050 1849.74/1855.61 v ~x205 ~x416 ~x627 ~x838 ~x1049 ~x204 ~x415 ~x626 ~x837 ~x1048 1849.74/1855.61 v ~x203 ~x414 ~x625 ~x836 ~x1047 ~x202 ~x413 ~x624 ~x835 ~x1046 1849.74/1855.61 v ~x201 ~x412 ~x623 ~x834 ~x1045 ~x200 ~x411 ~x622 ~x833 ~x1044 1849.74/1855.61 v ~x199 ~x410 ~x621 ~x832 ~x1043 ~x198 ~x409 ~x620 ~x831 ~x1042 1849.74/1855.61 v ~x197 ~x408 x619 ~x830 ~x1041 ~x196 x407 ~x618 ~x829 ~x1040 1849.74/1855.61 v ~x195 ~x406 ~x617 ~x828 ~x1039 ~x194 ~x405 ~x616 ~x827 ~x1038 1849.74/1855.61 v ~x193 ~x404 ~x615 ~x826 ~x1037 ~x192 ~x403 ~x614 ~x825 ~x1036 1849.74/1855.61 v ~x191 ~x402 ~x613 ~x824 ~x1035 ~x190 ~x401 ~x612 ~x823 ~x1034 1849.74/1855.61 v ~x189 ~x400 ~x611 ~x822 ~x1033 ~x188 ~x399 ~x610 ~x821 ~x1032 1849.74/1855.61 v x187 ~x398 ~x609 ~x820 ~x1031 ~x186 ~x397 ~x608 ~x819 ~x1030 1849.74/1855.61 v ~x185 ~x396 ~x607 ~x818 x1029 ~x184 ~x395 ~x606 ~x817 ~x1028 1849.74/1855.61 v ~x183 ~x394 ~x605 x816 ~x1027 ~x182 ~x393 ~x604 ~x815 ~x1026 1849.74/1855.61 v ~x181 ~x392 ~x603 ~x814 ~x1025 ~x180 ~x391 ~x602 ~x813 ~x1024 1849.74/1855.61 v ~x179 ~x390 ~x601 ~x812 ~x1023 x178 ~x389 ~x600 ~x811 ~x1022 1849.74/1855.61 v ~x177 ~x388 ~x599 ~x810 ~x1021 ~x176 ~x387 ~x598 ~x809 ~x1020 1849.74/1855.61 v ~x175 ~x386 ~x597 ~x808 ~x1019 ~x174 ~x385 ~x596 ~x807 ~x1018 1849.74/1855.61 v ~x173 ~x384 ~x595 ~x806 ~x1017 ~x172 ~x383 ~x594 ~x805 ~x1016 1849.74/1855.61 v ~x171 ~x382 ~x593 x804 ~x1015 ~x170 ~x381 ~x592 ~x803 ~x1014 1849.74/1855.61 v ~x169 ~x380 ~x591 ~x802 ~x1013 ~x168 ~x379 ~x590 ~x801 ~x1012 1849.74/1855.61 v ~x167 ~x378 ~x589 ~x800 ~x1011 ~x166 ~x377 ~x588 ~x799 ~x1010 1849.74/1855.61 v ~x165 x376 ~x587 ~x798 ~x1009 ~x164 ~x375 ~x586 ~x797 ~x1008 1849.74/1855.61 v ~x163 ~x374 ~x585 ~x796 ~x1007 ~x162 ~x373 ~x584 ~x795 x1006 1849.74/1855.61 v ~x161 ~x372 ~x583 ~x794 ~x1005 ~x160 ~x371 ~x582 ~x793 ~x1004 1849.74/1855.61 v ~x159 ~x370 x581 ~x792 ~x1003 ~x158 ~x369 ~x580 ~x791 ~x1002 1849.74/1855.61 v ~x157 ~x368 ~x579 ~x790 ~x1001 ~x156 x367 ~x578 ~x789 ~x1000 1849.74/1855.61 v x155 ~x366 ~x577 ~x788 ~x999 ~x154 ~x365 ~x576 ~x787 ~x998 1849.74/1855.61 v ~x153 ~x364 ~x575 ~x786 ~x997 ~x152 ~x363 ~x574 ~x785 ~x996 1849.74/1855.61 v ~x151 ~x362 ~x573 ~x784 ~x995 ~x150 ~x361 ~x572 ~x783 ~x994 1849.74/1855.61 v ~x149 ~x360 ~x571 x782 ~x993 ~x148 ~x359 ~x570 ~x781 ~x992 1849.74/1855.61 v ~x147 ~x358 ~x569 ~x780 ~x991 ~x146 ~x357 ~x568 ~x779 ~x990 1849.74/1855.61 v ~x145 ~x356 ~x567 ~x778 ~x989 ~x144 ~x355 ~x566 ~x777 ~x988 1849.74/1855.61 v ~x143 ~x354 ~x565 ~x776 ~x987 ~x142 ~x353 x564 ~x775 x986 1849.74/1855.61 v ~x141 ~x352 ~x563 ~x774 ~x985 ~x140 ~x351 ~x562 ~x773 ~x984 1849.74/1855.61 v ~x139 ~x350 ~x561 ~x772 ~x983 ~x138 ~x349 ~x560 ~x771 ~x982 1849.74/1855.61 v ~x137 ~x348 ~x559 ~x770 ~x981 x136 ~x347 ~x558 ~x769 ~x980 1849.74/1855.61 v ~x135 ~x346 ~x557 ~x768 ~x979 ~x134 ~x345 ~x556 ~x767 ~x978 1849.74/1855.61 v ~x133 ~x344 ~x555 ~x766 ~x977 ~x132 ~x343 ~x554 ~x765 ~x976 1849.74/1855.61 v ~x131 ~x342 ~x553 ~x764 ~x975 ~x130 ~x341 ~x552 ~x763 ~x974 1849.74/1855.61 v ~x129 ~x340 ~x551 ~x762 ~x973 ~x128 ~x339 ~x550 ~x761 ~x972 1849.74/1855.61 v ~x127 ~x338 ~x549 ~x760 ~x971 ~x126 ~x337 ~x548 x759 ~x970 1849.74/1855.61 v ~x125 ~x336 ~x547 ~x758 ~x969 ~x124 ~x335 ~x546 ~x757 ~x968 1849.74/1855.61 v ~x123 ~x334 ~x545 ~x756 ~x967 ~x122 x333 ~x544 ~x755 ~x966 1849.74/1855.61 v ~x121 ~x332 ~x543 ~x754 ~x965 ~x120 ~x331 ~x542 ~x753 ~x964 1849.74/1855.61 v ~x119 ~x330 ~x541 ~x752 ~x963 ~x118 ~x329 ~x540 ~x751 ~x962 1849.74/1855.61 v ~x117 ~x328 ~x539 ~x750 ~x961 ~x116 ~x327 ~x538 ~x749 ~x960 1849.74/1855.61 v ~x115 ~x326 ~x537 ~x748 ~x959 ~x114 ~x325 ~x536 ~x747 ~x958 1849.74/1855.61 v ~x113 ~x324 ~x535 ~x746 ~x957 ~x112 ~x323 ~x534 ~x745 ~x956 1849.74/1855.61 v ~x111 ~x322 ~x533 ~x744 ~x955 ~x110 ~x321 ~x532 ~x743 ~x954 1849.74/1855.61 v ~x109 x320 x531 ~x742 ~x953 ~x108 ~x319 ~x530 ~x741 ~x952 1849.74/1855.61 v ~x107 ~x318 ~x529 ~x740 x951 x106 ~x317 ~x528 ~x739 ~x950 1849.74/1855.61 v ~x105 ~x316 ~x527 ~x738 ~x949 ~x104 ~x315 ~x526 ~x737 ~x948 1849.74/1855.61 v ~x103 ~x314 ~x525 ~x736 ~x947 ~x102 ~x313 ~x524 ~x735 ~x946 1849.74/1855.61 v ~x101 ~x312 ~x523 ~x734 ~x945 ~x100 ~x311 ~x522 ~x733 ~x944 1849.74/1855.61 v ~x99 ~x310 ~x521 ~x732 ~x943 ~x98 ~x309 ~x520 ~x731 ~x942 1849.74/1855.61 v ~x97 ~x308 x519 ~x730 ~x941 ~x96 ~x307 ~x518 ~x729 ~x940 1849.74/1855.61 v ~x95 ~x306 ~x517 x728 ~x939 ~x1150 ~x94 ~x305 ~x516 ~x727 1849.74/1855.61 v ~x938 ~x1149 ~x93 ~x304 ~x515 ~x726 ~x937 ~x1148 ~x92 ~x303 1849.74/1855.61 v ~x514 ~x725 ~x936 ~x1147 ~x91 ~x302 ~x513 ~x724 ~x935 ~x1146 1849.74/1855.61 v ~x90 ~x301 ~x512 ~x723 ~x934 ~x1145 ~x89 ~x300 ~x511 ~x722 1849.74/1855.61 v ~x933 ~x1144 ~x88 ~x299 ~x510 ~x721 ~x932 ~x1143 ~x87 ~x298 1849.74/1855.61 v ~x509 ~x720 x931 ~x1142 ~x86 ~x297 ~x508 ~x719 ~x930 ~x1141 1849.74/1855.61 v ~x85 ~x296 ~x507 ~x718 ~x929 ~x1140 ~x84 ~x295 ~x506 ~x717 1849.74/1855.61 v ~x928 ~x1139 ~x83 ~x294 ~x505 ~x716 ~x927 ~x1138 ~x82 ~x293 1849.74/1855.61 v ~x504 ~x715 ~x926 ~x1137 ~x81 ~x292 ~x503 ~x714 ~x925 ~x1136 1849.74/1855.61 v ~x80 ~x291 ~x502 ~x713 ~x924 ~x1135 ~x79 ~x290 ~x501 ~x712 1849.74/1855.61 v ~x923 ~x1134 ~x78 x289 ~x500 ~x711 ~x922 ~x1133 x77 ~x288 1849.74/1855.61 v ~x499 ~x710 ~x921 ~x1132 ~x76 ~x287 ~x498 ~x709 ~x920 ~x1131 1849.74/1855.61 v ~x75 ~x286 ~x497 ~x708 ~x919 ~x1130 ~x74 ~x285 ~x496 ~x707 1849.74/1855.61 v ~x918 x1129 ~x73 ~x284 ~x495 ~x706 ~x917 ~x1128 ~x72 ~x283 1849.74/1855.61 v ~x494 ~x705 ~x916 ~x1127 ~x71 ~x282 ~x493 ~x704 ~x915 ~x1126 1849.74/1855.61 v ~x70 ~x281 ~x492 ~x703 ~x914 ~x1125 ~x69 ~x280 ~x491 ~x702 1849.74/1855.61 v ~x913 ~x1124 ~x68 ~x279 ~x490 ~x701 ~x912 ~x1123 ~x67 ~x278 1849.74/1855.61 v x489 ~x700 ~x911 ~x1122 ~x66 ~x277 ~x488 ~x699 ~x910 ~x1121 1849.74/1855.61 v ~x65 ~x276 ~x487 ~x698 ~x909 ~x1120 ~x64 ~x275 ~x486 ~x697 1849.74/1855.61 v ~x908 ~x1119 ~x63 ~x274 ~x485 ~x696 ~x907 ~x1118 ~x62 x273 1849.74/1855.61 v ~x484 ~x695 ~x906 ~x1117 ~x61 ~x272 ~x483 ~x694 ~x905 ~x1116 1849.74/1855.61 v ~x60 ~x271 ~x482 ~x693 ~x904 ~x1115 ~x59 ~x270 ~x481 ~x692 1849.74/1855.61 v ~x903 ~x1114 ~x58 ~x269 ~x480 x691 x902 ~x1113 ~x57 ~x268 1849.74/1855.61 v ~x479 ~x690 ~x901 x1112 ~x56 ~x267 ~x478 ~x689 ~x900 ~x1111 1849.74/1855.61 v ~x55 ~x266 x477 ~x688 ~x899 ~x1110 ~x54 ~x265 ~x476 ~x687 1849.74/1855.61 v ~x898 ~x1109 ~x53 ~x264 ~x475 ~x686 ~x897 ~x1108 ~x52 ~x263 1849.74/1855.61 v ~x474 ~x685 ~x896 ~x1107 ~x51 ~x262 ~x473 ~x684 ~x895 ~x1106 1849.74/1855.61 v ~x50 ~x261 ~x472 ~x683 ~x894 ~x1105 x49 ~x260 ~x471 ~x682 1849.74/1855.61 v ~x893 ~x1104 ~x48 ~x259 ~x470 ~x681 ~x892 ~x1103 ~x47 ~x258 1849.74/1855.61 v ~x469 ~x680 ~x891 ~x1102 ~x46 ~x257 ~x468 ~x679 ~x890 ~x1101 1849.74/1855.61 v ~x45 ~x256 ~x467 ~x678 ~x889 ~x1100 ~x44 ~x255 ~x466 ~x677 1849.74/1855.61 v ~x888 ~x1099 ~x43 ~x254 ~x465 ~x676 ~x887 ~x1098 ~x42 ~x253 1849.74/1855.61 v ~x464 ~x675 ~x886 ~x1097 ~x41 ~x252 ~x463 x674 ~x885 ~x1096 1849.74/1855.61 v ~x40 ~x251 ~x462 ~x673 ~x884 ~x1095 x39 ~x250 ~x461 ~x672 1849.74/1855.61 v ~x883 ~x1094 ~x38 ~x249 ~x460 ~x671 ~x882 ~x1093 ~x37 ~x248 1849.74/1855.61 v ~x459 ~x670 ~x881 ~x1092 ~x36 ~x247 ~x458 ~x669 ~x880 ~x1091 1849.74/1855.61 v ~x35 ~x246 ~x457 ~x668 ~x879 ~x1090 ~x34 ~x245 ~x456 ~x667 1849.74/1855.61 v ~x878 ~x1089 ~x33 ~x244 ~x455 ~x666 ~x877 ~x1088 ~x32 ~x243 1849.74/1855.61 v x454 ~x665 ~x876 x1087 ~x31 ~x242 ~x453 ~x664 x875 ~x1086 1849.74/1855.61 v ~x30 ~x241 ~x452 ~x663 ~x874 ~x1085 ~x29 ~x240 ~x451 ~x662 1849.74/1855.61 v ~x873 ~x1084 ~x28 ~x239 ~x450 ~x661 ~x872 ~x1083 ~x27 ~x238 1849.74/1855.61 v ~x449 ~x660 ~x871 ~x1082 ~x26 x237 ~x448 ~x659 ~x870 ~x1081
OK -50
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62704 MiB free)
memory of node 1: 64507 MiB (61682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528361-1752237995/watcher-4528361-1752237995 -o /tmp/evaluation-result-4528361-1752237995/solver-4528361-1752237995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752237995-109811 --watchdog 3760 pb_picat HOME/instance-4528361-1752237995.opb
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=109866, runsolver pid=109861
[startup+0.100072 s]*
/proc/loadavg: 3.64 4.92 5.86 6/252 109869
/proc/meminfo: memFree=127331116/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2027148 memory=22220 CPUtime=0.1 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 1096 0 0 0 9 1 0 0 20 0 1 0 139478928 2075799552 5555 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 506787 5555 1568 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 22220 KiB
[startup+0.21422 s]*
/proc/loadavg: 3.64 4.92 5.86 6/252 109869
/proc/meminfo: memFree=127310596/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2027148 memory=28364 CPUtime=0.21 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 1099 0 0 0 20 1 0 0 20 0 1 0 139478928 2075799552 7091 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 506787 7091 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28364 KiB
[startup+0.314115 s]*
/proc/loadavg: 3.64 4.92 5.86 6/252 109869
/proc/meminfo: memFree=127294212/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2027148 memory=34508 CPUtime=0.3 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 1102 0 0 0 29 1 0 0 20 0 1 0 139478928 2075799552 8627 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 506787 8627 1568 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34508 KiB
[startup+0.7003 s]
/proc/loadavg: 3.64 4.92 5.86 6/252 109869
/proc/meminfo: memFree=127269636/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2027148 memory=59084 CPUtime=0.68 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 1114 0 0 0 66 2 0 0 20 0 1 0 139478928 2075799552 14771 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 506787 14771 1568 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 59084 KiB
[startup+1.50032 s]
/proc/loadavg: 3.64 4.92 5.86 6/252 109869
/proc/meminfo: memFree=127186228/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2042436 memory=126800 CPUtime=1.47 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 2679 0 0 0 143 4 0 0 20 0 1 0 139478928 2091454464 31700 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 510609 31700 1696 343 0 507673 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2042436 KiB
Current children cumulated memory: 126800 KiB
[startup+3.11283 s]
/proc/loadavg: 3.64 4.92 5.86 6/252 109869
/proc/meminfo: memFree=127165776/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2043900 memory=129848 CPUtime=3.08 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 4779 0 0 0 303 5 0 0 20 0 1 0 139478928 2092953600 32462 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 510975 32462 1696 343 0 508039 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2043900 KiB
Current children cumulated memory: 129848 KiB
[startup+6.30024 s]
/proc/loadavg: 3.67 4.91 5.85 6/252 109869
/proc/meminfo: memFree=127222940/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2044668 memory=129988 CPUtime=6.26 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 11548 0 0 0 620 6 0 0 20 0 1 0 139478928 2093740032 32497 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 511167 32497 1728 343 0 508231 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2044668 KiB
Current children cumulated memory: 129988 KiB
[startup+12.7003 s]
/proc/loadavg: 3.61 4.88 5.83 6/252 109914
/proc/meminfo: memFree=127300924/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2048764 memory=133316 CPUtime=12.63 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 17394 0 0 0 1256 7 0 0 20 0 1 0 139478928 2097934336 33329 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 512191 33329 1728 343 0 509255 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2048764 KiB
Current children cumulated memory: 133316 KiB
[startup+25.5003 s]
/proc/loadavg: 3.70 4.83 5.80 6/251 109914
/proc/meminfo: memFree=127292068/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2050812 memory=137028 CPUtime=25.39 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 18341 0 0 0 2532 7 0 0 20 0 1 0 139478928 2100031488 34257 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 512703 34257 1728 343 0 509767 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2050812 KiB
Current children cumulated memory: 137028 KiB
[startup+51.1127 s]
/proc/loadavg: 3.87 4.78 5.76 6/252 109960
/proc/meminfo: memFree=127260936/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2054912 memory=141296 CPUtime=50.93 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 35020 0 0 0 5082 11 0 0 20 0 1 0 139478928 2104229888 35324 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 513728 35324 1728 343 0 510792 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2054912 KiB
Current children cumulated memory: 141296 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.67 5.67 6/253 110097
/proc/meminfo: memFree=127028788/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2056292 memory=138776 CPUtime=101.93 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 66204 0 0 0 10170 23 0 0 20 0 1 0 139478928 2105643008 34694 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 514073 34694 1728 343 0 511137 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2056292 KiB
Current children cumulated memory: 138776 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.58 5.57 6/253 110099
/proc/meminfo: memFree=127043400/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2060388 memory=138460 CPUtime=161.74 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 116900 0 0 0 16140 34 0 0 20 0 1 0 139478928 2109837312 34615 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 515097 34615 1728 343 0 512161 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 138460 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.49 5.48 6/253 110101
/proc/meminfo: memFree=127046480/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2060388 memory=143156 CPUtime=221.54 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 147662 0 0 0 22112 42 0 0 20 0 1 0 139478928 2109837312 35789 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 515097 35789 1728 343 0 512161 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 143156 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.41 5.39 7/252 110103
/proc/meminfo: memFree=127048636/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2060388 memory=140620 CPUtime=281.34 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 169663 0 0 0 28087 47 0 0 20 0 1 0 139478928 2109837312 35155 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 515097 35155 1728 343 0 512161 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 140620 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.35 5.30 6/253 110114
/proc/meminfo: memFree=127035564/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2056292 memory=141220 CPUtime=341.14 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 193772 0 0 0 34060 54 0 0 20 0 1 0 139478928 2105643008 35305 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 514073 35305 1728 343 0 511137 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 2056292 KiB
Current children cumulated memory: 141220 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.30 5.22 6/252 110116
/proc/meminfo: memFree=127046400/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2060388 memory=143912 CPUtime=400.95 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 219034 0 0 0 40033 62 0 0 20 0 1 0 139478928 2109837312 35978 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 515097 35978 1728 343 0 512161 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 143912 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.26 5.15 5/252 110162
/proc/meminfo: memFree=127092840/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2060388 memory=145960 CPUtime=460.76 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 247967 0 0 0 46003 73 0 0 20 0 1 0 139478928 2109837312 36490 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 515097 36490 1728 343 0 512161 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
/proc/loadavg: 4.16 4.14 4.50 5/251 110213
/proc/meminfo: memFree=127046228/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=169280 CPUtime=1358 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 423874 0 0 0 135650 150 0 0 20 0 1 0 139478928 2143391744 42320 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 42320 1728 343 0 520353 0
Current children cumulated CPU time: 1358 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 169280 KiB
[startup+1422.3 s]
/proc/loadavg: 4.11 4.13 4.47 5/250 110215
/proc/meminfo: memFree=127071232/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=165092 CPUtime=1417.82 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 433596 0 0 0 141626 156 0 0 20 0 1 0 139478928 2143391744 41273 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 41273 1728 343 0 520353 0
Current children cumulated CPU time: 1417.82 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 165092 KiB
[startup+1482.3 s]
/proc/loadavg: 4.08 4.11 4.44 5/250 110217
/proc/meminfo: memFree=127079800/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=167232 CPUtime=1477.62 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 443940 0 0 0 147601 161 0 0 20 0 1 0 139478928 2143391744 41808 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 41808 1728 343 0 520353 0
Current children cumulated CPU time: 1477.62 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 167232 KiB
[startup+1542.3 s]
/proc/loadavg: 4.28 4.16 4.44 5/249 110219
/proc/meminfo: memFree=127018048/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2076772 memory=156992 CPUtime=1537.43 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 449961 0 0 0 153579 164 0 0 20 0 1 0 139478928 2126614528 39248 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 519193 39248 1728 343 0 516257 0
Current children cumulated CPU time: 1537.43 s
Current children cumulated vsize: 2076772 KiB
Current children cumulated memory: 156992 KiB
[startup+1602.3 s]
/proc/loadavg: 4.78 4.33 4.48 5/250 110228
/proc/meminfo: memFree=127074564/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=167232 CPUtime=1597.24 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 461071 0 0 0 159553 171 0 0 20 0 1 0 139478928 2143391744 41808 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 41808 1728 343 0 520353 0
Current children cumulated CPU time: 1597.24 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 167232 KiB
[startup+1662.3 s]
/proc/loadavg: 4.44 4.31 4.46 5/250 110230
/proc/meminfo: memFree=127037720/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=167232 CPUtime=1657.04 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 470031 0 0 0 165528 176 0 0 20 0 1 0 139478928 2143391744 41808 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 41808 1728 343 0 520353 0
Current children cumulated CPU time: 1657.04 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 167232 KiB
[startup+1722.3 s]
/proc/loadavg: 4.26 4.28 4.44 5/251 110233
/proc/meminfo: memFree=127054532/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=169280 CPUtime=1716.85 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 474282 0 0 0 171506 179 0 0 20 0 1 0 139478928 2143391744 42320 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 42320 1728 343 0 520353 0
Current children cumulated CPU time: 1716.85 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 169280 KiB
[startup+1782.3 s]
/proc/loadavg: 4.29 4.28 4.43 5/251 110235
/proc/meminfo: memFree=127044744/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=171328 CPUtime=1776.67 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 485255 0 0 0 177482 185 0 0 20 0 1 0 139478928 2143391744 42832 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 42832 1728 343 0 520353 0
Current children cumulated CPU time: 1776.67 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 171328 KiB
[startup+1842.3 s]
/proc/loadavg: 4.17 4.24 4.41 5/251 110237
/proc/meminfo: memFree=127068104/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=169280 CPUtime=1836.48 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 494377 0 0 0 183458 190 0 0 20 0 1 0 139478928 2143391744 42320 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 42320 1728 343 0 520353 0
Current children cumulated CPU time: 1836.48 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 169280 KiB
[startup+1855.61 s]
# the end of solver process 109866 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1847.84 s, system=1.91716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 4.17 4.24 4.41 5/251 110237
/proc/meminfo: memFree=127059912/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=169280 CPUtime=1837.38 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 494377 0 0 0 183548 190 0 0 20 0 1 0 139478928 2143391744 42320 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 42320 1728 343 0 520353 0
Current children cumulated CPU time: 1837.38 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 169280 KiB
[startup+1849.6 s]
/proc/loadavg: 4.15 4.24 4.41 5/251 110237
/proc/meminfo: memFree=127022608/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2076772 memory=163136 CPUtime=1843.75 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 494491 0 0 0 184185 190 0 0 20 0 1 0 139478928 2126614528 40784 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 519193 40784 1728 343 0 516257 0
Current children cumulated CPU time: 1843.75 s
Current children cumulated vsize: 2076772 KiB
Current children cumulated memory: 163136 KiB
[startup+1852.8 s]
/proc/loadavg: 4.14 4.23 4.40 5/251 110237
/proc/meminfo: memFree=127004176/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=169280 CPUtime=1846.95 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 495022 0 0 0 184504 191 0 0 20 0 1 0 139478928 2143391744 42320 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 42320 1728 343 0 520353 0
Current children cumulated CPU time: 1846.95 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 169280 KiB
[startup+1854.4 s]
/proc/loadavg: 4.14 4.23 4.40 5/251 110237
/proc/meminfo: memFree=127051280/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2093156 memory=171328 CPUtime=1848.54 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 495023 0 0 0 184663 191 0 0 20 0 1 0 139478928 2143391744 42832 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 523289 42832 1728 343 0 520353 0
Current children cumulated CPU time: 1848.54 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 171328 KiB
[startup+1855.2 s]
/proc/loadavg: 4.14 4.23 4.40 5/251 110237
/proc/meminfo: memFree=127043088/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2068580 memory=150428 CPUtime=1849.34 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 495144 0 0 0 184743 191 0 0 20 0 1 0 139478928 2118225920 37607 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 517145 37607 1728 343 0 514209 0
Current children cumulated CPU time: 1849.34 s
Current children cumulated vsize: 2068580 KiB
Current children cumulated memory: 150428 KiB
[startup+1855.6 s]
/proc/loadavg: 4.14 4.23 4.40 5/251 110237
/proc/meminfo: memFree=127043088/131382120 swapFree=33010416/33010684
[pid=109866] ppid=109861 vsize=2068580 memory=152896 CPUtime=1849.74 cores=1,3
/proc/109866/stat : 109866 (pb_picat) R 109861 109866 108148 0 -1 4194304 495239 0 0 0 184783 191 0 0 20 0 1 0 139478928 2118225920 38224 18446744073709551615 94676219801600 94676221203181 140723188219328 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94676221474608 94676223348848 94676237918208 140723188222364 140723188222440 140723188222440 140723188228044 0
/proc/109866/statm: 517145 38224 1728 343 0 514209 0
Current children cumulated CPU time: 1849.74 s
Current children cumulated vsize: 2068580 KiB
Current children cumulated memory: 152896 KiB
Child status: 0
Real time (s): 1855.61
CPU time (s): 1849.76
CPU user time (s): 1847.84
CPU system time (s): 1.91716
CPU usage (%): 99.6845
Max. virtual memory (cumulated for all children) (KiB): 2093156
Max. memory (cumulated for all children) (KiB): 175424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1847.84
system time used= 1.91715
maximum resident set size= 175424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495254
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= 123
involuntary context switches= 2295
# summary of solver processes directly reported to runsolver:
# pid: 109866
# total CPU time (s): 1849.76
# total CPU user time (s): 1847.84
# total CPU system time (s): 1.91716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.74642 second user time and 17.7438 second system time
The end
Begin job on nodeC006 at 2025-07-11 14:46:36 IDJOB=4528361 IDBENCH=146676 IDSOLVER=3385 FILE ID=nodeC006/4528361-1752237995 RUNJOBID= nodeC006-1752237995-109811 SLURM_JOB_ID= 9682517 Free space on /tmp= 432020 MiB SOLVER NAME= pb_picat 2025-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= pb_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528361-1752237995/watcher-4528361-1752237995 -o /tmp/evaluation-result-4528361-1752237995/solver-4528361-1752237995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752237995-109811 --watchdog 3760 pb_picat HOME/instance-4528361-1752237995.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f RANDOM SEED=455819702 nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.120 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.122 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.187 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.141 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.013 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.098 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.134 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.141 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127380516 kB MemAvailable: 129606112 kB Buffers: 2128 kB Cached: 2988112 kB SwapCached: 12 kB Active: 539776 kB Inactive: 2519532 kB Active(anon): 76024 kB Inactive(anon): 10992 kB Active(file): 463752 kB Inactive(file): 2508540 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18944 kB Writeback: 16 kB AnonPages: 71060 kB Mapped: 105472 kB Shmem: 17948 kB KReclaimable: 185476 kB Slab: 274380 kB SReclaimable: 185476 kB SUnreclaim: 88904 kB KernelStack: 3944 kB PageTables: 2716 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 335884 kB VmallocTotal: 34359738367 kB VmallocUsed: 149336 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 10196992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432004 MiB End job on nodeC006 at 2025-07-11 15:17:31