Trace number 4080025

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb
MD5SUMc566835626501a566dd2965326e4b112
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-177720
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 438
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 911866
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 911866
Number of bits of the biggest sum of numbers20
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-07T11:13:45+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-4080025-1465290825.opb"]
0.00/0.01	c use --random-gen="232109653 3257380019 2010563873 208499489 3775819023 1933094149 1917613369 3173086355 3441204411 1211760895 961821971 3756132850 3700874964 3528535394 3968899575 1208264159 3979828641 1112838427 4116161434 1963258687 3209829281 3161596333 858969667 3800447927 2614603771 1472344321 200828783 2294579266 3196678340 2018099734 3219180337 1460039252 192483497 2010650503 1150918637 3133996317 1485388769 1829970899 457860616 1275910578 1526817476 2389703474 954051698 3198185591 3638881609 466715480 3400188958 1452226525 3750184876 3755898434 2904065055 3097634034 628211451 1808327614 1161658747 380578049 1588482077 3022911705 2769320964 121458942 3807417913 3321545129 647980077 1537988102 1521022679 152627520 4012431646 3000447045 578865141 3231628686 703602147 3628481399 319499720 2835498049 560591253 324325279 4011640845 3369529851 3679393136 1477036327 2014252973 3186462991 397212536 3914929607 3056461548 2795551758 606111581 1488328215 3124414772 1287570728 645409056 66470717 633100673 160720151 3225452608 1080177944 2486232442 1378516161 2159787182 2025858145 1520031163 4151100118 1536944786 1043586486 1469387059 522968285 1896065303 3720831786 2284313979 2821423261 2616300582 3392926370 995623581 1250959723 1494679916 4079608314 465420622 2844181372 575086267 574953308 3550120218 2750600324 650960465 3152573613 2618146686 2853077977 1853930105 2160142969 420317023 2550252743 2362287991 4228328827 606716258 601205678 1967654882 1973608395 3908993056 1303738492 1151483423 2698378758 4066254975 1809418633 2490245684 2124139229 2902894657 4210394126 3738096478 1400707209 1584058106 2316294199 2699754428 1028487290 844111654 573846340 3687198075 3832060566 3670744533 3101205685 2634733035 1285645270 2706912346 4038462785 2885464214 980829055 1853934590 3765807420 902324098 2838107481 3013549287 2306889122 3934039743 1598262812 2071372740 4061516575 1907973563 539682199 3264970244 3020235956 2517412796 1576224292 3746681699 2831574468 662109534 4266518566 3042916054 1700914456 2417986548 2045579600 919373748 183833654 1978409076 3182557493 725048176 1467771777 3531059070 705716541 1313216548 3217841441 651864585 1721861845 850032861 2611834581 589552260 3539055959 628952184 2052135230 3101269583 4264103291 2234120409 752880841 2101333705 4205295793 1009078689 2699273042 3268806606 3595689729 597533125 1256240077 4003460822 1422987004 3106113692 4046705298 2525209205 1260295472 2054820546 658573474 3116208862 2738789411 3304317250 3568421576 219830192 4152814549 968469769 4078149462 2991158214 967679424 3315256203 1657830160 2841235072 3569897546 2466591286 3675459192 2867975801 2320325360 4288146348 3876326622 2417725077 4014880679 3127127966 1059836337 3332416092 3555757139 1841373417 3197702548 2449177122 2995575952 255 362436" option to reproduce the execution
0.39/0.45	c #vars 40937
0.39/0.45	c #constraints 41436
1.49/1.52	c BCD2: Hardening is enabled.
1.49/1.52	c BCD2: BiasedSearch is enabled.
1.49/1.52	c Solving starts ...
1.49/1.52	c ============================[ Search Statistics ]============================
1.49/1.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.52	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.52	c =============================================================================
1.49/1.52	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.09/2.11	c  0.6s |       1 |     7088 |      100 |    27456      0 |      148 |      146
3.99/4.07	c  2.5s |       2 |    13290 |      250 |    30202      0 |      148 |      146
6.59/6.67	c  5.1s |       2 |    16588 |      350 |    33223      0 |      148 |      146
9.09/9.10	c  7.6s |       3 |    19242 |      475 |    33223      0 |      148 |      146
12.99/13.04	c 11.5s |       3 |    24357 |      575 |    36546      0 |      148 |      146
17.69/17.73	c 16.2s |       3 |    32018 |      775 |    36546      0 |      148 |      146
18.08/18.16	c 16.6s |       4 |    33174 |      813 |    36546      0 |      148 |      146
22.68/22.72	c 21.2s |       4 |    36836 |     1013 |    40201      0 |      148 |      146
26.88/26.96	c 25.4s |       4 |    40704 |     1113 |    40201      0 |      148 |      146
28.98/29.01	c 27.5s |       4 |    43503 |     1213 |    40201      0 |      148 |      146
31.08/31.16	c 29.6s |       4 |    45320 |     1313 |    40201      0 |      148 |      146
31.18/31.26	c 29.7s |       5 |    45573 |     1320 |    40201      0 |      148 |      146
34.38/34.44	c 32.9s |       5 |    50414 |     1520 |    44222      0 |      148 |      146
40.48/40.58	c 39.1s |       5 |    58666 |     1720 |    44222      0 |      148 |      146
43.08/43.13	c 41.6s |       5 |    59785 |     1820 |    44222      0 |      148 |      146
46.68/46.74	c 45.2s |       5 |    61560 |     1920 |    44222      0 |      148 |      146
49.49/49.51	c 48.0s |       6 |    68118 |     2081 |    48645      0 |      148 |      146
51.58/51.63	c 50.1s |       6 |    68870 |     2181 |    48645      0 |      148 |      146
55.38/55.44	c 53.9s |       6 |    73074 |     2381 |    48645      0 |      148 |      146
59.88/59.91	c 58.4s |       6 |    76033 |     2581 |    48645      0 |      148 |      146
63.29/63.34	c 61.8s |       6 |    79687 |     2681 |    48645      0 |      148 |      146
67.28/67.30	c 65.8s |       6 |    82537 |     2881 |    48645      0 |      148 |      146
69.88/69.95	c 68.4s |       6 |    85164 |     2981 |    48645      0 |      148 |      146
73.69/73.72	c 72.2s |       6 |    88354 |     3181 |    48645      0 |      148 |      146
74.38/74.48	c 73.0s |       7 |    90116 |     3223 |    53510      0 |      148 |      146
77.88/77.98	c 76.5s |       7 |    93766 |     3423 |    53510      0 |      148 |      146
80.78/80.82	c 79.3s |       7 |    96526 |     3523 |    53510      0 |      148 |      146
84.48/84.58	c 83.1s |       7 |    99054 |     3723 |    53510      0 |      148 |      146
87.99/88.04	c 86.5s |       7 |   102071 |     3823 |    53510      0 |      148 |      146
92.98/93.08	c 91.6s |       7 |   109630 |     4023 |    53510      0 |      148 |      146
97.99/98.06	c 96.5s |       7 |   116269 |     4223 |    53510      0 |      148 |      146
101.98/102.04	c  100s |       7 |   119907 |     4323 |    53510      0 |      148 |      146
104.38/104.50	c  102s |       7 |   121906 |     4423 |    53510      0 |      148 |      146
108.88/108.97	c  107s |       7 |   122168 |     4523 |    53510      0 |      148 |      146
111.98/112.00	c  110s |       7 |   122566 |     4623 |    53510      0 |      148 |      146
116.68/116.77	c  115s |       7 |   123405 |     4723 |    53510      0 |      148 |      146
119.68/119.77	c  118s |       7 |   125986 |     4923 |    58862      0 |      148 |      146
119.88/119.95	c  118s |       8 |   126005 |     4936 |    58862      0 |      148 |      146
123.28/123.36	c  121s |       8 |   127200 |     5036 |    58862      0 |      148 |      146
125.57/125.66	c  124s |       8 |   129788 |     5236 |    58862      0 |      148 |      146
129.57/129.61	c  128s |       8 |   132936 |     5436 |    58862      0 |      148 |      146
133.97/134.05	c  132s |       8 |   134367 |     5636 |    58862      0 |      148 |      146
136.77/136.88	c  135s |       8 |   134956 |     5736 |    58862      0 |      148 |      146
141.47/141.53	c  140s |       8 |   137433 |     5836 |    58862      0 |      148 |      146
145.07/145.16	c  143s |       8 |   138451 |     5936 |    58862      0 |      148 |      146
149.58/149.67	c  148s |       8 |   139216 |     6036 |    58862      0 |      148 |      146
154.17/154.24	c  152s |       8 |   139785 |     6136 |    58862      0 |      148 |      146
158.67/158.71	c  157s |       8 |   140683 |     6236 |    58862      0 |      148 |      146
161.97/162.05	c  160s |       8 |   141174 |     6336 |    58862      0 |      148 |      146
166.77/166.86	c  165s |       8 |   141897 |     6436 |    58862      0 |      148 |      146
169.67/169.79	c  168s |       8 |   142331 |     6536 |    58862      0 |      148 |      146
172.47/172.56	c  171s |       8 |   142797 |     6636 |    58862      0 |      148 |      146
175.07/175.16	c  173s |       8 |   143713 |     6736 |    58862      0 |      148 |      146
178.07/178.11	c  176s |       8 |   147826 |     6836 |    58862      0 |      148 |      146
184.27/184.37	c  182s |       8 |   156231 |     7036 |    58862      0 |      148 |      146
187.46/187.56	c  186s |       8 |   162041 |     7236 |    58862      0 |      148 |      146
190.86/190.90	c  189s |       8 |   164676 |     7436 |    58862      0 |      148 |      146
191.96/192.08	c  190s |       9 |   165893 |     7506 |    64749      0 |      148 |      146
195.16/195.22	c  193s |       9 |   168302 |     7606 |    64749      0 |      148 |      146
199.56/199.64	c  198s |       9 |   171819 |     7706 |    64749      0 |      148 |      146
203.16/203.24	c  201s |       9 |   175610 |     7906 |    64749      0 |      148 |      146
205.56/205.67	c  204s |       9 |   177006 |     8006 |    64749      0 |      148 |      146
207.76/207.81	c  206s |       9 |   178065 |     8106 |    64749      0 |      148 |      146
209.76/209.81	c  208s |       9 |   179581 |     8206 |    64749      0 |      148 |      146
213.86/213.92	c  212s |       9 |   183030 |     8406 |    64749      0 |      148 |      146
215.96/216.05	c  214s |       9 |   184881 |     8506 |    64749      0 |      148 |      146
220.06/220.14	c  218s |       9 |   188742 |     8706 |    64749      0 |      148 |      146
222.66/222.72	c  221s |       9 |   189399 |     8806 |    64749      0 |      148 |      146
224.96/225.06	c  223s |       9 |   192755 |     8906 |    64749      0 |      148 |      146
228.46/228.56	c  227s |       9 |   196720 |     9106 |    64749      0 |      148 |      146
232.66/232.70	c  231s |       9 |   201905 |     9306 |    64749      0 |      148 |      146
236.86/236.99	c  235s |       9 |   208591 |     9506 |    64749      0 |      148 |      146
239.05/239.11	c  237s |       9 |   211373 |     9606 |    64749      0 |      148 |      146
242.55/242.63	c  241s |       9 |   217206 |     9806 |    64749      0 |      148 |      146
246.25/246.32	c  244s |       9 |   222860 |    10006 |    64749      0 |      148 |      146
250.05/250.10	c  248s |       9 |   227437 |    10206 |    64749      0 |      148 |      146
253.25/253.38	c  251s |       9 |   228241 |    10406 |    64749      0 |      148 |      146
256.95/257.08	c  255s |       9 |   229729 |    10606 |    64749      0 |      148 |      146
259.45/259.59	c  258s |       9 |   230498 |    10706 |    64749      0 |      148 |      146
261.65/261.77	c  260s |       9 |   231190 |    10806 |    64749      0 |      148 |      146
263.96/264.02	c  262s |       9 |   236793 |    10906 |    64749      0 |      148 |      146
267.36/267.47	c  265s |       9 |   241277 |    11106 |    64749      0 |      148 |      146
271.45/271.52	c  269s |       9 |   244848 |    11306 |    71224      0 |      148 |      146
272.35/272.46	c  270s |      10 |   245594 |    11361 |    71224      0 |      148 |      146
274.55/274.62	c  273s |      10 |   248383 |    11461 |    71224      0 |      148 |      146
277.95/278.06	c  276s |      10 |   250489 |    11661 |    71224      0 |      148 |      146
280.55/280.61	c  279s |      10 |   251825 |    11861 |    71224      0 |      148 |      146
283.25/283.31	c  281s |      10 |   252620 |    11961 |    71224      0 |      148 |      146
285.55/285.68	c  284s |      10 |   255695 |    12061 |    71224      0 |      148 |      146
288.25/288.31	c  286s |      10 |   257306 |    12161 |    71224      0 |      148 |      146
290.74/290.86	c  289s |      10 |   260298 |    12261 |    71224      0 |      148 |      146
294.64/294.74	c  293s |      10 |   262623 |    12461 |    71224      0 |      148 |      146
298.05/298.14	c  296s |      10 |   265580 |    12561 |    71224      0 |      148 |      146
300.54/300.61	c  299s |      10 |   268618 |    12661 |    71224      0 |      148 |      146
304.24/304.34	c  302s |      10 |   270918 |    12861 |    71224      0 |      148 |      146
307.24/307.30	c  305s |      10 |   272606 |    12961 |    71224      0 |      148 |      146
309.74/309.82	c  308s |      10 |   274720 |    13061 |    71224      0 |      148 |      146
312.35/312.41	c  310s |      10 |   276249 |    13261 |    71224      0 |      148 |      146
315.44/315.56	c  314s |      10 |   281957 |    13461 |    71224      0 |      148 |      146
318.44/318.54	c  317s |      10 |   285499 |    13561 |    71224      0 |      148 |      146
323.45/323.58	c  322s |      10 |   293028 |    13761 |    71224      0 |      148 |      146
325.44/325.60	c  324s |      10 |   295025 |    13861 |    71224      0 |      149 |      147
327.85/327.97	c  326s |      10 |   295482 |    13961 |    71224      0 |      149 |      147
330.84/330.91	c  329s |      10 |   296076 |    14061 |    71224      0 |      149 |      147
333.34/333.41	c  331s |      10 |   297854 |    14161 |    71224      0 |      149 |      147
335.64/335.73	c  334s |      10 |   299763 |    14261 |    71224      0 |      149 |      147
339.94/340.02	c  338s |      10 |   300754 |    14461 |    71224      0 |      149 |      147
342.24/342.34	c  340s |      10 |   302743 |    14561 |    71224      0 |      149 |      147
345.34/345.42	c  343s |      10 |   305734 |    14761 |    71224      0 |      149 |      147
347.44/347.50	c  345s |      10 |   306319 |    14861 |    71224      0 |      149 |      147
350.94/351.01	c  349s |      10 |   309064 |    15061 |    71224      0 |      149 |      147
354.93/355.02	c  353s |      10 |   311325 |    15261 |    71224      0 |      149 |      147
358.93/359.01	c  357s |      10 |   317045 |    15461 |    71224      0 |      149 |      147
363.23/363.37	c  361s |      10 |   320926 |    15661 |    71224      0 |      149 |      147
365.33/365.45	c  363s |      10 |   322459 |    15761 |    71224      0 |      149 |      147
369.03/369.11	c  367s |      10 |   330375 |    15961 |    71224      0 |      149 |      147
371.03/371.12	c  369s |      10 |   332330 |    16061 |    71224      0 |      149 |      147
374.43/374.54	c  373s |      10 |   336682 |    16261 |    71224      0 |      149 |      147
377.73/377.84	c  376s |      10 |   340366 |    16461 |    71224      0 |      149 |      147
381.64/381.73	c  380s |      10 |   342548 |    16661 |    71224      0 |      149 |      147
385.23/385.39	c  383s |      10 |   344476 |    16861 |    71224      0 |      149 |      147
388.53/388.62	c  387s |      10 |   345409 |    17061 |    78347      0 |      149 |      147
390.13/390.22	c  388s |      11 |   346348 |    17144 |    78347      0 |      149 |      147
393.23/393.34	c  391s |      11 |   350036 |    17344 |    78347      0 |      149 |      147
397.43/397.50	c  395s |      11 |   355080 |    17544 |    78347      0 |      149 |      147
400.93/401.10	c  399s |      11 |   358825 |    17744 |    78347      0 |      149 |      147
403.63/403.75	c  402s |      11 |   360302 |    17844 |    78347      0 |      149 |      147
405.83/405.96	c  404s |      11 |   361741 |    17944 |    78347      0 |      149 |      147
408.32/408.43	c  406s |      11 |   363023 |    18044 |    78347      0 |      149 |      147
410.72/410.83	c  409s |      11 |   363756 |    18144 |    78347      0 |      149 |      147
412.72/412.87	c  411s |      11 |   364928 |    18244 |    78347      0 |      149 |      147
415.22/415.39	c  413s |      11 |   368114 |    18344 |    78347      0 |      149 |      147
417.62/417.76	c  416s |      11 |   371721 |    18444 |    78347      0 |      149 |      147
419.82/419.90	c  418s |      11 |   373833 |    18544 |    78347      0 |      149 |      147
422.72/422.87	c  421s |      11 |   375555 |    18744 |    78347      0 |      149 |      147
425.02/425.12	c  423s |      11 |   377801 |    18844 |    78347      0 |      149 |      147
429.02/429.15	c  427s |      11 |   379728 |    19044 |    78347      0 |      149 |      147
432.32/432.48	c  430s |      11 |   382979 |    19244 |    78347      0 |      149 |      147
435.01/435.11	c  433s |      11 |   384869 |    19444 |    78347      0 |      149 |      147
437.61/437.79	c  436s |      11 |   386646 |    19644 |    78347      0 |      149 |      147
441.12/441.21	c  439s |      11 |   390971 |    19844 |    78347      0 |      149 |      147
444.11/444.24	c  442s |      11 |   395074 |    20044 |    78347      0 |      149 |      147
446.31/446.44	c  444s |      11 |   396873 |    20144 |    78347      0 |      149 |      147
449.61/449.73	c  448s |      11 |   398934 |    20344 |    78347      0 |      149 |      147
451.71/451.89	c  450s |      11 |   400050 |    20444 |    78347      0 |      149 |      147
454.32/454.42	c  452s |      11 |   401258 |    20544 |    78347      0 |      149 |      147
457.41/457.55	c  456s |      11 |   405538 |    20744 |    78347      0 |      149 |      147
460.51/460.63	c  459s |      11 |   407592 |    20944 |    78347      0 |      149 |      147
463.21/463.38	c  461s |      11 |   409110 |    21144 |    78347      0 |      149 |      147
466.41/466.58	c  465s |      11 |   410813 |    21344 |    78347      0 |      149 |      147
469.41/469.58	c  468s |      11 |   411315 |    21544 |    78347      0 |      149 |      147
473.10/473.27	c  471s |      11 |   412907 |    21744 |    78347      0 |      149 |      147
475.60/475.71	c  474s |      11 |   413499 |    21844 |    78347      0 |      149 |      147
477.80/477.98	c  476s |      11 |   414214 |    21944 |    78347      0 |      149 |      147
480.80/480.91	c  479s |      11 |   417568 |    22144 |    78347      0 |      149 |      147
483.60/483.73	c  482s |      11 |   420350 |    22344 |    78347      0 |      149 |      147
486.80/486.90	c  485s |      11 |   423070 |    22544 |    78347      0 |      149 |      147
490.00/490.11	c  488s |      11 |   424631 |    22744 |    78347      0 |      149 |      147
493.00/493.17	c  491s |      11 |   427501 |    22944 |    78347      0 |      149 |      147
496.40/496.52	c  494s |      11 |   428924 |    23144 |    78347      0 |      149 |      147
498.60/498.77	c  497s |      11 |   432153 |    23244 |    78347      0 |      149 |      147
501.90/502.04	c  500s |      11 |   434719 |    23444 |    78347      0 |      149 |      147
504.90/505.05	c  503s |      11 |   440155 |    23544 |    78347      0 |      149 |      147
508.59/508.70	c  507s |      11 |   442923 |    23744 |    78347      0 |      149 |      147
512.29/512.44	c  510s |      11 |   444098 |    23944 |    78347      0 |      149 |      147
514.80/515.00	c  513s |      11 |   444234 |    24044 |    78347      0 |      149 |      147
517.59/517.79	c  516s |      11 |   447154 |    24244 |    78347      0 |      149 |      147
520.69/520.85	c  519s |      11 |   449258 |    24444 |    78347      0 |      149 |      147
523.38/523.60	c  522s |      11 |   452481 |    24644 |    78347      0 |      149 |      147
525.88/526.04	c  524s |      11 |   454412 |    24844 |    78347      0 |      149 |      147
528.38/528.59	c  527s |      11 |   456409 |    25044 |    78347      0 |      149 |      147
530.78/530.99	c  529s |      11 |   458694 |    25244 |    78347      0 |      149 |      147
533.68/533.89	c  532s |      11 |   460232 |    25444 |    78347      0 |      149 |      147
537.98/538.16	c  536s |      11 |   463796 |    25644 |    78347      0 |      149 |      147
540.88/541.03	c  539s |      12 |   467963 |    25819 |    86182      0 |      149 |      147
543.07/543.23	c  541s |      12 |   469967 |    25919 |    86182      0 |      149 |      147
546.97/547.19	c  545s |      12 |   478385 |    26119 |    86182      0 |      149 |      147
550.27/550.43	c  548s |      12 |   483554 |    26319 |    86182      0 |      149 |      147
553.87/554.05	c  552s |      12 |   487061 |    26519 |    86182      0 |      149 |      147
555.87/556.05	c  554s |      12 |   488422 |    26619 |    86182      0 |      149 |      147
558.67/558.85	c  557s |      12 |   490957 |    26719 |    86182      0 |      149 |      147
561.67/561.83	c  560s |      12 |   492068 |    26919 |    86182      0 |      149 |      147
563.76/563.94	c  562s |      12 |   496619 |    27019 |    86182      0 |      149 |      147
566.66/566.82	c  565s |      12 |   500877 |    27219 |    86182      0 |      149 |      147
569.16/569.34	c  567s |      12 |   504442 |    27319 |    86182      0 |      149 |      147
572.26/572.43	c  570s |      12 |   508151 |    27519 |    86182      0 |      149 |      147
575.36/575.51	c  573s |      12 |   510792 |    27719 |    86182      0 |      149 |      147
578.96/579.13	c  577s |      12 |   513669 |    27919 |    86182      0 |      149 |      147
583.97/584.12	c  582s |      12 |   516073 |    28119 |    86182      0 |      149 |      147
586.06/586.29	c  584s |      12 |   516484 |    28219 |    86182      0 |      149 |      147
589.76/589.95	c  588s |      12 |   517819 |    28419 |    86182      0 |      149 |      147
593.16/593.33	c  591s |      12 |   520647 |    28619 |    86182      0 |      149 |      147
596.56/596.75	c  595s |      12 |   525109 |    28819 |    86182      0 |      149 |      147
600.06/600.20	c  598s |      12 |   527396 |    29019 |    86182      0 |      149 |      147
603.36/603.56	c  602s |      12 |   530749 |    29219 |    86182      0 |      149 |      147
607.06/607.29	c  605s |      12 |   534129 |    29419 |    86182      0 |      149 |      147
610.75/610.97	c  609s |      12 |   539065 |    29619 |    86182      0 |      149 |      147
612.75/612.97	c  611s |      12 |   540923 |    29719 |    86182      0 |      149 |      147
614.86/615.06	c  613s |      12 |   541573 |    29819 |    86182      0 |      149 |      147
617.75/617.94	c  616s |      12 |   542137 |    29919 |    86182      0 |      149 |      147
620.55/620.71	c  619s |      12 |   544508 |    30119 |    86182      0 |      149 |      147
623.85/624.02	c  622s |      12 |   546619 |    30319 |    86182      0 |      149 |      147
626.15/626.31	c  624s |      12 |   547183 |    30419 |    86182      0 |      149 |      147
628.15/628.35	c  626s |      12 |   549424 |    30519 |    86182      0 |      149 |      147
630.86/631.02	c  629s |      12 |   555599 |    30719 |    86182      0 |      149 |      147
634.06/634.23	c  632s |      12 |   559230 |    30919 |    86182      0 |      149 |      147
636.36/636.50	c  634s |      12 |   560539 |    31019 |    86182      0 |      149 |      147
638.96/639.11	c  637s |      12 |   560707 |    31119 |    86182      0 |      149 |      147
641.56/641.76	c  640s |      12 |   563350 |    31319 |    86182      0 |      149 |      147
643.96/644.12	c  642s |      12 |   564379 |    31419 |    86182      0 |      149 |      147
646.86/647.07	c  645s |      12 |   566483 |    31619 |    86182      0 |      149 |      147
649.56/649.78	c  648s |      12 |   569508 |    31819 |    86182      0 |      149 |      147
652.35/652.58	c  651s |      12 |   571913 |    32019 |    86182      0 |      149 |      147
654.46/654.63	c  653s |      12 |   573744 |    32219 |    86182      0 |      149 |      147
657.45/657.67	c  656s |      12 |   577084 |    32419 |    86182      0 |      149 |      147
661.06/661.21	c  659s |      12 |   579262 |    32619 |    86182      0 |      149 |      147
664.26/664.43	c  662s |      12 |   580286 |    32819 |    86182      0 |      149 |      147
666.46/666.69	c  665s |      12 |   580859 |    32919 |    86182      0 |      149 |      147
669.05/669.21	c  667s |      12 |   582740 |    33119 |    86182      0 |      149 |      147
671.45/671.65	c  670s |      12 |   584558 |    33319 |    86182      0 |      149 |      147
674.95/675.12	c  673s |      12 |   586180 |    33519 |    86182      0 |      149 |      147
677.35/677.55	c  676s |      12 |   588199 |    33719 |    86182      0 |      149 |      147
679.45/679.67	c  678s |      12 |   589618 |    33819 |    86182      0 |      149 |      147
682.35/682.51	c  680s |      12 |   591508 |    34019 |    86182      0 |      149 |      147
686.36/686.56	c  685s |      12 |   594534 |    34219 |    86182      0 |      149 |      147
688.65/688.84	c  687s |      12 |   597298 |    34419 |    86182      0 |      149 |      147
692.45/692.61	c  691s |      12 |   598792 |    34619 |    86182      0 |      149 |      147
695.65/695.84	c  694s |      12 |   601058 |    34819 |    86182      0 |      149 |      147
698.75/698.96	c  697s |      12 |   603437 |    35019 |    86182      0 |      149 |      147
702.75/702.93	c  701s |      12 |   604963 |    35219 |    86182      0 |      149 |      147
705.15/705.32	c  703s |      12 |   605113 |    35319 |    86182      0 |      149 |      147
707.15/707.34	c  705s |      12 |   608032 |    35419 |    86182      0 |      149 |      147
709.85/710.10	c  708s |      12 |   611634 |    35619 |    86182      0 |      149 |      147
713.45/713.67	c  712s |      12 |   616426 |    35819 |    86182      0 |      149 |      147
715.85/716.02	c  714s |      12 |   618139 |    35919 |    86182      0 |      149 |      147
717.94/718.14	c  716s |      12 |   620684 |    36019 |    86182      0 |      149 |      147
721.55/721.74	c  720s |      12 |   622082 |    36219 |    86182      0 |      149 |      147
725.04/725.20	c  723s |      12 |   627027 |    36419 |    86182      0 |      149 |      147
727.54/727.73	c  726s |      12 |   628351 |    36619 |    86182      0 |      149 |      147
730.04/730.24	c  728s |      12 |   629195 |    36719 |    86182      0 |      149 |      147
732.14/732.38	c  730s |      12 |   631782 |    36819 |    86182      0 |      149 |      147
735.64/735.88	c  734s |      12 |   640007 |    37019 |    86182      0 |      149 |      147
740.14/740.37	c  738s |      12 |   642121 |    37219 |    86182      0 |      149 |      147
742.94/743.11	c  741s |      12 |   645882 |    37419 |    86182      0 |      149 |      147
745.13/745.33	c  743s |      12 |   648455 |    37619 |    86182      0 |      149 |      147
749.04/749.29	c  747s |      12 |   653925 |    37819 |    86182      0 |      149 |      147
752.24/752.48	c  750s |      12 |   657470 |    38019 |    86182      0 |      149 |      147
755.33/755.51	c  753s |      12 |   659976 |    38219 |    86182      0 |      149 |      147
758.53/758.78	c  757s |      12 |   662250 |    38419 |    86182      0 |      149 |      147
761.53/761.71	c  760s |      12 |   665909 |    38619 |    94801      0 |      149 |      147
764.63/764.81	c  763s |      12 |   670014 |    38819 |    94801      0 |      149 |      147
764.73/764.93	c  763s |      13 |   670046 |    38832 |    94801      0 |      149 |      147
768.13/768.30	c  766s |      13 |   672678 |    39032 |    94801      0 |      149 |      147
771.12/771.37	c  769s |      13 |   674900 |    39232 |    94801      0 |      149 |      147
773.62/773.89	c  772s |      13 |   678417 |    39332 |    94801      0 |      149 |      147
776.02/776.21	c  774s |      13 |   683345 |    39432 |    94801      0 |      149 |      147
779.12/779.38	c  777s |      13 |   686393 |    39632 |    94801      0 |      149 |      147
781.32/781.59	c  780s |      13 |   689720 |    39732 |    94801      0 |      149 |      147
784.32/784.56	c  783s |      13 |   695086 |    39932 |    94801      0 |      149 |      147
786.42/786.68	c  785s |      13 |   696858 |    40032 |    94801      0 |      149 |      147
789.52/789.70	c  788s |      13 |   701588 |    40232 |    94801      0 |      149 |      147
792.12/792.36	c  790s |      13 |   704112 |    40432 |    94801      0 |      149 |      147
795.31/795.56	c  794s |      13 |   705906 |    40632 |    94801      0 |      149 |      147
798.11/798.32	c  796s |      13 |   706511 |    40832 |    94801      0 |      149 |      147
800.91/801.15	c  799s |      13 |   709083 |    41032 |    94801      0 |      149 |      147
805.41/805.62	c  804s |      13 |   710816 |    41232 |    94801      0 |      149 |      147
808.51/808.72	c  807s |      13 |   712051 |    41432 |    94801      0 |      149 |      147
811.91/812.15	c  810s |      13 |   712594 |    41632 |    94801      0 |      149 |      147
815.41/815.61	c  814s |      13 |   715948 |    41832 |    94801      0 |      149 |      147
817.61/817.89	c  816s |      13 |   718470 |    42032 |    94801      0 |      149 |      147
820.51/820.74	c  819s |      13 |   721506 |    42232 |    94801      0 |      149 |      147
823.10/823.33	c  821s |      13 |   724058 |    42432 |    94801      0 |      149 |      147
825.40/825.69	c  824s |      13 |   727195 |    42632 |    94801      0 |      149 |      147
828.80/829.06	c  827s |      13 |   732863 |    42832 |    94801      0 |      149 |      147
830.90/831.14	c  829s |      13 |   735453 |    42932 |    94801      0 |      149 |      147
834.00/834.24	c  832s |      13 |   739874 |    43132 |    94801      0 |      149 |      147
836.30/836.57	c  835s |      13 |   740378 |    43332 |    94801      0 |      149 |      147
839.90/840.14	c  838s |      13 |   741828 |    43532 |    94801      0 |      149 |      147
842.20/842.47	c  840s |      13 |   744050 |    43732 |    94801      0 |      149 |      147
847.10/847.33	c  845s |      13 |   745851 |    44032 |    94801      0 |      149 |      147
849.70/849.98	c  848s |      13 |   746106 |    44132 |    94801      0 |      149 |      147
853.40/853.65	c  852s |      13 |   747456 |    44332 |    94801      0 |      149 |      147
856.49/856.70	c  855s |      13 |   748213 |    44432 |    94801      0 |      149 |      147
859.89/860.18	c  858s |      13 |   748997 |    44632 |    94801      0 |      149 |      147
862.09/862.39	c  860s |      13 |   749623 |    44732 |    94801      0 |      149 |      147
864.99/865.22	c  863s |      13 |   750222 |    44932 |    94801      0 |      149 |      147
867.99/868.23	c  866s |      13 |   752376 |    45132 |    94801      0 |      149 |      147
870.29/870.59	c  869s |      13 |   754113 |    45332 |    94801      0 |      149 |      147
873.30/873.57	c  872s |      13 |   756597 |    45532 |    94801      0 |      149 |      147
876.29/876.59	c  875s |      13 |   760603 |    45732 |    94801      0 |      149 |      147
880.19/880.42	c  878s |      13 |   762595 |    45932 |    94801      0 |      149 |      147
883.10/883.39	c  881s |      13 |   764872 |    46032 |    94801      0 |      149 |      147
886.69/886.92	c  885s |      13 |   768351 |    46232 |    94801      0 |      149 |      147
889.59/889.84	c  888s |      13 |   772895 |    46432 |    94801      0 |      149 |      147
893.19/893.48	c  891s |      13 |   774463 |    46632 |    94801      0 |      149 |      147
895.29/895.57	c  894s |      13 |   774891 |    46732 |    94801      0 |      149 |      147
898.49/898.79	c  897s |      13 |   777549 |    46932 |    94801      0 |      149 |      147
901.59/901.89	c  900s |      13 |   780352 |    47032 |    94801      0 |      149 |      147
904.99/905.30	c  903s |      13 |   782907 |    47232 |    94801      0 |      149 |      147
908.08/908.37	c  906s |      13 |   783921 |    47432 |    94801      0 |      149 |      147
911.08/911.31	c  909s |      13 |   785116 |    47632 |    94801      0 |      149 |      147
914.18/914.41	c  912s |      13 |   788001 |    47832 |    94801      0 |      149 |      147
918.18/918.40	c  916s |      13 |   789652 |    48032 |    94801      0 |      149 |      147
921.88/922.13	c  920s |      13 |   793720 |    48232 |    94801      0 |      149 |      147
924.48/924.72	c  923s |      13 |   795898 |    48432 |    94801      0 |      149 |      147
927.68/927.93	c  926s |      13 |   796964 |    48632 |    94801      0 |      149 |      147
930.68/930.98	c  929s |      13 |   800027 |    48832 |    94801      0 |      149 |      147
933.48/933.79	c  932s |      13 |   802255 |    49032 |    94801      0 |      149 |      147
935.58/935.82	c  934s |      13 |   805116 |    49132 |    94801      0 |      149 |      147
939.19/939.45	c  937s |      13 |   806016 |    49332 |    94801      0 |      149 |      147
941.68/941.98	c  940s |      13 |   807081 |    49532 |    94801      0 |      149 |      147
944.08/944.33	c  942s |      13 |   808986 |    49732 |    94801      0 |      149 |      147
946.78/947.10	c  945s |      13 |   810031 |    49932 |    94801      0 |      149 |      147
948.88/949.13	c  947s |      13 |   810302 |    50032 |    94801      0 |      149 |      147
951.28/951.58	c  950s |      13 |   810833 |    50132 |    94801      0 |      149 |      147
954.88/955.15	c  953s |      13 |   814303 |    50432 |    94801      0 |      149 |      147
957.48/957.78	c  956s |      13 |   816813 |    50632 |    94801      0 |      149 |      147
959.98/960.24	c  958s |      13 |   818196 |    50832 |    94801      0 |      149 |      147
962.88/963.17	c  961s |      13 |   819168 |    51032 |    94801      0 |      149 |      147
965.68/965.91	c  964s |      13 |   819559 |    51232 |    94801      0 |      149 |      147
968.17/968.45	c  966s |      13 |   821111 |    51432 |    94801      0 |      149 |      147
971.08/971.35	c  969s |      13 |   823801 |    51732 |    94801      0 |      149 |      147
973.67/973.98	c  972s |      13 |   826693 |    51932 |    94801      0 |      149 |      147
975.77/976.02	c  974s |      13 |   829935 |    52132 |    94801      0 |      149 |      147
977.87/978.19	c  976s |      13 |   830991 |    52232 |    94801      0 |      149 |      147
979.98/980.25	c  978s |      13 |   838628 |    52432 |    94801      0 |      149 |      147
982.27/982.53	c  981s |      13 |   839417 |    52632 |    94801      0 |      149 |      147
984.57/984.89	c  983s |      13 |   839858 |    52832 |    94801      0 |      149 |      147
987.17/987.47	c  985s |      13 |   840708 |    53032 |    94801      0 |      149 |      147
989.78/990.09	c  988s |      13 |   841624 |    53232 |    94801      0 |      149 |      147
991.98/992.28	c  990s |      13 |   843293 |    53432 |    94801      0 |      149 |      147
994.07/994.38	c  992s |      13 |   843726 |    53632 |    94801      0 |      149 |      147
996.97/997.29	c  995s |      13 |   844496 |    53832 |    94801      0 |      149 |      147
999.78/1000.09	c  998s |      13 |   845053 |    54032 |    94801      0 |      149 |      147
1002.47/1002.76	c 1001s |      13 |   845835 |    54132 |    94801      0 |      149 |      147
1005.18/1005.42	c 1003s |      13 |   846163 |    54232 |    94801      0 |      149 |      147
1007.38/1007.63	c 1006s |      13 |   846572 |    54332 |    94801      0 |      149 |      147
1009.58/1009.85	c 1008s |      13 |   848020 |    54432 |    94801      0 |      149 |      147
1014.47/1014.77	c 1013s |      13 |   848778 |    54632 |    94801      0 |      149 |      147
1016.77/1017.09	c 1015s |      13 |   849103 |    54732 |    94801      0 |      149 |      147
1020.67/1020.97	c 1019s |      13 |   850563 |    54932 |    94801      0 |      149 |      147
1023.77/1024.09	c 1022s |      13 |   851788 |    55132 |    94801      0 |      149 |      147
1025.97/1026.24	c 1024s |      13 |   852723 |    55332 |    94801      0 |      149 |      147
1028.37/1028.62	c 1027s |      13 |   856549 |    55532 |    94801      0 |      149 |      147
1030.86/1031.15	c 1029s |      13 |   858149 |    55732 |    94801      0 |      149 |      147
1033.56/1033.80	c 1032s |      13 |   860038 |    55932 |    94801      0 |      149 |      147
1035.76/1036.07	c 1034s |      13 |   860884 |    56032 |    94801      0 |      149 |      147
1037.96/1038.21	c 1036s |      13 |   861185 |    56132 |    94801      0 |      149 |      147
1040.96/1041.21	c 1039s |      13 |   862928 |    56332 |    94801      0 |      149 |      147
1043.86/1044.12	c 1042s |      13 |   865435 |    56532 |    94801      0 |      149 |      147
1047.56/1047.85	c 1046s |      13 |   867939 |    56732 |    94801      0 |      149 |      147
1050.56/1050.81	c 1049s |      13 |   869216 |    56932 |    94801      0 |      149 |      147
1052.66/1052.96	c 1051s |      13 |   869603 |    57032 |    94801      0 |      149 |      147
1057.16/1057.47	c 1055s |      13 |   871182 |    57232 |    94801      0 |      149 |      147
1059.46/1059.72	c 1058s |      13 |   871639 |    57332 |    94801      0 |      149 |      147
1062.47/1062.72	c 1061s |      13 |   877578 |    57532 |    94801      0 |      149 |      147
1064.67/1064.99	c 1063s |      13 |   880097 |    57732 |    94801      0 |      149 |      147
1067.16/1067.46	c 1065s |      13 |   882801 |    57932 |    94801      0 |      149 |      147
1070.26/1070.51	c 1068s |      13 |   885606 |    58132 |   104282      0 |      149 |      147
1073.36/1073.70	c 1072s |      13 |   886958 |    58332 |   104282      0 |      149 |      147
1073.66/1073.97	c 1072s |      14 |   886984 |    58352 |   104282      0 |      149 |      147
1077.26/1077.59	c 1076s |      14 |   888506 |    58552 |   104282      0 |      149 |      147
1081.06/1081.36	c 1079s |      14 |   889536 |    58752 |   104282      0 |      149 |      147
1083.96/1084.20	c 1082s |      14 |   892505 |    58952 |   104282      0 |      149 |      147
1087.55/1087.85	c 1086s |      14 |   895333 |    59152 |   104282      0 |      149 |      147
1089.65/1089.93	c 1088s |      14 |   896731 |    59252 |   104282      0 |      149 |      147
1092.25/1092.59	c 1091s |      14 |   898492 |    59452 |   104282      0 |      149 |      147
1095.75/1096.01	c 1094s |      14 |   899876 |    59652 |   104282      0 |      149 |      147
1099.25/1099.52	c 1097s |      14 |   900482 |    59852 |   104282      0 |      149 |      147
1101.85/1102.12	c 1100s |      14 |   902152 |    60052 |   104282      0 |      149 |      147
1105.15/1105.46	c 1103s |      14 |   905469 |    60252 |   104282      0 |      149 |      147
1108.25/1108.52	c 1107s |      14 |   909207 |    60452 |   104282      0 |      149 |      147
1110.65/1111.00	c 1109s |      14 |   911414 |    60652 |   104282      0 |      149 |      147
1113.85/1114.19	c 1112s |      14 |   913878 |    60852 |   104282      0 |      149 |      147
1117.25/1117.52	c 1116s |      14 |   916300 |    61052 |   104282      0 |      149 |      147
1120.76/1121.08	c 1119s |      14 |   919305 |    61252 |   104282      0 |      149 |      147
1123.75/1124.07	c 1122s |      14 |   922106 |    61452 |   104282      0 |      149 |      147
1126.65/1126.95	c 1125s |      14 |   923743 |    61652 |   104282      0 |      149 |      147
1129.56/1129.87	c 1128s |      14 |   927293 |    61852 |   104282      0 |      149 |      147
1132.25/1132.59	c 1131s |      14 |   928828 |    62052 |   104282      0 |      149 |      147
1135.85/1136.11	c 1134s |      14 |   930462 |    62252 |   104282      0 |      149 |      147
1139.25/1139.54	c 1138s |      14 |   932217 |    62452 |   104282      0 |      149 |      147
1141.65/1141.96	c 1140s |      14 |   934986 |    62652 |   104282      0 |      149 |      147
1143.95/1144.24	c 1142s |      14 |   937391 |    62852 |   104282      0 |      149 |      147
1146.25/1146.51	c 1144s |      14 |   938778 |    62952 |   104282      0 |      149 |      147
1150.05/1150.37	c 1148s |      14 |   939366 |    63152 |   104282      0 |      149 |      147
1152.14/1152.49	c 1150s |      14 |   940380 |    63252 |   104282      0 |      149 |      147
1155.54/1155.82	c 1154s |      14 |   942384 |    63452 |   104282      0 |      149 |      147
1158.15/1158.49	c 1156s |      14 |   943974 |    63652 |   104282      0 |      149 |      147
1161.15/1161.45	c 1159s |      14 |   945471 |    63852 |   104282      0 |      149 |      147
1164.25/1164.60	c 1163s |      14 |   946877 |    64052 |   104282      0 |      149 |      147
1166.35/1166.66	c 1165s |      14 |   947028 |    64152 |   104282      0 |      149 |      147
1168.55/1168.85	c 1167s |      14 |   947501 |    64252 |   104282      0 |      149 |      147
1170.65/1170.98	c 1169s |      14 |   947918 |    64352 |   104282      0 |      149 |      147
1174.45/1174.72	c 1173s |      14 |   948700 |    64552 |   104282      0 |      149 |      147
1176.86/1177.11	c 1175s |      14 |   948837 |    64652 |   104282      0 |      149 |      147
1180.55/1180.81	c 1179s |      14 |   950992 |    64852 |   104282      0 |      149 |      147
1183.46/1183.73	c 1182s |      14 |   953382 |    65052 |   104282      0 |      149 |      147
1186.35/1186.67	c 1185s |      14 |   955425 |    65252 |   104282      0 |      149 |      147
1189.65/1189.91	c 1188s |      14 |   957219 |    65452 |   104282      0 |      149 |      147
1192.45/1192.72	c 1191s |      14 |   961129 |    65652 |   104282      0 |      149 |      147
1195.55/1195.81	c 1194s |      14 |   964791 |    65952 |   104282      0 |      149 |      147
1198.35/1198.63	c 1197s |      14 |   968556 |    66152 |   104282      0 |      149 |      147
1201.55/1201.84	c 1200s |      14 |   972885 |    66352 |   104282      0 |      149 |      147
1204.15/1204.48	c 1202s |      14 |   973407 |    66652 |   104282      0 |      149 |      147
1206.84/1207.16	c 1205s |      14 |   974646 |    66852 |   104282      0 |      149 |      147
1208.84/1209.17	c 1207s |      14 |   975599 |    66952 |   104282      0 |      149 |      147
1211.64/1211.91	c 1210s |      14 |   976984 |    67152 |   104282      0 |      149 |      147
1214.25/1214.53	c 1213s |      14 |   978018 |    67352 |   104282      0 |      149 |      147
1216.64/1216.97	c 1215s |      14 |   980274 |    67552 |   104282      0 |      149 |      147
1219.24/1219.58	c 1218s |      14 |   981180 |    67752 |   104282      0 |      149 |      147
1221.64/1221.90	c 1220s |      14 |   981556 |    67952 |   104282      0 |      149 |      147
1224.15/1224.50	c 1222s |      14 |   982221 |    68152 |   104282      0 |      149 |      147
1227.35/1227.62	c 1226s |      14 |   983535 |    68352 |   104282      0 |      149 |      147
1230.54/1230.84	c 1229s |      14 |   986921 |    68552 |   104282      0 |      149 |      147
1232.74/1233.09	c 1231s |      14 |   991054 |    68752 |   104282      0 |      149 |      147
1235.34/1235.68	c 1234s |      14 |   992955 |    68952 |   104282      0 |      149 |      147
1238.45/1238.74	c 1237s |      14 |   993435 |    69152 |   104282      0 |      149 |      147
1241.24/1241.58	c 1240s |      14 |   993872 |    69352 |   104282      0 |      149 |      147
1244.24/1244.56	c 1243s |      14 |   994633 |    69552 |   104282      0 |      149 |      147
1247.74/1248.03	c 1246s |      14 |   995181 |    69752 |   104282      0 |      149 |      147
1250.84/1251.15	c 1249s |      14 |   996241 |    69952 |   104282      0 |      149 |      147
1254.14/1254.49	c 1252s |      14 |   997419 |    70152 |   104282      0 |      149 |      147
1256.94/1257.23	c 1255s |      14 |   998383 |    70252 |   104282      0 |      149 |      147
1259.24/1259.51	c 1257s |      14 |   999376 |    70452 |   104282      0 |      149 |      147
1261.94/1262.21	c 1260s |      14 |   999985 |    70652 |   104282      0 |      149 |      147
1264.64/1265.00	c 1263s |      14 |  1000971 |    70852 |   104282      0 |      149 |      147
1266.84/1267.17	c 1265s |      14 |  1002903 |    71052 |   104282      0 |      149 |      147
1269.94/1270.28	c 1268s |      14 |  1007571 |    71252 |   104282      0 |      149 |      147
1272.03/1272.35	c 1270s |      14 |  1009405 |    71452 |   104282      0 |      149 |      147
1274.53/1274.80	c 1273s |      14 |  1012053 |    71652 |   104282      0 |      149 |      147
1277.33/1277.61	c 1276s |      14 |  1015101 |    71852 |   104282      0 |      149 |      147
1279.43/1279.71	c 1278s |      14 |  1015985 |    71952 |   104282      0 |      149 |      147
1281.83/1282.14	c 1280s |      14 |  1017243 |    72152 |   104282      0 |      149 |      147
1284.43/1284.71	c 1283s |      14 |  1018376 |    72352 |   104282      0 |      149 |      147
1286.63/1286.92	c 1285s |      14 |  1019997 |    72552 |   104282      0 |      149 |      147
1288.73/1289.07	c 1287s |      14 |  1021993 |    72752 |   104282      0 |      149 |      147
1291.33/1291.65	c 1290s |      14 |  1024544 |    72952 |   104282      0 |      149 |      147
1293.73/1294.06	c 1292s |      14 |  1026697 |    73152 |   104282      0 |      149 |      147
1297.13/1297.46	c 1295s |      14 |  1027770 |    73352 |   104282      0 |      149 |      147
1299.23/1299.55	c 1298s |      14 |  1028026 |    73452 |   104282      0 |      149 |      147
1301.23/1301.58	c 1300s |      14 |  1028806 |    73552 |   104282      0 |      149 |      147
1303.43/1303.71	c 1302s |      14 |  1029884 |    73652 |   104282      0 |      149 |      147
1305.44/1305.73	c 1304s |      14 |  1034562 |    73852 |   104282      0 |      149 |      147
1308.74/1309.07	c 1307s |      14 |  1040542 |    74052 |   104282      0 |      149 |      147
1311.43/1311.75	c 1310s |      14 |  1043546 |    74252 |   104282      0 |      149 |      147
1313.63/1313.95	c 1312s |      14 |  1045359 |    74452 |   104282      0 |      149 |      147
1316.73/1317.04	c 1315s |      14 |  1046431 |    74652 |   104282      0 |      149 |      147
1318.73/1319.06	c 1317s |      14 |  1047931 |    74752 |   104282      0 |      149 |      147
1321.73/1322.00	c 1320s |      14 |  1050931 |    74952 |   104282      0 |      149 |      147
1324.03/1324.33	c 1322s |      14 |  1051527 |    75152 |   104282      0 |      149 |      147
1327.13/1327.47	c 1325s |      14 |  1052745 |    75352 |   104282      0 |      149 |      147
1330.32/1330.62	c 1329s |      14 |  1053810 |    75552 |   104282      0 |      149 |      147
1334.03/1334.40	c 1332s |      14 |  1055947 |    75752 |   104282      0 |      149 |      147
1337.72/1338.08	c 1336s |      14 |  1059638 |    75952 |   104282      0 |      149 |      147
1340.82/1341.11	c 1339s |      14 |  1062126 |    76152 |   104282      0 |      149 |      147
1343.42/1343.78	c 1342s |      14 |  1062799 |    76352 |   104282      0 |      149 |      147
1346.72/1347.03	c 1345s |      14 |  1064019 |    76552 |   104282      0 |      149 |      147
1350.22/1350.54	c 1349s |      14 |  1064570 |    76752 |   104282      0 |      149 |      147
1352.92/1353.24	c 1351s |      14 |  1068339 |    76952 |   104282      0 |      149 |      147
1356.42/1356.70	c 1355s |      14 |  1069499 |    77152 |   104282      0 |      149 |      147
1359.02/1359.36	c 1357s |      14 |  1071683 |    77352 |   104282      0 |      149 |      147
1362.32/1362.66	c 1361s |      14 |  1073800 |    77552 |   104282      0 |      149 |      147
1364.52/1364.82	c 1363s |      14 |  1074686 |    77652 |   104282      0 |      149 |      147
1366.82/1367.14	c 1365s |      14 |  1076419 |    77852 |   104282      0 |      149 |      147
1370.22/1370.54	c 1369s |      14 |  1079294 |    78052 |   104282      0 |      149 |      147
1372.82/1373.16	c 1371s |      14 |  1081786 |    78252 |   104282      0 |      149 |      147
1375.52/1375.82	c 1374s |      14 |  1084595 |    78452 |   104282      0 |      149 |      147
1378.22/1378.56	c 1377s |      14 |  1087773 |    78652 |   104282      0 |      149 |      147
1380.82/1381.10	c 1379s |      14 |  1091279 |    78852 |   104282      0 |      149 |      147
1384.32/1384.65	c 1383s |      14 |  1095675 |    79052 |   104282      0 |      149 |      147
1387.52/1387.84	c 1386s |      14 |  1098086 |    79252 |   104282      0 |      149 |      147
1390.62/1390.99	c 1389s |      14 |  1101558 |    79452 |   104282      0 |      149 |      147
1393.62/1393.93	c 1392s |      14 |  1105234 |    79652 |   104282      0 |      149 |      147
1396.01/1396.31	c 1394s |      14 |  1110909 |    79852 |   104282      0 |      149 |      147
1398.11/1398.49	c 1396s |      14 |  1114334 |    80052 |   104282      0 |      149 |      147
1400.71/1401.09	c 1399s |      14 |  1117008 |    80152 |   104282      0 |      149 |      147
1402.81/1403.17	c 1401s |      14 |  1121915 |    80252 |   104282      0 |      149 |      147
1406.01/1406.31	c 1404s |      14 |  1123314 |    80452 |   104282      0 |      149 |      147
1408.71/1409.01	c 1407s |      14 |  1126196 |    80652 |   104282      0 |      149 |      147
1411.02/1411.38	c 1409s |      14 |  1129988 |    80852 |   104282      0 |      149 |      147
1414.91/1415.25	c 1413s |      14 |  1131345 |    81052 |   104282      0 |      149 |      147
1417.62/1417.91	c 1416s |      14 |  1131454 |    81152 |   104282      0 |      149 |      147
1419.61/1419.93	c 1418s |      14 |  1132386 |    81252 |   104282      0 |      149 |      147
1422.91/1423.23	c 1421s |      14 |  1132934 |    81452 |   104282      0 |      149 |      147
1426.01/1426.37	c 1424s |      14 |  1133847 |    81652 |   104282      0 |      149 |      147
1429.82/1430.15	c 1428s |      14 |  1135796 |    81852 |   104282      0 |      149 |      147
1432.21/1432.56	c 1431s |      14 |  1136098 |    81952 |   104282      0 |      149 |      147
1434.31/1434.60	c 1433s |      14 |  1136419 |    82052 |   104282      0 |      149 |      147
1436.81/1437.16	c 1435s |      14 |  1136608 |    82152 |   104282      0 |      149 |      147
1439.41/1439.71	c 1438s |      14 |  1136768 |    82252 |   104282      0 |      149 |      147
1441.41/1441.78	c 1440s |      14 |  1138274 |    82452 |   104282      0 |      149 |      147
1444.51/1444.85	c 1443s |      14 |  1143746 |    82652 |   104282      0 |      149 |      147
1447.31/1447.63	c 1446s |      14 |  1145109 |    82852 |   104282      0 |      149 |      147
1450.40/1450.74	c 1449s |      14 |  1146464 |    83052 |   104282      0 |      149 |      147
1453.20/1453.58	c 1452s |      14 |  1148135 |    83252 |   104282      0 |      149 |      147
1456.11/1456.45	c 1454s |      14 |  1149921 |    83452 |   104282      0 |      149 |      147
1459.00/1459.30	c 1457s |      14 |  1151541 |    83652 |   104282      0 |      149 |      147
1461.90/1462.26	c 1460s |      14 |  1153285 |    83852 |   104282      0 |      149 |      147
1465.60/1465.91	c 1464s |      14 |  1155482 |    84152 |   104282      0 |      149 |      147
1468.90/1469.23	c 1467s |      14 |  1156846 |    84352 |   104282      0 |      149 |      147
1472.20/1472.58	c 1471s |      14 |  1160706 |    84652 |   104282      0 |      149 |      147
1474.81/1475.13	c 1473s |      14 |  1161754 |    84852 |   104282      0 |      149 |      147
1477.50/1477.84	c 1476s |      14 |  1162598 |    85052 |   104282      0 |      149 |      147
1479.60/1479.95	c 1478s |      14 |  1162748 |    85152 |   104282      0 |      149 |      147
1481.70/1482.00	c 1480s |      14 |  1162878 |    85252 |   104282      0 |      149 |      147
1484.10/1484.49	c 1482s |      14 |  1164933 |    85452 |   104282      0 |      149 |      147
1486.50/1486.87	c 1485s |      14 |  1166616 |    85652 |   104282      0 |      149 |      147
1490.30/1490.63	c 1489s |      14 |  1167196 |    85852 |   104282      0 |      149 |      147
1493.20/1493.52	c 1491s |      14 |  1168452 |    86052 |   104282      0 |      149 |      147
1496.70/1497.03	c 1495s |      14 |  1169699 |    86252 |   104282      0 |      149 |      147
1500.30/1500.68	c 1499s |      14 |  1170392 |    86452 |   104282      0 |      149 |      147
1502.89/1503.22	c 1501s |      14 |  1172479 |    86652 |   104282      0 |      149 |      147
1505.39/1505.72	c 1504s |      14 |  1173267 |    86852 |   104282      0 |      149 |      147
1508.69/1509.03	c 1507s |      14 |  1174200 |    87052 |   114711      0 |      149 |      147
1512.09/1512.50	c 1510s |      14 |  1177126 |    87252 |   114711      0 |      149 |      147
1514.79/1515.13	c 1513s |      14 |  1177654 |    87452 |   114711      0 |      149 |      147
1517.09/1517.49	c 1515s |      15 |  1178138 |    87632 |   114711      0 |      149 |      147
1519.69/1520.06	c 1518s |      15 |  1178322 |    87732 |   114711      0 |      149 |      147
1522.29/1522.67	c 1521s |      15 |  1179844 |    87932 |   114711      0 |      149 |      147
1525.40/1525.75	c 1524s |      15 |  1182499 |    88232 |   114711      0 |      149 |      147
1528.29/1528.69	c 1527s |      15 |  1183250 |    88432 |   114711      0 |      149 |      147
1530.79/1531.16	c 1529s |      15 |  1184977 |    88632 |   114711      0 |      149 |      147
1532.99/1533.38	c 1531s |      15 |  1187776 |    88932 |   114711      0 |      149 |      147
1535.30/1535.66	c 1534s |      15 |  1189233 |    89132 |   114711      0 |      149 |      147
1537.60/1537.96	c 1536s |      15 |  1190366 |    89332 |   114711      0 |      149 |      147
1539.89/1540.20	c 1538s |      15 |  1192332 |    89532 |   114711      0 |      149 |      147
1543.19/1543.51	c 1541s |      15 |  1194371 |    89832 |   114711      0 |      149 |      147
1545.39/1545.74	c 1544s |      15 |  1195529 |    90032 |   114711      0 |      149 |      147
1549.09/1549.45	c 1547s |      15 |  1197856 |    90332 |   114711      0 |      149 |      147
1551.79/1552.19	c 1550s |      15 |  1198630 |    90532 |   114711      0 |      149 |      147
1554.79/1555.20	c 1553s |      15 |  1200600 |    90832 |   114711      0 |      149 |      147
1557.49/1557.89	c 1556s |      15 |  1202455 |    91032 |   114711      0 |      149 |      147
1560.38/1560.78	c 1559s |      15 |  1203360 |    91232 |   114711      0 |      149 |      147
1563.38/1563.70	c 1562s |      15 |  1204154 |    91432 |   114711      0 |      149 |      147
1565.88/1566.26	c 1564s |      15 |  1205325 |    91632 |   114711      0 |      149 |      147
1569.08/1569.49	c 1567s |      15 |  1206151 |    91832 |   114711      0 |      149 |      147
1572.38/1572.73	c 1571s |      15 |  1207016 |    92032 |   114711      0 |      149 |      147
1574.58/1574.98	c 1573s |      15 |  1208034 |    92232 |   114711      0 |      149 |      147
1577.28/1577.67	c 1576s |      15 |  1209159 |    92432 |   114711      0 |      149 |      147
1581.28/1581.63	c 1580s |      15 |  1209892 |    92632 |   114711      0 |      149 |      147
1585.08/1585.40	c 1583s |      15 |  1210106 |    92732 |   114711      0 |      149 |      147
1588.19/1588.51	c 1586s |      15 |  1210313 |    92832 |   114711      0 |      149 |      147
1592.18/1592.52	c 1590s |      15 |  1211782 |    93032 |   114711      0 |      149 |      147
1595.58/1595.93	c 1594s |      15 |  1212355 |    93232 |   114711      0 |      149 |      147
1598.88/1599.24	c 1597s |      15 |  1213103 |    93432 |   114711      0 |      149 |      147
1602.49/1602.83	c 1601s |      15 |  1213774 |    93632 |   114711      0 |      149 |      147
1604.78/1605.13	c 1603s |      15 |  1214497 |    93832 |   114711      0 |      149 |      147
1607.98/1608.33	c 1606s |      15 |  1215955 |    94132 |   114711      0 |      149 |      147
1611.88/1612.28	c 1610s |      15 |  1216849 |    94332 |   114711      0 |      149 |      147
1614.48/1614.88	c 1613s |      15 |  1217098 |    94432 |   114711      0 |      149 |      147
1616.78/1617.14	c 1615s |      15 |  1217863 |    94532 |   114711      0 |      149 |      147
1619.08/1619.43	c 1617s |      15 |  1218051 |    94632 |   114711      0 |      149 |      147
1622.78/1623.13	c 1621s |      15 |  1218714 |    94832 |   114711      0 |      149 |      147
1627.07/1627.42	c 1625s |      15 |  1219610 |    95032 |   114711      0 |      149 |      147
1629.98/1630.35	c 1628s |      15 |  1220591 |    95232 |   114711      0 |      149 |      147
1633.07/1633.41	c 1631s |      15 |  1221533 |    95432 |   114711      0 |      149 |      147
1636.77/1637.17	c 1635s |      15 |  1222815 |    95632 |   114711      0 |      149 |      147
1639.47/1639.88	c 1638s |      15 |  1223612 |    95832 |   114711      0 |      149 |      147
1643.27/1643.65	c 1642s |      15 |  1225112 |    96032 |   114711      0 |      149 |      147
1647.87/1648.20	c 1646s |      15 |  1225799 |    96232 |   114711      0 |      149 |      147
1652.27/1652.64	c 1651s |      15 |  1225951 |    96332 |   114711      0 |      149 |      147
1655.57/1655.90	c 1654s |      15 |  1227062 |    96532 |   114711      0 |      149 |      147
1658.58/1658.93	c 1657s |      15 |  1227848 |    96732 |   114711      0 |      149 |      147
1660.97/1661.38	c 1659s |      15 |  1228479 |    96932 |   114711      0 |      149 |      147
1663.27/1663.64	c 1662s |      15 |  1228911 |    97132 |   114711      0 |      149 |      147
1667.97/1668.35	c 1666s |      15 |  1229639 |    97332 |   114711      0 |      149 |      147
1671.77/1672.14	c 1670s |      15 |  1230443 |    97532 |   114711      0 |      149 |      147
1675.17/1675.54	c 1674s |      15 |  1230786 |    97732 |   114711      0 |      149 |      147
1678.27/1678.68	c 1677s |      15 |  1231205 |    97932 |   114711      0 |      149 |      147
1680.57/1680.98	c 1679s |      15 |  1231716 |    98132 |   114711      0 |      149 |      147
1684.47/1684.86	c 1683s |      15 |  1232098 |    98332 |   114711      0 |      149 |      147
1687.77/1688.18	c 1686s |      15 |  1232459 |    98532 |   114711      0 |      149 |      147
1691.06/1691.42	c 1689s |      15 |  1232766 |    98732 |   114711      0 |      149 |      147
1694.56/1694.94	c 1693s |      15 |  1233072 |    98932 |   114711      0 |      149 |      147
1696.86/1697.28	c 1695s |      15 |  1233239 |    99032 |   114711      0 |      149 |      147
1699.36/1699.72	c 1698s |      15 |  1233367 |    99132 |   114711      0 |      149 |      147
1701.37/1701.74	c 1700s |      15 |  1233495 |    99232 |   114711      0 |      149 |      147
1703.46/1703.88	c 1702s |      15 |  1233632 |    99332 |   114711      0 |      149 |      147
1708.16/1708.53	c 1707s |      15 |  1233954 |    99532 |   114711      0 |      149 |      147
1710.36/1710.78	c 1709s |      15 |  1234128 |    99632 |   114711      0 |      149 |      147
1714.76/1715.11	c 1713s |      15 |  1234444 |    99832 |   114711      0 |      149 |      147
1717.26/1717.61	c 1716s |      15 |  1234560 |    99932 |   114711      0 |      149 |      147
1719.26/1719.69	c 1718s |      15 |  1234714 |   100032 |   114711      0 |      149 |      147
1722.27/1722.64	c 1721s |      15 |  1235034 |   100232 |   114711      0 |      149 |      147
1724.66/1725.02	c 1723s |      15 |  1235390 |   100432 |   114711      0 |      149 |      147
1726.77/1727.17	c 1725s |      15 |  1235734 |   100632 |   114711      0 |      149 |      147
1729.26/1729.64	c 1728s |      15 |  1236051 |   100832 |   114711      0 |      149 |      147
1731.36/1731.78	c 1730s |      15 |  1236509 |   101032 |   114711      0 |      149 |      147
1733.96/1734.32	c 1732s |      15 |  1236853 |   101232 |   114711      0 |      149 |      147
1737.06/1737.46	c 1735s |      15 |  1237186 |   101432 |   114711      0 |      149 |      147
1739.76/1740.20	c 1738s |      15 |  1237504 |   101632 |   114711      0 |      149 |      147
1742.56/1742.98	c 1741s |      15 |  1237783 |   101832 |   114711      0 |      149 |      147
1746.15/1746.52	c 1745s |      15 |  1238138 |   102032 |   114711      0 |      149 |      147
1748.55/1748.96	c 1747s |      15 |  1238471 |   102232 |   114711      0 |      149 |      147
1751.25/1751.66	c 1750s |      15 |  1238886 |   102432 |   114711      0 |      149 |      147
1754.45/1754.85	c 1753s |      15 |  1239249 |   102632 |   114711      0 |      149 |      147
1757.35/1757.79	c 1756s |      15 |  1239667 |   102832 |   114711      0 |      149 |      147
1760.25/1760.64	c 1759s |      15 |  1240111 |   103032 |   114711      0 |      149 |      147
1763.25/1763.66	c 1762s |      15 |  1240394 |   103232 |   114711      0 |      149 |      147
1766.05/1766.49	c 1764s |      15 |  1240747 |   103432 |   114711      0 |      149 |      147
1769.15/1769.50	c 1767s |      15 |  1241062 |   103632 |   114711      0 |      149 |      147
1772.25/1772.67	c 1771s |      15 |  1241378 |   103832 |   114711      0 |      149 |      147
1775.65/1776.09	c 1774s |      15 |  1241649 |   104032 |   114711      0 |      149 |      147
1779.25/1779.63	c 1778s |      15 |  1241960 |   104232 |   114711      0 |      149 |      147
1782.45/1782.88	c 1781s |      15 |  1242241 |   104432 |   114711      0 |      149 |      147
1785.35/1785.76	c 1784s |      15 |  1242551 |   104632 |   114711      0 |      149 |      147
1787.85/1788.26	c 1786s |      15 |  1242902 |   104832 |   114711      0 |      149 |      147
1790.05/1790.44	c 1788s |      15 |  1243058 |   104932 |   114711      0 |      149 |      147
1793.15/1793.59	c 1792s |      15 |  1243383 |   105132 |   114711      0 |      149 |      147
1796.45/1796.89	c 1795s |      15 |  1243686 |   105332 |   114711      0 |      149 |      147
1799.75/1800.19	c 1798s |      15 |  1244151 |   105532 |   114711      0 |      149 |      147

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

