Trace number 4079399

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? (MO) 1213.37 1213.61

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_2_mh.opb
MD5SUMebd57823bd571ff5d4e153dfd450b6f7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5950590
Best CPU time to get the best result obtained on this benchmark123.885
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 74088000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3666159515
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 74088000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3666159515
Number of bits of the biggest sum of numbers32
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-07T21:26:57+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-4079399-1465327616.opb"]
0.00/0.01	c use --random-gen="3659781140 934069079 1509244522 2123596388 616265451 2696378257 3504584147 691508806 3610778159 2098183911 76175987 412136284 4265117721 791381173 3391774780 3990147487 1231350192 2971437209 2047898794 1158542886 1964820755 3302743573 2368519900 3895840141 1878500195 2746384262 1568067690 3269597165 1473082187 2148986602 2011004986 159096403 3512107342 3807876877 3100997607 3923950834 1387311899 143963435 1908275360 2114214882 4125151363 2957474664 2863863285 1981925074 3198239778 3706812937 555118841 2119363338 938439639 3349801496 466432678 3175762683 2773741611 1652148364 162665869 547364948 3905703450 2467463345 3144617943 193721223 3309512947 2788501110 2250458903 2917592272 2534575002 3967432114 4048895892 2757407330 3479353089 3722381769 927907306 818713802 3993727113 2331833086 3439173339 1381088020 2745219128 2916689813 607957765 4116278884 3498497142 2869627216 2431392120 353728749 784304950 2328419245 576238568 1111588754 2243305479 3670057460 3900844070 4236962744 587041751 1449547944 2667522082 431843168 1565279669 3082898379 485746814 3859033427 2188282782 2104761131 4185788077 649830281 3089854512 1830370290 2300600391 2740444279 3297114506 1160828256 4129733604 2597265224 1396402728 1543873885 2023855143 396353819 3816903930 1715811770 3418466765 1513805538 2775862995 2169236148 2844752181 3657840007 1358926654 3530703847 2997779886 786312755 1841751716 778381931 1167548430 2419813481 397232514 1978054738 44614759 3078699135 2038503221 769357409 2885382436 2437360822 2902149508 1453051096 3834955225 409854111 3278723571 3957351808 3353350247 305596321 3403316426 2782671622 3879891236 3276468295 2717686260 3848129499 3821846474 1669796514 2101718752 2430725174 3022301873 4274256923 3958374488 4193484653 3404546894 4094185936 3010731621 3027445435 1872772774 297164696 3228436967 1435848339 147416370 3336984662 2203687169 1307476964 328779498 725843787 2304617192 663493907 705602151 736696894 3119991634 2782928314 2860988606 4261277792 330154767 4236174829 95593412 3413370477 4014081337 2688003451 1716285802 743311230 3104156885 2006631303 382303913 2223161095 648627998 1165624973 1686436268 453792621 3455065752 3322291041 2376698687 2373263914 3941135092 3307887464 2544806752 995229533 3659259743 1296772847 3967877784 2592898328 1010897108 3506492274 3305208191 2242978294 114289659 2979797957 3266468743 1707390539 1731120758 973407103 3220843824 311023115 3199811633 1794652240 2715421453 222812662 1901722902 2521286677 2965588507 312396186 1633305956 617712132 1518107938 4144593590 1393665946 1743335536 685592008 1219318859 3477511285 520594746 2244548408 1758564766 3185610216 3398150970 2230221428 4000793109 4088797978 1238996486 1713571976 4281559671 507466638 720374474 654055628 1472232226 255 362436" option to reproduce the execution
0.09/0.15	c #vars 6810
0.09/0.15	c #constraints 15202
0.29/0.35	c BCD2: Hardening is enabled.
0.29/0.35	c BCD2: BiasedSearch is enabled.
0.29/0.35	c Solving starts ...
0.29/0.35	c ============================[ Search Statistics ]============================
0.29/0.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.35	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.35	c =============================================================================
0.29/0.36	c  0.0s |       0 |        0 |        0 |     7477      0 |       45 |        0
0.39/0.49	c  0.1s |       1 |      370 |      100 |     7477      0 |       45 |        0
0.59/0.67	c  0.3s |       2 |      785 |      250 |     8225      0 |       45 |        0
1.10/1.10	c  0.7s |       3 |     1345 |      475 |     9048      0 |       45 |        0
1.68/1.75	c  1.4s |       4 |     2274 |      813 |     9953      0 |       45 |        0
2.58/2.63	c  2.3s |       5 |     3940 |     1320 |    10949      0 |       45 |        0
3.39/3.47	c  3.1s |       6 |     6010 |     2081 |    13249      0 |       45 |        0
4.78/4.90	c  4.5s |       7 |     8828 |     3223 |    14574      0 |       45 |        0
6.98/7.00	c  6.6s |       7 |    12759 |     4623 |    14574      0 |       45 |        0
7.48/7.55	c  7.2s |       8 |    13889 |     4936 |    16032      0 |       45 |        0
9.48/9.55	c  9.2s |       8 |    17233 |     5936 |    16032      0 |       45 |        0
11.48/11.59	c 11.2s |       9 |    21418 |     7506 |    17636      0 |       45 |        0
13.58/13.62	c 13.3s |       9 |    25026 |     8806 |    17636      0 |       45 |        0
15.68/15.73	c 15.4s |       9 |    27997 |     9806 |    17636      0 |       45 |        0
17.78/17.81	c 17.5s |       9 |    32040 |    11306 |    19400      0 |       45 |        0
17.88/17.91	c 17.6s |      10 |    32152 |    11361 |    19400      0 |       45 |        0
19.89/19.93	c 19.6s |      10 |    35567 |    12861 |    19400      0 |       45 |        0
21.88/22.00	c 21.6s |      10 |    38569 |    13861 |    19400      0 |       45 |        0
23.98/24.07	c 23.7s |      10 |    41646 |    15061 |    19400      0 |       45 |        0
26.18/26.23	c 25.9s |      10 |    44390 |    16061 |    19400      0 |       45 |        0
28.28/28.31	c 28.0s |      10 |    47424 |    17061 |    21340      0 |       45 |        0
28.38/28.49	c 28.1s |      11 |    47754 |    17144 |    21340      0 |       45 |        0
30.58/30.69	c 30.3s |      11 |    51485 |    18544 |    21340      0 |       45 |        0
32.69/32.71	c 32.4s |      11 |    54479 |    19644 |    21340      0 |       45 |        0
34.69/34.77	c 34.4s |      11 |    58229 |    20944 |    21340      0 |       45 |        0
36.79/36.82	c 36.5s |      11 |    61289 |    22244 |    21340      1 |       45 |        0
38.79/38.84	c 38.5s |      11 |    65975 |    24044 |    21340      1 |       45 |        0
40.79/40.87	c 40.5s |      11 |    70024 |    25744 |    23475      1 |       45 |        0
40.89/40.97	c 40.6s |      12 |    70169 |    25819 |    23475      1 |       45 |        0
42.89/42.99	c 42.6s |      12 |    72938 |    27019 |    23475      1 |       45 |        0
44.99/45.08	c 44.7s |      12 |    75782 |    28219 |    23475      1 |       45 |        0
47.09/47.10	c 46.7s |      12 |    79603 |    29519 |    23475      1 |       45 |        0
49.09/49.15	c 48.8s |      12 |    83371 |    31219 |    23475      1 |       45 |        0
51.19/51.21	c 50.9s |      12 |    87173 |    33019 |    23475      1 |       45 |        0
53.18/53.26	c 52.9s |      12 |    91027 |    34719 |    23475      1 |       45 |        0
55.28/55.34	c 55.0s |      12 |    94332 |    36419 |    23475      1 |       45 |        0
57.29/57.38	c 57.0s |      12 |    97308 |    37919 |    23475      1 |       45 |        0
58.68/58.71	c 58.4s |      13 |    98911 |    38832 |    25823      1 |       45 |        0
60.88/60.94	c 60.6s |      13 |   102165 |    40232 |    25823      2 |       45 |        0
62.88/62.94	c 62.6s |      13 |   105525 |    41732 |    25823      2 |       45 |        0
64.99/65.05	c 64.7s |      13 |   108650 |    43332 |    25823      2 |       45 |        0
67.09/67.16	c 66.8s |      13 |   112019 |    44832 |    25823      2 |       45 |        0
69.18/69.24	c 68.9s |      13 |   115512 |    46232 |    25823      2 |       45 |        0
71.28/71.31	c 71.0s |      13 |   118896 |    47632 |    25823      2 |       45 |        0
73.28/73.33	c 73.0s |      13 |   121658 |    48832 |    25823      2 |       45 |        0
75.38/75.40	c 75.0s |      13 |   124256 |    50132 |    25823      2 |       45 |        0
77.38/77.44	c 77.1s |      13 |   127264 |    51632 |    25823      2 |       45 |        0
79.68/79.74	c 79.4s |      13 |   130366 |    53032 |    25823      3 |       45 |        0
81.68/81.75	c 81.4s |      13 |   132927 |    54032 |    25823      3 |       45 |        0
83.69/83.79	c 83.4s |      13 |   136335 |    55332 |    25823      3 |       45 |        0
85.88/85.91	c 85.6s |      13 |   140021 |    56832 |    25823      3 |       45 |        0
87.88/87.97	c 87.6s |      13 |   143894 |    58332 |    28406      3 |       45 |        0
87.98/88.01	c 87.7s |      14 |   143987 |    58352 |    28406      3 |       45 |        0
90.08/90.13	c 89.8s |      14 |   147101 |    59752 |    28406      3 |       45 |        0
92.18/92.25	c 91.9s |      14 |   150333 |    61152 |    28406      3 |       45 |        0
94.17/94.28	c 93.9s |      14 |   153290 |    62452 |    28406      3 |       45 |        0
96.27/96.31	c 96.0s |      14 |   155614 |    63852 |    28406      3 |       45 |        0
98.27/98.39	c 98.0s |      14 |   158637 |    65052 |    28406      3 |       45 |        0
100.37/100.44	c  100s |      14 |   162355 |    66552 |    28406      3 |       45 |        0
102.38/102.46	c  102s |      14 |   165937 |    67852 |    28406      3 |       45 |        0
104.37/104.49	c  104s |      14 |   169420 |    69352 |    28406      3 |       45 |        0
106.47/106.58	c  106s |      14 |   172533 |    70852 |    28406      3 |       45 |        0
108.57/108.65	c  108s |      14 |   175074 |    72052 |    28406      4 |       45 |        0
110.67/110.73	c  110s |      14 |   178156 |    73752 |    28406      4 |       45 |        0
112.77/112.89	c  112s |      14 |   180451 |    74752 |    28406      4 |       45 |        0
114.97/115.01	c  114s |      14 |   183538 |    76052 |    28406      4 |       45 |        0
116.97/117.01	c  116s |      14 |   187154 |    77452 |    28406      4 |       45 |        0
118.97/119.04	c  118s |      14 |   190659 |    78952 |    28406      4 |       45 |        0
121.08/121.15	c  120s |      14 |   194277 |    80552 |    28406      4 |       45 |        0
123.07/123.16	c  122s |      14 |   196789 |    82052 |    28406      4 |       45 |        0
125.07/125.18	c  124s |      14 |   199080 |    83352 |    28406      4 |       45 |        0
127.17/127.22	c  126s |      14 |   201848 |    84652 |    28406      4 |       45 |        0
129.17/129.27	c  128s |      14 |   204825 |    85952 |    28406      4 |       45 |        0
131.17/131.28	c  130s |      14 |   207330 |    87152 |    31247      4 |       45 |        0
131.87/131.99	c  131s |      15 |   208257 |    87632 |    31247      4 |       45 |        0
134.18/134.28	c  133s |      15 |   208527 |    87732 |    31247      5 |       45 |        0
136.27/136.31	c  135s |      15 |   211599 |    89232 |    31247      5 |       45 |        0
138.37/138.43	c  138s |      15 |   214843 |    90832 |    31247      5 |       45 |        0
140.37/140.44	c  140s |      15 |   217261 |    92332 |    31247      5 |       45 |        0
142.57/142.65	c  142s |      15 |   219722 |    93732 |    31247      5 |       45 |        0
145.06/145.15	c  144s |      15 |   222513 |    94732 |    31247      5 |       45 |        0
147.06/147.19	c  146s |      15 |   225748 |    95932 |    31247      5 |       45 |        0
149.26/149.30	c  148s |      15 |   228507 |    97232 |    31247      5 |       45 |        0
151.26/151.37	c  151s |      15 |   231529 |    98532 |    31247      5 |       45 |        0
153.46/153.50	c  153s |      15 |   234701 |   100132 |    31247      5 |       45 |        0
155.56/155.66	c  155s |      15 |   237540 |   101532 |    31247      5 |       45 |        0
157.56/157.67	c  157s |      15 |   240109 |   102832 |    31247      5 |       45 |        0
159.57/159.67	c  159s |      15 |   242804 |   104132 |    31247      5 |       45 |        0
161.67/161.74	c  161s |      15 |   245293 |   105432 |    31247      5 |       45 |        0
163.76/163.84	c  163s |      15 |   246958 |   106432 |    31247      6 |       45 |        0
165.86/165.90	c  165s |      15 |   249655 |   107732 |    31247      6 |       45 |        0
167.86/167.97	c  167s |      15 |   251874 |   109132 |    31247      6 |       45 |        0
169.96/170.05	c  169s |      15 |   253870 |   110332 |    31247      6 |       45 |        0
172.16/172.20	c  171s |      15 |   255959 |   111532 |    31247      6 |       45 |        0
174.16/174.27	c  173s |      15 |   257324 |   112332 |    31247      6 |       45 |        0
176.16/176.29	c  175s |      15 |   260227 |   113532 |    31247      6 |       45 |        0
178.36/178.41	c  178s |      15 |   263251 |   114832 |    31247      6 |       45 |        0
180.37/180.49	c  180s |      15 |   265915 |   116232 |    31247      6 |       45 |        0
182.57/182.63	c  182s |      15 |   268282 |   117532 |    31247      6 |       45 |        0
184.66/184.76	c  184s |      15 |   270498 |   118732 |    31247      6 |       45 |        0
186.76/186.84	c  186s |      15 |   272803 |   119932 |    31247      6 |       45 |        0
188.86/188.90	c  188s |      15 |   275122 |   121232 |    31247      6 |       45 |        0
190.86/190.93	c  190s |      15 |   277074 |   122432 |    31247      6 |       45 |        0
192.86/192.98	c  192s |      15 |   279464 |   123732 |    31247      7 |       45 |        0
195.06/195.17	c  194s |      15 |   282287 |   125132 |    31247      7 |       45 |        0
197.16/197.25	c  196s |      15 |   284485 |   126532 |    31247      7 |       45 |        0
199.26/199.38	c  199s |      15 |   286455 |   127932 |    31247      7 |       45 |        0
201.27/201.39	c  201s |      15 |   289273 |   129432 |    31247      7 |       45 |        0
203.36/203.48	c  203s |      15 |   292101 |   130832 |    34372      7 |       45 |        0
204.66/204.71	c  204s |      16 |   293749 |   131552 |    34372      7 |       45 |        0
206.66/206.72	c  206s |      16 |   296176 |   132452 |    34372      7 |       45 |        0
208.76/208.86	c  208s |      16 |   298612 |   133652 |    34372      7 |       45 |        0
210.86/210.93	c  210s |      16 |   301088 |   134752 |    34372      7 |       45 |        0
213.06/213.14	c  212s |      16 |   303247 |   135752 |    34372      7 |       45 |        0
215.06/215.18	c  214s |      16 |   305303 |   136952 |    34372      7 |       45 |        0
217.26/217.36	c  217s |      16 |   307170 |   137752 |    34372      7 |       45 |        0
219.36/219.43	c  219s |      16 |   309438 |   138852 |    34372      7 |       45 |        0
221.46/221.51	c  221s |      16 |   311468 |   139952 |    34372      7 |       45 |        0
223.46/223.59	c  223s |      16 |   313245 |   141052 |    34372      7 |       45 |        0
225.46/225.59	c  225s |      16 |   314810 |   141852 |    34372      7 |       45 |        0
227.66/227.77	c  227s |      16 |   316749 |   142852 |    34372      7 |       45 |        0
229.65/229.79	c  229s |      16 |   319022 |   143752 |    34372      8 |       45 |        0
231.75/231.88	c  231s |      16 |   320857 |   144752 |    34372      8 |       45 |        0
233.85/233.93	c  233s |      16 |   322750 |   145952 |    34372      8 |       45 |        0
235.95/236.07	c  235s |      16 |   325129 |   147452 |    34372      8 |       45 |        0
237.95/238.07	c  237s |      16 |   326812 |   148452 |    34372      8 |       45 |        0
240.25/240.30	c  239s |      16 |   329052 |   149552 |    34372      8 |       45 |        0
242.35/242.43	c  242s |      16 |   331098 |   150452 |    34372      8 |       45 |        0
244.35/244.44	c  244s |      16 |   333624 |   151452 |    34372      8 |       45 |        0
246.55/246.62	c  246s |      16 |   336141 |   152652 |    34372      8 |       45 |        0
248.56/248.64	c  248s |      16 |   339488 |   153652 |    34372      8 |       45 |        0
250.75/250.80	c  250s |      16 |   341771 |   154752 |    34372      8 |       45 |        0
252.85/252.96	c  252s |      16 |   344292 |   155852 |    34372      8 |       45 |        0
255.05/255.12	c  254s |      16 |   346244 |   156852 |    34372      8 |       45 |        0
257.15/257.25	c  256s |      16 |   348675 |   157852 |    34372      8 |       45 |        0
259.35/259.45	c  259s |      16 |   351225 |   158852 |    34372      8 |       45 |        0
261.55/261.62	c  261s |      16 |   353349 |   159852 |    34372      8 |       45 |        0
263.65/263.70	c  263s |      16 |   355238 |   160952 |    34372      8 |       45 |        0
265.65/265.79	c  265s |      16 |   357326 |   162052 |    34372      8 |       45 |        0
267.65/267.79	c  267s |      16 |   358995 |   163152 |    34372      8 |       45 |        0
269.95/270.06	c  269s |      16 |   360796 |   164252 |    34372      9 |       45 |        0
272.05/272.10	c  271s |      16 |   362806 |   165352 |    34372      9 |       45 |        0
274.15/274.27	c  273s |      16 |   364897 |   166552 |    34372      9 |       45 |        0
276.35/276.40	c  276s |      16 |   366951 |   167652 |    34372      9 |       45 |        0
278.36/278.48	c  278s |      16 |   368585 |   168452 |    34372      9 |       45 |        0
280.46/280.52	c  280s |      16 |   370512 |   169452 |    34372      9 |       45 |        0
282.55/282.64	c  282s |      16 |   372610 |   170652 |    34372      9 |       45 |        0
284.75/284.85	c  284s |      16 |   374848 |   171952 |    34372      9 |       45 |        0
286.85/286.95	c  286s |      16 |   376792 |   173052 |    34372      9 |       45 |        0
288.85/288.96	c  288s |      16 |   378582 |   174252 |    34372      9 |       45 |        0
290.85/290.97	c  290s |      16 |   380413 |   175452 |    34372      9 |       45 |        0
292.95/293.02	c  292s |      16 |   382537 |   176852 |    34372      9 |       45 |        0
295.25/295.31	c  294s |      16 |   384697 |   177852 |    34372      9 |       45 |        0
297.24/297.36	c  297s |      16 |   386578 |   178652 |    34372      9 |       45 |        0
299.34/299.47	c  299s |      16 |   388994 |   179852 |    34372      9 |       45 |        0
301.35/301.50	c  301s |      16 |   391400 |   181052 |    34372      9 |       45 |        0
303.44/303.52	c  303s |      16 |   393827 |   182152 |    34372     10 |       45 |        0
305.54/305.64	c  305s |      16 |   396324 |   183352 |    34372     10 |       45 |        0
307.64/307.70	c  307s |      16 |   399547 |   184952 |    34372     10 |       45 |        0
309.64/309.79	c  309s |      16 |   402642 |   186552 |    34372     10 |       45 |        0
311.84/311.95	c  311s |      16 |   405060 |   187752 |    34372     10 |       45 |        0
313.84/313.97	c  313s |      16 |   407272 |   188952 |    34372     10 |       45 |        0
316.04/316.10	c  315s |      16 |   409873 |   190252 |    34372     10 |       45 |        0
318.04/318.11	c  317s |      16 |   412097 |   191552 |    34372     10 |       45 |        0
320.05/320.17	c  319s |      16 |   414019 |   192652 |    34372     10 |       45 |        0
322.14/322.28	c  321s |      16 |   416554 |   194152 |    34372     10 |       45 |        0
324.14/324.29	c  323s |      16 |   418880 |   195252 |    34372     10 |       45 |        0
326.24/326.30	c  325s |      16 |   420829 |   196252 |    37810     10 |       45 |        0
328.34/328.45	c  328s |      16 |   422672 |   197352 |    37810     10 |       45 |        0
328.44/328.57	c  328s |      17 |   422811 |   197432 |    37810     10 |       45 |        0
330.54/330.67	c  330s |      17 |   424778 |   198432 |    37810     10 |       45 |        0
332.74/332.86	c  332s |      17 |   426467 |   199332 |    37810     10 |       45 |        0
334.84/334.91	c  334s |      17 |   428274 |   200432 |    37810     10 |       45 |        0
336.94/337.03	c  336s |      17 |   429982 |   201432 |    37810     10 |       45 |        0
340.14/340.28	c  339s |      17 |   430684 |   201732 |    37810     10 |       45 |        0
342.15/342.29	c  341s |      17 |   433141 |   202732 |    37810     10 |       45 |        0
345.14/345.28	c  344s |      17 |   434069 |   203032 |    37810     10 |       45 |        0
347.74/347.80	c  347s |      17 |   436183 |   204132 |    37810     11 |       45 |        0
349.85/349.95	c  349s |      17 |   438858 |   205132 |    37810     11 |       45 |        0
351.95/352.03	c  351s |      17 |   440967 |   206232 |    37810     11 |       45 |        0
354.04/354.18	c  353s |      17 |   443644 |   207432 |    37810     11 |       45 |        0
356.24/356.31	c  355s |      17 |   445906 |   208632 |    37810     11 |       45 |        0
358.24/358.39	c  358s |      17 |   448157 |   209732 |    37810     11 |       45 |        0
360.34/360.46	c  360s |      17 |   450490 |   211132 |    37810     11 |       45 |        0
362.34/362.49	c  362s |      17 |   452584 |   212332 |    37810     11 |       45 |        0
364.44/364.59	c  364s |      17 |   454634 |   213532 |    37810     11 |       45 |        0
366.54/366.64	c  366s |      17 |   456719 |   214632 |    37810     11 |       45 |        0
368.64/368.74	c  368s |      17 |   458525 |   215732 |    37810     11 |       45 |        0
370.83/370.92	c  370s |      17 |   461157 |   216732 |    37810     11 |       45 |        0
372.94/373.04	c  372s |      17 |   463519 |   217632 |    37810     11 |       45 |        0
374.93/375.05	c  374s |      17 |   465784 |   218532 |    37810     11 |       45 |        0
377.03/377.18	c  376s |      17 |   468443 |   219832 |    37810     11 |       45 |        0
379.23/379.33	c  378s |      17 |   470464 |   220832 |    37810     11 |       45 |        0
381.64/381.72	c  381s |      17 |   472461 |   221732 |    37810     12 |       45 |        0
385.93/386.01	c  385s |      17 |   473790 |   222232 |    37810     12 |       45 |        0
388.03/388.14	c  387s |      17 |   476069 |   223232 |    37810     12 |       45 |        0
390.23/390.30	c  389s |      17 |   478774 |   224432 |    37810     12 |       45 |        0
392.23/392.36	c  392s |      17 |   481710 |   225632 |    37810     12 |       45 |        0
394.33/394.41	c  394s |      17 |   484059 |   226732 |    37810     12 |       45 |        0
396.43/396.52	c  396s |      17 |   486376 |   227932 |    37810     12 |       45 |        0
398.43/398.54	c  398s |      17 |   488814 |   229132 |    37810     12 |       45 |        0
400.44/400.59	c  400s |      17 |   491114 |   230232 |    37810     12 |       45 |        0
402.53/402.61	c  402s |      17 |   493813 |   231332 |    37810     12 |       45 |        0
404.53/404.63	c  404s |      17 |   496808 |   232532 |    37810     12 |       45 |        0
406.62/406.78	c  406s |      17 |   499352 |   233732 |    37810     12 |       45 |        0
408.72/408.84	c  408s |      17 |   501887 |   234832 |    37810     12 |       45 |        0
410.92/411.02	c  410s |      17 |   504095 |   236032 |    37810     12 |       45 |        0
413.03/413.16	c  412s |      17 |   506430 |   237132 |    37810     12 |       45 |        0
415.13/415.28	c  414s |      17 |   508917 |   238432 |    37810     12 |       45 |        0
417.53/417.63	c  417s |      17 |   511206 |   239532 |    37810     12 |       45 |        0
419.63/419.71	c  419s |      17 |   513707 |   240632 |    37810     12 |       45 |        0
421.83/422.00	c  421s |      17 |   516437 |   241832 |    37810     13 |       45 |        0
423.93/424.04	c  423s |      17 |   518971 |   242932 |    37810     13 |       45 |        0
425.93/426.10	c  425s |      17 |   521172 |   243732 |    37810     13 |       45 |        0
428.02/428.10	c  427s |      17 |   523940 |   244932 |    37810     13 |       45 |        0
430.03/430.11	c  429s |      17 |   527385 |   246432 |    37810     13 |       45 |        0
432.02/432.19	c  431s |      17 |   530410 |   248032 |    37810     13 |       45 |        0
434.12/434.27	c  433s |      17 |   532515 |   249532 |    37810     13 |       45 |        0
436.12/436.27	c  435s |      17 |   534375 |   250332 |    37810     13 |       45 |        0
438.32/438.40	c  438s |      17 |   537380 |   251832 |    37810     13 |       45 |        0
440.32/440.49	c  440s |      17 |   539492 |   253232 |    37810     13 |       45 |        0
442.52/442.60	c  442s |      17 |   542696 |   254432 |    37810     13 |       45 |        0
444.53/444.69	c  444s |      17 |   545185 |   255632 |    37810     13 |       45 |        0
446.63/446.75	c  446s |      17 |   548357 |   256832 |    37810     13 |       45 |        0
448.83/448.91	c  448s |      17 |   551535 |   258032 |    37810     13 |       45 |        0
451.03/451.15	c  450s |      17 |   553439 |   258932 |    37810     13 |       45 |        0
453.02/453.16	c  452s |      17 |   555384 |   260132 |    37810     13 |       45 |        0
455.12/455.26	c  454s |      17 |   557471 |   261332 |    37810     13 |       45 |        0
457.22/457.32	c  456s |      17 |   559562 |   262332 |    37810     13 |       45 |        0
459.22/459.38	c  459s |      17 |   561696 |   263432 |    37810     13 |       45 |        0
461.32/461.46	c  461s |      17 |   563234 |   264432 |    37810     14 |       45 |        0
463.32/463.47	c  463s |      17 |   565380 |   265632 |    37810     14 |       45 |        0
465.42/465.52	c  465s |      17 |   567494 |   266832 |    37810     14 |       45 |        0
467.42/467.59	c  467s |      17 |   569686 |   268332 |    37810     14 |       45 |        0
469.52/469.67	c  469s |      17 |   571798 |   269632 |    37810     14 |       45 |        0
471.52/471.69	c  471s |      17 |   574328 |   271132 |    37810     14 |       45 |        0
473.72/473.80	c  473s |      17 |   577527 |   272532 |    37810     14 |       45 |        0
475.82/475.93	c  475s |      17 |   580300 |   274132 |    37810     14 |       45 |        0
477.92/478.08	c  477s |      17 |   582827 |   275532 |    37810     14 |       45 |        0
479.92/480.09	c  479s |      17 |   584856 |   276932 |    37810     14 |       45 |        0
482.02/482.16	c  481s |      17 |   586696 |   278232 |    37810     14 |       45 |        0
484.22/484.38	c  484s |      17 |   589172 |   279432 |    37810     14 |       45 |        0
486.32/486.45	c  486s |      17 |   591212 |   280332 |    37810     14 |       45 |        0
488.52/488.60	c  488s |      17 |   593321 |   281432 |    37810     14 |       45 |        0
490.53/490.63	c  490s |      17 |   595501 |   282532 |    37810     14 |       45 |        0
492.52/492.64	c  492s |      17 |   597451 |   283432 |    37810     15 |       45 |        0
494.62/494.73	c  494s |      17 |   599566 |   284732 |    37810     15 |       45 |        0
496.62/496.79	c  496s |      17 |   602298 |   286132 |    37810     15 |       45 |        0
498.82/498.95	c  498s |      17 |   605494 |   287532 |    37810     15 |       45 |        0
500.92/501.01	c  500s |      17 |   607788 |   288932 |    37810     15 |       45 |        0
502.92/503.03	c  502s |      17 |   609664 |   290232 |    37810     15 |       45 |        0
505.02/505.19	c  504s |      17 |   612353 |   291532 |    37810     15 |       45 |        0
507.12/507.29	c  506s |      17 |   615065 |   292832 |    37810     15 |       45 |        0
509.22/509.34	c  508s |      17 |   617265 |   294132 |    37810     15 |       45 |        0
511.32/511.49	c  511s |      17 |   619179 |   295432 |    41591     15 |       45 |        0
512.82/512.95	c  512s |      18 |   620367 |   296252 |    41591     15 |       45 |        0
514.82/514.99	c  514s |      18 |   622307 |   297352 |    41591     15 |       45 |        0
516.92/517.02	c  516s |      18 |   624133 |   298352 |    41591     15 |       45 |        0
519.01/519.11	c  518s |      18 |   626522 |   299452 |    41591     15 |       45 |        0
521.11/521.29	c  520s |      18 |   628611 |   300552 |    41591     15 |       45 |        0
523.21/523.38	c  523s |      18 |   630762 |   301752 |    41591     15 |       45 |        0
525.41/525.54	c  525s |      18 |   632778 |   302952 |    41591     15 |       45 |        0
527.51/527.60	c  527s |      18 |   634515 |   304152 |    41591     15 |       45 |        0
529.71/529.82	c  529s |      18 |   636154 |   304952 |    41591     15 |       45 |        0
531.71/531.86	c  531s |      18 |   638292 |   305752 |    41591     15 |       45 |        0
533.81/533.97	c  533s |      18 |   640250 |   306652 |    41591     15 |       45 |        0
536.01/536.15	c  535s |      18 |   642095 |   307452 |    41591     16 |       45 |        0
538.11/538.22	c  537s |      18 |   644877 |   309052 |    41591     16 |       45 |        0
540.12/540.22	c  539s |      18 |   647497 |   310452 |    41591     16 |       45 |        0
542.22/542.35	c  541s |      18 |   649800 |   311552 |    41591     16 |       45 |        0
544.21/544.39	c  544s |      18 |   651884 |   312752 |    41591     16 |       45 |        0
546.31/546.49	c  546s |      18 |   654446 |   314052 |    41591     16 |       45 |        0
548.41/548.52	c  548s |      18 |   656499 |   315352 |    41591     16 |       45 |        0
550.51/550.64	c  550s |      18 |   658378 |   316552 |    41591     16 |       45 |        0
552.61/552.71	c  552s |      18 |   660487 |   317652 |    41591     16 |       45 |        0
554.71/554.82	c  554s |      18 |   662485 |   318852 |    41591     16 |       45 |        0
556.71/556.85	c  556s |      18 |   664222 |   319852 |    41591     16 |       45 |        0
558.81/558.97	c  558s |      18 |   666400 |   321052 |    41591     16 |       45 |        0
561.11/561.21	c  560s |      18 |   668361 |   322152 |    41591     16 |       45 |        0
563.31/563.44	c  563s |      18 |   670191 |   322952 |    41591     16 |       45 |        0
565.41/565.57	c  565s |      18 |   672261 |   324052 |    41591     16 |       45 |        0
567.40/567.59	c  567s |      18 |   674408 |   325352 |    41591     16 |       45 |        0
569.50/569.66	c  569s |      18 |   676634 |   326852 |    41591     16 |       45 |        0
571.60/571.78	c  571s |      18 |   678575 |   328152 |    41591     16 |       45 |        0
573.70/573.88	c  573s |      18 |   680480 |   329352 |    41591     17 |       45 |        0
575.70/575.89	c  575s |      18 |   682582 |   330852 |    41591     17 |       45 |        0
577.70/577.89	c  577s |      18 |   684560 |   332252 |    41591     17 |       45 |        0
579.80/579.98	c  579s |      18 |   686730 |   333652 |    41591     17 |       45 |        0
581.80/581.99	c  581s |      18 |   688593 |   334952 |    41591     17 |       45 |        0
583.90/584.05	c  583s |      18 |   690691 |   336352 |    41591     17 |       45 |        0
586.00/586.11	c  585s |      18 |   692601 |   337752 |    41591     17 |       45 |        0
588.10/588.23	c  587s |      18 |   694288 |   339052 |    41591     17 |       45 |        0
590.10/590.24	c  589s |      18 |   696172 |   340352 |    41591     17 |       45 |        0
592.20/592.31	c  591s |      18 |   697953 |   341552 |    41591     17 |       45 |        0
594.29/594.42	c  594s |      18 |   699849 |   342752 |    41591     17 |       45 |        0
596.39/596.54	c  596s |      18 |   701519 |   344052 |    41591     17 |       45 |        0
598.49/598.62	c  598s |      18 |   703278 |   345352 |    41591     17 |       45 |        0
600.51/600.70	c  600s |      18 |   705072 |   346652 |    41591     17 |       45 |        0
602.71/602.84	c  602s |      18 |   706841 |   347752 |    41591     17 |       45 |        0
604.80/604.92	c  604s |      18 |   709294 |   348752 |    41591     17 |       45 |        0
606.80/606.95	c  606s |      18 |   710453 |   349352 |    41591     18 |       45 |        0
608.90/609.03	c  608s |      18 |   711149 |   349752 |    41591     18 |       45 |        0
611.50/611.67	c  611s |      18 |   712182 |   350352 |    41591     18 |       45 |        0
613.89/614.08	c  613s |      18 |   714239 |   351552 |    41591     18 |       45 |        0
616.00/616.15	c  615s |      18 |   716145 |   352652 |    41591     18 |       45 |        0
618.10/618.22	c  617s |      18 |   718306 |   353652 |    41591     18 |       45 |        0
620.09/620.27	c  619s |      18 |   720422 |   354752 |    41591     18 |       45 |        0
622.29/622.41	c  622s |      18 |   722426 |   355952 |    41591     18 |       45 |        0
624.39/624.54	c  624s |      18 |   724780 |   357252 |    41591     18 |       45 |        0
627.30/627.45	c  627s |      18 |   726059 |   358052 |    41591     18 |       45 |        0
629.30/629.47	c  629s |      18 |   728477 |   359252 |    41591     18 |       45 |        0
631.50/631.65	c  631s |      18 |   730651 |   360552 |    41591     18 |       45 |        0
633.70/633.89	c  633s |      18 |   732623 |   361652 |    41591     18 |       45 |        0
636.00/636.12	c  635s |      18 |   734593 |   362752 |    41591     18 |       45 |        0
639.59/639.73	c  639s |      18 |   736118 |   363552 |    41591     18 |       45 |        0
641.59/641.73	c  641s |      18 |   738243 |   364752 |    41591     18 |       45 |        0
643.69/643.80	c  643s |      18 |   740441 |   366052 |    41591     18 |       45 |        0
645.79/645.90	c  645s |      18 |   742588 |   367052 |    41591     18 |       45 |        0
648.09/648.20	c  647s |      18 |   744691 |   368052 |    41591     18 |       45 |        0
650.10/650.25	c  649s |      18 |   746759 |   369352 |    41591     18 |       45 |        0
652.09/652.26	c  651s |      18 |   748452 |   370252 |    41591     18 |       45 |        0
654.19/654.33	c  653s |      18 |   750284 |   371252 |    41591     18 |       45 |        0
656.19/656.36	c  656s |      18 |   752499 |   372352 |    41591     19 |       45 |        0
658.29/658.48	c  658s |      18 |   755013 |   373552 |    41591     19 |       45 |        0
660.39/660.58	c  660s |      18 |   757368 |   375052 |    41591     19 |       45 |        0
662.39/662.58	c  662s |      18 |   759436 |   376452 |    41591     19 |       45 |        0
664.49/664.64	c  664s |      18 |   761428 |   377852 |    41591     19 |       45 |        0
666.50/666.67	c  666s |      18 |   763527 |   379052 |    41591     19 |       45 |        0
668.59/668.72	c  668s |      18 |   765996 |   380352 |    41591     19 |       45 |        0
670.59/670.79	c  670s |      18 |   767971 |   381452 |    41591     19 |       45 |        0
672.79/672.96	c  672s |      18 |   770195 |   382752 |    41591     19 |       45 |        0
674.79/674.97	c  674s |      18 |   772429 |   383952 |    41591     19 |       45 |        0
676.99/677.11	c  676s |      18 |   774651 |   385352 |    41591     19 |       45 |        0
678.99/679.13	c  678s |      18 |   776667 |   386352 |    41591     19 |       45 |        0
681.09/681.20	c  680s |      18 |   779141 |   387552 |    41591     19 |       45 |        0
683.29/683.45	c  683s |      18 |   781041 |   388552 |    41591     19 |       45 |        0
685.38/685.53	c  685s |      18 |   782933 |   389752 |    41591     19 |       45 |        0
687.49/687.61	c  687s |      18 |   784655 |   390952 |    41591     19 |       45 |        0
689.48/689.68	c  689s |      18 |   786398 |   391952 |    41591     19 |       45 |        0
691.68/691.89	c  691s |      18 |   788356 |   393052 |    41591     19 |       45 |        0
693.88/694.03	c  693s |      18 |   790228 |   394252 |    41591     19 |       45 |        0
697.99/698.17	c  697s |      18 |   791902 |   395252 |    41591     20 |       45 |        0
700.09/700.27	c  699s |      18 |   794363 |   396652 |    41591     20 |       45 |        0
702.19/702.34	c  701s |      18 |   796322 |   397952 |    41591     20 |       45 |        0
704.19/704.35	c  703s |      18 |   798321 |   399352 |    41591     20 |       45 |        0
706.29/706.43	c  706s |      18 |   800745 |   400752 |    41591     20 |       45 |        0
708.29/708.48	c  708s |      18 |   803060 |   401952 |    41591     20 |       45 |        0
710.39/710.59	c  710s |      18 |   805589 |   403452 |    41591     20 |       45 |        0
712.48/712.66	c  712s |      18 |   807970 |   405052 |    41591     20 |       45 |        0
714.48/714.68	c  714s |      18 |   809750 |   406452 |    41591     20 |       45 |        0
716.58/716.75	c  716s |      18 |   811991 |   407752 |    41591     20 |       45 |        0
718.68/718.80	c  718s |      18 |   814006 |   409052 |    41591     20 |       45 |        0
720.78/720.90	c  720s |      18 |   815965 |   410352 |    41591     20 |       45 |        0
722.78/722.96	c  722s |      18 |   817596 |   411552 |    41591     20 |       45 |        0
724.89/725.03	c  724s |      18 |   819479 |   412752 |    41591     20 |       45 |        0
726.88/727.04	c  726s |      18 |   821359 |   414052 |    41591     20 |       45 |        0
728.98/729.12	c  728s |      18 |   823192 |   415452 |    41591     20 |       45 |        0
731.28/731.42	c  731s |      18 |   825016 |   416652 |    41591     21 |       45 |        0
733.28/733.49	c  733s |      18 |   827286 |   417752 |    41591     21 |       45 |        0
735.38/735.59	c  735s |      18 |   828858 |   418552 |    41591     21 |       45 |        0
737.48/737.65	c  737s |      18 |   830704 |   419652 |    41591     21 |       45 |        0
739.58/739.72	c  739s |      18 |   832604 |   420852 |    41591     21 |       45 |        0
741.68/741.84	c  741s |      18 |   834597 |   422152 |    41591     21 |       45 |        0
743.68/743.86	c  743s |      18 |   836263 |   423152 |    41591     21 |       45 |        0
745.78/745.93	c  745s |      18 |   838068 |   424352 |    41591     21 |       45 |        0
747.88/748.04	c  747s |      18 |   840394 |   425752 |    41591     21 |       45 |        0
749.98/750.11	c  749s |      18 |   842377 |   426952 |    41591     21 |       45 |        0
751.98/752.18	c  751s |      18 |   844563 |   428552 |    41591     21 |       45 |        0
754.08/754.27	c  753s |      18 |   846767 |   430052 |    41591     21 |       45 |        0
756.18/756.31	c  755s |      18 |   849567 |   431252 |    41591     21 |       45 |        0
758.28/758.40	c  758s |      18 |   851972 |   432452 |    41591     21 |       45 |        0
760.28/760.49	c  760s |      18 |   854320 |   433952 |    41591     21 |       45 |        0
762.38/762.57	c  762s |      18 |   856293 |   435352 |    41591     21 |       45 |        0
764.48/764.68	c  764s |      18 |   858015 |   436552 |    41591     21 |       45 |        0
766.47/766.70	c  766s |      18 |   859751 |   437552 |    41591     22 |       45 |        0
768.57/768.77	c  768s |      18 |   861894 |   438952 |    41591     22 |       45 |        0
770.67/770.88	c  770s |      18 |   864352 |   440452 |    41591     22 |       45 |        0
772.77/772.97	c  772s |      18 |   866456 |   441752 |    45751     22 |       45 |        0
774.87/775.04	c  774s |      18 |   868324 |   443052 |    45751     22 |       45 |        0
776.97/777.20	c  776s |      18 |   870600 |   444452 |    45751     22 |       45 |        0
777.07/777.25	c  776s |      19 |   870642 |   444482 |    45751     22 |       45 |        0
779.17/779.31	c  778s |      19 |   872391 |   445582 |    45751     22 |       45 |        0
781.17/781.36	c  781s |      19 |   874206 |   446782 |    45751     22 |       45 |        0
783.27/783.43	c  783s |      19 |   876154 |   447982 |    45751     22 |       45 |        0
785.38/785.51	c  785s |      19 |   877996 |   449282 |    45751     22 |       45 |        0
787.48/787.65	c  787s |      19 |   879892 |   450582 |    45751     22 |       45 |        0
789.57/789.75	c  789s |      19 |   881704 |   451782 |    45751     22 |       45 |        0
791.57/791.76	c  791s |      19 |   883566 |   453082 |    45751     22 |       45 |        0
793.77/793.93	c  793s |      19 |   885419 |   454382 |    45751     22 |       45 |        0
795.87/796.06	c  795s |      19 |   887301 |   455582 |    45751     22 |       45 |        0
797.97/798.11	c  797s |      19 |   888875 |   456582 |    45751     22 |       45 |        0
800.07/800.21	c  799s |      19 |   891103 |   457582 |    45751     22 |       45 |        0
802.07/802.22	c  801s |      19 |   892829 |   458682 |    45751     22 |       45 |        0
804.27/804.46	c  804s |      19 |   894893 |   459882 |    45751     22 |       45 |        0
806.37/806.54	c  806s |      19 |   896538 |   460982 |    45751     22 |       45 |        0
808.57/808.77	c  808s |      19 |   898400 |   462082 |    45751     22 |       45 |        0
810.76/810.94	c  810s |      19 |   900423 |   463282 |    45751     22 |       45 |        0
812.88/813.06	c  812s |      19 |   902465 |   464482 |    45751     22 |       45 |        0
814.98/815.17	c  814s |      19 |   904017 |   465682 |    45751     22 |       45 |        0
817.07/817.29	c  816s |      19 |   905807 |   466682 |    45751     23 |       45 |        0
819.17/819.35	c  818s |      19 |   908039 |   467882 |    45751     23 |       45 |        0
821.17/821.36	c  821s |      19 |   909799 |   469082 |    45751     23 |       45 |        0
823.27/823.48	c  823s |      19 |   911482 |   470382 |    45751     23 |       45 |        0
825.47/825.63	c  825s |      19 |   913390 |   471582 |    45751     23 |       45 |        0
827.57/827.73	c  827s |      19 |   915433 |   472882 |    45751     23 |       45 |        0
829.66/829.87	c  829s |      19 |   917517 |   474282 |    45751     23 |       45 |        0
831.76/831.95	c  831s |      19 |   919355 |   475582 |    45751     23 |       45 |        0
833.77/833.96	c  833s |      19 |   921210 |   476782 |    45751     23 |       45 |        0
835.97/836.12	c  835s |      19 |   923551 |   478282 |    45751     23 |       45 |        0
838.07/838.27	c  837s |      19 |   925395 |   479582 |    45751     23 |       45 |        0
840.16/840.33	c  839s |      19 |   927327 |   480882 |    45751     23 |       45 |        0
842.36/842.51	c  842s |      19 |   929074 |   482082 |    45751     23 |       45 |        0
844.36/844.57	c  844s |      19 |   930738 |   483082 |    45751     23 |       45 |        0
846.56/846.74	c  846s |      19 |   932415 |   484182 |    45751     23 |       45 |        0
848.66/848.81	c  848s |      19 |   934219 |   485382 |    45751     23 |       45 |        0
850.86/851.04	c  850s |      19 |   936001 |   486582 |    45751     23 |       45 |        0
852.96/853.12	c  852s |      19 |   937667 |   487682 |    45751     23 |       45 |        0
855.06/855.20	c  854s |      19 |   939345 |   488882 |    45751     23 |       45 |        0
857.16/857.36	c  857s |      19 |   940825 |   489982 |    45751     24 |       45 |        0
859.36/859.51	c  859s |      19 |   943078 |   491482 |    45751     24 |       45 |        0
861.36/861.59	c  861s |      19 |   944806 |   492682 |    45751     24 |       45 |        0
863.36/863.60	c  863s |      19 |   946733 |   493982 |    45751     24 |       45 |        0
865.45/865.65	c  865s |      19 |   948517 |   494982 |    45751     24 |       45 |        0
867.55/867.71	c  867s |      19 |   951162 |   496682 |    45751     24 |       45 |        0
869.65/869.80	c  869s |      19 |   953214 |   498282 |    45751     24 |       45 |        0
871.65/871.85	c  871s |      19 |   955386 |   499882 |    45751     24 |       45 |        0
873.75/873.91	c  873s |      19 |   957455 |   501382 |    45751     24 |       45 |        0
875.74/875.96	c  875s |      19 |   959459 |   502782 |    45751     24 |       45 |        0
877.94/878.13	c  877s |      19 |   961132 |   504082 |    45751     24 |       45 |        0
879.95/880.18	c  879s |      19 |   962840 |   505382 |    45751     24 |       45 |        0
882.05/882.21	c  881s |      19 |   964488 |   506482 |    45751     24 |       45 |        0
884.14/884.38	c  884s |      19 |   966250 |   507582 |    45751     24 |       45 |        0
886.24/886.49	c  886s |      19 |   967972 |   508682 |    45751     24 |       45 |        0
888.43/888.69	c  888s |      19 |   969416 |   509682 |    45751     24 |       45 |        0
890.53/890.78	c  890s |      19 |   971191 |   510682 |    45751     24 |       45 |        0
892.73/892.91	c  892s |      19 |   972823 |   511782 |    45751     24 |       45 |        0
894.73/894.96	c  894s |      19 |   974272 |   512682 |    45751     24 |       45 |        0
896.83/897.05	c  896s |      19 |   975762 |   513682 |    45751     24 |       45 |        0
901.03/901.20	c  900s |      19 |   976999 |   514482 |    45751     25 |       45 |        0
904.04/904.21	c  903s |      19 |   978212 |   515082 |    45751     25 |       45 |        0
906.63/906.82	c  906s |      19 |   979454 |   515782 |    45751     25 |       45 |        0
908.72/908.99	c  908s |      19 |   981144 |   516782 |    45751     25 |       45 |        0
910.83/911.03	c  910s |      19 |   982503 |   517682 |    45751     25 |       45 |        0
912.94/913.11	c  912s |      19 |   984075 |   518782 |    45751     25 |       45 |        0
914.93/915.11	c  914s |      19 |   986097 |   520082 |    45751     25 |       45 |        0
917.03/917.21	c  916s |      19 |   988000 |   521282 |    45751     25 |       45 |        0
919.13/919.32	c  918s |      19 |   990307 |   522682 |    45751     25 |       45 |        0
921.13/921.37	c  921s |      19 |   992437 |   524182 |    45751     25 |       45 |        0
923.23/923.48	c  923s |      19 |   994413 |   525482 |    45751     25 |       45 |        0
925.33/925.56	c  925s |      19 |   996276 |   526782 |    45751     25 |       45 |        0
927.33/927.57	c  927s |      19 |   998539 |   528082 |    45751     25 |       45 |        0
929.43/929.69	c  929s |      19 |  1000417 |   529382 |    45751     25 |       45 |        0
931.53/931.71	c  931s |      19 |  1002267 |   530482 |    45751     25 |       45 |        0
933.53/933.74	c  933s |      19 |  1004125 |   531782 |    45751     25 |       45 |        0
935.52/935.78	c  935s |      19 |  1006306 |   533182 |    45751     25 |       45 |        0
937.62/937.80	c  937s |      19 |  1008481 |   534482 |    45751     25 |       45 |        0
939.62/939.81	c  939s |      19 |  1010493 |   535882 |    45751     25 |       45 |        0
941.72/941.91	c  941s |      19 |  1012689 |   537282 |    45751     25 |       45 |        0
943.82/944.04	c  943s |      19 |  1014450 |   538582 |    45751     25 |       45 |        0
945.93/946.15	c  945s |      19 |  1015872 |   539582 |    45751     26 |       45 |        0
948.03/948.26	c  947s |      19 |  1017940 |   540982 |    45751     26 |       45 |        0
950.12/950.36	c  950s |      19 |  1020112 |   542482 |    45751     26 |       45 |        0
952.22/952.45	c  952s |      19 |  1022453 |   544082 |    45751     26 |       45 |        0
954.22/954.49	c  954s |      19 |  1024400 |   545482 |    45751     26 |       45 |        0
956.31/956.54	c  956s |      19 |  1026296 |   546782 |    45751     26 |       45 |        0
958.31/958.58	c  958s |      19 |  1027798 |   547982 |    45751     26 |       45 |        0
960.41/960.66	c  960s |      19 |  1029437 |   549282 |    45751     26 |       45 |        0
962.11/962.39	c  962s |      19 |  1031463 |   550285 |    45751     26 |       45 |        0
962.11/962.39	c #cpu_time = 961.975s
962.11/962.39	c #wall_clock_time = 962.027s
962.11/962.39	c #decision = 1031463
962.11/962.39	c #random_decision = 1086
962.11/962.39	c #conflict = 550285
962.11/962.39	c #restart = 19
962.11/962.39	o 185821345
962.21/962.44	c BCD2: updating upper bound: 3666159515 -> 185821359
962.21/962.48	c BCD2: 0 <= obj <= 185821359
962.21/962.48	c BCD2: #cores=0, #unrelaxed=3795, #relaxed=0, #hardened=0
962.21/962.48	c BCD2: #sat=1 #unsat=1 bias=1/2
962.21/962.48	c Solving starts ...
962.21/962.48	c ============================[ Search Statistics ]============================
962.21/962.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
962.21/962.48	c       |         |          |          |    Limit     GC | Var      | Constra 
962.21/962.48	c =============================================================================
962.21/962.48	c  0.0s |       0 |        0 |        0 |    45751      0 |       45 |        0
962.61/962.89	c  0.4s |       0 |       88 |        1 |    45751      0 |       45 |        0
962.61/962.89	c #cpu_time = 0.404s
962.61/962.89	c #wall_clock_time = 0.404s
962.61/962.89	c #decision = 88
962.61/962.89	c #random_decision = 0
962.61/962.89	c #conflict = 1
962.61/962.89	c #restart = 0
962.61/962.89	c BCD2: found a new core of size 88: cost of the new core is >=15625
962.61/962.89	c lower bound updated to 15610
962.71/962.92	c BCD2: 15625 <= obj <= 185821359
962.71/962.92	c BCD2: #cores=1, #unrelaxed=3707, #relaxed=88, #hardened=0
962.71/962.92	c BCD2: #sat=1 #unsat=2 bias=2/3

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-4079399-1465327616/watcher-4079399-1465327616 -o /tmp/evaluation-result-4079399-1465327616/solver-4079399-1465327616 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079399-1465327616.opb 

