Trace number 4433241

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
Exact 2024-07-05SAT (TO)36 3600.11 3609.71

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark74.5212
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
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 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
Number of bits of the biggest sum of numbers13
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 

7.97/8.02	o 271
8.07/8.12	o 270
8.07/8.12	o 269
8.07/8.13	o 268
8.07/8.13	o 267
8.07/8.14	o 266
8.07/8.15	o 265
8.07/8.15	o 264
8.07/8.16	o 263
8.07/8.16	o 262
8.07/8.16	o 261
8.07/8.17	o 260
8.07/8.17	o 259
8.07/8.19	o 258
8.16/8.20	o 257
8.16/8.23	o 256
8.16/8.25	o 255
8.16/8.29	o 254
8.46/8.55	o 253
11.15/11.29	o 252
11.25/11.30	o 251
11.25/11.31	o 250
11.25/11.31	o 249
11.25/11.32	o 248
11.25/11.32	o 247
11.25/11.33	o 246
11.25/11.34	o 245
11.25/11.34	o 244
11.25/11.35	o 243
11.25/11.35	o 242
11.25/11.36	o 241
11.25/11.36	o 240
11.25/11.37	o 239
11.25/11.39	o 238
11.35/11.41	o 237
11.35/11.44	o 236
11.35/11.49	o 235
11.45/11.51	o 234
11.45/11.52	o 233
11.45/11.54	o 232
11.45/11.55	o 231
11.45/11.56	o 230
11.45/11.57	o 229
11.45/11.58	o 228
11.55/11.60	o 227
11.55/11.64	o 226
11.55/11.66	o 225
11.55/11.67	o 224
11.55/11.69	o 223
11.65/11.71	o 222
11.65/11.72	o 221
11.65/11.73	o 220
11.65/11.74	o 219
11.65/11.75	o 218
11.65/11.76	o 217
11.65/11.77	o 216
11.65/11.78	o 215
11.65/11.79	o 214
11.75/11.82	o 213
11.75/11.84	o 212
11.75/11.85	o 211
11.75/11.86	o 210
11.85/11.92	o 209
11.85/11.95	o 208
11.85/11.96	o 207
11.85/11.97	o 206
11.85/11.98	o 205
11.85/11.99	o 204
11.96/12.02	o 203
11.96/12.04	o 202
11.96/12.06	o 201
11.96/12.08	o 200
11.96/12.08	o 199
11.96/12.09	o 198
12.06/12.11	o 197
12.06/12.12	o 196
12.06/12.13	o 195
12.06/12.14	o 194
12.06/12.15	o 193
12.06/12.16	o 192
12.06/12.19	o 191
12.06/12.19	o 190
12.15/12.20	o 189
12.15/12.21	o 188
12.15/12.21	o 187
12.15/12.22	o 186
12.15/12.23	o 185
12.15/12.23	o 184
12.15/12.24	o 183
12.15/12.25	o 182
12.15/12.26	o 181
12.15/12.27	o 180
12.15/12.28	o 179
12.15/12.29	o 178
12.25/12.30	o 177
12.25/12.30	o 176
12.25/12.31	o 175
12.25/12.32	o 174
12.25/12.32	o 173
12.25/12.33	o 172
12.25/12.34	o 171
12.25/12.36	o 170
12.25/12.37	o 169
12.25/12.38	o 168
12.25/12.38	o 167
12.25/12.39	o 166
12.35/12.40	o 165
12.35/12.41	o 164
12.35/12.42	o 163
12.35/12.42	o 162
12.35/12.43	o 161
12.35/12.44	o 160
12.35/12.44	o 159
12.35/12.45	o 158
12.35/12.46	o 157
12.45/12.50	o 156
12.45/12.51	o 155
12.45/12.52	o 154
12.45/12.53	o 153
12.45/12.55	o 152
12.45/12.55	o 151
12.45/12.56	o 150
12.45/12.57	o 149
12.45/12.58	o 148
12.45/12.59	o 147
12.55/12.60	o 146
12.55/12.61	o 145
12.55/12.62	o 144
12.55/12.63	o 143
12.55/12.67	o 142
12.64/12.71	o 141
12.64/12.77	o 140
12.64/12.78	o 139
12.74/12.80	o 138
12.74/12.82	o 137
12.74/12.89	o 136
12.84/12.94	o 135
12.84/12.99	o 134
12.95/13.01	o 133
12.95/13.04	o 132
12.95/13.06	o 131
12.95/13.07	o 130
12.95/13.09	o 129
12.95/13.10	o 128
13.06/13.12	o 127
13.06/13.14	o 126
13.15/13.22	o 125
13.15/13.24	o 124
13.15/13.25	o 123
13.15/13.28	o 122
13.15/13.29	o 121
13.25/13.30	o 120
13.25/13.31	o 119
13.25/13.31	o 118
13.25/13.32	o 117
13.25/13.33	o 116
13.25/13.34	o 115
13.35/13.44	o 114
13.35/13.44	o 113
13.35/13.45	o 112
13.35/13.45	o 111
13.35/13.45	o 110
13.35/13.46	o 109
13.35/13.46	o 108
13.35/13.46	o 107
13.35/13.47	o 106
13.45/13.51	o 105
13.45/13.52	o 104
19.13/19.21	o 103
19.13/19.21	o 102
19.13/19.21	o 101
19.13/19.22	o 100
19.13/19.23	o 99
19.23/19.37	o 98
19.23/19.39	o 97
19.33/19.40	o 96
19.33/19.42	o 95
19.33/19.44	o 94
19.33/19.46	o 93
19.43/19.52	o 92
19.43/19.56	o 91
19.53/19.61	o 90
19.53/19.64	o 89
19.53/19.65	o 88
19.53/19.67	o 87
19.53/19.69	o 86
19.63/19.70	o 85
19.63/19.77	o 84
19.72/19.80	o 83
19.72/19.83	o 82
19.72/19.84	o 81
19.72/19.88	o 80
19.82/19.90	o 79
19.82/19.95	o 78
19.94/20.11	o 77
20.22/20.37	o 76
20.32/20.41	o 75
20.32/20.48	o 74
20.42/20.55	o 73
20.82/20.94	o 72
21.41/21.57	o 71
25.20/25.39	o 70
38.87/39.09	o 69
38.87/39.10	o 68
38.97/39.13	o 67
39.06/39.22	o 66
39.16/39.33	o 65
40.96/41.16	o 64
45.04/45.29	o 63
49.93/50.12	o 62
97.06/97.43	o 61
97.06/97.43	o 60
97.06/97.44	o 59
97.06/97.44	o 58
97.06/97.44	o 57
113.80/114.26	o 56
161.64/162.25	o 55
161.64/162.27	o 54
203.32/204.07	o 53
249.36/250.26	o 52
249.36/250.28	o 51
249.36/250.29	o 50
325.80/326.96	o 49
326.01/327.13	o 48
326.01/327.17	o 47
326.10/327.20	o 46
326.10/327.23	o 45
326.20/327.31	o 44
326.20/327.35	o 43
329.69/330.88	o 42
349.52/350.77	o 41
631.93/634.07	o 40
631.93/634.08	o 39
668.40/670.64	o 38
676.97/679.24	o 37
702.70/705.05	o 36
3600.09/3609.70	c Program interrupted by user.
3600.09/3609.70	s SATISFIABLE
3600.09/3609.70	v x1 x2 x3 x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048

