Trace number 4525629

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 NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14MSAT (TO) 3600.05 1814.31

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen07_10000_30r_wcsp.wbo
MD5SUM8c159ddcc7c8e6257617bd9db371f9a1
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark4.42548
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2008
Total number of constraints48581
Number of soft constraints48385
Number of constraints which are clauses48385
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Top cost 448020002
Min constraint cost 1
Max constraint cost 990001
Sum of constraints costs 12702738385
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	20

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525629-1751617168/watcher-4525629-1751617168 -o /tmp/evaluation-result-4525629-1751617168/solver-4525629-1751617168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90043 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:447926955 --competition_mode --input HOME/instance-4525629-1751617168.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=96326, runsolver pid=96323

[startup+0.100071 s]*
/proc/loadavg: 8.02 8.08 8.01 8/256 96327
/proc/meminfo: memFree=126282408/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=40364 memory=34948 CPUtime=0.1 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) R 96323 96326 90031 0 -1 4194304 8833 0 0 0 9 1 0 0 20 0 1 0 77396007 41332736 8737 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 10091 8737 1344 2102 0 7631 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40364 KiB
Current children cumulated memory: 34948 KiB

[startup+0.213515 s]*
/proc/loadavg: 8.02 8.08 8.01 8/256 96327
/proc/meminfo: memFree=126266532/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=58208 memory=51972 CPUtime=0.22 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) R 96323 96326 90031 0 -1 4194304 13049 0 0 0 19 3 0 0 20 0 1 0 77396007 59604992 12993 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 14552 12993 1408 2102 0 12092 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 58208 KiB
Current children cumulated memory: 51972 KiB

[startup+0.313336 s]*
/proc/loadavg: 8.02 8.08 8.01 9/256 96327
/proc/meminfo: memFree=126254372/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=66068 memory=58500 CPUtime=0.32 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) R 96323 96326 90031 0 -1 4194304 14597 0 0 0 29 3 0 0 20 0 1 0 77396007 67653632 14625 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 16517 14625 1504 2102 0 14057 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 66068 KiB
Current children cumulated memory: 58500 KiB

[startup+0.70031 s]
/proc/loadavg: 8.02 8.08 8.01 9/256 96327
/proc/meminfo: memFree=126250276/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=84144 memory=73432 CPUtime=0.69 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) R 96323 96326 90031 0 -1 4194304 20568 0 0 0 65 4 0 0 20 0 1 0 77396007 86163456 18358 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 21036 18358 1600 2102 0 18576 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84144 KiB
Current children cumulated memory: 73432 KiB

[startup+1.50029 s]
/proc/loadavg: 8.02 8.08 8.01 8/256 96327
/proc/meminfo: memFree=126190484/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=110528 memory=102376 CPUtime=1.48 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) R 96323 96326 90031 0 -1 4194304 28970 0 0 0 142 6 0 0 20 0 1 0 77396007 113180672 25594 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 27632 25594 1920 2102 0 25172 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 110528 KiB
Current children cumulated memory: 102376 KiB

[startup+3.11129 s]
/proc/loadavg: 8.02 8.08 8.01 9/258 96329
/proc/meminfo: memFree=125966164/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=526884 memory=351352 CPUtime=3.9 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 83010 0 0 0 369 21 0 0 20 0 3 0 77396007 539529216 87838 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 131721 87838 2176 2102 0 100284 0
[pid=96326/tid=96328] ppid=96323 vsize=526884 memory=91072 CPUtime=0.82 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 27710 0 0 0 73 9 0 0 20 0 3 0 77396234 539529216 87838 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=526884 memory=239212 CPUtime=0.81 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 17744 0 0 0 78 3 0 0 20 0 3 0 77396234 539529216 87838 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 3.9 s
Current children cumulated vsize: 526884 KiB
Current children cumulated memory: 351352 KiB

