Trace number 4498418

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OR-Tools CP-SAT 9.14SAT (TO)-92 3600.1 1815.22

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
MD5SUMa48c66dfa619fe9822eb3addabc6673c
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-93
Best CPU time to get the best result obtained on this benchmark72001.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150572
Sum of products size (including duplicates)301144
Number of different products75286
Sum of products size150572

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

5.84/5.88	o -30
6.43/6.19	o -52
11.20/8.57	o -53
11.60/8.74	o -61
11.60/8.75	o -62
12.00/8.94	o -67
12.00/8.96	o -68
12.00/8.98	o -69
12.20/9.07	o -70
12.58/9.26	o -71
12.99/9.45	o -74
12.99/9.48	o -75
13.38/9.65	o -76
13.99/9.92	o -77
14.58/10.25	o -78
21.93/13.91	o -79
37.03/21.50	o -80
47.76/26.99	o -81
61.46/33.89	o -82
86.70/46.56	o -83
96.23/51.32	o -84
114.10/60.31	o -85
141.33/74.08	o -86
182.84/94.99	o -87
593.38/301.62	o -88
630.51/320.36	o -89
728.83/369.87	o -90
740.54/375.78	o -91
1098.18/555.82	o -92
3600.07/1815.20	s SATISFIABLE
3600.07/1815.20	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.07/1815.20	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
3600.07/1815.20	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 
3600.07/1815.20	v -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.07/1815.20	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3600.07/1815.20	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 
3600.07/1815.20	v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 
3600.07/1815.20	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 
3600.07/1815.20	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 
3600.07/1815.20	v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 
3600.07/1815.20	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 
3600.07/1815.20	v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 
3600.07/1815.20	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 
3600.07/1815.20	v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 
3600.07/1815.20	v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 
3600.07/1815.20	v -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 
3600.07/1815.20	v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 
3600.07/1815.20	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
3600.07/1815.20	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 
3600.07/1815.20	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 
3600.07/1815.20	v -x277 x278 -x279 -x280 x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 
3600.07/1815.20	v -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 
3600.07/1815.20	v -x303 x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 x312 -x313 -x314 -x315 
3600.07/1815.20	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 
3600.07/1815.20	v x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 
3600.07/1815.20	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 
3600.07/1815.20	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 
3600.07/1815.20	v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 
3600.07/1815.20	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 
3600.07/1815.20	v -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 
3600.07/1815.20	v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 
3600.07/1815.20	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 
3600.07/1815.20	v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 -x444 -x445 
3600.07/1815.20	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 
3600.07/1815.20	v x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 
3600.07/1815.20	v -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 
3600.07/1815.20	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 
3600.07/1815.20	v -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 
3600.07/1815.20	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 
3600.07/1815.20	v -x524 x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 
3600.07/1815.20	v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 
3600.07/1815.20	v -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 
3600.07/1815.20	v x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 
3600.07/1815.20	v -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 
3600.07/1815.20	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 
3600.07/1815.20	v -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 
3600.07/1815.20	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 
3600.07/1815.20	v -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 
3600.07/1815.20	v -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 
3600.07/1815.20	v x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 
3600.07/1815.20	v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 
3600.07/1815.20	v -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 
3600.07/1815.20	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 
3600.07/1815.20	v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 
3600.07/1815.20	v -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 
3600.07/1815.20	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 
3600.07/1815.20	v -x745 -x746 -x747 -x748 x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 
3600.07/1815.20	v -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 
3600.07/1815.20	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 x781 -x782 -x783 
3600.07/1815.20	v -x784 -x785 x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 
3600.07/1815.20	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 
3600.07/1815.20	v -x810 -x811 -x812 -x813 x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 
3600.07/1815.20	v -x823 -x824 -x825 -x826 x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 
3600.07/1815.20	v x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 x845 -x846 -x847 x848 x849 
3600.07/1815.20	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 
3600.07/1815.20	v -x863 x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 x875 x876 
3600.07/1815.20	v -x877 -x878 x879 x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 
3600.07/1815.20	v x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 
3600.07/1815.20	v -x903 -x904 x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 
3600.07/1815.20	v -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 x924 -x925 -x926 x927 -x928 
3600.07/1815.20	v -x929 -x930 x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
3600.07/1815.20	v x942 -x943 -x944 -x945 -x946 x947 x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 
3600.07/1815.20	v -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 x964 -x965 x966 x967 -x968 -x969 
3600.07/1815.20	v x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 x980 -x981 -x982 x983 
3600.07/1815.20	v -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 
3600.07/1815.20	v -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 
3600.07/1815.20	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 
3600.07/1815.20	v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 
3600.07/1815.20	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 
3600.07/1815.20	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 
3600.07/1815.20	v -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 
3600.07/1815.20	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 
3600.07/1815.20	v -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 
3600.07/1815.20	v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 
3600.07/1815.20	v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 
3600.07/1815.20	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 
3600.07/1815.20	v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 
3600.07/1815.20	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 
3600.07/1815.20	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 
3600.07/1815.20	v -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 
3600.07/1815.20	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 
3600.07/1815.20	v x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 
3600.07/1815.20	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 
3600.07/1815.20	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 
3600.07/1815.20	v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 
3600.07/1815.20	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 
3600.07/1815.20	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 
3600.07/1815.20	v -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 
3600.07/1815.20	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 
3600.07/1815.20	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
3600.07/1815.20	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 
3600.07/1815.20	v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 
3600.07/1815.20	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 
3600.07/1815.20	v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 
3600.07/1815.20	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 
3600.07/1815.20	v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 
3600.07/1815.20	v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 
3600.07/1815.20	v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 
3600.07/1815.20	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 
3600.07/1815.20	v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 
3600.07/1815.20	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 
3600.07/1815.20	v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 
3600.07/1815.20	v -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 
3600.07/1815.20	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 
3600.07/1815.20	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 
3600.07/1815.20	v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 
3600.07/1815.20	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 
3600.07/1815.20	v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 
3600.07/1815.20	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 x1479 -x1480 -x1481 
3600.07/1815.20	v x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 
3600.07/1815.20	v x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 x1503 -x1504 
3600.07/1815.20	v -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 x1515 
3600.07/1815.20	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 
3600.07/1815.20	v x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 
3600.07/1815.20	v -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 
3600.07/1815.20	v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 
3600.07/1815.20	v x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 
3600.07/1815.20	v -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 
3600.07/1815.20	v x1582 -x1583 x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 
3600.07/1815.20	v -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 
3600.07/1815.20	v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 x1615 
3600.07/1815.20	v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 x1624 -x1625 -x1626 
3600.07/1815.20	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 
3600.07/1815.20	v -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 
3600.07/1815.20	v -x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 
3600.07/1815.20	v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 
3600.07/1815.20	v -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 
3600.07/1815.20	v -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 x1689 -x1690 -x1691 -x1692 
3600.07/1815.20	v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 
3600.07/1815.20	v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 
3600.07/1815.20	v x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 
3600.07/1815.20	v -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 
3600.07/1815.20	v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 
3600.07/1815.20	v x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 
3600.07/1815.20	v -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 x1766 -x1767 -x1768 x1769 -x1770 
3600.07/1815.20	v -x1771 -x1772 x1773 x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 
3600.07/1815.20	v x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 
3600.07/1815.20	v -x1794 -x1795 -x1796 x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 x1805 
3600.07/1815.20	v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 
3600.07/1815.20	v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 x1826 -x1827 
3600.07/1815.20	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 x1835 -x1836 -x1837 -x1838 
3600.07/1815.20	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 
3600.07/1815.20	v -x1850 -x1851 -x1852 -x1853 -x1854 x1855 x1856 -x1857 x1858 -x1859 -x1860 -x1861 
3600.07/1815.20	v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 
3600.07/1815.20	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 
3600.07/1815.20	v x1884 -x1885 -x1886 x1887 -x1888 x1889 -x1890 x1891 -x1892 x1893 -x1894 -x1895 
3600.07/1815.20	v -x1896 x1897 x1898 -x1899 -x1900 -x1901 -x1902 x1903 x1904 -x1905 -x1906 -x1907 
3600.07/1815.20	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 
3600.07/1815.20	v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 x1926 -x1927 -x1928 -x1929 
3600.07/1815.20	v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 
3600.07/1815.20	v -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 
3600.07/1815.20	v x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 
3600.07/1815.20	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 
3600.07/1815.20	v -x1974 -x1975 x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 
3600.07/1815.20	v -x1985 -x1986 x1987 x1988 -x1989 x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 
3600.07/1815.20	v -x1997 -x1998 x1999 x2000