Verifier Data 

OK	36

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: 64096 MiB (62658 MiB free)
  memory of node 1: 64473 MiB (63451 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433241-1721131177/watcher-4433241-1721131177 -o /tmp/evaluation-result-4433241-1721131177/solver-4433241-1721131177 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721131190-849823 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=554930357 HOME/instance-4433241-1721131177.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=849872, runsolver pid=849869
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 1.23 1.26 1.88 6/241 849873
/proc/meminfo: memFree=129117736/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=34184 memory=11500 CPUtime=0.1 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 2348 0 0 0 10 0 0 0 20 0 1 0 165273603 35004416 2875 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 8546 2875 868 1005 0 7309 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34184 KiB
Current children cumulated memory: 11500 KiB

[startup+0.212685 s]*
/proc/loadavg: 1.23 1.26 1.88 5/239 849873
/proc/meminfo: memFree=129118536/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=36080 memory=14140 CPUtime=0.21 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 2958 0 0 0 21 0 0 0 20 0 1 0 165273603 36945920 3535 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 9020 3535 868 1005 0 7783 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36080 KiB
Current children cumulated memory: 14140 KiB

[startup+0.312114 s]*
/proc/loadavg: 1.23 1.26 1.88 5/239 849873
/proc/meminfo: memFree=129111956/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=38304 memory=16780 CPUtime=0.31 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 3639 0 0 0 30 1 0 0 20 0 1 0 165273603 39223296 4195 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 9576 4195 868 1005 0 8339 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 16780 KiB

[startup+0.700304 s]
/proc/loadavg: 1.23 1.26 1.88 5/245 849884
/proc/meminfo: memFree=129046680/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=46992 memory=29580 CPUtime=0.69 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 5809 0 0 0 66 3 0 0 20 0 1 0 165273603 48119808 7395 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 11748 7395 868 1005 0 10511 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46992 KiB
Current children cumulated memory: 29580 KiB

[startup+1.50036 s]
/proc/loadavg: 1.23 1.26 1.88 5/245 849884
/proc/meminfo: memFree=129002448/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=75860 memory=64752 CPUtime=1.48 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 13069 0 0 0 143 5 0 0 20 0 1 0 165273603 77680640 16188 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 18965 16188 868 1005 0 17728 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75860 KiB
Current children cumulated memory: 64752 KiB

[startup+3.11318 s]
/proc/loadavg: 1.23 1.26 1.88 5/245 849886
/proc/meminfo: memFree=128557140/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=280520 memory=272140 CPUtime=3.09 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 40040 0 0 0 290 19 0 0 20 0 1 0 165273603 287252480 68035 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 70130 68035 1028 1005 0 68893 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 280520 KiB
Current children cumulated memory: 272140 KiB

[startup+6.30031 s]
/proc/loadavg: 1.45 1.31 1.89 5/245 849886
/proc/meminfo: memFree=128236372/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=280520 memory=272204 CPUtime=6.27 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 40116 0 0 0 608 19 0 0 20 0 1 0 165273603 287252480 68051 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 70130 68051 1044 1005 0 68893 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 280520 KiB
Current children cumulated memory: 272204 KiB

[startup+12.7003 s]
/proc/loadavg: 1.66 1.35 1.91 5/245 849887
/proc/meminfo: memFree=128070184/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=435056 memory=380584 CPUtime=12.64 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 56269 0 0 0 1241 23 0 0 20 0 1 0 165273603 445497344 95146 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 108764 95146 1124 1005 0 107527 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 435056 KiB
Current children cumulated memory: 380584 KiB

[startup+25.5003 s]
/proc/loadavg: 2.24 1.50 1.95 5/245 849893
/proc/meminfo: memFree=127531812/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=675180 memory=590920 CPUtime=25.4 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 91129 0 0 0 2507 33 0 0 20 0 1 0 165273603 691384320 147730 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 168795 147730 1124 1005 0 167558 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 675180 KiB
Current children cumulated memory: 590920 KiB

[startup+51.1132 s]
/proc/loadavg: 3.13 1.77 2.02 6/245 849896
/proc/meminfo: memFree=126755160/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=809160 memory=636956 CPUtime=50.93 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 95255 0 0 0 5055 38 0 0 20 0 1 0 165273603 828579840 159239 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 202290 159239 1124 1005 0 201053 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 809160 KiB
Current children cumulated memory: 636956 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 2.31 2.20 5/245 849917
/proc/meminfo: memFree=126364316/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=826376 memory=739764 CPUtime=101.94 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 105239 0 0 0 10151 43 0 0 20 0 1 0 165273603 846209024 184941 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 206594 184941 1124 1005 0 205357 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 739764 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 2.65 2.32 5/244 849929
/proc/meminfo: memFree=125809764/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=849836 memory=763468 CPUtime=161.74 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 107716 0 0 0 16125 49 0 0 20 0 1 0 165273603 870232064 190867 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 212459 190867 1140 1005 0 211222 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 849836 KiB
Current children cumulated memory: 763468 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 2.92 2.44 5/243 849939
/proc/meminfo: memFree=125567756/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=849836 memory=766784 CPUtime=221.54 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 108790 0 0 0 22104 50 0 0 20 0 1 0 165273603 870232064 191696 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 212459 191696 1140 1005 0 211222 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 849836 KiB
Current children cumulated memory: 766784 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.13 2.54 5/243 849949
/proc/meminfo: memFree=125524268/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=849836 memory=767656 CPUtime=281.35 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 109084 0 0 0 28083 52 0 0 20 0 1 0 165273603 870232064 191914 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 212459 191914 1140 1005 0 211222 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 849836 KiB
Current children cumulated memory: 767656 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.31 2.64 5/243 849960
/proc/meminfo: memFree=125491188/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=850004 memory=774976 CPUtime=341.15 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 110551 0 0 0 34062 53 0 0 20 0 1 0 165273603 870404096 193744 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 212501 193744 1140 1005 0 211264 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 850004 KiB
Current children cumulated memory: 774976 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.45 2.74 5/241 849971
/proc/meminfo: memFree=125261148/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1025796 memory=928780 CPUtime=400.96 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 119420 0 0 0 40035 61 0 0 20 0 1 0 165273603 1050415104 232195 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 256449 232195 1140 1005 0 255212 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 1025796 KiB
Current children cumulated memory: 928780 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 3.60 2.83 5/241 849981
/proc/meminfo: memFree=125181404/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1087732 memory=989596 CPUtime=460.76 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 122922 0 0 0 46008 68 0 0 20 0 1 0 165273603 1113837568 247399 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 271933 247399 1140 1005 0 270696 0

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

Current children cumulated memory: 1279820 KiB

[startup+2922.3 s]
/proc/loadavg: 4.26 4.29 4.12 5/242 851079
/proc/meminfo: memFree=123936476/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=2914.36 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 155673 0 0 0 291316 120 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.25 4.11 5/242 851090
/proc/meminfo: memFree=123918460/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=2974.22 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 155834 0 0 0 297298 124 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 2974.22 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3042.3 s]
/proc/loadavg: 4.30 4.26 4.12 5/245 851105
/proc/meminfo: memFree=123866788/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=3034.07 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 155995 0 0 0 303279 128 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3102.3 s]
/proc/loadavg: 4.29 4.27 4.14 5/245 851115
/proc/meminfo: memFree=123853492/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=3093.93 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 156177 0 0 0 309262 131 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.25 4.14 5/245 851126
/proc/meminfo: memFree=123850668/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=3153.78 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 156362 0 0 0 315244 134 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.22 4.13 5/244 851136
/proc/meminfo: memFree=123841640/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=3213.64 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 156501 0 0 0 321227 137 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.19 4.12 5/244 851146
/proc/meminfo: memFree=123816568/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=3273.49 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 156638 0 0 0 327209 140 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.12 5/243 851541
/proc/meminfo: memFree=123798116/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=3333.35 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 156771 0 0 0 333191 144 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/243 851552
/proc/meminfo: memFree=123763788/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=3393.2 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 156903 0 0 0 339172 148 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/243 851562
/proc/meminfo: memFree=123763240/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279820 CPUtime=3453.05 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 157598 0 0 0 345155 150 0 0 20 0 1 0 165273603 1414660096 319955 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319955 1140 1005 0 344139 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/245 851742
/proc/meminfo: memFree=123752296/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279824 CPUtime=3512.9 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 157885 0 0 0 351140 150 0 0 20 0 1 0 165273603 1414660096 319956 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319956 1140 1005 0 344139 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279824 KiB

