Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Picat 2025-06-16 | OPT | -50 | 1902.39 | 1908.69 |
| 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.01 c solving HOME/instance-4484949-1751302674.opb (Picat 3.9b6) 4.97/5.03 o -44 63.63/63.87 o -49 1902.30/1908.68 o -50 1902.30/1908.68 s OPTIMUM FOUND 1902.30/1908.68 v ~x168 ~x379 ~x590 ~x801 ~x1012 ~x167 ~x378 ~x589 ~x800 ~x1011 1902.30/1908.68 v ~x166 ~x377 ~x588 ~x799 ~x1010 ~x165 x376 ~x587 ~x798 ~x1009 1902.30/1908.68 v ~x164 ~x375 ~x586 ~x797 ~x1008 ~x163 ~x374 ~x585 ~x796 ~x1007 1902.30/1908.68 v ~x162 ~x373 ~x584 ~x795 x1006 ~x161 ~x372 ~x583 ~x794 ~x1005 1902.30/1908.68 v ~x160 ~x371 ~x582 ~x793 ~x1004 ~x159 ~x370 x581 ~x792 ~x1003 1902.30/1908.68 v ~x158 ~x369 ~x580 ~x791 ~x1002 ~x157 ~x368 ~x579 ~x790 ~x1001 1902.30/1908.68 v ~x156 x367 ~x578 ~x789 ~x1000 x155 ~x366 ~x577 ~x788 ~x999 1902.30/1908.68 v ~x154 ~x365 ~x576 ~x787 ~x998 ~x153 ~x364 ~x575 ~x786 ~x997 1902.30/1908.68 v ~x152 ~x363 ~x574 ~x785 ~x996 ~x151 ~x362 ~x573 ~x784 ~x995 1902.30/1908.68 v ~x150 ~x361 ~x572 ~x783 ~x994 ~x149 ~x360 ~x571 x782 ~x993 1902.30/1908.68 v ~x148 ~x359 ~x570 ~x781 ~x992 ~x147 ~x358 ~x569 ~x780 ~x991 1902.30/1908.68 v ~x146 ~x357 ~x568 ~x779 ~x990 ~x145 ~x356 ~x567 ~x778 ~x989 1902.30/1908.68 v ~x144 ~x355 ~x566 ~x777 ~x988 ~x143 ~x354 ~x565 ~x776 ~x987 1902.30/1908.68 v ~x142 ~x353 x564 ~x775 x986 ~x141 ~x352 ~x563 ~x774 ~x985 1902.30/1908.68 v ~x140 ~x351 ~x562 ~x773 ~x984 ~x139 ~x350 ~x561 ~x772 ~x983 1902.30/1908.68 v ~x138 ~x349 ~x560 ~x771 ~x982 ~x137 ~x348 ~x559 ~x770 ~x981 1902.30/1908.68 v x136 ~x347 ~x558 ~x769 ~x980 ~x135 ~x346 ~x557 ~x768 ~x979 1902.30/1908.68 v ~x134 ~x345 ~x556 ~x767 ~x978 ~x133 ~x344 ~x555 ~x766 ~x977 1902.30/1908.68 v ~x132 ~x343 ~x554 ~x765 ~x976 ~x131 ~x342 ~x553 ~x764 ~x975 1902.30/1908.68 v ~x130 ~x341 ~x552 ~x763 ~x974 ~x129 ~x340 ~x551 ~x762 ~x973 1902.30/1908.68 v ~x128 ~x339 ~x550 ~x761 ~x972 ~x127 ~x338 ~x549 ~x760 ~x971 1902.30/1908.68 v ~x126 ~x337 ~x548 x759 ~x970 ~x125 ~x336 ~x547 ~x758 ~x969 1902.30/1908.68 v ~x124 ~x335 ~x546 ~x757 ~x968 ~x123 ~x334 ~x545 ~x756 ~x967 1902.30/1908.68 v ~x122 x333 ~x544 ~x755 ~x966 ~x121 ~x332 ~x543 ~x754 ~x965 1902.30/1908.68 v ~x120 ~x331 ~x542 ~x753 ~x964 ~x119 ~x330 ~x541 ~x752 ~x963 1902.30/1908.68 v ~x118 ~x329 ~x540 ~x751 ~x962 ~x117 ~x328 ~x539 ~x750 ~x961 1902.30/1908.68 v ~x116 ~x327 ~x538 ~x749 ~x960 ~x115 ~x326 ~x537 ~x748 ~x959 1902.30/1908.68 v ~x114 ~x325 ~x536 ~x747 ~x958 ~x113 ~x324 ~x535 ~x746 ~x957 1902.30/1908.68 v ~x112 ~x323 ~x534 ~x745 ~x956 ~x111 ~x322 ~x533 ~x744 ~x955 1902.30/1908.68 v ~x110 ~x321 ~x532 ~x743 ~x954 ~x109 x320 x531 ~x742 ~x953 1902.30/1908.68 v ~x108 ~x319 ~x530 ~x741 ~x952 ~x107 ~x318 ~x529 ~x740 x951 1902.30/1908.68 v x106 ~x317 ~x528 ~x739 ~x950 ~x105 ~x316 ~x527 ~x738 ~x949 1902.30/1908.68 v ~x104 ~x315 ~x526 ~x737 ~x948 ~x103 ~x314 ~x525 ~x736 ~x947 1902.30/1908.68 v ~x102 ~x313 ~x524 ~x735 ~x946 ~x101 ~x312 ~x523 ~x734 ~x945 1902.30/1908.68 v ~x100 ~x311 ~x522 ~x733 ~x944 ~x99 ~x310 ~x521 ~x732 ~x943 1902.30/1908.68 v ~x98 ~x309 ~x520 ~x731 ~x942 ~x97 ~x308 x519 ~x730 ~x941 1902.30/1908.68 v ~x96 ~x307 ~x518 ~x729 ~x940 ~x95 ~x306 ~x517 x728 ~x939 1902.30/1908.68 v ~x1150 ~x94 ~x305 ~x516 ~x727 ~x938 ~x1149 ~x93 ~x304 ~x515 1902.30/1908.68 v ~x726 ~x937 ~x1148 ~x92 ~x303 ~x514 ~x725 ~x936 ~x1147 ~x91 1902.30/1908.68 v ~x302 ~x513 ~x724 ~x935 ~x1146 ~x90 ~x301 ~x512 ~x723 ~x934 1902.30/1908.68 v ~x1145 ~x89 ~x300 ~x511 ~x722 ~x933 ~x1144 ~x88 ~x299 ~x510 1902.30/1908.68 v ~x721 ~x932 ~x1143 ~x87 ~x298 ~x509 ~x720 x931 ~x1142 ~x86 1902.30/1908.68 v ~x297 ~x508 ~x719 ~x930 ~x1141 ~x85 ~x296 ~x507 ~x718 ~x929 1902.30/1908.68 v ~x1140 ~x84 ~x295 ~x506 ~x717 ~x928 ~x1139 ~x83 ~x294 ~x505 1902.30/1908.68 v ~x716 ~x927 ~x1138 ~x82 ~x293 ~x504 ~x715 ~x926 ~x1137 ~x81 1902.30/1908.68 v ~x292 ~x503 ~x714 ~x925 ~x1136 ~x80 ~x291 ~x502 ~x713 ~x924 1902.30/1908.68 v ~x1135 ~x79 ~x290 ~x501 ~x712 ~x923 ~x1134 ~x78 x289 ~x500 1902.30/1908.68 v ~x711 ~x922 ~x1133 x77 ~x288 ~x499 ~x710 ~x921 ~x1132 ~x76 1902.30/1908.68 v ~x287 ~x498 ~x709 ~x920 ~x1131 ~x75 ~x286 ~x497 ~x708 ~x919 1902.30/1908.68 v ~x1130 ~x74 ~x285 ~x496 ~x707 ~x918 x1129 ~x73 ~x284 ~x495 1902.30/1908.68 v ~x706 ~x917 ~x1128 ~x72 ~x283 ~x494 ~x705 ~x916 ~x1127 ~x71 1902.30/1908.68 v ~x282 ~x493 ~x704 ~x915 ~x1126 ~x70 ~x281 ~x492 ~x703 ~x914 1902.30/1908.68 v ~x1125 ~x69 ~x280 ~x491 ~x702 ~x913 ~x1124 ~x68 ~x279 ~x490 1902.30/1908.68 v ~x701 ~x912 ~x1123 ~x67 ~x278 x489 ~x700 ~x911 ~x1122 ~x66 1902.30/1908.68 v ~x277 ~x488 ~x699 ~x910 ~x1121 ~x65 ~x276 ~x487 ~x698 ~x909 1902.30/1908.68 v ~x1120 ~x64 ~x275 ~x486 ~x697 ~x908 ~x1119 ~x63 ~x274 ~x485 1902.30/1908.68 v ~x696 ~x907 ~x1118 ~x62 x273 ~x484 ~x695 ~x906 ~x1117 ~x61 1902.30/1908.68 v ~x272 ~x483 ~x694 ~x905 ~x1116 ~x60 ~x271 ~x482 ~x693 ~x904 1902.30/1908.68 v ~x1115 ~x59 ~x270 ~x481 ~x692 ~x903 ~x1114 ~x58 ~x269 ~x480 1902.30/1908.68 v x691 x902 ~x1113 ~x57 ~x268 ~x479 ~x690 ~x901 x1112 ~x56 1902.30/1908.68 v ~x267 ~x478 ~x689 ~x900 ~x1111 ~x55 ~x266 x477 ~x688 ~x899 1902.30/1908.68 v ~x1110 ~x54 ~x265 ~x476 ~x687 ~x898 ~x1109 ~x53 ~x264 ~x475 1902.30/1908.68 v ~x686 ~x897 ~x1108 ~x52 ~x263 ~x474 ~x685 ~x896 ~x1107 ~x51 1902.30/1908.68 v ~x262 ~x473 ~x684 ~x895 ~x1106 ~x50 ~x261 ~x472 ~x683 ~x894 1902.30/1908.68 v ~x1105 x49 ~x260 ~x471 ~x682 ~x893 ~x1104 ~x48 ~x259 ~x470 1902.30/1908.68 v ~x681 ~x892 ~x1103 ~x47 ~x258 ~x469 ~x680 ~x891 ~x1102 ~x46 1902.30/1908.68 v ~x257 ~x468 ~x679 ~x890 ~x1101 ~x45 ~x256 ~x467 ~x678 ~x889 1902.30/1908.68 v ~x1100 ~x44 ~x255 ~x466 ~x677 ~x888 ~x1099 ~x43 ~x254 ~x465 1902.30/1908.68 v ~x676 ~x887 ~x1098 ~x42 ~x253 ~x464 ~x675 ~x886 ~x1097 ~x41 1902.30/1908.68 v ~x252 ~x463 x674 ~x885 ~x1096 ~x40 ~x251 ~x462 ~x673 ~x884 1902.30/1908.68 v ~x1095 x39 ~x250 ~x461 ~x672 ~x883 ~x1094 ~x38 ~x249 ~x460 1902.30/1908.68 v ~x671 ~x882 ~x1093 ~x37 ~x248 ~x459 ~x670 ~x881 ~x1092 ~x36 1902.30/1908.68 v ~x247 ~x458 ~x669 ~x880 ~x1091 ~x35 ~x246 ~x457 ~x668 ~x879 1902.30/1908.68 v ~x1090 ~x34 ~x245 ~x456 ~x667 ~x878 ~x1089 ~x33 ~x244 ~x455 1902.30/1908.68 v ~x666 ~x877 ~x1088 ~x32 ~x243 x454 ~x665 ~x876 x1087 ~x31 1902.30/1908.68 v ~x242 ~x453 ~x664 x875 ~x1086 ~x30 ~x241 ~x452 ~x663 ~x874 1902.30/1908.68 v ~x1085 ~x29 ~x240 ~x451 ~x662 ~x873 ~x1084 ~x28 ~x239 ~x450 1902.30/1908.68 v ~x661 ~x872 ~x1083 ~x27 ~x238 ~x449 ~x660 ~x871 ~x1082 ~x26 1902.30/1908.68 v x237 ~x448 ~x659 ~x870 ~x1081 ~x25 ~x236 ~x447 ~x658 x869 1902.30/1908.68 v ~x1080 ~x24 ~x235 ~x446 ~x657 ~x868 ~x1079 ~x23 ~x234 ~x445 1902.30/1908.68 v ~x656 ~x867 ~x1078 ~x22 ~x233 ~x444 ~x655 ~x866 ~x1077 ~x21 1902.30/1908.68 v ~x232 ~x443 ~x654 ~x865 ~x1076 x20 ~x231 ~x442 ~x653 ~x864 1902.30/1908.68 v ~x1075 ~x19 ~x230 ~x441 ~x652 ~x863 ~x1074 ~x18 ~x229 ~x440 1902.30/1908.68 v ~x651 ~x862 ~x1073 ~x17 ~x228 ~x439 ~x650 ~x861 ~x1072 ~x16 1902.30/1908.68 v ~x227 ~x438 ~x649 ~x860 ~x1071 ~x15 ~x226 ~x437 ~x648 ~x859 1902.30/1908.68 v x1070 ~x14 ~x225 ~x436 x647 ~x858 ~x1069 ~x13 ~x224 ~x435 1902.30/1908.68 v ~x646 ~x857 ~x1068 ~x12 ~x223 ~x434 ~x645 ~x856 ~x1067 ~x11 1902.30/1908.68 v ~x222 ~x433 ~x644 ~x855 ~x1066 ~x10 ~x221 ~x432 ~x643 ~x854 1902.30/1908.68 v ~x1065 ~x9 ~x220 ~x431 ~x642 ~x853 ~x1064 ~x8 ~x219 ~x430 1902.30/1908.68 v ~x641 ~x852 ~x1063 ~x7 ~x218 ~x429 ~x640 x851 ~x1062 ~x6 1902.30/1908.68 v ~x217 ~x428 ~x639 ~x850 ~x1061 ~x5 ~x216 ~x427 ~x638 ~x849 1902.30/1908.68 v ~x1060 ~x4 ~x215 ~x426 ~x637 ~x848 ~x1059 ~x3 ~x214 x425 1902.30/1908.68 v ~x636 ~x847 ~x1058 ~x2 ~x213 ~x424 ~x635 ~x846 ~x1057 ~x1 1902.30/1908.68 v ~x212 ~x423 ~x634 ~x845 ~x1056 ~x211 ~x422 ~x633 ~x844 ~x1055 1902.30/1908.68 v ~x210 ~x421 ~x632 ~x843 ~x1054 ~x209 ~x420 ~x631 ~x842 x1053 1902.30/1908.68 v x208 ~x419 ~x630 ~x841 ~x1052 ~x207 ~x418 ~x629 ~x840 ~x1051 1902.30/1908.68 v ~x206 ~x417 x628 ~x839 ~x1050 ~x205 ~x416 ~x627 ~x838 ~x1049 1902.30/1908.68 v ~x204 ~x415 ~x626 ~x837 ~x1048 ~x203 ~x414 ~x625 ~x836 ~x1047 1902.30/1908.68 v ~x202 ~x413 ~x624 ~x835 ~x1046 ~x201 ~x412 ~x623 ~x834 ~x1045 1902.30/1908.68 v ~x200 ~x411 ~x622 ~x833 ~x1044 ~x199 ~x410 ~x621 ~x832 ~x1043 1902.30/1908.68 v ~x198 ~x409 ~x620 ~x831 ~x1042 ~x197 ~x408 x619 ~x830 ~x1041 1902.30/1908.68 v ~x196 x407 ~x618 ~x829 ~x1040 ~x195 ~x406 ~x617 ~x828 ~x1039 1902.30/1908.68 v ~x194 ~x405 ~x616 ~x827 ~x1038 ~x193 ~x404 ~x615 ~x826 ~x1037 1902.30/1908.68 v ~x192 ~x403 ~x614 ~x825 ~x1036 ~x191 ~x402 ~x613 ~x824 ~x1035 1902.30/1908.68 v ~x190 ~x401 ~x612 ~x823 ~x1034 ~x189 ~x400 ~x611 ~x822 ~x1033 1902.30/1908.68 v ~x188 ~x399 ~x610 ~x821 ~x1032 x187 ~x398 ~x609 ~x820 ~x1031 1902.30/1908.68 v ~x186 ~x397 ~x608 ~x819 ~x1030 ~x185 ~x396 ~x607 ~x818 x1029 1902.30/1908.68 v ~x184 ~x395 ~x606 ~x817 ~x1028 ~x183 ~x394 ~x605 x816 ~x1027 1902.30/1908.68 v ~x182 ~x393 ~x604 ~x815 ~x1026 ~x181 ~x392 ~x603 ~x814 ~x1025 1902.30/1908.68 v ~x180 ~x391 ~x602 ~x813 ~x1024 ~x179 ~x390 ~x601 ~x812 ~x1023 1902.30/1908.68 v x178 ~x389 ~x600 ~x811 ~x1022 ~x177 ~x388 ~x599 ~x810 ~x1021 1902.30/1908.68 v ~x176 ~x387 ~x598 ~x809 ~x1020 ~x175 ~x386 ~x597 ~x808 ~x1019 1902.30/1908.68 v ~x174 ~x385 ~x596 ~x807 ~x1018 ~x173 ~x384 ~x595 ~x806 ~x1017 1902.30/1908.68 v ~x172 ~x383 ~x594 ~x805 ~x1016 ~x171 ~x382 ~x593 x804 ~x1015 1902.30/1908.68 v ~x170 ~x381 ~x592 ~x803 ~x1014 ~x169 ~x380 ~x591 ~x802 ~x1013
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: 63708 MiB (62852 MiB free)
memory of node 1: 64465 MiB (63733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484949-1751302674/watcher-4484949-1751302674 -o /tmp/evaluation-result-4484949-1751302674/solver-4484949-1751302674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751302674-40336 --watchdog 3760 pb_picat HOME/instance-4484949-1751302674.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=40381, runsolver pid=40376
[startup+0.100061 s]*
/proc/loadavg: 1.66 3.37 3.83 5/266 40394
/proc/meminfo: memFree=129529324/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2027148 memory=34384 CPUtime=0.08 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 1111 0 0 0 8 0 0 0 20 0 1 0 45945007 2075799552 8596 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 506787 8596 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34384 KiB
[startup+0.20578 s]*
/proc/loadavg: 1.66 3.37 3.83 6/266 40394
/proc/meminfo: memFree=129446412/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2027148 memory=50768 CPUtime=0.2 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 1119 0 0 0 19 1 0 0 20 0 1 0 45945007 2075799552 12692 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 506787 12692 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 50768 KiB
[startup+0.305757 s]*
/proc/loadavg: 1.66 3.37 3.83 5/266 40394
/proc/meminfo: memFree=129388628/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2027148 memory=69200 CPUtime=0.29 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 1128 0 0 0 28 1 0 0 20 0 1 0 45945007 2075799552 17300 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 506787 17300 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 69200 KiB
[startup+0.700167 s]
/proc/loadavg: 1.66 3.37 3.83 5/266 40394
/proc/meminfo: memFree=129293476/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2042436 memory=127316 CPUtime=0.68 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 2855 0 0 0 66 2 0 0 20 0 1 0 45945007 2091454464 31829 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 510609 31829 1664 343 0 507673 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2042436 KiB
Current children cumulated memory: 127316 KiB
[startup+1.50016 s]
/proc/loadavg: 1.66 3.37 3.83 5/266 40394
/proc/meminfo: memFree=129229960/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2043900 memory=129412 CPUtime=1.48 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 5222 0 0 0 145 3 0 0 20 0 1 0 45945007 2092953600 32353 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 510975 32353 1664 343 0 508039 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2043900 KiB
Current children cumulated memory: 129412 KiB
[startup+3.10539 s]
/proc/loadavg: 1.85 3.38 3.83 5/266 40394
/proc/meminfo: memFree=129226604/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2044668 memory=130984 CPUtime=3.07 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 6987 0 0 0 304 3 0 0 20 0 1 0 45945007 2093740032 32746 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 511167 32746 1728 343 0 508231 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2044668 KiB
Current children cumulated memory: 130984 KiB
[startup+6.30011 s]
/proc/loadavg: 1.85 3.38 3.83 5/266 40394
/proc/meminfo: memFree=129224452/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2044668 memory=130984 CPUtime=6.27 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 12795 0 0 0 622 5 0 0 20 0 1 0 45945007 2093740032 32746 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 511167 32746 1728 343 0 508231 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2044668 KiB
Current children cumulated memory: 130984 KiB
[startup+12.7001 s]
/proc/loadavg: 2.18 3.40 3.83 5/266 40439
/proc/meminfo: memFree=129214740/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2048764 memory=133776 CPUtime=12.65 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 15840 0 0 0 1260 5 0 0 20 0 1 0 45945007 2097934336 33444 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 512191 33444 1728 343 0 509255 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2048764 KiB
Current children cumulated memory: 133776 KiB
[startup+25.5001 s]
/proc/loadavg: 2.54 3.44 3.84 5/267 40441
/proc/meminfo: memFree=129202532/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2054912 memory=140748 CPUtime=25.42 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 17919 0 0 0 2536 6 0 0 20 0 1 0 45945007 2104229888 35187 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 513728 35187 1728 343 0 510792 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2054912 KiB
Current children cumulated memory: 140748 KiB
[startup+51.1053 s]
/proc/loadavg: 3.04 3.48 3.85 5/267 40441
/proc/meminfo: memFree=129176204/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2054912 memory=140108 CPUtime=50.96 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 35119 0 0 0 5088 8 0 0 20 0 1 0 45945007 2104229888 35027 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 513728 35027 1728 343 0 510792 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2054912 KiB
Current children cumulated memory: 140108 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 3.59 3.86 5/267 40532
/proc/meminfo: memFree=129138328/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2052196 memory=140040 CPUtime=102.03 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 65310 0 0 0 10187 16 0 0 20 0 1 0 45945007 2101448704 35010 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 513049 35010 1728 343 0 510113 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2052196 KiB
Current children cumulated memory: 140040 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.69 3.88 5/267 40578
/proc/meminfo: memFree=128289396/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2060388 memory=144760 CPUtime=161.86 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 114998 0 0 0 16156 30 0 0 20 0 1 0 45945007 2109837312 36190 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 515097 36190 1728 343 0 512161 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 144760 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.77 3.90 5/268 40595
/proc/meminfo: memFree=128305556/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2060388 memory=149456 CPUtime=221.68 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 145155 0 0 0 22128 40 0 0 20 0 1 0 45945007 2109837312 37364 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 515097 37364 1728 343 0 512161 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 149456 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.84 3.92 5/266 40601
/proc/meminfo: memFree=128357996/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2060388 memory=148016 CPUtime=281.52 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 166799 0 0 0 28104 48 0 0 20 0 1 0 45945007 2109837312 37004 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 515097 37004 1728 343 0 512161 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 148016 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.89 3.93 5/265 40604
/proc/meminfo: memFree=128335768/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2060388 memory=150084 CPUtime=341.34 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 190758 0 0 0 34077 57 0 0 20 0 1 0 45945007 2109837312 37521 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 515097 37521 1728 343 0 512161 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 150084 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.93 3.94 5/265 40606
/proc/meminfo: memFree=128334076/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2052196 memory=142984 CPUtime=401.17 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 212787 0 0 0 40052 65 0 0 20 0 1 0 45945007 2101448704 35746 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 513049 35746 1728 343 0 510113 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2052196 KiB
Current children cumulated memory: 142984 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.97 3.96 5/265 40653
/proc/meminfo: memFree=128264016/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2052196 memory=143368 CPUtime=461 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 240037 0 0 0 46024 76 0 0 20 0 1 0 45945007 2101448704 35842 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 513049 35842 1728 343 0 510113 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
/proc/loadavg: 4.17 4.11 4.06 5/263 40737
/proc/meminfo: memFree=127732880/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2076772 memory=159172 CPUtime=1357.92 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 415646 0 0 0 135639 153 0 0 20 0 1 0 45945007 2126614528 39793 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 519193 39793 1728 343 0 516257 0
Current children cumulated CPU time: 1357.92 s
Current children cumulated vsize: 2076772 KiB
Current children cumulated memory: 159172 KiB
[startup+1422.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/263 40739
/proc/meminfo: memFree=127699584/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2084964 memory=164400 CPUtime=1417.72 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 425064 0 0 0 141613 159 0 0 20 0 1 0 45945007 2135003136 41100 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 521241 41100 1728 343 0 518305 0
Current children cumulated CPU time: 1417.72 s
Current children cumulated vsize: 2084964 KiB
Current children cumulated memory: 164400 KiB
[startup+1482.3 s]
/proc/loadavg: 4.04 4.08 4.05 6/262 40743
/proc/meminfo: memFree=127968716/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2076772 memory=166852 CPUtime=1477.5 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 433665 0 0 0 147586 164 0 0 20 0 1 0 45945007 2126614528 41713 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 519193 41713 1728 343 0 516257 0
Current children cumulated CPU time: 1477.5 s
Current children cumulated vsize: 2076772 KiB
Current children cumulated memory: 166852 KiB
[startup+1542.3 s]
/proc/loadavg: 4.18 4.11 4.06 5/264 40751
/proc/meminfo: memFree=127720092/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2093156 memory=167364 CPUtime=1537.28 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 445101 0 0 0 153559 169 0 0 20 0 1 0 45945007 2143391744 41841 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 523289 41841 1728 343 0 520353 0
Current children cumulated CPU time: 1537.28 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 167364 KiB
[startup+1602.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/264 40753
/proc/meminfo: memFree=127695648/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2060388 memory=152608 CPUtime=1597.08 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 452150 0 0 0 159535 173 0 0 20 0 1 0 45945007 2109837312 38152 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 515097 38152 1728 343 0 512161 0
Current children cumulated CPU time: 1597.08 s
Current children cumulated vsize: 2060388 KiB
Current children cumulated memory: 152608 KiB
[startup+1662.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/264 40755
/proc/meminfo: memFree=127685056/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2076772 memory=161220 CPUtime=1656.87 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 460700 0 0 0 165508 179 0 0 20 0 1 0 45945007 2126614528 40305 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 519193 40305 1728 343 0 516257 0
Current children cumulated CPU time: 1656.87 s
Current children cumulated vsize: 2076772 KiB
Current children cumulated memory: 161220 KiB
[startup+1722.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/264 40757
/proc/meminfo: memFree=127703024/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2093156 memory=167364 CPUtime=1716.65 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 468907 0 0 0 171481 184 0 0 20 0 1 0 45945007 2143391744 41841 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 523289 41841 1728 343 0 520353 0
Current children cumulated CPU time: 1716.65 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 167364 KiB
[startup+1782.3 s]
/proc/loadavg: 4.07 4.09 4.06 5/264 40759
/proc/meminfo: memFree=127697704/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2093156 memory=169412 CPUtime=1776.44 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 475389 0 0 0 177457 187 0 0 20 0 1 0 45945007 2143391744 42353 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 523289 42353 1728 343 0 520353 0
Current children cumulated CPU time: 1776.44 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 169412 KiB
[startup+1842.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/263 40761
/proc/meminfo: memFree=127687304/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2093156 memory=171460 CPUtime=1836.23 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 484766 0 0 0 183430 193 0 0 20 0 1 0 45945007 2143391744 42865 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 523289 42865 1728 343 0 520353 0
Current children cumulated CPU time: 1836.23 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 171460 KiB
[startup+1902.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/263 40763
/proc/meminfo: memFree=127702488/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2076772 memory=165316 CPUtime=1896.01 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 492749 0 0 0 189403 198 0 0 20 0 1 0 45945007 2126614528 41329 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 519193 41329 1728 343 0 516257 0
Current children cumulated CPU time: 1896.01 s
Current children cumulated vsize: 2076772 KiB
Current children cumulated memory: 165316 KiB
[startup+1908.69 s]
# the end of solver process 40381 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1900.39 s, system=1.99424 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1904 s]*
/proc/loadavg: 4.06 4.09 4.07 5/263 40763
/proc/meminfo: memFree=127698392/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2076772 memory=165828 CPUtime=1897.71 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 492913 0 0 0 189573 198 0 0 20 0 1 0 45945007 2126614528 41457 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 519193 41457 1728 343 0 516257 0
Current children cumulated CPU time: 1897.71 s
Current children cumulated vsize: 2076772 KiB
Current children cumulated memory: 165828 KiB
[startup+1907.2 s]
/proc/loadavg: 4.06 4.09 4.07 5/263 40763
/proc/meminfo: memFree=127673816/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2093156 memory=173508 CPUtime=1900.9 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 493281 0 0 0 189891 199 0 0 20 0 1 0 45945007 2143391744 43377 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 523289 43377 1728 343 0 520353 0
Current children cumulated CPU time: 1900.9 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 173508 KiB
[startup+1908 s]*
/proc/loadavg: 4.05 4.09 4.07 5/263 40763
/proc/meminfo: memFree=127673816/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2093156 memory=175556 CPUtime=1901.7 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 493282 0 0 0 189971 199 0 0 20 0 1 0 45945007 2143391744 43889 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 523289 43889 1728 343 0 520353 0
Current children cumulated CPU time: 1901.7 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 175556 KiB
[startup+1908.4 s]
/proc/loadavg: 4.05 4.09 4.07 5/263 40763
/proc/meminfo: memFree=127673816/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2068580 memory=152992 CPUtime=1902.1 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 493495 0 0 0 190011 199 0 0 20 0 1 0 45945007 2118225920 38248 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 517145 38248 1728 343 0 514209 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 2068580 KiB
Current children cumulated memory: 152992 KiB
[startup+1908.6 s]
/proc/loadavg: 4.05 4.09 4.07 5/263 40763
/proc/meminfo: memFree=127673816/131249988 swapFree=33010684/33010684
[pid=40381] ppid=40376 vsize=2068580 memory=155076 CPUtime=1902.3 cores=4,6
/proc/40381/stat : 40381 (pb_picat) R 40376 40381 40325 0 -1 4194304 493497 0 0 0 190031 199 0 0 20 0 1 0 45945007 2118225920 38769 18446744073709551615 94288428158976 94288429560557 140725737578768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94288429831984 94288431706288 94288445784064 140725737580958 140725737581034 140725737581034 140725737586636 0
/proc/40381/statm: 517145 38769 1728 343 0 514209 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 2068580 KiB
Current children cumulated memory: 155076 KiB
Child status: 0
Real time (s): 1908.69
CPU time (s): 1902.39
CPU user time (s): 1900.39
CPU system time (s): 1.99424
CPU usage (%): 99.6701
Max. virtual memory (cumulated for all children) (KiB): 2093156
Max. memory (cumulated for all children) (KiB): 177604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1900.39
system time used= 1.99424
maximum resident set size= 177604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493513
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= 91
involuntary context switches= 11547
# summary of solver processes directly reported to runsolver:
# pid: 40381
# total CPU time (s): 1902.39
# total CPU user time (s): 1900.39
# total CPU system time (s): 1.99424
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66703 second user time and 8.2859 second system time
The end
Begin job on nodeC020 at 2025-06-30 18:57:54 IDJOB=4484949 IDBENCH=146676 IDSOLVER=3346 FILE ID=nodeC020/4484949-1751302674 RUNJOBID= nodeC020-1751302674-40336 SLURM_JOB_ID= 9594285 Free space on /tmp= 433060 MiB SOLVER NAME= Picat 2025-06-16 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-4484949-1751302674/watcher-4484949-1751302674 -o /tmp/evaluation-result-4484949-1751302674/solver-4484949-1751302674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751302674-40336 --watchdog 3760 pb_picat HOME/instance-4484949-1751302674.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f RANDOM SEED=1393933509 nodeC020 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 : 3599.929 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.79 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.889 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.79 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 : 3464.801 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.79 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 : 3599.000 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.79 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 : 3599.890 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.893 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3599.624 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.79 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 : 3600.941 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 129624376 kB MemAvailable: 129789800 kB Buffers: 3280 kB Cached: 970696 kB SwapCached: 0 kB Active: 385940 kB Inactive: 663160 kB Active(anon): 93304 kB Inactive(anon): 0 kB Active(file): 292636 kB Inactive(file): 663160 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20672 kB Writeback: 0 kB AnonPages: 78320 kB Mapped: 102964 kB Shmem: 18056 kB KReclaimable: 97736 kB Slab: 184920 kB SReclaimable: 97736 kB SUnreclaim: 87184 kB KernelStack: 4112 kB PageTables: 2920 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 340172 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433036 MiB End job on nodeC020 at 2025-06-30 19:29:43