Verifier Data 

OK	-92

Watcher Data 

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 (62760 MiB free)
  memory of node 1: 64465 MiB (63930 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498418-1751268244/watcher-4498418-1751268244 -o /tmp/evaluation-result-4498418-1751268244/solver-4498418-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751268232-35585 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1630340455 --competition_mode --input HOME/instance-4498418-1751268244.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=35834, runsolver pid=35831

[startup+0.100062 s]*
/proc/loadavg: 0.73 0.23 0.13 8/266 35841
/proc/meminfo: memFree=129675848/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=55748 memory=49340 CPUtime=0.09 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) R 35831 35834 35566 0 -1 4194304 12788 0 0 0 7 2 0 0 20 0 1 0 42501893 57085952 12335 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 13937 12335 1280 2102 0 11477 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55748 KiB
Current children cumulated memory: 49340 KiB

[startup+0.204945 s]*
/proc/loadavg: 0.73 0.23 0.13 6/264 35845
/proc/meminfo: memFree=129630956/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=101628 memory=92332 CPUtime=0.2 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) R 35831 35834 35566 0 -1 4194304 22922 0 0 0 17 3 0 0 20 0 1 0 42501893 104067072 23083 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 25407 23083 1408 2102 0 22947 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101628 KiB
Current children cumulated memory: 92332 KiB