[startup+6.30021 s]
/proc/loadavg: 8.02 8.07 8.01 9/258 96329
/proc/meminfo: memFree=125804752/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=592420 memory=465920 CPUtime=10.22 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 167683 0 0 0 988 34 0 0 20 0 3 0 77396007 606638080 116480 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 148105 116480 2176 2102 0 132926 0
[pid=96326/tid=96328] ppid=96323 vsize=592420 memory=14080 CPUtime=3.83 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 86930 0 0 0 366 17 0 0 20 0 3 0 77396234 606638080 116480 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=592420 memory=91072 CPUtime=3.81 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 43170 0 0 0 373 8 0 0 20 0 3 0 77396234 606638080 116480 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 10.22 s
Current children cumulated vsize: 592420 KiB
Current children cumulated memory: 465920 KiB

[startup+12.7002 s]
/proc/loadavg: 8.10 8.09 8.02 9/258 96329
/proc/meminfo: memFree=125760020/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=602760 memory=519812 CPUtime=22.89 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 233816 0 0 0 2246 43 0 0 20 0 3 0 77396007 617226240 129953 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 150690 129953 2176 2102 0 142119 0
[pid=96326/tid=96328] ppid=96323 vsize=602760 memory=-8183431388523892933 CPUtime=10.01 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 116894 0 0 0 982 19 0 0 20 0 3 0 77396234 617226240 129953 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=602760 memory=-8183431388523892933 CPUtime=10.02 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 77358 0 0 0 987 15 0 0 20 0 3 0 77396234 617226240 129953 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 22.89 s
Current children cumulated vsize: 602760 KiB
Current children cumulated memory: 519812 KiB

[startup+25.5002 s]
/proc/loadavg: 8.08 8.08 8.02 9/258 96330
/proc/meminfo: memFree=125681880/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=530840 CPUtime=48.29 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 312386 0 0 0 4778 51 0 0 20 0 3 0 77396007 624275456 132710 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 132710 2176 2102 0 143840 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=530840 CPUtime=22.73 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 155262 0 0 0 2250 23 0 0 20 0 3 0 77396234 624275456 132710 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=530840 CPUtime=22.59 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 112984 0 0 0 2240 19 0 0 20 0 3 0 77396234 624275456 132710 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 48.29 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 530840 KiB

[startup+51.1056 s]
/proc/loadavg: 8.05 8.08 8.01 9/258 96330
/proc/meminfo: memFree=125785668/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=531852 CPUtime=99.11 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 369427 0 0 0 9853 58 0 0 20 0 3 0 77396007 624275456 132963 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 132963 2176 2102 0 143840 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=519812 CPUtime=48.23 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 181405 0 0 0 4797 26 0 0 20 0 3 0 77396234 624275456 132963 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=531852 CPUtime=47.88 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 141202 0 0 0 4766 22 0 0 20 0 3 0 77396234 624275456 132963 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 99.11 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 531852 KiB

[startup+102.3 s]
/proc/loadavg: 8.14 8.10 8.02 9/259 96333
/proc/meminfo: memFree=125635004/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=531860 CPUtime=200.72 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 456982 0 0 0 20006 66 0 0 20 0 3 0 77396007 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 132965 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=531860 CPUtime=99.2 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 202881 0 0 0 9892 28 0 0 20 0 3 0 77396234 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=14080 CPUtime=98.51 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 207180 0 0 0 9822 29 0 0 20 0 3 0 77396234 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 200.72 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 531860 KiB

[startup+162.3 s]
/proc/loadavg: 8.05 8.08 8.01 9/259 96337
/proc/meminfo: memFree=125581696/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=531860 CPUtime=319.83 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 506744 0 0 0 31911 72 0 0 20 0 3 0 77396007 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 132965 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=531860 CPUtime=158.97 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 217447 0 0 0 15867 30 0 0 20 0 3 0 77396234 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=4764 CPUtime=157.72 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 231711 0 0 0 15741 31 0 0 20 0 3 0 77396234 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 319.83 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 531860 KiB