pid=14420
running on 4 cores: 1,3,5,7

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.07 2.08 2.02 3/179 14423
/proc/meminfo: memFree=29051280/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 2777 0 0 0 0 0 0 0 20 0 4 0 114696402 761720832 3138 33554432000 4194304 16246674 140735879890320 140735879889744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 186735 3152 441 2943 0 183629 0
[pid=14423/tid=14424] ppid=14420 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 781643776 3215 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 785838080 3230 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114696402 790032384 3248 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.07 2.08 2.02 3/179 14423
/proc/meminfo: memFree=29051280/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 28736 0 0 0 5 4 0 0 20 0 4 0 114696402 1332285440 29034 33554432000 4194304 16246674 140735879890320 140735879889632 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 325265 29053 803 2943 0 322159 0
[pid=14423/tid=14424] ppid=14420 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1332285440 29064 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1332285440 29076 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1332285440 29087 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200548 s]
/proc/loadavg: 2.07 2.08 2.02 3/179 14423
/proc/meminfo: memFree=29051280/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 48035 0 0 0 12 7 0 0 20 0 4 0 114696402 1333334016 48333 33554432000 4194304 16246674 140735879890320 140735879889632 6966042 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 325521 48333 841 2943 0 322415 0
[pid=14423/tid=14424] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 48333 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 48333 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 48333 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.30049 s]
/proc/loadavg: 2.07 2.08 2.02 3/179 14423
/proc/meminfo: memFree=29051280/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 62329 0 0 0 20 9 0 0 20 0 4 0 114696402 1333334016 62627 33554432000 4194304 16246674 140735879890320 140735879889632 13008268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 325521 62635 844 2943 0 322415 0
[pid=14423/tid=14424] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 62640 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 62645 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 62650 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700426 s]
/proc/loadavg: 2.07 2.08 2.02 3/179 14423
/proc/meminfo: memFree=29051280/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 115033 0 0 0 53 16 0 0 20 0 4 0 114696402 1333334016 115331 33554432000 4194304 16246674 140735879890320 140735879872192 5674637 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 325521 115336 887 2943 0 322415 0
[pid=14423/tid=14424] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 115338 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 115341 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 115343 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50043 s]
/proc/loadavg: 2.06 2.08 2.02 3/183 14427
/proc/meminfo: memFree=28443204/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 188629 0 0 0 123 26 0 0 20 0 4 0 114696402 1333334016 188927 33554432000 4194304 16246674 140735879890320 140735879872192 5601737 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 325521 188930 887 2943 0 322415 0
[pid=14423/tid=14424] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 188933 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 188935 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1333334016 188937 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10044 s]
/proc/loadavg: 2.06 2.08 2.02 4/183 14427
/proc/meminfo: memFree=28043048/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1315396 CPUtime=3.08 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 270009 0 0 0 271 37 0 0 20 0 4 0 114696402 1346965504 270307 33554432000 4194304 16246674 140735879890320 140735879872192 5600051 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 328849 270307 893 2943 0 325743 0
[pid=14423/tid=14424] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270307 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270307 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270307 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1315396