[startup+0.305358 s]*
/proc/loadavg: 0.73 0.23 0.13 6/264 35845
/proc/meminfo: memFree=129630704/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=102960 memory=93996 CPUtime=0.3 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) R 35831 35834 35566 0 -1 4194304 23256 0 0 0 27 3 0 0 20 0 1 0 42501893 105431040 23499 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 25740 23499 1504 2102 0 23280 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102960 KiB
Current children cumulated memory: 93996 KiB

[startup+0.700172 s]
/proc/loadavg: 0.73 0.23 0.13 6/264 35845
/proc/meminfo: memFree=129598760/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=148952 memory=137632 CPUtime=0.68 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) R 35831 35834 35566 0 -1 4194304 39112 0 0 0 62 6 0 0 20 0 1 0 42501893 152526848 34408 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 37238 34408 1696 2102 0 34778 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148952 KiB
Current children cumulated memory: 137632 KiB

[startup+1.50017 s]
/proc/loadavg: 0.73 0.23 0.13 6/264 35845
/proc/meminfo: memFree=129548564/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=199824 memory=187764 CPUtime=1.48 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) R 35831 35834 35566 0 -1 4194304 48862 0 0 0 140 8 0 0 20 0 1 0 42501893 204619776 46941 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 49956 46941 1824 2102 0 47496 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199824 KiB
Current children cumulated memory: 187764 KiB

[startup+3.10525 s]
/proc/loadavg: 1.15 0.33 0.17 6/264 35845
/proc/meminfo: memFree=129502928/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=213584 memory=203876 CPUtime=3.08 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) R 35831 35834 35566 0 -1 4194304 53063 0 0 0 298 10 0 0 20 0 1 0 42501893 218710016 50969 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 53396 50969 1856 2102 0 50936 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 213584 KiB
Current children cumulated memory: 203876 KiB