[startup+222.3 s]
/proc/loadavg: 8.10 8.09 8.02 9/259 96339
/proc/meminfo: memFree=125661068/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=531860 CPUtime=438.92 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 544750 0 0 0 43816 76 0 0 20 0 3 0 77396007 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 132965 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=14080 CPUtime=218.72 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 225747 0 0 0 21841 31 0 0 20 0 3 0 77396234 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=14080 CPUtime=217.02 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 261374 0 0 0 21669 33 0 0 20 0 3 0 77396234 624275456 132965 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 438.92 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 531860 KiB

[startup+282.3 s]
/proc/loadavg: 7.90 8.04 8.00 8/258 96433
/proc/meminfo: memFree=125080400/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=531988 CPUtime=558.03 cores=1,3

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

Current children cumulated memory: 546964 KiB

[startup+1362.3 s]
/proc/loadavg: 8.15 8.15 8.08 9/258 96529
/proc/meminfo: memFree=119704568/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=2702.28 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 690597 0 0 0 270101 127 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=546964 CPUtime=1347.48 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 259573 0 0 0 134707 41 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=14080 CPUtime=1351.21 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 368009 0 0 0 135057 64 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 2702.28 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

[startup+1422.3 s]
/proc/loadavg: 8.10 8.14 8.08 9/258 96533
/proc/meminfo: memFree=119656872/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=2821.46 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 693966 0 0 0 282017 129 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=546964 CPUtime=1406.86 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 259715 0 0 0 140645 41 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=546964 CPUtime=1410.98 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 371219 0 0 0 141033 65 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 2821.46 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

[startup+1482.3 s]
/proc/loadavg: 8.14 8.14 8.08 9/258 96535
/proc/meminfo: memFree=119490648/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=2940.63 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 696835 0 0 0 293932 131 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=546964 CPUtime=1466.24 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 259726 0 0 0 146583 41 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=14080 CPUtime=1470.75 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 374059 0 0 0 147009 66 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 2940.63 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

[startup+1542.3 s]
/proc/loadavg: 8.10 8.13 8.08 9/258 96538
/proc/meminfo: memFree=119471780/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=3059.8 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 697366 0 0 0 305847 133 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=11264 CPUtime=1525.62 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 259875 0 0 0 152520 42 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=-8183431388523892933 CPUtime=1530.53 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 374440 0 0 0 152986 67 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 3059.8 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

[startup+1602.3 s]
/proc/loadavg: 8.08 8.12 8.08 9/258 96540
/proc/meminfo: memFree=119353728/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=3178.96 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 697650 0 0 0 317762 134 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=-8183431388523892933 CPUtime=1584.99 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 259878 0 0 0 158457 42 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=546964 CPUtime=1590.29 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 374719 0 0 0 158962 67 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 3178.96 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

[startup+1662.3 s]
/proc/loadavg: 8.13 8.12 8.09 9/258 96542
/proc/meminfo: memFree=119275652/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=3298.13 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 701011 0 0 0 329677 136 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=-8183431388523892933 CPUtime=1644.37 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 260020 0 0 0 164395 42 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=546964 CPUtime=1650.07 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 377924 0 0 0 164938 69 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 3298.13 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

[startup+1722.3 s]
/proc/loadavg: 8.09 8.11 8.09 9/259 96545
/proc/meminfo: memFree=119346000/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=3417.31 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 703964 0 0 0 341593 138 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=-8183431388523892933 CPUtime=1703.75 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 260032 0 0 0 170333 42 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=18560 CPUtime=1709.84 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 380852 0 0 0 170915 69 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 3417.31 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