[startup+6.30044 s]
/proc/loadavg: 2.06 2.08 2.02 3/183 14427
/proc/meminfo: memFree=27970536/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1315396 CPUtime=6.28 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 270040 0 0 0 591 37 0 0 20 0 4 0 114696402 1346965504 270338 33554432000 4194304 16246674 140735879890320 140735879872192 5824867 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 328849 270338 893 2943 0 325743 0
[pid=14423/tid=14424] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270338 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270338 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270338 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.05 2.08 2.02 3/183 14427
/proc/meminfo: memFree=27970912/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1315396 CPUtime=12.68 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 270041 0 0 0 1231 37 0 0 20 0 4 0 114696402 1346965504 270339 33554432000 4194304 16246674 140735879890320 140735879872192 5600072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 328849 270339 893 2943 0 325743 0
[pid=14423/tid=14424] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270339 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270339 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270339 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.04 2.07 2.02 3/183 14427
/proc/meminfo: memFree=27971600/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 270041 0 0 0 2511 37 0 0 20 0 4 0 114696402 1346965504 270339 33554432000 4194304 16246674 140735879890320 140735879872192 5825282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 328849 270339 893 2943 0 325743 0
[pid=14423/tid=14424] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270339 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270339 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1346965504 270339 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.03 2.07 2.01 3/183 14427
/proc/meminfo: memFree=27966468/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1320516 CPUtime=51.09 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 271325 0 0 0 5071 38 0 0 20 0 4 0 114696402 1352208384 271623 33554432000 4194304 16246674 140735879890320 140735879872192 5602272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 330129 271623 897 2943 0 327023 0
[pid=14423/tid=14424] ppid=14420 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1352208384 271623 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1352208384 271623 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1352208384 271623 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1320516