[startup+6.30021 s]
/proc/loadavg: 1.15 0.33 0.17 7/266 35934
/proc/meminfo: memFree=129295872/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=626052 memory=414416 CPUtime=6.83 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 84717 0 0 0 665 18 0 0 20 0 3 0 42501893 641077248 103604 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 156513 103604 2112 2102 0 134244 0
[pid=35834/tid=35928] ppid=35831 vsize=626052 memory=334728 CPUtime=0.57 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 13293 0 0 0 54 3 0 0 20 0 3 0 42502464 641077248 103604 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=626052 memory=231116 CPUtime=0.56 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 14398 0 0 0 53 3 0 0 20 0 3 0 42502464 641077248 103604 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 6.83 s
Current children cumulated vsize: 626052 KiB
Current children cumulated memory: 414416 KiB

[startup+12.7002 s]
/proc/loadavg: 1.99 0.53 0.23 9/272 36027
/proc/meminfo: memFree=129100264/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=657568 memory=579892 CPUtime=19.54 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 164266 0 0 0 1919 35 0 0 20 0 3 0 42501893 673349632 144973 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 164392 144973 2144 2102 0 154509 0
[pid=35834/tid=35928] ppid=35831 vsize=657568 memory=602452 CPUtime=6.94 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 49069 0 0 0 686 8 0 0 20 0 3 0 42502464 673349632 144973 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=657568 memory=17536 CPUtime=6.9 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 58075 0 0 0 675 15 0 0 20 0 3 0 42502464 673349632 144973 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 19.54 s
Current children cumulated vsize: 657568 KiB
Current children cumulated memory: 579892 KiB

[startup+25.5002 s]
/proc/loadavg: 2.99 0.80 0.32 9/272 36027
/proc/meminfo: memFree=129054624/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=732848 memory=625012 CPUtime=44.97 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 236980 0 0 0 4451 46 0 0 20 0 3 0 42501893 750436352 156253 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 183212 156253 2144 2102 0 166511 0
[pid=35834/tid=35928] ppid=35831 vsize=732848 memory=17536 CPUtime=19.7 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 69614 0 0 0 1960 10 0 0 20 0 3 0 42502464 750436352 156253 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=732848 memory=426672 CPUtime=19.56 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 110146 0 0 0 1933 23 0 0 20 0 3 0 42502464 750436352 156253 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 44.97 s
Current children cumulated vsize: 732848 KiB
Current children cumulated memory: 625012 KiB

[startup+51.1055 s]
/proc/loadavg: 4.70 1.38 0.53 9/273 36029
/proc/meminfo: memFree=128997128/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=766824 memory=667668 CPUtime=95.84 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 328038 0 0 0 9521 63 0 0 20 0 3 0 42501893 785227776 166917 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 191706 166917 2144 2102 0 179101 0
[pid=35834/tid=35928] ppid=35831 vsize=766824 memory=426672 CPUtime=45.23 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 90797 0 0 0 4510 13 0 0 20 0 3 0 42502464 785227776 166917 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=766824 memory=3200 CPUtime=44.89 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 179901 0 0 0 4452 37 0 0 20 0 3 0 42502464 785227776 166917 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 95.84 s
Current children cumulated vsize: 766824 KiB
Current children cumulated memory: 667668 KiB

[startup+102.3 s]
/proc/loadavg: 6.72 2.51 0.97 9/273 36031
/proc/meminfo: memFree=128986860/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=770752 memory=669456 CPUtime=197.53 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 414554 0 0 0 19662 91 0 0 20 0 3 0 42501893 789250048 167364 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 192688 167364 2144 2102 0 180083 0
[pid=35834/tid=35928] ppid=35831 vsize=770752 memory=-8183433583168362692 CPUtime=96.25 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 109698 0 0 0 9611 14 0 0 20 0 3 0 42502464 789250048 167364 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=770752 memory=667672 CPUtime=95.54 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 247420 0 0 0 9490 64 0 0 20 0 3 0 42502464 789250048 167364 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 197.53 s
Current children cumulated vsize: 770752 KiB
Current children cumulated memory: 669456 KiB