[startup+1782.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/259 96547
/proc/meminfo: memFree=119321728/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=3536.48 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 706830 0 0 0 353508 140 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=14080 CPUtime=1763.13 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 260172 0 0 0 176270 43 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=546964 CPUtime=1769.61 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 383560 0 0 0 176891 70 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 3536.48 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/259 96554
/proc/meminfo: memFree=119469120/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=3600.02 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 708119 0 0 0 359861 141 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=546964 CPUtime=1794.79 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 260681 0 0 0 179436 43 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=546964 CPUtime=1801.49 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 384340 0 0 0 180078 71 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.63 s, system=1.42767 s

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

[startup+1814.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/259 96554
/proc/meminfo: memFree=119469120/131382116 swapFree=33009904/33010684
[pid=96326] ppid=96323 vsize=609644 memory=546964 CPUtime=3600.02 cores=1,3
/proc/96326/stat : 96326 (cp-sat-runner) S 96323 96326 90031 0 -1 4194304 708119 0 0 0 359861 141 0 0 20 0 3 0 77396007 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
/proc/96326/statm: 152411 136741 2176 2102 0 143867 0
[pid=96326/tid=96328] ppid=96323 vsize=609644 memory=546964 CPUtime=1794.79 cores=1,3
/proc/96326/task/96328/stat : 96328 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 260681 0 0 0 179436 43 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
[pid=96326/tid=96329] ppid=96323 vsize=609644 memory=546964 CPUtime=1801.49 cores=1,3
/proc/96326/task/96329/stat : 96329 (cp-sat-runner) R 96323 96326 90031 0 -1 4194368 384340 0 0 0 180078 71 0 0 20 0 3 0 77396234 624275456 136741 18446744073709551615 4198400 12805993 140730439743360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27893760 140730439747863 140730439748067 140730439748067 140730439753671 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 609644 KiB
Current children cumulated memory: 546964 KiB

Child status: 0

Real time (s): 1814.31
CPU time (s): 3600.05
CPU user time (s): 3598.63
CPU system time (s): 1.42767
CPU usage (%): 198.425
Max. virtual memory (cumulated for all children) (KiB): 645728
Max. memory (cumulated for all children) (KiB): 561516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.42767
maximum resident set size= 561516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708128
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= 23392
involuntary context switches= 135295


# summary of solver processes directly reported to runsolver:
#   pid: 96326
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.63
#   total CPU system time (s): 1.42767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.57572 second user time and 8.70351 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-04 10:19:28
IDJOB=4525629
IDBENCH=143868
IDSOLVER=3378
FILE ID=nodeC004/4525629-1751617168
RUNJOBID= nodeC004-1751612733-90043
SLURM_JOB_ID= 9598915
Free space on /tmp= 431632 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen07_10000_30r_wcsp.wbo
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525629-1751617168/watcher-4525629-1751617168 -o /tmp/evaluation-result-4525629-1751617168/solver-4525629-1751617168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90043 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:447926955 --competition_mode --input HOME/instance-4525629-1751617168.wbo

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

MD5SUM BENCH= 8c159ddcc7c8e6257617bd9db371f9a1
RANDOM SEED=447926955

nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.648
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1996.394
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.649
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.129
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.647
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.651
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.619
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3512.565
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126318320 kB
MemAvailable:   127259108 kB
Buffers:            2128 kB
Cached:          1689028 kB
SwapCached:           32 kB
Active:          3181324 kB
Inactive:        1094048 kB
Active(anon):    2591412 kB
Inactive(anon):    10736 kB
Active(file):     589912 kB
Inactive(file):  1083312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14044 kB
Writeback:             4 kB
AnonPages:       2584712 kB
Mapped:           129900 kB
Shmem:             17932 kB
KReclaimable:     214384 kB
Slab:             301196 kB
SReclaimable:     214384 kB
SUnreclaim:        86812 kB
KernelStack:        4128 kB
PageTables:         8108 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3101348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149592 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1863680 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431600 MiB
End job on nodeC004 at 2025-07-04 10:49:43