[startup+102.301 s]
/proc/loadavg: 2.07 2.07 2.01 3/183 14428
/proc/meminfo: memFree=27962236/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1324612 CPUtime=102.28 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 272350 0 0 0 10190 38 0 0 20 0 4 0 114696402 1356402688 272648 33554432000 4194304 16246674 140735879890320 140735879872192 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 331153 272648 898 2943 0 328047 0
[pid=14423/tid=14424] ppid=14420 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1356402688 272648 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1356402688 272648 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1356402688 272648 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612


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

[pid=14423] ppid=14420 vsize=1360452 CPUtime=762.18 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 281310 0 0 0 76166 52 0 0 20 0 4 0 114696402 1393102848 281608 33554432000 4194304 16246674 140735879890320 140735879872192 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 340113 281608 898 2943 0 337007 0
[pid=14423/tid=14424] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281608 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281608 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281608 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 1360452

[startup+822.3 s]
/proc/loadavg: 2.09 2.09 2.05 3/184 14449
/proc/meminfo: memFree=27920716/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1360452 CPUtime=822.17 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 281310 0 0 0 82164 53 0 0 20 0 4 0 114696402 1393102848 281608 33554432000 4194304 16246674 140735879890320 140735879872192 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 340113 281608 898 2943 0 337007 0
[pid=14423/tid=14424] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281608 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281608 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281608 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.17
Current children cumulated vsize (KiB) 1360452

