Trace number 4080007

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
toysat 2016-05-02? (TO) 1800.08 1800.43

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-859770.opb
MD5SUMcbc412f006cacd8e2fcdc61d20cbc351
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark56.3364
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2504
Total number of constraints2065
Number of constraints which are clauses1536
Number of constraints which are cardinality constraints (but not clauses)529
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint8
Maximum length of a constraint1446
Number of terms in the objective function 2504
Biggest coefficient in the objective function 10
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 16472
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 16472
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T07:40:31+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080007-1465278030.opb"]
0.00/0.01	c use --random-gen="922728601 737215304 20274420 3734187205 2861353139 3267693541 2149426004 2249447649 1979603180 3336814819 1729172043 778105930 573624029 499550294 4026052535 3814489030 2706035765 2110215049 937013577 2797956611 3596325484 1589454138 2436075099 1448621874 2292495964 2843852458 301275492 3162931131 1728384100 2171594239 790129008 1970770286 3299448682 1856352878 713011984 3789222168 309685219 2529809721 1754067231 1033715721 3989386844 768911918 3096355286 3764889084 3886169640 3287293216 185124304 1329333572 2736177848 3792882919 3818857860 90443601 3880381209 2909205993 2437323043 3658354003 3730839140 1563494177 2799654394 1619493195 946396797 2326460941 2134763391 3142808659 1764890570 1525112087 466555872 2347177356 3382372231 1284467961 3369507584 3079112527 3156578968 1613944321 2774592009 1560256659 4023861972 2452828454 1511508503 2300535198 3820311852 812731903 201856222 3981508709 286801063 669066161 3902310125 745334929 1946952308 1636389410 4130198921 202223985 3721680827 2097655942 1413653994 3017759283 53644401 4194147155 2836058880 2751120637 4104636978 3821899323 1637189869 2318443348 3789670891 979669673 3778863014 3432977254 2310079013 202345260 613950115 2488709767 1419166949 2998737631 2507235367 1890021060 1211357107 4191774648 1066658882 3612906163 2799995744 3109866389 3179053229 1801856654 2125779543 3917208149 2187754439 509253544 3229471029 1423806474 2037689876 2765466791 1523416039 2295746654 1472541778 2962331280 2150447781 3716370805 2111869451 3108968765 3871423003 317306045 2207892292 2553663356 3039723038 2376361308 3954421621 1733031323 608927377 3332739586 4120400946 190312336 642059203 3767655307 1368634454 2119076268 1407064780 2674590784 791492346 4290734126 2230461256 540580658 2568861024 2801116115 1503756161 1062039472 2258362196 3895979609 114702621 166456847 1619935425 353710155 1317108258 1138837563 2504936279 3405143448 2814319577 3553463837 477315198 3380086310 3077877126 2947968920 3823828614 1173291707 3145278882 2503003433 1373169276 910548276 2396390628 204265175 1384781451 3070564367 1086624778 2194258633 743500475 906319707 2162455901 1037390161 17906148 3986234743 2352771173 3060781283 639846273 2495872898 6804493 506846238 2992108231 894117243 3003862330 1990764108 1585209152 1548146800 639351188 581611095 1760606846 3212523437 3841337773 2135411707 2323625907 2234090473 896018451 529058631 110466385 83881823 794389755 2515041007 2889683277 3654465331 596552964 905638820 3645837078 1975046802 4035511503 3306941070 1190308902 941020451 3825738148 1747178055 1841189207 938142595 1922664367 2551881741 546551792 1315476163 1256848627 507846612 2791575361 3296361694 3598448115 3454483586 3437343447 721144451 1001818787 191720558 2909000832 2020354954 255 362436" option to reproduce the execution
1.40/1.49	c #vars 2504
1.40/1.49	c #constraints 2065
4.19/4.26	c BCD2: Hardening is enabled.
4.19/4.26	c BCD2: BiasedSearch is enabled.
4.19/4.26	c Solving starts ...
4.19/4.26	c ============================[ Search Statistics ]============================
4.19/4.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.19/4.26	c       |         |          |          |    Limit     GC | Var      | Constra 
4.19/4.26	c =============================================================================
4.19/4.26	c  0.0s |       0 |        0 |        0 |     1529      0 |        0 |        0
5.09/5.12	c  0.9s |       1 |     5328 |      100 |     1529      0 |        1 |        1
6.29/6.38	c  2.1s |       2 |    10269 |      250 |     1682      0 |        1 |        1
7.29/7.36	c  3.1s |       3 |    11985 |      475 |     1851      0 |        1 |        1
10.68/10.79	c  6.5s |       3 |    13669 |      675 |     2037      0 |        1 |        1
12.88/12.92	c  8.7s |       3 |    13842 |      775 |     2037      0 |        1 |        1
13.79/13.80	c  9.5s |       4 |    13891 |      813 |     2037      0 |        1 |        1
15.89/15.98	c 11.7s |       4 |    15172 |     1013 |     2241      0 |        1 |        1
18.90/18.97	c 14.7s |       4 |    18402 |     1313 |     2241      0 |        1 |        1
19.00/19.06	c 14.8s |       5 |    18403 |     1320 |     2241      0 |        1 |        1
22.09/22.16	c 17.9s |       5 |    22617 |     1620 |     2466      0 |        1 |        1
23.49/23.59	c 19.3s |       6 |    25791 |     2081 |     2713      0 |        1 |        1
27.29/27.35	c 23.1s |       6 |    32540 |     2281 |     2713      0 |        1 |        1
29.48/29.51	c 25.3s |       6 |    45659 |     2881 |     2713      0 |        1 |        1
30.78/30.88	c 26.6s |       7 |    48366 |     3223 |     2985      0 |        1 |        1
33.38/33.40	c 29.1s |       7 |    50047 |     3523 |     2985      1 |        1 |        1
35.59/35.65	c 31.4s |       7 |    50466 |     3823 |     2985      1 |        1 |        1
38.39/38.40	c 34.1s |       7 |    53854 |     4023 |     2985      1 |        1 |        1
40.78/40.81	c 36.6s |       7 |    56674 |     4223 |     2985      1 |        1 |        1
43.09/43.20	c 38.9s |       7 |    61626 |     4623 |     2985      1 |        1 |        1
45.88/45.97	c 41.7s |       7 |    63066 |     4823 |     2985      1 |        1 |        1
47.59/47.61	c 43.3s |       8 |    66956 |     4936 |     3284      1 |        1 |        1
49.79/49.81	c 45.6s |       8 |    72480 |     5536 |     3284      2 |        1 |        1
51.78/51.86	c 47.6s |       8 |    79883 |     6236 |     3284      2 |        1 |        1
53.98/54.07	c 49.8s |       8 |    80733 |     6436 |     3284      2 |        1 |        1
56.29/56.30	c 52.0s |       8 |    81929 |     6736 |     3284      2 |        1 |        1
58.38/58.48	c 54.2s |       8 |    85062 |     7236 |     3284      2 |        1 |        1
59.77/59.83	c 55.6s |       9 |    86037 |     7506 |     3613      2 |        1 |        1
62.68/62.77	c 58.5s |       9 |    87943 |     7806 |     3613      3 |        1 |        1
65.09/65.19	c 60.9s |       9 |    91266 |     8306 |     3613      3 |        1 |        1
67.08/67.19	c 62.9s |       9 |    95632 |     8706 |     3613      3 |        1 |        1
69.18/69.24	c 65.0s |       9 |   101588 |     9606 |     3613      3 |        1 |        1
71.68/71.71	c 67.5s |       9 |   107113 |    10506 |     3613      4 |        1 |        1
73.98/74.06	c 69.8s |       9 |   112251 |    11306 |     3975      4 |        1 |        1
74.28/74.37	c 70.1s |      10 |   112529 |    11361 |     3975      4 |        1 |        1
76.48/76.54	c 72.3s |      10 |   115193 |    11661 |     3975      4 |        1 |        1
79.38/79.41	c 75.1s |      10 |   118742 |    12361 |     3975      4 |        1 |        1
83.18/83.22	c 79.0s |      10 |   119601 |    12561 |     3975      4 |        1 |        1
85.18/85.24	c 81.0s |      10 |   119710 |    12661 |     3975      4 |        1 |        1
88.07/88.18	c 83.9s |      10 |   120021 |    12861 |     3975      4 |        1 |        1
91.37/91.42	c 87.2s |      10 |   120370 |    13061 |     3975      4 |        1 |        1
94.17/94.27	c 90.0s |      10 |   120812 |    13261 |     3975      4 |        1 |        1
96.87/96.93	c 92.7s |      10 |   121220 |    13461 |     3975      4 |        1 |        1
99.98/100.06	c 95.8s |      10 |   121783 |    13761 |     3975      4 |        1 |        1
103.17/103.25	c 99.0s |      10 |   122106 |    13961 |     3975      5 |        1 |        1
106.07/106.13	c  101s |      10 |   122393 |    14161 |     3975      5 |        1 |        1
108.57/108.62	c  104s |      10 |   122680 |    14361 |     3975      5 |        1 |        1
111.87/111.90	c  107s |      10 |   123154 |    14561 |     3975      5 |        1 |        1
114.97/115.04	c  110s |      10 |   123425 |    14761 |     3975      5 |        1 |        1
117.77/117.84	c  113s |      10 |   124368 |    14961 |     3975      5 |        1 |        1
121.07/121.13	c  116s |      10 |   124811 |    15161 |     3975      5 |        1 |        1
123.87/123.98	c  119s |      10 |   125206 |    15361 |     3975      5 |        1 |        1
126.68/126.80	c  122s |      10 |   125553 |    15561 |     3975      5 |        1 |        1
129.27/129.38	c  125s |      10 |   126136 |    15761 |     3975      5 |        1 |        1
133.07/133.10	c  128s |      10 |   126454 |    15961 |     3975      5 |        1 |        1
135.87/135.95	c  131s |      10 |   126904 |    16161 |     3975      5 |        1 |        1
138.16/138.28	c  134s |      10 |   127342 |    16361 |     3975      5 |        1 |        1
140.46/140.59	c  136s |      10 |   127470 |    16461 |     3975      6 |        1 |        1
143.36/143.40	c  139s |      10 |   127820 |    16661 |     3975      6 |        1 |        1
145.67/145.73	c  141s |      10 |   128873 |    16861 |     3975      6 |        1 |        1
148.37/148.48	c  144s |      10 |   129016 |    16961 |     3975      6 |        1 |        1
151.37/151.45	c  147s |      11 |   129402 |    17144 |     4373      6 |        1 |        1
153.86/153.91	c  149s |      11 |   129966 |    17344 |     4373      6 |        1 |        1
156.66/156.78	c  152s |      11 |   130252 |    17544 |     4373      6 |        1 |        1
159.96/160.00	c  155s |      11 |   130574 |    17744 |     4373      6 |        1 |        1
162.86/162.92	c  158s |      11 |   130909 |    17944 |     4373      6 |        1 |        1
166.37/166.43	c  162s |      11 |   131364 |    18144 |     4373      6 |        1 |        1
169.27/169.32	c  165s |      11 |   131789 |    18344 |     4373      6 |        1 |        1
172.66/172.79	c  168s |      11 |   132121 |    18544 |     4373      6 |        1 |        1
175.17/175.26	c  171s |      11 |   134174 |    18744 |     4373      7 |        1 |        1
178.16/178.26	c  174s |      11 |   136257 |    19044 |     4373      7 |        1 |        1
181.06/181.13	c  176s |      11 |   136395 |    19144 |     4373      7 |        1 |        1
183.16/183.29	c  179s |      11 |   136570 |    19244 |     4373      7 |        1 |        1
185.46/185.53	c  181s |      11 |   136735 |    19344 |     4373      7 |        1 |        1
188.16/188.27	c  184s |      11 |   137029 |    19544 |     4373      7 |        1 |        1
191.76/191.87	c  187s |      11 |   137328 |    19744 |     4373      7 |        1 |        1
195.86/195.95	c  191s |      11 |   137693 |    19944 |     4373      7 |        1 |        1
199.26/199.38	c  195s |      11 |   138014 |    20144 |     4373      7 |        1 |        1
202.56/202.70	c  198s |      11 |   138271 |    20344 |     4373      7 |        1 |        1
205.76/205.84	c  201s |      11 |   138687 |    20544 |     4373      7 |        1 |        1
208.86/208.94	c  204s |      11 |   138921 |    20744 |     4373      7 |        1 |        1
212.05/212.10	c  207s |      11 |   139232 |    20944 |     4373      7 |        1 |        1
214.46/214.56	c  210s |      11 |   144317 |    21344 |     4373      7 |        1 |        1
217.16/217.27	c  213s |      11 |   145139 |    21544 |     4373      7 |        1 |        1
219.36/219.48	c  215s |      11 |   145971 |    21844 |     4373      7 |        1 |        1
221.65/221.77	c  217s |      11 |   147410 |    22044 |     4373      8 |        1 |        1
224.15/224.27	c  220s |      11 |   149175 |    22344 |     4373      8 |        1 |        1
226.65/226.75	c  222s |      11 |   151183 |    22744 |     4373      8 |        2 |        2
230.16/230.28	c  226s |      11 |   153413 |    23044 |     4373      8 |        2 |        2
232.56/232.61	c  228s |      11 |   154243 |    23344 |     4373      8 |        2 |        2
239.55/239.68	c  235s |      11 |   154878 |    23544 |     4373      8 |        2 |        2
246.05/246.16	c  241s |      11 |   155191 |    23644 |     4373      8 |        2 |        2
249.96/250.07	c  245s |      11 |   155433 |    23744 |     4373      8 |        2 |        2
252.25/252.30	c  248s |      11 |   155574 |    23844 |     4373      8 |        2 |        2
255.25/255.36	c  251s |      11 |   155720 |    23944 |     4373      8 |        2 |        2
258.94/259.04	c  254s |      11 |   156098 |    24144 |     4373      8 |        2 |        2
261.55/261.60	c  257s |      11 |   156276 |    24244 |     4373      8 |        2 |        2
263.75/263.80	c  259s |      11 |   156504 |    24344 |     4373      8 |        2 |        2
265.85/265.93	c  261s |      11 |   156938 |    24544 |     4373      8 |        2 |        2
268.85/268.99	c  264s |      11 |   157344 |    24644 |     4373      9 |        2 |        2
271.95/272.04	c  267s |      11 |   157637 |    24744 |     4373      9 |        2 |        2
274.74/274.83	c  270s |      11 |   158596 |    24944 |     4373      9 |        2 |        2
277.54/277.69	c  273s |      11 |   158798 |    25044 |     4373      9 |        2 |        2
280.14/280.24	c  275s |      11 |   159299 |    25244 |     4373      9 |        2 |        2
283.96/284.05	c  279s |      11 |   159696 |    25444 |     4373      9 |        2 |        2
286.16/286.27	c  282s |      11 |   159885 |    25544 |     4373      9 |        2 |        2
288.25/288.38	c  284s |      11 |   160389 |    25744 |     4811      9 |        2 |        2
288.95/289.02	c  284s |      12 |   160505 |    25819 |     4811      9 |        2 |        2
291.75/291.85	c  287s |      12 |   164949 |    26019 |     4811      9 |        2 |        2
294.55/294.61	c  290s |      12 |   165433 |    26119 |     4811      9 |        2 |        2
297.65/297.77	c  293s |      12 |   166089 |    26219 |     4811      9 |        2 |        2
301.85/301.96	c  297s |      12 |   166304 |    26319 |     4811      9 |        2 |        2
304.54/304.60	c  300s |      12 |   166543 |    26419 |     4811      9 |        2 |        2
306.54/306.64	c  302s |      12 |   166941 |    26519 |     4811      9 |        2 |        2
309.25/309.33	c  305s |      12 |   167264 |    26619 |     4811      9 |        2 |        2
317.05/317.16	c  312s |      12 |   167853 |    26819 |     4811      9 |        2 |        2
320.64/320.73	c  316s |      12 |   169311 |    26919 |     4811      9 |        2 |        2
324.24/324.34	c  320s |      12 |   170646 |    27019 |     4811      9 |        2 |        2
327.84/327.96	c  323s |      12 |   170928 |    27119 |     4811      9 |        2 |        2
330.14/330.25	c  325s |      12 |   171184 |    27219 |     4811      9 |        2 |        2
333.54/333.67	c  329s |      12 |   173638 |    27419 |     4811      9 |        2 |        2
336.63/336.73	c  332s |      12 |   174505 |    27619 |     4811      9 |        2 |        2
340.73/340.81	c  336s |      12 |   174842 |    27719 |     4811      9 |        2 |        2
343.23/343.36	c  339s |      12 |   175157 |    27819 |     4811      9 |        2 |        2
345.33/345.49	c  341s |      12 |   175845 |    28019 |     4811      9 |        2 |        2
350.44/350.57	c  346s |      12 |   177676 |    28219 |     4811     10 |        2 |        2
352.44/352.59	c  348s |      12 |   178315 |    28319 |     4811     10 |        2 |        2
354.64/354.76	c  350s |      12 |   178729 |    28419 |     4811     10 |        2 |        2
358.13/358.22	c  353s |      12 |   178984 |    28519 |     4811     10 |        2 |        2
360.83/360.91	c  356s |      12 |   179419 |    28619 |     4811     10 |        2 |        2
363.03/363.10	c  358s |      12 |   179668 |    28719 |     4811     10 |        2 |        2
367.13/367.28	c  363s |      12 |   181389 |    28919 |     4811     10 |        2 |        2
369.43/369.55	c  365s |      12 |   181728 |    29019 |     4811     10 |        2 |        2
372.04/372.13	c  367s |      12 |   182283 |    29119 |     4811     10 |        2 |        2
375.63/375.74	c  371s |      12 |   182621 |    29219 |     4811     10 |        2 |        2
378.03/378.13	c  373s |      12 |   183010 |    29319 |     4811     10 |        2 |        2
380.23/380.36	c  376s |      12 |   183314 |    29419 |     4811     10 |        2 |        2
383.23/383.37	c  379s |      12 |   184007 |    29619 |     4811     10 |        2 |        2
385.33/385.49	c  381s |      12 |   185216 |    29819 |     4811     10 |        2 |        2
388.03/388.16	c  383s |      12 |   185738 |    30019 |     4811     10 |        2 |        2
391.23/391.34	c  387s |      12 |   188127 |    30319 |     4811     10 |        2 |        2
394.83/394.97	c  390s |      12 |   189508 |    30519 |     4811     10 |        2 |        2
398.13/398.21	c  393s |      12 |   189818 |    30719 |     4811     10 |        2 |        2
400.53/400.63	c  396s |      12 |   190601 |    30919 |     4811     10 |        2 |        2
402.52/402.66	c  398s |      12 |   190796 |    31019 |     4811     10 |        2 |        2
408.52/408.65	c  404s |      12 |   192150 |    31219 |     4811     10 |        2 |        2
410.92/411.01	c  406s |      12 |   192544 |    31319 |     4811     10 |        2 |        2
414.42/414.54	c  410s |      12 |   193260 |    31519 |     4811     11 |        2 |        2
420.72/420.83	c  416s |      12 |   193760 |    31719 |     4811     11 |        2 |        2
424.83/424.97	c  420s |      12 |   194090 |    31819 |     4811     11 |        2 |        2
428.32/428.49	c  424s |      12 |   194478 |    32019 |     4811     11 |        2 |        2
430.63/430.79	c  426s |      12 |   194866 |    32219 |     4811     11 |        2 |        2
432.73/432.84	c  428s |      12 |   197318 |    32519 |     4811     11 |        2 |        2
437.93/438.01	c  433s |      12 |   198262 |    32719 |     4811     11 |        2 |        2
440.23/440.31	c  436s |      12 |   198665 |    32819 |     4811     11 |        2 |        2
442.82/442.98	c  438s |      12 |   198842 |    32919 |     4811     11 |        2 |        2
444.92/445.06	c  440s |      12 |   199266 |    33019 |     4811     11 |        2 |        2
449.62/449.73	c  445s |      12 |   199416 |    33119 |     4811     11 |        2 |        2
452.22/452.31	c  448s |      12 |   200961 |    33319 |     4811     11 |        2 |        2
454.62/454.75	c  450s |      12 |   204244 |    33719 |     4811     11 |        2 |        2
458.22/458.32	c  454s |      12 |   204869 |    33819 |     4811     11 |        2 |        2
460.42/460.51	c  456s |      12 |   205217 |    33919 |     4811     11 |        2 |        2
463.12/463.20	c  458s |      12 |   207125 |    34319 |     4811     11 |        2 |        2
465.82/465.98	c  461s |      12 |   207419 |    34419 |     4811     11 |        2 |        2
469.22/469.33	c  465s |      12 |   207872 |    34519 |     4811     11 |        2 |        2
472.72/472.82	c  468s |      12 |   208654 |    34719 |     4811     11 |        2 |        2
476.12/476.29	c  472s |      12 |   209756 |    34919 |     4811     12 |        2 |        2
478.52/478.61	c  474s |      12 |   210480 |    35119 |     4811     12 |        2 |        2
481.71/481.80	c  477s |      12 |   210795 |    35319 |     4811     12 |        2 |        2
485.01/485.10	c  480s |      12 |   211481 |    35519 |     4811     12 |        2 |        2
488.01/488.17	c  483s |      12 |   212005 |    35719 |     4811     12 |        2 |        2
490.21/490.30	c  486s |      12 |   212419 |    35819 |     4811     12 |        2 |        2
492.71/492.80	c  488s |      12 |   213012 |    35919 |     4811     12 |        2 |        2
495.91/496.07	c  491s |      12 |   213987 |    36119 |     4811     12 |        2 |        2
498.81/498.90	c  494s |      12 |   214849 |    36319 |     4811     12 |        2 |        2
502.21/502.36	c  498s |      12 |   215608 |    36519 |     4811     12 |        2 |        2
506.51/506.61	c  502s |      12 |   215961 |    36619 |     4811     12 |        2 |        2
508.71/508.81	c  504s |      12 |   217250 |    37019 |     4811     12 |        2 |        2
510.91/511.06	c  506s |      12 |   218177 |    37219 |     4811     12 |        2 |        2
513.11/513.25	c  508s |      12 |   218294 |    37319 |     4811     12 |        2 |        2
515.51/515.62	c  511s |      12 |   220445 |    37519 |     4811     12 |        2 |        2
518.41/518.53	c  514s |      12 |   221439 |    37819 |     4811     12 |        2 |        2
521.41/521.58	c  517s |      12 |   221924 |    38019 |     4811     13 |        2 |        2
524.01/524.18	c  519s |      12 |   222680 |    38219 |     4811     13 |        2 |        2
527.21/527.31	c  523s |      12 |   223049 |    38319 |     4811     13 |        2 |        2
529.61/529.74	c  525s |      12 |   223718 |    38519 |     4811     13 |        2 |        2
533.01/533.18	c  528s |      12 |   224174 |    38619 |     5293     13 |        2 |        2
535.81/535.95	c  531s |      12 |   225723 |    38819 |     5293     13 |        2 |        2
536.00/536.14	c  531s |      13 |   225732 |    38832 |     5293     13 |        2 |        2
539.11/539.28	c  535s |      13 |   228627 |    39032 |     5293     13 |        2 |        2
542.20/542.38	c  538s |      13 |   233374 |    39332 |     5293     13 |        2 |        2
545.11/545.27	c  541s |      13 |   233689 |    39432 |     5293     13 |        2 |        2
547.51/547.63	c  543s |      13 |   234591 |    39632 |     5293     13 |        2 |        2
550.41/550.58	c  546s |      13 |   235442 |    39932 |     5293     13 |        2 |        2
552.90/553.07	c  548s |      13 |   235726 |    40132 |     5293     13 |        2 |        2
555.10/555.25	c  550s |      13 |   236607 |    40232 |     5293     13 |        2 |        2
558.10/558.24	c  553s |      13 |   236808 |    40332 |     5293     13 |        2 |        2
560.41/560.56	c  556s |      13 |   237563 |    40532 |     5293     13 |        2 |        2
562.81/562.94	c  558s |      13 |   237961 |    40732 |     5293     13 |        2 |        2
565.61/565.77	c  561s |      13 |   238231 |    40932 |     5293     13 |        2 |        2
568.40/568.50	c  564s |      13 |   238888 |    41132 |     5293     13 |        2 |        2
571.91/572.03	c  567s |      13 |   243299 |    41532 |     5293     14 |        2 |        2
574.31/574.44	c  570s |      13 |   246064 |    42032 |     5293     14 |        2 |        2
577.00/577.13	c  572s |      13 |   247754 |    42332 |     5293     14 |        2 |        2
579.40/579.56	c  575s |      13 |   248854 |    42632 |     5293     14 |        2 |        2
581.70/581.84	c  577s |      13 |   249386 |    42832 |     5293     14 |        2 |        2
584.00/584.10	c  579s |      13 |   250371 |    43132 |     5293     14 |        2 |        2
589.09/589.24	c  584s |      13 |   255863 |    43432 |     5293     14 |        2 |        2
593.40/593.59	c  589s |      13 |   256511 |    43532 |     5293     14 |        2 |        2
597.41/597.51	c  593s |      13 |   256699 |    43632 |     5293     14 |        2 |        2
599.50/599.62	c  595s |      13 |   257409 |    43732 |     5293     14 |        2 |        2
603.50/603.64	c  599s |      13 |   258456 |    43932 |     5293     14 |        2 |        2
605.70/605.89	c  601s |      13 |   258871 |    44132 |     5293     14 |        2 |        2
608.40/608.56	c  604s |      13 |   261273 |    44632 |     5293     14 |        2 |        2
610.90/611.02	c  606s |      13 |   263049 |    44832 |     5293     14 |        2 |        2
613.79/613.93	c  609s |      13 |   264604 |    45032 |     5293     14 |        2 |        2
617.20/617.32	c  613s |      13 |   264988 |    45132 |     5293     14 |        2 |        2
619.59/619.76	c  615s |      13 |   265209 |    45232 |     5293     14 |        2 |        2
623.80/624.00	c  619s |      13 |   266042 |    45432 |     5293     15 |        2 |        2
625.89/626.00	c  621s |      13 |   267254 |    45632 |     5293     15 |        2 |        2
628.09/628.23	c  623s |      13 |   267976 |    45932 |     5293     15 |        2 |        2
630.50/630.66	c  626s |      13 |   273188 |    46232 |     5293     15 |        2 |        2
632.70/632.83	c  628s |      13 |   273627 |    46432 |     5293     15 |        2 |        2
634.79/634.96	c  630s |      13 |   275282 |    46832 |     5293     15 |        2 |        2
637.49/637.66	c  633s |      13 |   277574 |    47432 |     5293     15 |        2 |        2
639.69/639.81	c  635s |      13 |   281033 |    47632 |     5293     15 |        2 |        2
643.79/643.98	c  639s |      13 |   281972 |    47832 |     5293     15 |        2 |        2
647.69/647.81	c  643s |      13 |   283481 |    48032 |     5293     15 |        2 |        2
651.09/651.29	c  647s |      13 |   284867 |    48232 |     5293     15 |        2 |        2
655.39/655.55	c  651s |      13 |   285921 |    48432 |     5293     15 |        2 |        2
658.09/658.22	c  653s |      13 |   286095 |    48532 |     5293     15 |        2 |        2
662.30/662.43	c  658s |      13 |   287284 |    48732 |     5293     15 |        2 |        2
664.99/665.10	c  660s |      13 |   287738 |    48832 |     5293     15 |        2 |        2
667.90/668.02	c  663s |      13 |   288247 |    48932 |     5293     15 |        2 |        2
671.89/672.01	c  667s |      13 |   288518 |    49032 |     5293     15 |        2 |        2
674.19/674.31	c  670s |      13 |   289456 |    49132 |     5293     16 |        2 |        2
676.48/676.62	c  672s |      13 |   290219 |    49232 |     5293     16 |        2 |        2
679.48/679.62	c  675s |      13 |   291303 |    49432 |     5293     16 |        2 |        2
682.38/682.56	c  678s |      13 |   292261 |    49532 |     5293     16 |        2 |        2
685.79/685.91	c  681s |      13 |   292467 |    49632 |     5293     16 |        2 |        2
689.79/689.96	c  685s |      13 |   293082 |    49732 |     5293     16 |        2 |        2
694.98/695.13	c  690s |      13 |   293296 |    49832 |     5293     16 |        2 |        2
699.48/699.63	c  695s |      13 |   293752 |    49932 |     5293     16 |        2 |        2
702.39/702.55	c  698s |      13 |   294315 |    50032 |     5293     16 |        2 |        2
706.18/706.34	c  702s |      13 |   294719 |    50132 |     5293     16 |        2 |        2
708.28/708.46	c  704s |      13 |   295305 |    50232 |     5293     16 |        2 |        2
710.28/710.47	c  706s |      13 |   295763 |    50332 |     5293     16 |        2 |        2
715.19/715.35	c  711s |      13 |   296437 |    50532 |     5293     16 |        2 |        2
718.68/718.87	c  714s |      13 |   297718 |    50732 |     5293     16 |        2 |        2
722.89/723.02	c  718s |      13 |   298179 |    50832 |     5293     16 |        2 |        2
728.58/728.79	c  724s |      13 |   298396 |    50932 |     5293     16 |        2 |        2
732.17/732.30	c  728s |      13 |   298882 |    51032 |     5293     16 |        2 |        2
734.98/735.13	c  730s |      13 |   299161 |    51132 |     5293     16 |        2 |        2
737.57/737.76	c  733s |      13 |   299989 |    51332 |     5293     16 |        2 |        2
740.68/740.80	c  736s |      13 |   301511 |    51532 |     5293     16 |        2 |        2
742.69/742.88	c  738s |      13 |   301950 |    51632 |     5293     16 |        2 |        2
745.28/745.48	c  741s |      13 |   302661 |    51732 |     5293     16 |        2 |        2
748.37/748.55	c  744s |      13 |   303998 |    51932 |     5293     16 |        2 |        2
750.57/750.70	c  746s |      13 |   304472 |    52032 |     5293     16 |        2 |        2
753.37/753.51	c  749s |      13 |   305078 |    52232 |     5293     16 |        2 |        2
757.27/757.41	c  753s |      13 |   305633 |    52432 |     5293     17 |        2 |        2
761.57/761.75	c  757s |      13 |   309420 |    53032 |     5293     17 |        2 |        2
764.47/764.60	c  760s |      13 |   309743 |    53132 |     5293     17 |        2 |        2
766.67/766.89	c  762s |      13 |   310238 |    53232 |     5293     17 |        2 |        2
768.97/769.12	c  764s |      13 |   310847 |    53332 |     5293     17 |        2 |        2
770.97/771.13	c  766s |      13 |   311304 |    53432 |     5293     17 |        2 |        2
773.27/773.43	c  769s |      13 |   311969 |    53532 |     5293     17 |        2 |        2
775.37/775.58	c  771s |      13 |   312920 |    53632 |     5293     17 |        2 |        2
777.78/777.97	c  773s |      13 |   313188 |    53732 |     5293     17 |        2 |        2
780.97/781.13	c  776s |      13 |   313811 |    53932 |     5293     17 |        2 |        2
783.57/783.71	c  779s |      13 |   315134 |    54032 |     5293     17 |        2 |        2
786.17/786.39	c  782s |      13 |   315586 |    54132 |     5293     17 |        2 |        2
788.67/788.81	c  784s |      13 |   315811 |    54232 |     5293     17 |        2 |        2
792.07/792.28	c  788s |      13 |   317056 |    54332 |     5293     17 |        2 |        2
794.97/795.18	c  790s |      13 |   317608 |    54432 |     5293     17 |        2 |        2
797.57/797.72	c  793s |      13 |   318612 |    54532 |     5293     17 |        2 |        2
799.56/799.74	c  795s |      13 |   319343 |    54632 |     5293     17 |        2 |        2
801.56/801.78	c  797s |      13 |   319587 |    54732 |     5293     17 |        2 |        2
804.56/804.70	c  800s |      13 |   320086 |    54932 |     5293     17 |        2 |        2
807.36/807.55	c  803s |      13 |   320502 |    55132 |     5293     17 |        2 |        2
811.07/811.20	c  806s |      13 |   320905 |    55232 |     5293     17 |        2 |        2
813.37/813.53	c  809s |      13 |   321798 |    55332 |     5293     17 |        2 |        2
816.56/816.72	c  812s |      13 |   322114 |    55432 |     5293     17 |        2 |        2
820.86/821.04	c  816s |      13 |   323263 |    55532 |     5293     17 |        2 |        2
823.06/823.29	c  819s |      13 |   323652 |    55632 |     5293     17 |        2 |        2
825.26/825.40	c  821s |      13 |   323819 |    55732 |     5293     17 |        2 |        2
828.26/828.43	c  824s |      13 |   324235 |    55932 |     5293     17 |        2 |        2
831.86/832.05	c  827s |      13 |   326543 |    56132 |     5293     18 |        2 |        2
834.06/834.24	c  829s |      13 |   326990 |    56232 |     5293     18 |        2 |        2
838.16/838.37	c  834s |      13 |   328333 |    56432 |     5293     18 |        2 |        2
841.06/841.25	c  836s |      13 |   328626 |    56532 |     5293     18 |        2 |        2
843.76/843.97	c  839s |      13 |   329024 |    56632 |     5293     18 |        2 |        2
845.96/846.18	c  841s |      13 |   329657 |    56732 |     5293     18 |        2 |        2
848.06/848.23	c  843s |      13 |   332251 |    57132 |     5293     18 |        2 |        2
850.16/850.32	c  846s |      13 |   333958 |    57332 |     5293     18 |        2 |        2
852.86/853.09	c  848s |      13 |   334211 |    57432 |     5293     18 |        2 |        2
855.96/856.17	c  851s |      13 |   334503 |    57532 |     5293     18 |        2 |        2
859.06/859.24	c  854s |      13 |   334675 |    57632 |     5293     18 |        2 |        2
862.76/862.96	c  858s |      13 |   335210 |    57832 |     5293     18 |        2 |        2
865.06/865.23	c  860s |      13 |   335360 |    57932 |     5293     18 |        2 |        2
867.36/867.53	c  863s |      13 |   335719 |    58032 |     5823     18 |        2 |        2
869.96/870.19	c  865s |      13 |   337022 |    58232 |     5823     18 |        2 |        2
871.16/871.40	c  867s |      14 |   338050 |    58352 |     5823     18 |        2 |        2
873.25/873.44	c  869s |      14 |   339013 |    58452 |     5823     19 |        2 |        2
875.25/875.49	c  871s |      14 |   344141 |    58952 |     5823     19 |        2 |        2
877.97/878.14	c  873s |      14 |   348960 |    59652 |     5823     19 |        2 |        2
879.96/880.19	c  875s |      14 |   350273 |    60052 |     5823     19 |        2 |        2
882.46/882.60	c  878s |      14 |   352632 |    60452 |     5823     19 |        2 |        2
884.56/884.79	c  880s |      14 |   355989 |    61052 |     5823     19 |        2 |        2
887.06/887.28	c  883s |      14 |   359286 |    61552 |     5823     19 |        2 |        2
889.65/889.84	c  885s |      14 |   361251 |    61852 |     5823     19 |        2 |        2
891.95/892.11	c  887s |      14 |   362555 |    62152 |     5823     19 |        2 |        2
895.06/895.24	c  890s |      14 |   364176 |    62452 |     5823     20 |        2 |        2
897.16/897.39	c  893s |      14 |   368313 |    63052 |     5823     20 |        2 |        2
899.86/900.09	c  895s |      14 |   370652 |    63552 |     5823     20 |        2 |        2
902.55/902.73	c  898s |      14 |   373288 |    64052 |     5823     20 |        2 |        2
904.55/904.74	c  900s |      14 |   375722 |    64852 |     5823     20 |        2 |        2
907.45/907.61	c  903s |      14 |   378173 |    65252 |     5823     20 |        2 |        2
910.35/910.52	c  906s |      14 |   382845 |    65752 |     5823     20 |        2 |        2
912.35/912.59	c  908s |      14 |   383218 |    65952 |     5823     20 |        2 |        2
914.75/914.93	c  910s |      14 |   388439 |    66252 |     5823     21 |        2 |        2
917.35/917.50	c  913s |      14 |   390865 |    66552 |     5823     21 |        2 |        2
919.94/920.10	c  915s |      14 |   393544 |    67052 |     5823     21 |        2 |        2
922.84/923.06	c  918s |      14 |   394268 |    67252 |     5823     21 |        2 |        2
925.85/926.06	c  921s |      14 |   394681 |    67552 |     5823     21 |        2 |        2
928.25/928.44	c  924s |      14 |   395147 |    67752 |     5823     21 |        2 |        2
930.35/930.58	c  926s |      14 |   395832 |    67952 |     5823     21 |        2 |        2
932.45/932.61	c  928s |      14 |   398674 |    68152 |     5823     21 |        2 |        2
934.45/934.65	c  930s |      14 |   410928 |    68552 |     5823     21 |        2 |        2
937.04/937.29	c  933s |      14 |   411805 |    68852 |     5823     21 |        2 |        2
939.24/939.44	c  935s |      14 |   412310 |    69052 |     5823     21 |        2 |        2
942.25/942.46	c  938s |      14 |   412732 |    69352 |     5823     21 |        2 |        2
944.45/944.69	c  940s |      14 |   412982 |    69552 |     5823     21 |        2 |        2
946.75/946.91	c  942s |      14 |   417400 |    69752 |     5823     22 |        2 |        2
948.95/949.11	c  944s |      14 |   422570 |    70052 |     5823     22 |        2 |        2
952.25/952.46	c  948s |      14 |   422844 |    70252 |     5823     22 |        2 |        2
955.04/955.20	c  950s |      14 |   423178 |    70452 |     5823     22 |        2 |        2
957.45/957.62	c  953s |      14 |   423480 |    70652 |     5823     22 |        2 |        2
960.54/960.70	c  956s |      14 |   424035 |    70952 |     5823     22 |        2 |        2
962.84/963.04	c  958s |      14 |   426401 |    71252 |     5823     22 |        2 |        2
965.54/965.73	c  961s |      14 |   426945 |    71552 |     5823     22 |        2 |        2
967.75/967.99	c  963s |      14 |   427411 |    71752 |     5823     22 |        2 |        2
970.04/970.23	c  965s |      14 |   429494 |    71952 |     5823     22 |        2 |        2
972.55/972.73	c  968s |      14 |   431612 |    72252 |     5823     22 |        2 |        2
974.84/975.01	c  970s |      14 |   435243 |    72452 |     5823     22 |        2 |        2
976.95/977.19	c  972s |      14 |   435493 |    72552 |     5823     22 |        2 |        2
979.15/979.39	c  975s |      14 |   436622 |    72752 |     5823     22 |        2 |        2
982.34/982.54	c  978s |      14 |   438734 |    72952 |     5823     22 |        2 |        2
985.84/986.04	c  981s |      14 |   439472 |    73152 |     5823     23 |        2 |        2
988.03/988.25	c  983s |      14 |   442228 |    73452 |     5823     23 |        2 |        2
990.15/990.31	c  986s |      14 |   443615 |    73752 |     5823     23 |        2 |        2
992.14/992.34	c  988s |      14 |   444377 |    74052 |     5823     23 |        2 |        2
994.13/994.39	c  990s |      14 |   444654 |    74252 |     5823     23 |        2 |        2
996.74/996.93	c  992s |      14 |   445179 |    74552 |     5823     23 |        2 |        2
998.74/998.98	c  994s |      14 |   445570 |    74752 |     5823     23 |        2 |        2
1001.44/1001.66	c  997s |      14 |   446173 |    75052 |     5823     23 |        2 |        2
1003.64/1003.80	c  999s |      14 |   446871 |    75352 |     5823     23 |        2 |        2
1006.54/1006.71	c 1002s |      14 |   447645 |    75552 |     5823     23 |        2 |        2
1009.53/1009.70	c 1005s |      14 |   449730 |    75852 |     5823     23 |        2 |        2
1012.53/1012.77	c 1008s |      14 |   450226 |    76052 |     5823     23 |        2 |        2
1015.94/1016.12	c 1011s |      14 |   452572 |    76352 |     5823     23 |        2 |        2
1018.84/1019.02	c 1014s |      14 |   452812 |    76552 |     5823     23 |        2 |        2
1020.94/1021.19	c 1016s |      14 |   453297 |    76652 |     5823     24 |        2 |        2
1023.04/1023.26	c 1018s |      14 |   454255 |    76852 |     5823     24 |        2 |        2
1026.23/1026.46	c 1022s |      14 |   454484 |    77052 |     5823     24 |        2 |        2
1030.33/1030.56	c 1026s |      14 |   455021 |    77252 |     5823     24 |        2 |        2
1033.13/1033.34	c 1029s |      14 |   459246 |    77452 |     5823     24 |        2 |        2
1035.83/1036.03	c 1031s |      14 |   459638 |    77652 |     5823     24 |        2 |        2
1038.44/1038.63	c 1034s |      14 |   461968 |    77852 |     5823     24 |        2 |        2
1041.13/1041.30	c 1037s |      14 |   464281 |    78152 |     5823     24 |        2 |        2
1043.83/1044.05	c 1039s |      14 |   465868 |    78452 |     5823     24 |        2 |        2
1046.53/1046.76	c 1042s |      14 |   466167 |    78652 |     5823     24 |        2 |        2
1048.93/1049.17	c 1044s |      14 |   468332 |    79052 |     5823     24 |        2 |        2
1051.13/1051.36	c 1047s |      14 |   469713 |    79352 |     5823     24 |        2 |        2
1054.03/1054.29	c 1050s |      14 |   470201 |    79552 |     5823     24 |        2 |        2
1057.53/1057.79	c 1053s |      14 |   470513 |    79752 |     5823     24 |        2 |        2
1060.03/1060.29	c 1056s |      14 |   471448 |    79952 |     5823     25 |        2 |        2
1062.33/1062.50	c 1058s |      14 |   476540 |    80352 |     5823     25 |        2 |        2
1064.83/1065.04	c 1060s |      14 |   478634 |    80752 |     5823     25 |        2 |        2
1068.13/1068.34	c 1064s |      14 |   480985 |    81152 |     5823     25 |        2 |        2
1070.33/1070.52	c 1066s |      14 |   481155 |    81252 |     5823     25 |        2 |        2
1073.52/1073.70	c 1069s |      14 |   482051 |    81452 |     5823     25 |        2 |        2
1076.32/1076.58	c 1072s |      14 |   482554 |    81652 |     5823     25 |        2 |        2
1079.43/1079.63	c 1075s |      14 |   483195 |    81952 |     5823     25 |        2 |        2
1083.22/1083.49	c 1079s |      14 |   483820 |    82152 |     5823     25 |        2 |        2
1086.12/1086.39	c 1082s |      14 |   485519 |    82452 |     5823     25 |        2 |        2
1090.13/1090.31	c 1086s |      14 |   486791 |    82652 |     5823     25 |        2 |        2
1092.43/1092.62	c 1088s |      14 |   488094 |    82852 |     5823     25 |        2 |        2
1094.53/1094.77	c 1090s |      14 |   492717 |    83452 |     5823     25 |        2 |        2
1100.02/1100.27	c 1096s |      14 |   494488 |    83752 |     5823     26 |        2 |        2
1108.22/1108.42	c 1104s |      14 |   494654 |    83852 |     5823     26 |        2 |        2
1111.03/1111.24	c 1106s |      14 |   495049 |    83952 |     5823     26 |        2 |        2
1120.32/1120.53	c 1116s |      14 |   495327 |    84052 |     5823     26 |        2 |        2
1122.62/1122.89	c 1118s |      14 |   497415 |    84452 |     5823     26 |        2 |        2
1126.21/1126.46	c 1122s |      14 |   498430 |    84852 |     5823     26 |        2 |        2
1128.31/1128.57	c 1124s |      14 |   499353 |    85052 |     5823     26 |        2 |        2
1130.52/1130.70	c 1126s |      14 |   501143 |    85552 |     5823     26 |        2 |        2
1133.03/1133.24	c 1128s |      14 |   502915 |    85952 |     5823     26 |        2 |        2
1135.23/1135.42	c 1131s |      14 |   504976 |    86152 |     5823     26 |        2 |        2
1137.32/1137.56	c 1133s |      14 |   511140 |    86552 |     5823     26 |        2 |        2
1139.42/1139.69	c 1135s |      14 |   513040 |    86852 |     5823     26 |        2 |        2
1141.92/1142.16	c 1137s |      14 |   513478 |    87052 |     6406     26 |        2 |        2
1145.32/1145.56	c 1141s |      14 |   513722 |    87252 |     6406     26 |        2 |        2
1148.61/1148.81	c 1144s |      14 |   514076 |    87452 |     6406     26 |        2 |        2
1151.22/1151.42	c 1147s |      15 |   514374 |    87632 |     6406     26 |        2 |        2
1153.42/1153.61	c 1149s |      15 |   519073 |    87832 |     6406     27 |        2 |        2
1155.52/1155.75	c 1151s |      15 |   533976 |    88532 |     6406     27 |        2 |        2
1158.02/1158.21	c 1153s |      15 |   535434 |    88732 |     6406     27 |        2 |        2
1160.81/1161.04	c 1156s |      15 |   538528 |    89032 |     6406     27 |        2 |        2
1163.82/1164.02	c 1159s |      15 |   543014 |    89332 |     6406     27 |        2 |        2
1166.81/1167.08	c 1162s |      15 |   545437 |    89632 |     6406     27 |        2 |        2
1169.91/1170.16	c 1165s |      15 |   546810 |    89832 |     6406     27 |        2 |        2
1174.61/1174.84	c 1170s |      15 |   547207 |    90032 |     6406     27 |        2 |        2
1176.81/1177.07	c 1172s |      15 |   547300 |    90132 |     6406     27 |        2 |        2
1180.01/1180.25	c 1175s |      15 |   547633 |    90332 |     6406     27 |        2 |        2
1183.72/1183.91	c 1179s |      15 |   548001 |    90532 |     6406     27 |        2 |        2
1186.41/1186.69	c 1182s |      15 |   548548 |    90732 |     6406     27 |        2 |        2
1189.61/1189.83	c 1185s |      15 |   549075 |    90932 |     6406     27 |        2 |        2
1192.00/1192.29	c 1188s |      15 |   549258 |    91032 |     6406     27 |        2 |        2
1194.41/1194.62	c 1190s |      15 |   549421 |    91132 |     6406     27 |        2 |        2
1196.41/1196.69	c 1192s |      15 |   549570 |    91232 |     6406     27 |        2 |        2
1199.41/1199.64	c 1195s |      15 |   550077 |    91432 |     6406     27 |        2 |        2
1202.41/1202.69	c 1198s |      15 |   550878 |    91632 |     6406     27 |        2 |        2
1206.11/1206.30	c 1202s |      15 |   551532 |    91832 |     6406     27 |        2 |        2
1208.21/1208.45	c 1204s |      15 |   553800 |    91932 |     6406     28 |        2 |        2
1212.01/1212.25	c 1207s |      15 |   554756 |    92132 |     6406     28 |        2 |        2
1214.61/1214.82	c 1210s |      15 |   555535 |    92332 |     6406     28 |        2 |        2
1216.81/1217.04	c 1212s |      15 |   556248 |    92532 |     6406     28 |        2 |        2
1219.50/1219.74	c 1215s |      15 |   556965 |    92732 |     6406     28 |        2 |        2
1221.90/1222.18	c 1217s |      15 |   558239 |    92932 |     6406     28 |        2 |        2
1224.41/1224.61	c 1220s |      15 |   558779 |    93132 |     6406     28 |        2 |        2
1226.40/1226.64	c 1222s |      15 |   559411 |    93332 |     6406     28 |        2 |        2
1228.71/1228.91	c 1224s |      15 |   561094 |    93632 |     6406     28 |        2 |        2
1232.01/1232.22	c 1227s |      15 |   561753 |    93832 |     6406     28 |        2 |        2
1236.61/1236.87	c 1232s |      15 |   562035 |    94032 |     6406     28 |        2 |        2
1241.20/1241.43	c 1237s |      15 |   562775 |    94132 |     6406     28 |        2 |        2
1244.00/1244.23	c 1239s |      15 |   562983 |    94232 |     6406     28 |        2 |        2
1257.10/1257.32	c 1253s |      15 |   563764 |    94432 |     6406     28 |        2 |        2
1260.10/1260.36	c 1256s |      15 |   566184 |    94632 |     6406     28 |        2 |        2
1262.69/1262.95	c 1258s |      15 |   566556 |    94732 |     6406     28 |        2 |        2
1266.59/1266.81	c 1262s |      15 |   566806 |    94832 |     6406     28 |        2 |        2
1270.40/1270.65	c 1266s |      15 |   567012 |    94932 |     6406     28 |        2 |        2
1273.10/1273.31	c 1269s |      15 |   567247 |    95032 |     6406     28 |        2 |        2
1276.40/1276.62	c 1272s |      15 |   567560 |    95132 |     6406     28 |        2 |        2
1279.80/1280.01	c 1275s |      15 |   568113 |    95332 |     6406     28 |        2 |        2
1281.80/1282.08	c 1277s |      15 |   568471 |    95532 |     6406     28 |        2 |        2
1284.09/1284.36	c 1280s |      15 |   569664 |    95632 |     6406     28 |        2 |        2
1287.99/1288.29	c 1284s |      15 |   570287 |    95732 |     6406     28 |        2 |        2
1293.79/1294.00	c 1289s |      15 |   570573 |    95832 |     6406     28 |        2 |        2
1298.59/1298.86	c 1294s |      15 |   570775 |    95932 |     6406     28 |        2 |        2
1304.29/1304.53	c 1300s |      15 |   571361 |    96132 |     6406     28 |        2 |        2
1308.29/1308.59	c 1304s |      15 |   572464 |    96232 |     6406     29 |        2 |        2
1312.19/1312.40	c 1308s |      15 |   573476 |    96332 |     6406     29 |        2 |        2
1317.08/1317.35	c 1313s |      15 |   573684 |    96432 |     6406     29 |        2 |        2
1321.19/1321.42	c 1317s |      15 |   574121 |    96532 |     6406     29 |        2 |        2
1325.79/1326.01	c 1321s |      15 |   574624 |    96632 |     6406     29 |        2 |        2
1331.00/1331.21	c 1326s |      15 |   575160 |    96732 |     6406     29 |        2 |        2
1334.49/1334.78	c 1330s |      15 |   575623 |    96932 |     6406     29 |        2 |        2
1339.08/1339.39	c 1335s |      15 |   576649 |    97132 |     6406     29 |        2 |        2
1341.99/1342.24	c 1337s |      15 |   576827 |    97232 |     6406     29 |        2 |        2
1344.09/1344.33	c 1340s |      15 |   577949 |    97432 |     6406     29 |        2 |        2
1348.59/1348.83	c 1344s |      15 |   579869 |    97632 |     6406     29 |        2 |        2
1351.09/1351.32	c 1347s |      15 |   580039 |    97732 |     6406     29 |        2 |        2
1353.38/1353.65	c 1349s |      15 |   580199 |    97832 |     6406     29 |        2 |        2
1355.48/1355.73	c 1351s |      15 |   580913 |    97932 |     6406     29 |        2 |        2
1358.88/1359.13	c 1354s |      15 |   581556 |    98132 |     6406     29 |        2 |        2
1362.39/1362.65	c 1358s |      15 |   581744 |    98232 |     6406     29 |        2 |        2
1365.19/1365.46	c 1361s |      15 |   581882 |    98332 |     6406     29 |        2 |        2
1367.88/1368.11	c 1363s |      15 |   582013 |    98432 |     6406     29 |        2 |        2
1371.48/1371.75	c 1367s |      15 |   582164 |    98532 |     6406     29 |        2 |        2
1373.99/1374.28	c 1370s |      15 |   582305 |    98632 |     6406     29 |        2 |        2
1379.48/1379.75	c 1375s |      15 |   582773 |    98732 |     6406     29 |        2 |        2
1382.68/1382.98	c 1378s |      15 |   582886 |    98832 |     6406     29 |        2 |        2
1388.28/1388.58	c 1384s |      15 |   583310 |    99032 |     6406     29 |        2 |        2
1391.49/1391.71	c 1387s |      15 |   583624 |    99132 |     6406     29 |        2 |        2
1394.79/1395.01	c 1390s |      15 |   583845 |    99232 |     6406     29 |        2 |        2
1397.78/1398.08	c 1393s |      15 |   584524 |    99332 |     6406     29 |        2 |        2
1400.18/1400.40	c 1396s |      15 |   584877 |    99432 |     6406     29 |        2 |        2
1403.77/1404.04	c 1399s |      15 |   587375 |    99532 |     6406     29 |        2 |        2
1406.77/1407.03	c 1402s |      15 |   589001 |    99732 |     6406     29 |        2 |        2
1409.97/1410.29	c 1406s |      15 |   589699 |    99932 |     6406     29 |        2 |        2
1412.77/1413.06	c 1408s |      15 |   590102 |   100032 |     6406     30 |        2 |        2
1415.68/1415.92	c 1411s |      15 |   590816 |   100332 |     6406     30 |        2 |        2
1420.57/1420.80	c 1416s |      15 |   591523 |   100532 |     6406     30 |        2 |        2
1422.97/1423.21	c 1418s |      15 |   592124 |   100732 |     6406     30 |        2 |        2
1425.07/1425.34	c 1421s |      15 |   593106 |   100932 |     6406     30 |        2 |        2
1428.37/1428.62	c 1424s |      15 |   593854 |   101132 |     6406     30 |        2 |        2
1432.86/1433.15	c 1428s |      15 |   594648 |   101332 |     6406     30 |        2 |        2
1435.16/1435.48	c 1431s |      15 |   595209 |   101432 |     6406     30 |        2 |        2
1440.56/1440.88	c 1436s |      15 |   595409 |   101532 |     6406     30 |        2 |        2
1442.87/1443.11	c 1438s |      15 |   595874 |   101632 |     6406     30 |        2 |        2
1446.27/1446.59	c 1442s |      15 |   596442 |   101832 |     6406     30 |        2 |        2
1448.77/1449.05	c 1444s |      15 |   596644 |   101932 |     6406     30 |        2 |        2
1452.96/1453.29	c 1449s |      15 |   597731 |   102232 |     6406     30 |        2 |        2
1455.86/1456.12	c 1451s |      15 |   598212 |   102432 |     6406     30 |        2 |        2
1458.66/1458.99	c 1454s |      15 |   599969 |   102632 |     6406     30 |        2 |        2
1460.76/1461.07	c 1456s |      15 |   600444 |   102832 |     6406     30 |        2 |        2
1464.96/1465.23	c 1460s |      15 |   601310 |   103032 |     6406     30 |        2 |        2
1467.26/1467.53	c 1463s |      15 |   601939 |   103232 |     6406     30 |        2 |        2
1469.76/1470.07	c 1465s |      15 |   602341 |   103432 |     6406     30 |        2 |        2
1472.05/1472.33	c 1468s |      15 |   603427 |   103632 |     6406     30 |        2 |        2
1475.06/1475.38	c 1471s |      15 |   604540 |   103832 |     6406     30 |        2 |        2
1479.46/1479.75	c 1475s |      15 |   605083 |   104032 |     6406     31 |        2 |        2
1482.26/1482.58	c 1478s |      15 |   606028 |   104332 |     6406     31 |        2 |        2
1484.65/1484.96	c 1480s |      15 |   607005 |   104532 |     6406     31 |        2 |        2
1486.95/1487.22	c 1482s |      15 |   607575 |   104732 |     6406     31 |        2 |        2
1489.05/1489.37	c 1485s |      15 |   608441 |   105032 |     6406     31 |        2 |        2
1491.56/1491.87	c 1487s |      15 |   609452 |   105232 |     6406     31 |        2 |        2
1494.15/1494.48	c 1490s |      15 |   610429 |   105532 |     6406     31 |        2 |        2
1496.84/1497.19	c 1492s |      15 |   613045 |   105732 |     6406     31 |        2 |        2
1499.84/1500.18	c 1495s |      15 |   614220 |   105932 |     6406     31 |        2 |        2
1502.56/1502.82	c 1498s |      15 |   616322 |   106332 |     6406     31 |        2 |        2
1505.25/1505.58	c 1501s |      15 |   617366 |   106532 |     6406     31 |        2 |        2
1507.85/1508.13	c 1503s |      15 |   617600 |   106632 |     6406     31 |        2 |        2
1510.05/1510.38	c 1506s |      15 |   618903 |   106932 |     6406     31 |        2 |        2
1513.04/1513.34	c 1509s |      15 |   619357 |   107132 |     6406     31 |        2 |        2
1515.24/1515.57	c 1511s |      15 |   619488 |   107232 |     6406     31 |        2 |        2
1517.95/1518.29	c 1514s |      15 |   619566 |   107332 |     6406     31 |        2 |        2
1520.45/1520.79	c 1516s |      15 |   619711 |   107432 |     6406     31 |        2 |        2
1522.54/1522.85	c 1518s |      15 |   620050 |   107532 |     6406     31 |        2 |        2
1524.84/1525.18	c 1520s |      15 |   621927 |   107732 |     6406     31 |        2 |        2
1527.24/1527.52	c 1523s |      15 |   624005 |   107932 |     6406     31 |        2 |        2
1529.85/1530.13	c 1525s |      15 |   625250 |   108132 |     6406     32 |        2 |        2
1532.35/1532.65	c 1528s |      15 |   627179 |   108332 |     6406     32 |        2 |        2
1536.94/1537.24	c 1532s |      15 |   627898 |   108532 |     6406     32 |        2 |        2
1539.24/1539.54	c 1535s |      15 |   629316 |   108732 |     6406     32 |        2 |        2
1542.44/1542.72	c 1538s |      15 |   630314 |   108932 |     6406     32 |        2 |        2
1547.14/1547.40	c 1543s |      15 |   630981 |   109132 |     6406     32 |        2 |        2
1549.94/1550.28	c 1546s |      15 |   631379 |   109232 |     6406     32 |        2 |        2
1552.84/1553.19	c 1548s |      15 |   632087 |   109432 |     6406     32 |        2 |        2
1555.24/1555.59	c 1551s |      15 |   632805 |   109632 |     6406     32 |        2 |        2
1557.34/1557.67	c 1553s |      15 |   633690 |   109732 |     6406     32 |        2 |        2
1560.34/1560.61	c 1556s |      15 |   634058 |   109832 |     6406     32 |        2 |        2
1562.74/1563.07	c 1558s |      15 |   635265 |   110032 |     6406     32 |        2 |        2
1566.14/1566.42	c 1562s |      15 |   636332 |   110232 |     6406     32 |        2 |        2
1568.13/1568.43	c 1564s |      15 |   637022 |   110432 |     6406     32 |        2 |        2
1571.03/1571.33	c 1567s |      15 |   640566 |   110632 |     6406     32 |        2 |        2
1573.23/1573.55	c 1569s |      15 |   642524 |   110832 |     6406     32 |        2 |        2
1575.53/1575.82	c 1571s |      15 |   643641 |   111132 |     6406     32 |        2 |        2
1579.43/1579.76	c 1575s |      15 |   644093 |   111332 |     6406     32 |        2 |        2
1581.93/1582.23	c 1577s |      15 |   644725 |   111532 |     6406     32 |        2 |        2
1588.22/1588.56	c 1584s |      15 |   645761 |   111732 |     6406     32 |        2 |        2
1591.63/1591.93	c 1587s |      15 |   647879 |   111932 |     6406     32 |        2 |        2
1595.03/1595.38	c 1591s |      15 |   648421 |   112032 |     6406     33 |        2 |        2
1597.83/1598.13	c 1593s |      15 |   649951 |   112332 |     6406     33 |        2 |        2
1600.33/1600.67	c 1596s |      15 |   650544 |   112532 |     6406     33 |        2 |        2
1604.93/1605.26	c 1601s |      15 |   650966 |   112732 |     6406     33 |        2 |        2
1607.52/1607.88	c 1603s |      15 |   651049 |   112832 |     6406     33 |        2 |        2
1611.62/1611.94	c 1607s |      15 |   651394 |   113032 |     6406     33 |        2 |        2
1613.82/1614.18	c 1609s |      15 |   651544 |   113132 |     6406     33 |        2 |        2
1616.02/1616.35	c 1612s |      15 |   651708 |   113232 |     6406     33 |        2 |        2
1618.42/1618.75	c 1614s |      15 |   652088 |   113332 |     6406     33 |        2 |        2
1620.81/1621.13	c 1616s |      15 |   652215 |   113432 |     6406     33 |        2 |        2
1623.62/1623.94	c 1619s |      15 |   652687 |   113532 |     6406     33 |        2 |        2
1625.72/1626.06	c 1621s |      15 |   653129 |   113632 |     6406     33 |        2 |        2
1629.31/1629.68	c 1625s |      15 |   653827 |   113832 |     6406     33 |        2 |        2
1632.72/1633.09	c 1628s |      15 |   654116 |   113932 |     6406     33 |        2 |        2
1635.02/1635.39	c 1631s |      15 |   654333 |   114032 |     6406     33 |        2 |        2
1638.52/1638.87	c 1634s |      15 |   654607 |   114132 |     6406     33 |        2 |        2
1640.91/1641.21	c 1636s |      15 |   654920 |   114232 |     6406     33 |        2 |        2
1643.61/1643.94	c 1639s |      15 |   655214 |   114332 |     6406     33 |        2 |        2
1646.21/1646.50	c 1642s |      15 |   655509 |   114432 |     6406     33 |        2 |        2
1649.81/1650.16	c 1645s |      15 |   655748 |   114532 |     6406     33 |        2 |        2
1654.21/1654.56	c 1650s |      15 |   656098 |   114732 |     6406     33 |        2 |        2
1658.30/1658.65	c 1654s |      15 |   657167 |   115032 |     6406     33 |        2 |        2
1660.80/1661.14	c 1656s |      15 |   657756 |   115232 |     6406     33 |        2 |        2
1663.11/1663.50	c 1659s |      15 |   658467 |   115432 |     6406     33 |        2 |        2
1665.21/1665.53	c 1661s |      15 |   658646 |   115532 |     6406     33 |        2 |        2
1669.31/1669.60	c 1665s |      15 |   659200 |   115632 |     6406     34 |        3 |        3
1671.60/1671.93	c 1667s |      15 |   659374 |   115732 |     6406     34 |        3 |        3
1675.21/1675.53	c 1671s |      15 |   659609 |   115932 |     6406     34 |        3 |        3
1677.51/1677.88	c 1673s |      15 |   662151 |   116132 |     6406     34 |        3 |        3
1679.80/1680.15	c 1675s |      15 |   663317 |   116332 |     6406     34 |        3 |        3
1682.91/1683.21	c 1678s |      15 |   663940 |   116532 |     6406     34 |        3 |        3
1685.30/1685.66	c 1681s |      15 |   665161 |   116732 |     6406     34 |        3 |        3
1688.69/1689.05	c 1684s |      15 |   666371 |   117032 |     6406     34 |        3 |        3
1691.80/1692.12	c 1687s |      15 |   667667 |   117332 |     6406     34 |        3 |        3
1695.69/1696.00	c 1691s |      15 |   667992 |   117532 |     6406     34 |        3 |        3
1699.19/1699.54	c 1695s |      15 |   669454 |   117732 |     6406     34 |        4 |        4
1701.60/1701.94	c 1697s |      15 |   671389 |   118032 |     6406     34 |        4 |        4
1704.19/1704.55	c 1700s |      15 |   673476 |   118432 |     6406     34 |        4 |        4
1706.39/1706.72	c 1702s |      15 |   673906 |   118632 |     6406     34 |        4 |        4
1708.79/1709.13	c 1704s |      15 |   674193 |   118832 |     6406     34 |        4 |        4
1711.89/1712.29	c 1708s |      15 |   674519 |   119032 |     6406     34 |        4 |        4
1714.90/1715.21	c 1710s |      15 |   675408 |   119232 |     6406     34 |        4 |        4
1716.88/1717.26	c 1712s |      15 |   676472 |   119432 |     6406     35 |        4 |        4
1718.88/1719.28	c 1715s |      15 |   677417 |   119632 |     6406     35 |        4 |        4
1721.08/1721.40	c 1717s |      15 |   677944 |   119732 |     6406     35 |        4 |        4
1723.48/1723.87	c 1719s |      15 |   678484 |   119832 |     6406     35 |        4 |        4
1726.88/1727.29	c 1723s |      15 |   679377 |   120032 |     6406     35 |        4 |        4
1729.67/1730.05	c 1725s |      15 |   679800 |   120232 |     6406     35 |        4 |        4
1732.57/1732.99	c 1728s |      15 |   680094 |   120432 |     6406     35 |        4 |        4
1735.78/1736.11	c 1731s |      15 |   680470 |   120632 |     6406     35 |        4 |        4
1738.47/1738.88	c 1734s |      15 |   680759 |   120832 |     6406     35 |        4 |        4
1740.68/1741.01	c 1736s |      15 |   681959 |   121032 |     6406     35 |        4 |        4
1742.87/1743.24	c 1738s |      15 |   682819 |   121332 |     6406     35 |        4 |        4
1746.07/1746.47	c 1742s |      15 |   683118 |   121532 |     6406     35 |        4 |        4
1748.77/1749.15	c 1744s |      15 |   685340 |   121832 |     6406     35 |        4 |        4
1752.17/1752.51	c 1748s |      15 |   686233 |   122132 |     6406     35 |        4 |        4
1755.36/1755.78	c 1751s |      15 |   687082 |   122332 |     6406     35 |        4 |        4
1759.17/1759.57	c 1755s |      15 |   689048 |   122632 |     6406     35 |        4 |        4
1761.66/1762.01	c 1757s |      15 |   689391 |   122832 |     6406     35 |        4 |        4
1764.27/1764.67	c 1760s |      15 |   690966 |   123032 |     6406     35 |        4 |        4
1766.57/1766.92	c 1762s |      15 |   693448 |   123332 |     6406     36 |        4 |        4
1769.77/1770.12	c 1765s |      15 |   695119 |   123632 |     6406     36 |        4 |        4
1771.87/1772.22	c 1767s |      15 |   697275 |   123832 |     6406     36 |        4 |        4
1774.36/1774.77	c 1770s |      15 |   699171 |   124032 |     6406     36 |        4 |        4
1777.06/1777.46	c 1773s |      15 |   699822 |   124332 |     6406     36 |        4 |        4
1780.46/1780.80	c 1776s |      15 |   700663 |   124632 |     6406     36 |        4 |        4
1783.16/1783.56	c 1779s |      15 |   701275 |   124932 |     6406     36 |        4 |        4
1785.55/1785.94	c 1781s |      15 |   701741 |   125132 |     6406     36 |        4 |        4
1787.75/1788.17	c 1783s |      15 |   703494 |   125532 |     6406     36 |        4 |        4
1790.26/1790.63	c 1786s |      15 |   704078 |   125732 |     6406     36 |        4 |        4
1793.06/1793.48	c 1789s |      15 |   704426 |   125932 |     6406     36 |        4 |        4
1795.26/1795.69	c 1791s |      15 |   710300 |   126532 |     6406     36 |        4 |        4
1797.36/1797.70	c 1793s |      15 |   715501 |   127132 |     6406     36 |        4 |        4

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080007-1465278030/watcher-4080007-1465278030 -o /tmp/evaluation-result-4080007-1465278030/solver-4080007-1465278030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080007-1465278030.opb 