[startup+3582.3 s]
/proc/loadavg: 4.76 4.32 4.18 5/245 851753
/proc/meminfo: memFree=123751012/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279824 CPUtime=3572.76 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 158206 0 0 0 357126 150 0 0 20 0 1 0 165273603 1414660096 319956 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319956 1140 1005 0 344139 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.98 4.41 4.21 5/242 851760
/proc/meminfo: memFree=126150944/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279824 CPUtime=3600.09 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 158278 0 0 0 359859 150 0 0 20 0 1 0 165273603 1414660096 319956 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319956 1140 1005 0 344139 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279824 KiB

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

[startup+3609.71 s]
# the end of solver process 849872 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.6 s, system=1.51644 s

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

[startup+3609.7 s]
/proc/loadavg: 4.98 4.41 4.21 5/242 851760
/proc/meminfo: memFree=126150944/131655788 swapFree=131071996/131071996
[pid=849872] ppid=849869 vsize=1381504 memory=1279824 CPUtime=3600.09 cores=1,3
/proc/849872/stat : 849872 (Exact) R 849869 849872 849811 0 -1 4194304 158278 0 0 0 359859 150 0 0 20 0 1 0 165273603 1414660096 319956 134679101440 4194304 8309489 140726420032480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38920192 140726420038591 140726420038760 140726420038760 140726420045775 0
/proc/849872/statm: 345376 319956 1140 1005 0 344139 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1381504 KiB
Current children cumulated memory: 1279824 KiB