[startup+162.3 s]
/proc/loadavg: 7.63 3.54 1.42 9/273 36033
/proc/meminfo: memFree=128950812/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=770752 memory=669460 CPUtime=316.71 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 423642 0 0 0 31550 121 0 0 20 0 3 0 42501893 789250048 167365 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 192688 167365 2144 2102 0 180083 0
[pid=35834/tid=35928] ppid=35831 vsize=770752 memory=669456 CPUtime=156.05 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 111117 0 0 0 15591 14 0 0 20 0 3 0 42502464 789250048 167365 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=770752 memory=669456 CPUtime=154.9 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 255083 0 0 0 15396 94 0 0 20 0 3 0 42502464 789250048 167365 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 316.71 s
Current children cumulated vsize: 770752 KiB
Current children cumulated memory: 669460 KiB

[startup+222.3 s]
/proc/loadavg: 7.92 4.37 1.84 9/273 36035
/proc/meminfo: memFree=128964760/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=770752 memory=671508 CPUtime=435.88 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 467896 0 0 0 43429 159 0 0 20 0 3 0 42501893 789250048 167877 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 192688 167877 2144 2102 0 180083 0
[pid=35834/tid=35928] ppid=35831 vsize=770752 memory=671508 CPUtime=215.84 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 138769 0 0 0 21568 16 0 0 20 0 3 0 42502464 789250048 167877 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=770752 memory=671508 CPUtime=214.25 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 271640 0 0 0 21297 128 0 0 20 0 3 0 42502464 789250048 167877 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 435.88 s
Current children cumulated vsize: 770752 KiB
Current children cumulated memory: 671508 KiB

[startup+282.3 s]
/proc/loadavg: 8.14 5.08 2.24 9/274 36038
/proc/meminfo: memFree=128967868/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=770752 memory=671512 CPUtime=555.05 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 471556 0 0 0 55312 193 0 0 20 0 3 0 42501893 789250048 167878 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 192688 167878 2144 2102 0 180084 0
[pid=35834/tid=35928] ppid=35831 vsize=770752 memory=671512 CPUtime=275.64 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 139311 0 0 0 27548 16 0 0 20 0 3 0 42502464 789250048 167878 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0

################
# More data... #
################

Current children cumulated memory: 685396 KiB

[startup+1302.3 s]
/proc/loadavg: 8.64 8.16 6.23 9/272 36090
/proc/meminfo: memFree=128884544/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=685288 CPUtime=2581.01 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 930832 0 0 0 257299 802 0 0 20 0 3 0 42501893 791564288 171322 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 171322 2144 2102 0 180650 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=-8183433583168362692 CPUtime=1292.11 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 198879 0 0 0 129189 22 0 0 20 0 3 0 42502464 791564288 171322 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=685288 CPUtime=1282.79 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 674324 0 0 0 127525 754 0 0 20 0 3 0 42502464 791564288 171322 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 2581.01 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 685288 KiB

[startup+1362.3 s]
/proc/loadavg: 8.37 8.17 6.36 9/272 36092
/proc/meminfo: memFree=128878136/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=686056 CPUtime=2700.22 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 955827 0 0 0 269199 823 0 0 20 0 3 0 42501893 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 171514 2144 2102 0 180650 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=-8183433583168362692 CPUtime=1351.93 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 199050 0 0 0 135171 22 0 0 20 0 3 0 42502464 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=761560 CPUtime=1342.14 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 699147 0 0 0 133441 773 0 0 20 0 3 0 42502464 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 2700.22 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 686056 KiB