pid=18131
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.28 2.26 2.25 3/180 18134
/proc/meminfo: memFree=28899992/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=517564 CPUtime=0 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 1896 0 0 0 0 0 0 0 20 0 4 0 109735022 529985536 2257 33554432000 4194304 16246674 140737056351552 140737056350976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 130159 2266 441 2943 0 127053 0
[pid=18134/tid=18135] ppid=18131 vsize=529852 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 542568448 2301 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=529852 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 542568448 2301 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=531900 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109735022 544665600 2313 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.28 2.26 2.25 3/180 18134
/proc/meminfo: memFree=28899992/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 25805 0 0 0 5 4 0 0 20 0 4 0 109735022 1250496512 26103 33554432000 4194304 16246674 140737056351552 140737056350864 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 305297 26106 801 2943 0 302191 0
[pid=18134/tid=18135] ppid=18131 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1250496512 26108 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1250496512 26111 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1250496512 26113 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200473 s]
/proc/loadavg: 2.28 2.26 2.25 3/180 18134
/proc/meminfo: memFree=28899992/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1310276 CPUtime=0.18 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 49362 0 0 0 11 7 0 0 20 0 4 0 109735022 1341722624 50171 33554432000 4194304 16246674 140737056351552 140737056350864 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 327569 50179 801 2943 0 324463 0
[pid=18134/tid=18135] ppid=18131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1341722624 50184 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1341722624 50189 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1341722624 50194 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300433 s]
/proc/loadavg: 2.28 2.26 2.25 3/180 18134
/proc/meminfo: memFree=28899992/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 61303 0 0 0 19 10 0 0 20 0 4 0 109735022 1344868352 62112 33554432000 4194304 16246674 140737056351552 140737056350864 4220495 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328337 62112 801 2943 0 325231 0
[pid=18134/tid=18135] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 62112 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 62112 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 62112 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700351 s]
/proc/loadavg: 2.28 2.26 2.25 3/180 18134
/proc/meminfo: memFree=28899992/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 69971 0 0 0 58 11 0 0 20 0 4 0 109735022 1344868352 70780 33554432000 4194304 16246674 140737056351552 140737056334544 7377080 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328337 70780 801 2943 0 325231 0
[pid=18134/tid=18135] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 70780 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 70780 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 70780 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 2.28 2.26 2.25 3/184 18138
/proc/meminfo: memFree=28573468/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 82047 0 0 0 136 13 0 0 20 0 4 0 109735022 1344868352 82856 33554432000 4194304 16246674 140737056351552 140737056334544 13923640 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328337 82856 833 2943 0 325231 0
[pid=18134/tid=18135] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 82856 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 82856 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1344868352 82856 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10035 s]
/proc/loadavg: 2.28 2.26 2.25 3/184 18138
/proc/meminfo: memFree=28050428/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 211589 0 0 0 280 29 0 0 20 0 4 0 109735022 1346965504 212398 33554432000 4194304 16246674 140737056351552 140737056350864 4220543 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328849 212398 838 2943 0 325743 0
[pid=18134/tid=18135] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212398 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212398 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212398 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30037 s]
/proc/loadavg: 2.25 2.26 2.24 3/184 18138
/proc/meminfo: memFree=28039268/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 211646 0 0 0 600 29 0 0 20 0 4 0 109735022 1346965504 212455 33554432000 4194304 16246674 140737056351552 140737056333440 5722956 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328849 212455 892 2943 0 325743 0
[pid=18134/tid=18135] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212455 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212455 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212455 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.23 2.25 2.24 3/184 18138
/proc/meminfo: memFree=28039672/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1315396 CPUtime=12.68 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 211646 0 0 0 1239 29 0 0 20 0 4 0 109735022 1346965504 212455 33554432000 4194304 16246674 140737056351552 140737056333440 13950230 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328849 212455 892 2943 0 325743 0
[pid=18134/tid=18135] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212455 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212455 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212455 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5004 s]
/proc/loadavg: 2.18 2.24 2.24 4/184 18138
/proc/meminfo: memFree=28001320/32872528 swapFree=17456/1581116
[pid=18134] ppid=18131 vsize=1315396 CPUtime=25.49 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 211648 0 0 0 2519 30 0 0 20 0 4 0 109735022 1346965504 212457 33554432000 4194304 16246674 140737056351552 140737056333440 5722908 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328849 212457 894 2943 0 325743 0
[pid=18134/tid=18135] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212457 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212457 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 212457 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1004 s]
/proc/loadavg: 2.31 2.27 2.25 3/183 18139
/proc/meminfo: memFree=27752668/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 269532 0 0 0 5069 39 0 0 20 0 4 0 109735022 1346965504 270341 33554432000 4194304 16246674 140737056351552 140737056350728 5722960 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328849 270341 894 2943 0 325743 0
[pid=18134/tid=18135] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 270341 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 270341 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 270341 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.26 2.25 2.24 3/183 18140
/proc/meminfo: memFree=27633068/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1315396 CPUtime=102.27 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 269536 0 0 0 10185 42 0 0 20 0 4 0 109735022 1346965504 270345 33554432000 4194304 16246674 140737056351552 140737056350728 5546036 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 328849 270345 898 2943 0 325743 0
[pid=18134/tid=18135] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 270345 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 270345 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1346965504 270345 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271370 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1319492