Child status: 10

Real time (s): 3609.71
CPU time (s): 3600.11
CPU user time (s): 3598.6
CPU system time (s): 1.51644
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 1381504
Max. memory (cumulated for all children) (KiB): 1279824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.6
system time used= 1.51644
maximum resident set size= 1279824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158285
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= 72
involuntary context switches= 1429


# summary of solver processes directly reported to runsolver:
#   pid: 849872
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.6
#   total CPU system time (s): 1.51644

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6209 second user time and 34.3899 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-16 13:59:50
IDJOB=4433241
IDBENCH=155403
IDSOLVER=3060
FILE ID=nodeC004/4433241-1721131177
RUNJOBID= nodeC004-1721131190-849823
SLURM_JOB_ID= 7505699
Free space on /tmp= 723720 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433241-1721131177/watcher-4433241-1721131177 -o /tmp/evaluation-result-4433241-1721131177/solver-4433241-1721131177 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721131190-849823 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=554930357 HOME/instance-4433241-1721131177.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=554930357

nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.310
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 1372.183
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.309
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 1218.627
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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		: 1220.102
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.311
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.407
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.310
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129143920 kB
MemAvailable:   129870796 kB
Buffers:          421284 kB
Cached:          1143216 kB
SwapCached:            0 kB
Active:           754268 kB
Inactive:        1221104 kB
Active(anon):       3344 kB
Inactive(anon):   445296 kB
Active(file):     750924 kB
Inactive(file):   775808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             73472 kB
Writeback:             0 kB
AnonPages:        410652 kB
Mapped:           112068 kB
Shmem:             37700 kB
KReclaimable:      80684 kB
Slab:             176312 kB
SReclaimable:      80684 kB
SUnreclaim:        95628 kB
KernelStack:        3888 kB
PageTables:         9960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     804144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52832 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189256 kB
DirectMap2M:    14395392 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723688 MiB
End job on nodeC004 at 2024-07-16 15:00:00