[startup+882.307 s]
/proc/loadavg: 2.08 2.09 2.05 3/183 14498
/proc/meminfo: memFree=28326672/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1360452 CPUtime=882.15 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 281333 0 0 0 88162 53 0 0 20 0 4 0 114696402 1393102848 281611 33554432000 4194304 16246674 140735879890320 140735879872192 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 340113 281611 898 2943 0 337007 0
[pid=14423/tid=14424] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281611 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281611 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281611 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1360452

[startup+942.3 s]
/proc/loadavg: 2.21 2.12 2.06 3/183 14499
/proc/meminfo: memFree=28325672/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=1360452 CPUtime=942.12 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 281356 0 0 0 94157 55 0 0 20 0 4 0 114696402 1393102848 281611 33554432000 4194304 16246674 140735879890320 140735879872192 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 340113 281611 898 2943 0 337007 0
[pid=14423/tid=14424] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281611 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281611 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 1393102848 281611 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 1360452

[startup+1002.3 s]
/proc/loadavg: 2.21 2.12 2.07 3/183 14500
/proc/meminfo: memFree=15140288/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=6807108 CPUtime=1002.1 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 1643059 0 0 0 99973 237 0 0 20 0 4 0 114696402 6970478592 1643303 33554432000 4194304 16246674 140735879890320 140735879889416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 1701777 1643303 922 2943 0 1698671 0
[pid=14423/tid=14424] ppid=14420 vsize=6807108 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 6970478592 1643303 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=6807108 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 6970478592 1643303 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=6807108 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 6970478592 1643303 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 6807108