[startup+1302.3 s]
/proc/loadavg: 2.40 2.25 2.22 3/183 18194
/proc/meminfo: memFree=26444624/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1302.09 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270561 0 0 0 130119 90 0 0 20 0 4 0 109735022 1351159808 271370 33554432000 4194304 16246674 140737056351552 140737056333440 5722896 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271370 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271370 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271370 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271370 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.31 2.25 2.22 3/183 18243
/proc/meminfo: memFree=24251632/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1362.09 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270562 0 0 0 136116 93 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056350728 12483215 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.53 2.32 2.25 4/183 18244
/proc/meminfo: memFree=18753176/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1422.07 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270568 0 0 0 142112 95 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056350728 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.50 2.35 2.26 3/183 18245
/proc/meminfo: memFree=16338244/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1482.06 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270582 0 0 0 148108 98 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056333440 5546177 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1319492

[startup+1542.3 s]
/proc/loadavg: 2.28 2.31 2.26 3/183 18246
/proc/meminfo: memFree=16338324/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1542.04 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270588 0 0 0 154103 101 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056350728 5722960 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.34 2.31 2.26 4/183 18248
/proc/meminfo: memFree=14338604/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1602.02 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270608 0 0 0 160098 104 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056333440 5545784 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.30 2.31 2.26 3/183 18297
/proc/meminfo: memFree=28143040/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1662.01 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270626 0 0 0 166095 106 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056333440 5546233 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.32 2.31 2.27 4/183 18298
/proc/meminfo: memFree=28142496/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1721.98 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270654 0 0 0 172089 109 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056350728 5722816 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1319492