pid=16898
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.20 2.20 2.18 2/179 16901
/proc/meminfo: memFree=29489828/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 111017052 772206592 3688 33554432000 4194304 16246674 140734058137760 140734058137184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 189039 3698 441 2943 0 185933 0
[pid=16901/tid=16902] ppid=16898 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 790032384 3755 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 794226688 3771 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 798420992 3788 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.20 2.20 2.18 2/179 16901
/proc/meminfo: memFree=29489828/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 27338 0 0 0 5 4 0 0 20 0 4 0 111017052 1333334016 28147 33554432000 4194304 16246674 140734058137760 140734058137072 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 325521 28164 799 2943 0 322415 0
[pid=16901/tid=16902] ppid=16898 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1333334016 28176 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1333334016 28187 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1333334016 28199 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200535 s]
/proc/loadavg: 2.20 2.20 2.18 2/179 16901
/proc/meminfo: memFree=29489828/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 45614 0 0 0 13 6 0 0 20 0 4 0 111017052 1344868352 46934 33554432000 4194304 16246674 140734058137760 140734058136856 14795835 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328337 46934 799 2943 0 325231 0
[pid=16901/tid=16902] ppid=16898 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1344868352 46934 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1344868352 46934 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1344868352 46934 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300503 s]
/proc/loadavg: 2.20 2.20 2.18 2/179 16901
/proc/meminfo: memFree=29489828/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 56048 0 0 0 22 7 0 0 20 0 4 0 111017052 1344868352 57368 33554432000 4194304 16246674 140734058137760 140734058136856 4206649 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328337 57368 799 2943 0 325231 0
[pid=16901/tid=16902] ppid=16898 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1344868352 57368 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1344868352 57368 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1344868352 57368 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700427 s]
/proc/loadavg: 2.20 2.20 2.18 2/179 16901
/proc/meminfo: memFree=29489828/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 84501 0 0 0 58 11 0 0 20 0 4 0 111017052 1346965504 85821 33554432000 4194304 16246674 140734058137760 140734058136856 6759797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 85831 833 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 85838 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 85845 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 85852 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50043 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 16905
/proc/meminfo: memFree=28841572/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 216179 0 0 0 120 29 0 0 20 0 4 0 111017052 1346965504 217499 33554432000 4194304 16246674 140734058137760 140734058137072 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 217499 833 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 217499 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 217499 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 217499 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10042 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 16905
/proc/meminfo: memFree=28620464/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 230675 0 0 0 277 32 0 0 20 0 4 0 111017052 1346965504 231995 33554432000 4194304 16246674 140734058137760 140734058119680 13929603 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 232001 888 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 232005 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 232010 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 232015 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30038 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 16905
/proc/meminfo: memFree=28407372/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269522 0 0 0 592 37 0 0 20 0 4 0 111017052 1346965504 270842 33554432000 4194304 16246674 140734058137760 140734058119680 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270842 888 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270842 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270842 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270842 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.08 2.17 2.17 3/183 16905
/proc/meminfo: memFree=28406900/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269522 0 0 0 1232 37 0 0 20 0 4 0 111017052 1346965504 270842 33554432000 4194304 16246674 140734058137760 140734058119680 5711552 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270842 888 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270842 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270842 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270842 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 16905
/proc/meminfo: memFree=28407380/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269524 0 0 0 2511 37 0 0 20 0 4 0 111017052 1346965504 270844 33554432000 4194304 16246674 140734058137760 140734058119680 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270844 890 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.09 2.17 2.17 3/183 16905
/proc/meminfo: memFree=28407352/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269524 0 0 0 5071 37 0 0 20 0 4 0 111017052 1346965504 270844 33554432000 4194304 16246674 140734058137760 140734058119680 5662771 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270844 890 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.08 2.15 2.16 3/183 16906
/proc/meminfo: memFree=28406584/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=102.29 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269524 0 0 0 10191 38 0 0 20 0 4 0 111017052 1346965504 270844 33554432000 4194304 16246674 140734058137760 140734058119680 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270844 890 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270844 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1315396


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