[startup+1062.3 s]
/proc/loadavg: 2.20 2.13 2.07 3/183 14501
/proc/meminfo: memFree=5576156/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=12461636 CPUtime=1062.09 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 3056530 0 0 0 105691 518 0 0 20 0 4 0 114696402 12760715264 3056774 33554432000 4194304 16246674 140735879890320 140735879888128 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 3115409 3056780 922 2943 0 3112303 0
[pid=14423/tid=14424] ppid=14420 vsize=12461636 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 12760715264 3056784 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=12461636 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 12760715264 3056788 33554432000 4194304 16246674 140735879890320 139674926423056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=12461636 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 12760715264 3056793 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 12461636

[startup+1122.3 s]
/proc/loadavg: 2.12 2.12 2.07 3/183 14503
/proc/meminfo: memFree=2501752/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=15257156 CPUtime=1122.08 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 3755577 0 0 0 111446 762 0 0 20 0 4 0 114696402 15623327744 3755821 33554432000 4194304 16246674 140735879890320 140735879888256 14013573 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 3814289 3755821 926 2943 0 3811183 0
[pid=14423/tid=14424] ppid=14420 vsize=15257156 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 15623327744 3755821 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=15257156 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 15623327744 3755821 33554432000 4194304 16246674 140735879890320 139674926423056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=15257156 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 15623327744 3755821 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 15257156