[startup+1422.3 s]
/proc/loadavg: 8.19 8.15 6.47 9/272 36094
/proc/meminfo: memFree=128883996/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=686056 CPUtime=2819.43 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 991982 0 0 0 281089 854 0 0 20 0 3 0 42501893 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 171514 2144 2102 0 180650 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=-8183433583168362692 CPUtime=1411.76 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 199058 0 0 0 141154 22 0 0 20 0 3 0 42502464 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=686056 CPUtime=1401.5 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 735278 0 0 0 139347 803 0 0 20 0 3 0 42502464 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 2819.43 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 686056 KiB

[startup+1482.3 s]
/proc/loadavg: 8.11 8.14 6.57 9/271 36096
/proc/meminfo: memFree=128878900/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=686056 CPUtime=2938.63 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 1014969 0 0 0 292977 886 0 0 20 0 3 0 42501893 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 171514 2144 2102 0 180650 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=686056 CPUtime=1471.58 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 199957 0 0 0 147136 22 0 0 20 0 3 0 42502464 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=-8183433583168362692 CPUtime=1460.87 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 757366 0 0 0 145253 834 0 0 20 0 3 0 42502464 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 2938.63 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 686056 KiB

[startup+1542.3 s]
/proc/loadavg: 8.07 8.12 6.67 9/270 36098
/proc/meminfo: memFree=128869044/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=686056 CPUtime=3057.85 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 1038219 0 0 0 304865 920 0 0 20 0 3 0 42501893 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 171514 2144 2102 0 180650 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=5632 CPUtime=1531.41 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 199959 0 0 0 153119 22 0 0 20 0 3 0 42502464 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=686056 CPUtime=1520.24 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 780613 0 0 0 151156 868 0 0 20 0 3 0 42502464 791564288 171514 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 3057.85 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 686056 KiB

[startup+1602.3 s]
/proc/loadavg: 8.07 8.11 6.76 9/271 36102
/proc/meminfo: memFree=128876900/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=689512 CPUtime=3177.06 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 1063391 0 0 0 316752 954 0 0 20 0 3 0 42501893 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 172378 2144 2102 0 181487 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=704644 CPUtime=1591.23 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 200806 0 0 0 159101 22 0 0 20 0 3 0 42502464 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=17536 CPUtime=1579.61 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 804916 0 0 0 157060 901 0 0 20 0 3 0 42502464 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 3177.06 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 689512 KiB

[startup+1662.3 s]
/proc/loadavg: 8.13 8.12 6.85 9/271 36104
/proc/meminfo: memFree=128880192/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=689512 CPUtime=3296.28 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 1085927 0 0 0 328650 978 0 0 20 0 3 0 42501893 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 172378 2144 2102 0 181497 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=689512 CPUtime=1651.06 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 202566 0 0 0 165084 22 0 0 20 0 3 0 42502464 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=17536 CPUtime=1638.98 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 825692 0 0 0 162974 924 0 0 20 0 3 0 42502464 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 3296.28 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 689512 KiB

[startup+1722.3 s]
/proc/loadavg: 8.10 8.11 6.93 9/271 36106
/proc/meminfo: memFree=128881328/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=689512 CPUtime=3415.49 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 1098783 0 0 0 340543 1006 0 0 20 0 3 0 42501893 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 172378 2144 2102 0 181508 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=689512 CPUtime=1710.88 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 202579 0 0 0 171066 22 0 0 20 0 3 0 42502464 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=689512 CPUtime=1698.36 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 838535 0 0 0 168884 952 0 0 20 0 3 0 42502464 791564288 172378 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 3415.49 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 689512 KiB