[startup+1782.31 s]
/proc/loadavg: 2.25 2.30 2.27 4/184 18302
/proc/meminfo: memFree=28141968/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1781.96 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270686 0 0 0 178083 113 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056350728 12483272 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.29 2.26 3/184 18303
/proc/meminfo: memFree=28142368/32872528 swapFree=17452/1581112
[pid=18134] ppid=18131 vsize=1319492 CPUtime=1800.05 cores=0,2,4,6
/proc/18134/stat : 18134 (toysat) R 18131 18134 13546 0 -1 4202496 270697 0 0 0 179891 114 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140737056350728 5723034 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18134/statm: 329873 271373 899 2943 0 326767 0
[pid=18134/tid=18135] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18135/stat : 18135 (toysat) S 18131 18134 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683878837488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18134/tid=18136] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18136/stat : 18136 (toysat) S 18131 18134 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683868347632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18134/tid=18137] ppid=18131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18134/task/18137/stat : 18137 (toysat) S 18131 18134 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109735022 1351159808 271373 33554432000 4194304 16246674 140737056351552 140683857874096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1319492

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18134 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.08
CPU user time (s): 1798.92
CPU system time (s): 1.16582
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.16582
maximum resident set size= 1085492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270697
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= 151
involuntary context switches= 2171

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53131 second user time and 6.96194 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 07:40:31
IDJOB=4080007
IDBENCH=89844
IDSOLVER=2542
FILE ID=node139/4080007-1465278030
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-859770.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080007-1465278030/watcher-4080007-1465278030 -o /tmp/evaluation-result-4080007-1465278030/solver-4080007-1465278030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080007-1465278030.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= cbc412f006cacd8e2fcdc61d20cbc351
RANDOM SEED=1607824943

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28900784 kB
Buffers:           67232 kB
Cached:           140208 kB
SwapCached:         1412 kB
Active:          1530408 kB
Inactive:         123716 kB
Active(anon):    1444936 kB
Inactive(anon):     3684 kB
Active(file):      85472 kB
Inactive(file):   120032 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099812 kB
Dirty:             23648 kB
Writeback:             0 kB
AnonPages:       3026656 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             599572 kB
SReclaimable:      43428 kB
SUnreclaim:       556144 kB
KernelStack:        1488 kB
PageTables:         9424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3171344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1566720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node139 at 2016-06-07 08:10:31