[startup+1182.3 s]
/proc/loadavg: 2.12 2.11 2.07 3/183 14553
/proc/meminfo: memFree=14518852/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=15684164 CPUtime=1182.07 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 3803989 0 0 0 117422 785 0 0 20 0 4 0 114696402 16060583936 3862487 33554432000 4194304 16246674 140735879890320 140735879888256 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 3921041 3862487 926 2943 0 3917935 0
[pid=14423/tid=14424] ppid=14420 vsize=15684164 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 16060583936 3862487 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=15684164 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 16060583936 3862487 33554432000 4194304 16246674 140735879890320 139674926423056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=15684164 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 16060583936 3862487 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 15684164



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1212.8 s]
/proc/loadavg: 2.07 2.10 2.07 3/183 14553
/proc/meminfo: memFree=14126600/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=15894084 CPUtime=1212.56 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) R 14420 14423 11961 0 -1 4202496 3856466 0 0 0 120459 797 0 0 20 0 4 0 114696402 16275542016 3914964 33554432000 4194304 16246674 140735879890320 140735879888984 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 3973521 3914969 926 2943 0 3970415 0
[pid=14423/tid=14424] ppid=14420 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14424/stat : 14424 (toysat) S 14420 14423 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114696402 16275542016 3914969 33554432000 4194304 16246674 140735879890320 139674936913136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) S 14420 14423 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114696402 16275542016 3914969 33554432000 4194304 16246674 140735879890320 139674926423280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14423/tid=14426] ppid=14420 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/14423/task/14426/stat : 14426 (toysat) S 14420 14423 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114696402 16275542016 3914969 33554432000 4194304 16246674 140735879890320 139674915949744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1212.56
Current children cumulated vsize (KiB) 15894084

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 14423 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1213.2 s]
/proc/loadavg: 2.07 2.10 2.07 3/183 14553
/proc/meminfo: memFree=14126600/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=0 CPUtime=1212.96 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) Z 14420 14423 11961 0 -1 4203532 3856935 0 0 0 120460 836 0 0 20 0 2 0 114696402 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 0 0 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) R 14420 14423 11961 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 114696402 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1212.96
Current children cumulated vsize (KiB) 0