[startup+1782.3 s]
/proc/loadavg: 8.12 8.11 7.01 9/271 36108
/proc/meminfo: memFree=128900188/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=773012 memory=691304 CPUtime=3534.71 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 1112156 0 0 0 352438 1033 0 0 20 0 3 0 42501893 791564288 172826 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 193253 172826 2144 2102 0 181943 0
[pid=35834/tid=35928] ppid=35831 vsize=773012 memory=689512 CPUtime=1770.7 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 203015 0 0 0 177048 22 0 0 20 0 3 0 42502464 791564288 172826 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=773012 memory=14848 CPUtime=1757.73 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 851472 0 0 0 174795 978 0 0 20 0 3 0 42502464 791564288 172826 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 3534.71 s
Current children cumulated vsize: 773012 KiB
Current children cumulated memory: 691304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.2 s]
/proc/loadavg: 8.07 8.10 7.04 7/264 36148
/proc/meminfo: memFree=128971996/131249996 swapFree=33010684/33010684
[pid=35834] ppid=35831 vsize=819432 memory=721340 CPUtime=3600.07 cores=1,3
/proc/35834/stat : 35834 (cp-sat-runner) S 35831 35834 35566 0 -1 4194304 1113891 0 0 0 358960 1047 0 0 20 0 3 0 42501893 839098368 180335 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
/proc/35834/statm: 204858 180335 2144 2102 0 193548 0
[pid=35834/tid=35928] ppid=35831 vsize=819432 memory=17536 CPUtime=1803.5 cores=1,3
/proc/35834/task/35928/stat : 35928 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 203015 0 0 0 180328 22 0 0 20 0 3 0 42502464 839098368 180335 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
[pid=35834/tid=35929] ppid=35831 vsize=819432 memory=10752 CPUtime=1790.28 cores=1,3
/proc/35834/task/35929/stat : 35929 (cp-sat-runner) R 35831 35834 35566 0 -1 4194368 853203 0 0 0 178037 991 0 0 20 0 3 0 42502464 839098368 180335 18446744073709551615 4198400 12805993 140732343063920 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21303296 140732343068952 140732343069157 140732343069157 140732343074759 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 819432 KiB
Current children cumulated memory: 721340 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1815.22 s]
# the end of solver process 35834 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3589.61 s, system=10.4853 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 1815.22
CPU time (s): 3600.1
CPU user time (s): 3589.61
CPU system time (s): 10.4853
CPU usage (%): 198.328
Max. virtual memory (cumulated for all children) (KiB): 905712
Max. memory (cumulated for all children) (KiB): 785216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.61
system time used= 10.4853
maximum resident set size= 785216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1113895
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= 24570
involuntary context switches= 105646


# summary of solver processes directly reported to runsolver:
#   pid: 35834
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3589.61
#   total CPU system time (s): 10.4853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64904 second user time and 8.71789 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 09:24:04
IDJOB=4498418
IDBENCH=148671
IDSOLVER=3320
FILE ID=nodeC015/4498418-1751268244
RUNJOBID= nodeC015-1751268232-35585
SLURM_JOB_ID= 9594182
Free space on /tmp= 432980 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498418-1751268244/watcher-4498418-1751268244 -o /tmp/evaluation-result-4498418-1751268244/solver-4498418-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751268232-35585 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1630340455 --competition_mode --input HOME/instance-4498418-1751268244.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= a48c66dfa619fe9822eb3addabc6673c
RANDOM SEED=1630340455

nodeC015 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		: 3602.837
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	: 7000.14
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		: 3598.060
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	: 7000.14
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		: 3600.071
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	: 7000.14
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		: 3600.075
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	: 7000.14
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.940
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	: 7000.14
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		: 3598.738
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	: 7000.14
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		: 3600.075
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	: 7000.14
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.212
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129747244 kB
MemAvailable:   129754352 kB
Buffers:            3280 kB
Cached:           815316 kB
SwapCached:            0 kB
Active:           365728 kB
Inactive:         558900 kB
Active(anon):     124112 kB
Inactive(anon):        0 kB
Active(file):     241616 kB
Inactive(file):   558900 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52872 kB
Writeback:             0 kB
AnonPages:        109236 kB
Mapped:           118764 kB
Shmem:             18076 kB
KReclaimable:      91664 kB
Slab:             178492 kB
SReclaimable:      91664 kB
SUnreclaim:        86828 kB
KernelStack:        4256 kB
PageTables:         3128 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     436412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432980 MiB
End job on nodeC015 at 2025-06-30 09:54:20