/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.14 2.11 2.12 3/183 16984
/proc/meminfo: memFree=27620564/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1302.03 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 130163 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.09 2.10 2.11 3/183 16985
/proc/meminfo: memFree=27620608/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1362.02 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 136162 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 12479014 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.06 2.09 2.11 3/183 16986
/proc/meminfo: memFree=27620888/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1422.02 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 142162 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.08 2.09 2.10 3/183 16987
/proc/meminfo: memFree=27520480/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1482 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 148160 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.15 2.10 2.10 3/183 16989
/proc/meminfo: memFree=27520228/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1541.99 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 154159 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 5672818 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.15 2.11 2.10 3/184 16993
/proc/meminfo: memFree=27519724/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1601.98 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 160158 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 5667620 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.05 2.09 2.09 3/183 16994
/proc/meminfo: memFree=26795344/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1661.97 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 166157 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 5721373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/183 16995
/proc/meminfo: memFree=26795128/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1721.96 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 172156 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 12483222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.28 2.13 2.10 3/183 16996
/proc/meminfo: memFree=26598244/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1781.95 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 178155 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058136856 13950218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.21 2.12 2.10 3/183 16997
/proc/meminfo: memFree=26597924/32872528 swapFree=12208/1156848
[pid=16901] ppid=16898 vsize=1315396 CPUtime=1800.05 cores=1,3,5,7
/proc/16901/stat : 16901 (toysat) R 16898 16901 15571 0 -1 4202496 269657 0 0 0 179965 40 0 0 20 0 4 0 111017052 1346965504 270849 33554432000 4194304 16246674 140734058137760 140734058119680 5711952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16901/statm: 328849 270849 894 2943 0 325743 0
[pid=16901/tid=16902] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16902/stat : 16902 (toysat) S 16898 16901 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285268962544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16901/tid=16903] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16903/stat : 16903 (toysat) S 16898 16901 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285258472688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16901/tid=16904] ppid=16898 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16901/task/16904/stat : 16904 (toysat) S 16898 16901 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111017053 1346965504 270849 33554432000 4194304 16246674 140734058137760 140285174607024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1315396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.65
CPU system time (s): 0.409937
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.409937
maximum resident set size= 1083396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269657
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= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65914 second user time and 7.56585 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 11:13:45
IDJOB=4080025
IDBENCH=90606
IDSOLVER=2542
FILE ID=node114/4080025-1465290825
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080025-1465290825/watcher-4080025-1465290825 -o /tmp/evaluation-result-4080025-1465290825/solver-4080025-1465290825 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080025-1465290825.opb

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

MD5SUM BENCH= c566835626501a566dd2965326e4b112
RANDOM SEED=685427346

node114.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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.70
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.852
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.852
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.55
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.852
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.852
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.852
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.852
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.54
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.852
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:        29490736 kB
Buffers:          150028 kB
Cached:           255496 kB
SwapCached:         1696 kB
Active:          1238340 kB
Inactive:         250512 kB
Active(anon):    1084412 kB
Inactive(anon):     1252 kB
Active(file):     153928 kB
Inactive(file):   249260 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             18648 kB
Writeback:             0 kB
AnonPages:       2321432 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             602784 kB
SReclaimable:      46812 kB
SUnreclaim:       555972 kB
KernelStack:        1520 kB
PageTables:         8824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2383188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2062336 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= 71696 MiB
End job on node114 at 2016-06-07 11:43:45