[startup+1213.6 s]
/proc/loadavg: 2.07 2.10 2.07 3/181 14553
/proc/meminfo: memFree=23718212/32872528 swapFree=12744/274376
[pid=14423] ppid=14420 vsize=0 CPUtime=1213.36 cores=1,3,5,7
/proc/14423/stat : 14423 (toysat) Z 14420 14423 11961 0 -1 4203532 3856935 0 0 0 120460 876 0 0 20 0 2 0 114696402 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14423/statm: 0 0 0 0 0 0 0
[pid=14423/tid=14425] ppid=14420 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/14423/task/14425/stat : 14425 (toysat) R 14420 14423 11961 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 114696402 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1213.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1213.61
CPU time (s): 1213.37
CPU user time (s): 1204.6
CPU system time (s): 8.77367
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 15894084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1204.6
system time used= 8.77367
maximum resident set size= 15661732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3856935
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= 143
involuntary context switches= 1440

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.21351 second user time and 4.54731 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 21:26:56
IDJOB=4079399
IDBENCH=92697
IDSOLVER=2542
FILE ID=node107/4079399-1465327616
RUNJOBID= node107-1465310409-12875
PBS_JOBID= 19848089
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079399-1465327616/watcher-4079399-1465327616 -o /tmp/evaluation-result-4079399-1465327616/solver-4079399-1465327616 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079399-1465327616.opb

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

MD5SUM BENCH= ebd57823bd571ff5d4e153dfd450b6f7
RANDOM SEED=1652204044

node107.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.441
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	: 5332.88
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.441
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.441
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.54
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.441
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.441
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.441
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.441
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.56
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.441
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:        29051808 kB
Buffers:          106712 kB
Cached:           352268 kB
SwapCached:         1648 kB
Active:          2494164 kB
Inactive:         310420 kB
Active(anon):    2345300 kB
Inactive(anon):     2796 kB
Active(file):     148864 kB
Inactive(file):   307624 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       2619456 kB
Mapped:            10716 kB
Shmem:                 0 kB
Slab:             604272 kB
SReclaimable:      47700 kB
SUnreclaim:       556572 kB
KernelStack:        1488 kB
PageTables:         9060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2761584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1312768 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= 71692 MiB
End job on node107 at 2016-06-07 21:47:10