Trace number 4119663

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.42

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw128/normalized-hw128-vm100p-dec.opb.negationfix.opb
MD5SUMf7972e6ac330b31555746f994dab16be
Bench CategoryDEC-BIGINT-LIN (no optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables182272
Total number of constraints3104
Number of constraints which are clauses1423
Number of constraints which are cardinality constraints (but not clauses)1423
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1424
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 504284
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1122568
Number of bits of the biggest sum of numbers21
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-30T10:10:04+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-4119663-1467274204.opb"]
0.00/0.01	c use --random-gen="2853390131 2521252093 3988629991 2472658882 3356493405 2932454470 968852400 206633187 4268354073 2317537754 2131127274 2130514166 896096095 2212521736 847091900 1101617737 3948192770 2375667041 2872142642 3399581746 3128933430 2088997041 842626305 960087446 1044726059 1988805577 327880865 3400349638 2113447509 1171878708 3746827094 3450065698 2886396228 3729616412 4288203099 677581213 3939471915 4000211126 4092818727 3306563467 2946075016 334198468 2645688659 2805036330 3405543163 3489377544 4093352187 3869126644 1454816187 1479767888 484594314 1335931343 3008958546 70742252 3678382168 962644066 114495706 1210310243 1324533127 3283494269 1104797921 4051505916 2041061343 1032083911 1354181350 675504859 2770140037 2707897570 2915439408 1033865041 905827969 1458358747 3672755376 4207587378 1258746667 2418012411 4174729998 3846700013 3095367696 3075289018 1462130228 4242680082 3129065974 2009638525 3861074087 704871230 1399279445 923173569 82125869 1557757620 2977533126 2065448473 2532229483 3488500346 4132425316 2074973778 801068643 1609078716 2662069502 480036974 4043056120 3959823554 817739779 1008814390 3078240793 3541157106 3012665097 3230819830 3848068633 3563569122 747671220 1477815636 236555570 4267727689 1660015921 2709068912 3698683883 857392261 1028387793 3165971111 3867756187 1141318620 85792721 710240924 3572682534 945477978 976178550 2569656757 3406731715 1272412014 2719629652 4004465200 3253620977 1460617413 1516987110 3245365596 4047561363 2700529706 1763062061 1895138659 3764079497 2766307618 3364083318 3788017343 512163489 534701511 775258992 3385485623 857008890 3094528831 2104568494 1537141064 1257971027 3241955153 1310147084 1294275018 2804307691 1675483034 3372558601 2111560039 3092844790 1344283093 2912817710 4109605450 3518117546 626935172 4165220154 3285726892 1085186434 102421806 2703132763 4130437329 1794929882 759032613 453673047 902494226 312690773 2674624910 2618702309 3434864481 700416064 3674151731 1320417408 194371623 2739798459 1452406176 716042722 3735947353 3333812940 2806397020 671073683 1244202303 95145518 1015404449 2991625896 3081104649 1679779287 126720979 1367375119 307616835 2231170519 102871455 635524284 3591086432 1345512481 3477622836 2184927422 549982929 3478589198 4202309217 2407217158 3429449939 3001892310 1611243552 2691954904 2766549912 2812312200 2493965745 458888046 1711563824 2125531235 822974285 171946525 4032415967 2290361773 1246224558 2410214371 4174509722 1431903005 2692970200 3602292068 1734858551 2727615017 2897640768 651901709 4114837648 2060772279 2782333342 4115857221 1850050831 1210848593 3701451182 2541195816 1651220671 2939948680 1406219422 3201432368 631889694 119160521 3364474926 229544542 1949861038 1555246246 1879231735 2750328386 1057137064 255 362436" option to reproduce the execution
1.20/1.29	c #vars 182272
1.20/1.29	c #constraints 3104
3.99/4.09	c Solving starts ...
3.99/4.09	c ============================[ Search Statistics ]============================
3.99/4.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.99/4.09	c       |         |          |          |    Limit     GC | Var      | Constra 
3.99/4.09	c =============================================================================
4.09/4.17	c  0.0s |       0 |        0 |        0 |    61791      0 |      775 |        0
6.09/6.14	c  2.0s |       1 |     1316 |      100 |    61791      0 |      775 |        1
8.29/8.39	c  4.2s |       1 |     9988 |      200 |    67971      0 |      775 |        1
9.69/9.79	c  5.6s |       2 |    10039 |      250 |    67971      0 |      775 |        1
11.79/11.87	c  7.7s |       2 |    32136 |      350 |    74769      0 |      775 |        1
13.99/14.04	c  9.9s |       2 |    32254 |      450 |    74769      0 |      775 |        1
14.79/14.83	c 10.7s |       3 |    32280 |      475 |    74769      0 |      775 |        1
16.90/16.93	c 12.8s |       3 |    66493 |      575 |    82246      0 |      775 |        1
19.29/19.37	c 15.2s |       3 |    66605 |      675 |    82246      0 |      775 |        1
22.19/22.29	c 18.1s |       3 |    66733 |      775 |    82246      0 |      775 |        1
23.49/23.59	c 19.4s |       4 |    66790 |      813 |    82246      0 |      775 |        1
25.79/25.87	c 21.7s |       4 |   103579 |      913 |    90471      0 |      775 |        1
29.68/29.77	c 25.6s |       4 |   103790 |     1113 |    90471      0 |      775 |        1
31.78/31.87	c 27.7s |       4 |   103893 |     1213 |    90471      0 |      775 |        1
33.98/34.06	c 29.9s |       5 |   104013 |     1320 |    90471      0 |      775 |        1
37.18/37.28	c 33.1s |       5 |   146606 |     1420 |    99519      0 |      775 |        1
40.08/40.14	c 36.0s |       5 |   146715 |     1520 |    99519      0 |      775 |        1
42.88/42.96	c 38.8s |       5 |   146833 |     1620 |    99519      0 |      775 |        1
45.78/45.84	c 41.7s |       5 |   146948 |     1720 |    99519      0 |      775 |        1
48.48/48.51	c 44.3s |       5 |   147085 |     1820 |    99519      0 |      775 |        1
51.38/51.45	c 47.3s |       5 |   147193 |     1920 |    99519      0 |      775 |        1
54.78/54.81	c 50.6s |       5 |   147330 |     2020 |    99519      0 |      775 |        1
56.98/57.06	c 52.9s |       6 |   147387 |     2081 |   109471      0 |      775 |        1
60.08/60.10	c 55.9s |       6 |   196532 |     2181 |   109471      0 |      775 |        1
62.68/62.76	c 58.6s |       6 |   196651 |     2281 |   109471      0 |      775 |        1
66.08/66.15	c 62.0s |       6 |   196767 |     2381 |   109471      0 |      775 |        1
68.98/69.05	c 64.9s |       6 |   196895 |     2481 |   109471      0 |      775 |        1
72.68/72.77	c 68.6s |       6 |   197008 |     2581 |   109471      0 |      775 |        1
76.78/76.83	c 72.7s |       6 |   197127 |     2681 |   109471      0 |      775 |        1
79.88/79.99	c 75.8s |       6 |   197402 |     2781 |   109471      0 |      775 |        1
81.98/82.08	c 77.9s |       6 |   197524 |     2881 |   109471      0 |      775 |        1
85.28/85.37	c 81.2s |       6 |   197663 |     2981 |   109471      0 |      775 |        1
87.68/87.72	c 83.6s |       6 |   197762 |     3081 |   109471      0 |      775 |        1
89.68/89.76	c 85.6s |       6 |   197883 |     3181 |   109471      0 |      775 |        1
90.78/90.85	c 86.7s |       7 |   197928 |     3223 |   120419      0 |      775 |        1
93.78/93.90	c 89.7s |       7 |   243490 |     3323 |   120419      0 |      775 |        1
96.17/96.29	c 92.1s |       7 |   243605 |     3423 |   120419      0 |      775 |        1
98.57/98.66	c 94.5s |       7 |   243716 |     3523 |   120419      0 |      775 |        1
101.07/101.19	c 97.0s |       7 |   243837 |     3623 |   120419      0 |      775 |        1
103.47/103.57	c 99.4s |       7 |   243943 |     3723 |   120419      0 |      775 |        1
106.07/106.13	c  101s |       7 |   244064 |     3823 |   120419      0 |      775 |        1
108.77/108.84	c  104s |       7 |   244173 |     3923 |   120419      0 |      775 |        1
111.39/111.46	c  107s |       7 |   244289 |     4023 |   120419      0 |      775 |        1
114.27/114.32	c  110s |       7 |   244400 |     4123 |   120419      0 |      775 |        1
117.17/117.22	c  113s |       7 |   244508 |     4223 |   120419      0 |      775 |        1
119.77/119.86	c  115s |       7 |   244628 |     4323 |   120419      0 |      775 |        1
122.57/122.68	c  118s |       7 |   244743 |     4423 |   120419      0 |      775 |        1
125.47/125.51	c  121s |       7 |   244853 |     4523 |   120419      0 |      775 |        1
128.17/128.23	c  124s |       7 |   244965 |     4623 |   120419      0 |      775 |        1
131.07/131.16	c  126s |       7 |   245073 |     4723 |   120419      0 |      775 |        1
134.17/134.21	c  130s |       7 |   245173 |     4823 |   120419      0 |      775 |        1
136.87/136.97	c  132s |       7 |   245288 |     4923 |   132461      0 |      775 |        1
137.47/137.50	c  133s |       8 |   245302 |     4936 |   132461      0 |      775 |        1
141.57/141.68	c  137s |       8 |   293174 |     5036 |   132461      0 |      775 |        1
145.77/145.85	c  141s |       8 |   293280 |     5136 |   132461      0 |      775 |        1
149.77/149.88	c  145s |       8 |   293387 |     5236 |   132461      0 |      775 |        1
154.37/154.46	c  150s |       8 |   293508 |     5336 |   132461      0 |      775 |        1
158.86/158.94	c  154s |       8 |   293614 |     5436 |   132461      0 |      775 |        1
163.17/163.23	c  159s |       8 |   293750 |     5536 |   132461      0 |      775 |        1
167.66/167.80	c  163s |       8 |   293866 |     5636 |   132461      0 |      775 |        1
173.07/173.12	c  168s |       8 |   293978 |     5736 |   132461      0 |      775 |        1
179.47/179.53	c  175s |       8 |   294084 |     5836 |   132461      0 |      775 |        1
185.07/185.18	c  181s |       8 |   294201 |     5936 |   132461      0 |      775 |        1
190.76/190.83	c  186s |       8 |   294314 |     6036 |   132461      0 |      775 |        1
197.27/197.37	c  193s |       8 |   294425 |     6136 |   132461      0 |      775 |        1
203.26/203.30	c  199s |       8 |   294527 |     6236 |   132461      0 |      775 |        1
208.96/209.02	c  204s |       8 |   294637 |     6336 |   132461      0 |      775 |        1
213.06/213.13	c  208s |       8 |   294749 |     6436 |   132461      0 |      775 |        1
218.06/218.14	c  213s |       8 |   294874 |     6536 |   132461      0 |      775 |        1
223.05/223.15	c  218s |       8 |   295001 |     6636 |   132461      0 |      775 |        1
229.16/229.25	c  225s |       8 |   295124 |     6736 |   132461      0 |      775 |        1
235.35/235.47	c  231s |       8 |   295244 |     6836 |   132461      0 |      775 |        1
241.96/242.02	c  237s |       8 |   295363 |     6936 |   132461      0 |      775 |        1
249.05/249.13	c  244s |       8 |   295466 |     7036 |   132461      0 |      775 |        1
255.35/255.50	c  251s |       8 |   295584 |     7136 |   132461      0 |      775 |        1
262.16/262.24	c  258s |       8 |   295696 |     7236 |   132461      0 |      775 |        1
268.15/268.28	c  264s |       8 |   295812 |     7336 |   132461      0 |      775 |        1
275.15/275.27	c  271s |       8 |   295912 |     7436 |   132461      0 |      775 |        1
280.04/280.11	c  275s |       9 |   295992 |     7506 |   145708      0 |      775 |        1
283.95/284.04	c  279s |       9 |   336914 |     7606 |   145708      0 |      775 |        1
286.85/286.93	c  282s |       9 |   337036 |     7706 |   145708      0 |      775 |        1
289.75/289.83	c  285s |       9 |   337139 |     7806 |   145708      0 |      775 |        1
292.25/292.34	c  288s |       9 |   337310 |     7906 |   145708      0 |      775 |        1
295.25/295.34	c  291s |       9 |   337430 |     8006 |   145708      0 |      775 |        1
299.04/299.16	c  294s |       9 |   337557 |     8106 |   145708      0 |      775 |        1
303.04/303.19	c  299s |       9 |   337686 |     8206 |   145708      0 |      775 |        1
307.04/307.20	c  303s |       9 |   337855 |     8306 |   145708      0 |      775 |        1
310.04/310.11	c  305s |       9 |   337964 |     8406 |   145708      0 |      775 |        1
312.94/313.09	c  308s |       9 |   338078 |     8506 |   145708      0 |      775 |        1
316.34/316.48	c  312s |       9 |   338183 |     8606 |   145708      0 |      775 |        1
319.54/319.67	c  315s |       9 |   338291 |     8706 |   145708      0 |      775 |        1
322.84/322.93	c  318s |       9 |   338402 |     8806 |   145708      0 |      775 |        1
326.14/326.26	c  322s |       9 |   338500 |     8906 |   145708      0 |      775 |        1
330.44/330.52	c  326s |       9 |   338629 |     9006 |   145708      0 |      775 |        1
335.24/335.38	c  331s |       9 |   338730 |     9106 |   145708      0 |      775 |        1
339.53/339.61	c  335s |       9 |   338836 |     9206 |   145708      0 |      775 |        1
343.23/343.33	c  339s |       9 |   338948 |     9306 |   145708      0 |      775 |        1
347.95/348.03	c  343s |       9 |   339051 |     9406 |   145708      0 |      775 |        1
352.04/352.15	c  347s |       9 |   339173 |     9506 |   145708      0 |      775 |        1
356.93/357.03	c  352s |       9 |   339288 |     9606 |   145708      0 |      775 |        1
360.93/361.01	c  356s |       9 |   339419 |     9706 |   145708      0 |      775 |        1
365.44/365.53	c  361s |       9 |   339529 |     9806 |   145708      0 |      775 |        1
370.34/370.43	c  366s |       9 |   339637 |     9906 |   145708      0 |      775 |        1
375.03/375.16	c  370s |       9 |   339805 |    10006 |   145708      0 |      775 |        1
379.53/379.63	c  375s |       9 |   339976 |    10106 |   145708      0 |      775 |        1
384.43/384.55	c  380s |       9 |   340103 |    10206 |   145708      0 |      775 |        1
389.23/389.37	c  385s |       9 |   340236 |    10306 |   145708      0 |      775 |        1
394.63/394.71	c  390s |       9 |   340348 |    10406 |   145708      0 |      775 |        1
400.13/400.22	c  396s |       9 |   340456 |    10506 |   145708      0 |      775 |        1
404.42/404.52	c  400s |       9 |   340575 |    10606 |   145708      0 |      775 |        1
409.53/409.65	c  405s |       9 |   340685 |    10706 |   145708      0 |      775 |        1
414.52/414.66	c  410s |       9 |   340786 |    10806 |   145708      0 |      775 |        1
420.23/420.30	c  416s |       9 |   340937 |    10906 |   145708      0 |      775 |        1
425.13/425.27	c  421s |       9 |   341081 |    11006 |   145708      0 |      775 |        1
430.13/430.24	c  426s |       9 |   341174 |    11106 |   145708      0 |      775 |        1
433.73/433.89	c  429s |       9 |   341417 |    11206 |   145708      0 |      775 |        1
437.72/437.82	c  433s |       9 |   341529 |    11306 |   160279      0 |      775 |        1
440.33/440.48	c  436s |      10 |   341588 |    11361 |   160279      0 |      775 |        1
446.02/446.11	c  441s |      10 |   373138 |    11461 |   160279      0 |      775 |        1
450.72/450.81	c  446s |      10 |   373246 |    11561 |   160279      0 |      775 |        1
456.02/456.10	c  451s |      10 |   373353 |    11661 |   160279      0 |      775 |        1
461.01/461.19	c  457s |      10 |   373459 |    11761 |   160279      0 |      775 |        1
466.92/467.05	c  462s |      10 |   373599 |    11861 |   160279      0 |      775 |        1
472.72/472.82	c  468s |      10 |   373699 |    11961 |   160279      0 |      775 |        1
478.72/478.85	c  474s |      10 |   373805 |    12061 |   160279      0 |      775 |        1
485.12/485.23	c  481s |      10 |   373920 |    12161 |   160279      0 |      775 |        1
491.81/491.94	c  487s |      10 |   374026 |    12261 |   160279      0 |      775 |        1
499.72/499.84	c  495s |      10 |   374134 |    12361 |   160279      0 |      775 |        1
506.32/506.44	c  502s |      10 |   374251 |    12461 |   160279      0 |      775 |        1
513.71/513.88	c  509s |      10 |   374356 |    12561 |   160279      0 |      775 |        1
521.21/521.31	c  517s |      10 |   374467 |    12661 |   160279      0 |      775 |        1
528.41/528.57	c  524s |      10 |   374577 |    12761 |   160279      0 |      775 |        1
534.61/534.71	c  530s |      10 |   374677 |    12861 |   160279      0 |      775 |        1
541.01/541.18	c  537s |      10 |   374794 |    12961 |   160279      0 |      775 |        1
548.30/548.42	c  544s |      10 |   374890 |    13061 |   160279      0 |      775 |        1
555.81/555.92	c  551s |      10 |   375015 |    13161 |   160279      0 |      775 |        1
562.70/562.87	c  558s |      10 |   375129 |    13261 |   160279      0 |      775 |        1
568.91/569.03	c  564s |      10 |   375243 |    13361 |   160279      0 |      775 |        1
578.11/578.24	c  574s |      10 |   375353 |    13461 |   160279      0 |      775 |        1
587.40/587.58	c  583s |      10 |   375457 |    13561 |   160279      0 |      775 |        1
596.50/596.69	c  592s |      10 |   375566 |    13661 |   160279      0 |      775 |        1
605.49/605.61	c  601s |      10 |   375676 |    13761 |   160279      0 |      775 |        1
611.91/612.00	c  607s |      10 |   375790 |    13861 |   160279      0 |      775 |        1
618.70/618.86	c  614s |      10 |   375899 |    13961 |   160279      0 |      775 |        1
624.89/625.02	c  620s |      10 |   376011 |    14061 |   160279      0 |      775 |        1
631.39/631.54	c  627s |      10 |   376123 |    14161 |   160279      0 |      775 |        1
638.70/638.87	c  634s |      10 |   376226 |    14261 |   160279      0 |      775 |        1
645.49/645.60	c  641s |      10 |   376326 |    14361 |   160279      0 |      775 |        1
652.39/652.60	c  648s |      10 |   376428 |    14461 |   160279      0 |      775 |        1
659.79/659.92	c  655s |      10 |   376546 |    14561 |   160279      0 |      775 |        1
667.48/667.61	c  663s |      10 |   376657 |    14661 |   160279      0 |      775 |        1
674.89/675.03	c  670s |      10 |   376764 |    14761 |   160279      0 |      775 |        1
681.59/681.75	c  677s |      10 |   376888 |    14861 |   160279      0 |      775 |        1
687.88/688.02	c  683s |      10 |   377012 |    14961 |   160279      0 |      775 |        1
694.58/694.70	c  690s |      10 |   377113 |    15061 |   160279      0 |      775 |        1
701.00/701.11	c  696s |      10 |   377218 |    15161 |   160279      0 |      775 |        1
707.49/707.69	c  703s |      10 |   377335 |    15261 |   160279      0 |      775 |        1
714.68/714.89	c  710s |      10 |   377437 |    15361 |   160279      0 |      775 |        1
721.38/721.56	c  717s |      10 |   377549 |    15461 |   160279      0 |      775 |        1
727.88/728.07	c  723s |      10 |   377660 |    15561 |   160279      0 |      775 |        1
734.38/734.59	c  730s |      10 |   377782 |    15661 |   160279      0 |      775 |        1
741.07/741.22	c  737s |      10 |   377889 |    15761 |   160279      0 |      775 |        1
747.97/748.11	c  743s |      10 |   378005 |    15861 |   160279      0 |      775 |        1
755.08/755.30	c  751s |      10 |   378127 |    15961 |   160279      0 |      775 |        1
762.97/763.10	c  758s |      10 |   378234 |    16061 |   160279      0 |      775 |        1
769.87/770.03	c  765s |      10 |   378341 |    16161 |   160279      0 |      775 |        1
775.97/776.11	c  771s |      10 |   378459 |    16261 |   160279      0 |      775 |        1
782.56/782.76	c  778s |      10 |   378560 |    16361 |   160279      0 |      775 |        1
789.26/789.46	c  785s |      10 |   378662 |    16461 |   160279      0 |      775 |        1
797.06/797.23	c  793s |      10 |   378769 |    16561 |   160279      0 |      775 |        1
804.26/804.46	c  800s |      10 |   378877 |    16661 |   160279      0 |      775 |        1
811.06/811.29	c  807s |      10 |   378987 |    16761 |   160279      0 |      775 |        1
818.57/818.72	c  814s |      10 |   379097 |    16861 |   160279      0 |      775 |        1
825.26/825.43	c  821s |      10 |   379204 |    16961 |   160279      0 |      775 |        1
832.75/832.90	c  828s |      10 |   379311 |    17061 |   176307      0 |      775 |        1
838.25/838.42	c  834s |      11 |   379412 |    17144 |   176307      0 |      775 |        1
843.65/843.85	c  839s |      11 |   414257 |    17244 |   176307      0 |      775 |        1
847.05/847.23	c  843s |      11 |   414424 |    17344 |   176307      0 |      775 |        1
850.34/850.60	c  846s |      11 |   414551 |    17444 |   176307      0 |      775 |        1
853.85/854.01	c  849s |      11 |   414660 |    17544 |   176307      0 |      775 |        1
857.24/857.47	c  853s |      11 |   414837 |    17644 |   176307      0 |      775 |        1
859.84/860.06	c  855s |      11 |   414982 |    17744 |   176307      0 |      775 |        1
862.94/863.18	c  859s |      11 |   415097 |    17844 |   176307      0 |      775 |        1
866.34/866.55	c  862s |      11 |   415207 |    17944 |   176307      0 |      775 |        1
869.94/870.13	c  865s |      11 |   415354 |    18044 |   176307      0 |      775 |        1
873.43/873.64	c  869s |      11 |   415473 |    18144 |   176307      0 |      775 |        1
877.53/877.71	c  873s |      11 |   415614 |    18244 |   176307      0 |      775 |        1
880.63/880.82	c  876s |      11 |   415741 |    18344 |   176307      0 |      775 |        1
884.03/884.20	c  880s |      11 |   415862 |    18444 |   176307      0 |      775 |        1
887.63/887.84	c  883s |      11 |   415965 |    18544 |   176307      0 |      775 |        1
891.23/891.48	c  887s |      11 |   416093 |    18644 |   176307      0 |      775 |        1
895.42/895.62	c  891s |      11 |   416206 |    18744 |   176307      0 |      775 |        1
899.22/899.45	c  895s |      11 |   416321 |    18844 |   176307      0 |      775 |        1
903.03/903.27	c  899s |      11 |   416446 |    18944 |   176307      0 |      775 |        1
907.83/908.02	c  903s |      11 |   416566 |    19044 |   176307      0 |      775 |        1
911.13/911.39	c  907s |      11 |   416684 |    19144 |   176307      0 |      775 |        1
914.53/914.71	c  910s |      11 |   416782 |    19244 |   176307      0 |      775 |        1
917.93/918.11	c  913s |      11 |   416899 |    19344 |   176307      0 |      775 |        1
920.93/921.15	c  916s |      11 |   417009 |    19444 |   176307      0 |      775 |        1
924.33/924.53	c  920s |      11 |   417127 |    19544 |   176307      0 |      775 |        1
927.53/927.71	c  923s |      11 |   417235 |    19644 |   176307      0 |      775 |        1
930.42/930.68	c  926s |      11 |   417348 |    19744 |   176307      0 |      775 |        1
934.32/934.50	c  930s |      11 |   417457 |    19844 |   176307      0 |      775 |        1
937.92/938.12	c  933s |      11 |   417569 |    19944 |   176307      0 |      775 |        1
941.61/941.89	c  937s |      11 |   417688 |    20044 |   176307      0 |      775 |        1
945.51/945.74	c  941s |      11 |   417803 |    20144 |   176307      0 |      775 |        1
949.01/949.25	c  945s |      11 |   417923 |    20244 |   176307      0 |      775 |        1
952.62/952.87	c  948s |      11 |   418014 |    20344 |   176307      0 |      775 |        1
956.62/956.88	c  952s |      11 |   418122 |    20444 |   176307      0 |      775 |        1
960.32/960.53	c  956s |      11 |   418258 |    20544 |   176307      0 |      775 |        1
964.52/964.78	c  960s |      11 |   418364 |    20644 |   176307      0 |      775 |        1
968.22/968.49	c  964s |      11 |   418484 |    20744 |   176307      0 |      775 |        1
972.41/972.63	c  968s |      11 |   418583 |    20844 |   176307      0 |      775 |        1
976.31/976.52	c  972s |      11 |   418683 |    20944 |   176307      0 |      775 |        1
980.31/980.59	c  976s |      11 |   418802 |    21044 |   176307      0 |      775 |        1
984.20/984.49	c  980s |      11 |   418907 |    21144 |   176307      0 |      775 |        1
988.02/988.28	c  984s |      11 |   419015 |    21244 |   176307      0 |      775 |        1
992.21/992.50	c  988s |      11 |   419126 |    21344 |   176307      0 |      775 |        1
996.21/996.43	c  992s |      11 |   419234 |    21444 |   176307      0 |      775 |        1
1000.50/1000.70	c  996s |      11 |   419350 |    21544 |   176307      0 |      775 |        1
1004.10/1004.31	c 1000s |      11 |   419506 |    21644 |   176307      0 |      775 |        1
1008.30/1008.58	c 1004s |      11 |   419607 |    21744 |   176307      0 |      775 |        1
1012.69/1012.96	c 1008s |      11 |   419712 |    21844 |   176307      0 |      775 |        1
1016.69/1016.95	c 1012s |      11 |   419814 |    21944 |   176307      0 |      775 |        1
1021.59/1021.84	c 1017s |      11 |   419958 |    22044 |   176307      0 |      775 |        1
1025.89/1026.15	c 1021s |      11 |   420067 |    22144 |   176307      0 |      775 |        1
1030.09/1030.39	c 1026s |      11 |   420180 |    22244 |   176307      0 |      775 |        1
1034.59/1034.89	c 1030s |      11 |   420288 |    22344 |   176307      0 |      775 |        1
1039.28/1039.58	c 1035s |      11 |   420394 |    22444 |   176307      0 |      775 |        1
1043.78/1044.06	c 1039s |      11 |   420504 |    22544 |   176307      0 |      775 |        1
1048.18/1048.42	c 1044s |      11 |   420601 |    22644 |   176307      0 |      775 |        1
1052.79/1053.09	c 1048s |      11 |   420717 |    22744 |   176307      0 |      775 |        1
1057.08/1057.33	c 1053s |      11 |   420829 |    22844 |   176307      0 |      775 |        1
1061.38/1061.60	c 1057s |      11 |   420957 |    22944 |   176307      0 |      775 |        1
1065.48/1065.70	c 1061s |      11 |   421066 |    23044 |   176307      0 |      775 |        1
1069.67/1069.91	c 1065s |      11 |   421175 |    23144 |   176307      0 |      775 |        1
1073.78/1074.03	c 1069s |      11 |   421301 |    23244 |   176307      0 |      775 |        1
1077.47/1077.78	c 1073s |      11 |   421415 |    23344 |   176307      0 |      775 |        1
1080.87/1081.15	c 1076s |      11 |   421522 |    23444 |   176307      0 |      775 |        1
1084.79/1085.04	c 1080s |      11 |   421648 |    23544 |   176307      0 |      775 |        1
1087.99/1088.30	c 1084s |      11 |   421761 |    23644 |   176307      0 |      775 |        1
1090.77/1091.08	c 1086s |      11 |   421901 |    23744 |   176307      0 |      775 |        1
1094.17/1094.40	c 1090s |      11 |   422041 |    23844 |   176307      0 |      775 |        1
1097.47/1097.79	c 1093s |      11 |   422156 |    23944 |   176307      0 |      775 |        1
1100.97/1101.24	c 1097s |      11 |   422271 |    24044 |   176307      0 |      775 |        1
1104.67/1104.95	c 1100s |      11 |   422382 |    24144 |   176307      0 |      775 |        1
1108.17/1108.44	c 1104s |      11 |   422518 |    24244 |   176307      0 |      775 |        1
1112.07/1112.33	c 1108s |      11 |   422631 |    24344 |   176307      0 |      775 |        1
1115.47/1115.72	c 1111s |      11 |   422767 |    24444 |   176307      0 |      775 |        1
1118.95/1119.25	c 1115s |      11 |   422894 |    24544 |   176307      0 |      775 |        1
1122.56/1122.81	c 1118s |      11 |   423004 |    24644 |   176307      0 |      775 |        1
1126.16/1126.45	c 1122s |      11 |   423124 |    24744 |   176307      0 |      775 |        1
1130.16/1130.47	c 1126s |      11 |   423228 |    24844 |   176307      0 |      775 |        1
1134.06/1134.33	c 1130s |      11 |   423348 |    24944 |   176307      0 |      775 |        1
1138.26/1138.51	c 1134s |      11 |   423455 |    25044 |   176307      0 |      775 |        1
1142.05/1142.32	c 1138s |      11 |   423560 |    25144 |   176307      0 |      775 |        1
1145.65/1145.96	c 1141s |      11 |   423670 |    25244 |   176307      0 |      775 |        1
1149.45/1149.80	c 1145s |      11 |   423787 |    25344 |   176307      0 |      775 |        1
1153.05/1153.30	c 1149s |      11 |   423898 |    25444 |   176307      0 |      775 |        1
1156.45/1156.79	c 1152s |      11 |   424031 |    25544 |   176307      0 |      775 |        1
1160.55/1160.85	c 1156s |      11 |   424151 |    25644 |   176307      0 |      775 |        1
1164.44/1164.70	c 1160s |      11 |   424276 |    25744 |   193938      0 |      775 |        1
1167.74/1168.03	c 1163s |      12 |   424357 |    25819 |   193938      0 |      775 |        1
1174.14/1174.46	c 1170s |      12 |   454235 |    25919 |   193938      0 |      775 |        1
1177.54/1177.86	c 1173s |      12 |   454364 |    26019 |   193938      0 |      775 |        1
1180.73/1181.02	c 1176s |      12 |   454474 |    26119 |   193938      0 |      775 |        1
1184.53/1184.88	c 1180s |      12 |   454631 |    26219 |   193938      0 |      775 |        1
1187.83/1188.18	c 1184s |      12 |   454739 |    26319 |   193938      0 |      775 |        1
1190.63/1190.98	c 1186s |      12 |   454867 |    26419 |   193938      0 |      775 |        1
1193.93/1194.25	c 1190s |      12 |   454993 |    26519 |   193938      0 |      775 |        1
1196.83/1197.20	c 1193s |      12 |   455107 |    26619 |   193938      0 |      775 |        1
1199.62/1199.94	c 1195s |      12 |   455311 |    26719 |   193938      0 |      775 |        1
1203.32/1203.60	c 1199s |      12 |   455419 |    26819 |   193938      0 |      775 |        1
1206.52/1206.80	c 1202s |      12 |   455529 |    26919 |   193938      0 |      775 |        1
1209.62/1209.90	c 1205s |      12 |   455636 |    27019 |   193938      0 |      775 |        1
1212.83/1213.13	c 1208s |      12 |   455748 |    27119 |   193938      0 |      775 |        1
1216.23/1216.56	c 1212s |      12 |   455852 |    27219 |   193938      0 |      775 |        1
1219.53/1219.85	c 1215s |      12 |   455954 |    27319 |   193938      0 |      775 |        1
1222.73/1223.07	c 1218s |      12 |   456067 |    27419 |   193938      0 |      775 |        1
1225.93/1226.20	c 1222s |      12 |   456186 |    27519 |   193938      0 |      775 |        1
1229.22/1229.51	c 1225s |      12 |   456286 |    27619 |   193938      0 |      775 |        1
1232.62/1232.90	c 1228s |      12 |   456403 |    27719 |   193938      0 |      775 |        1
1235.62/1235.93	c 1231s |      12 |   456508 |    27819 |   193938      0 |      775 |        1
1239.32/1239.64	c 1235s |      12 |   456609 |    27919 |   193938      0 |      775 |        1
1242.72/1243.04	c 1238s |      12 |   456718 |    28019 |   193938      0 |      775 |        1
1246.21/1246.58	c 1242s |      12 |   456827 |    28119 |   193938      0 |      775 |        1
1249.81/1250.16	c 1245s |      12 |   456935 |    28219 |   193938      0 |      775 |        1
1252.81/1253.17	c 1248s |      12 |   457098 |    28319 |   193938      0 |      775 |        1
1256.41/1256.77	c 1252s |      12 |   457206 |    28419 |   193938      0 |      775 |        1
1260.51/1260.85	c 1256s |      12 |   457318 |    28519 |   193938      0 |      775 |        1
1264.30/1264.64	c 1260s |      12 |   457415 |    28619 |   193938      0 |      775 |        1
1268.11/1268.48	c 1264s |      12 |   457523 |    28719 |   193938      0 |      775 |        1
1271.51/1271.82	c 1267s |      12 |   457635 |    28819 |   193938      0 |      775 |        1
1275.31/1275.67	c 1271s |      12 |   457763 |    28919 |   193938      0 |      775 |        1
1280.21/1280.50	c 1276s |      12 |   457871 |    29019 |   193938      0 |      775 |        1
1284.70/1285.00	c 1280s |      12 |   457986 |    29119 |   193938      0 |      775 |        1
1288.60/1288.94	c 1284s |      12 |   458091 |    29219 |   193938      0 |      775 |        1
1292.40/1292.79	c 1288s |      12 |   458199 |    29319 |   193938      0 |      775 |        1
1296.30/1296.64	c 1292s |      12 |   458309 |    29419 |   193938      0 |      775 |        1
1300.00/1300.34	c 1296s |      12 |   458417 |    29519 |   193938      0 |      775 |        1
1303.60/1303.96	c 1299s |      12 |   458544 |    29619 |   193938      0 |      775 |        1
1307.79/1308.13	c 1303s |      12 |   458646 |    29719 |   193938      0 |      775 |        1
1311.20/1311.60	c 1307s |      12 |   458748 |    29819 |   193938      0 |      775 |        1
1314.60/1314.99	c 1310s |      12 |   458856 |    29919 |   193938      0 |      775 |        1
1318.39/1318.74	c 1314s |      12 |   458973 |    30019 |   193938      0 |      775 |        1
1322.19/1322.59	c 1318s |      12 |   459081 |    30119 |   193938      0 |      775 |        1
1326.59/1326.95	c 1322s |      12 |   459186 |    30219 |   193938      0 |      775 |        1
1330.48/1330.86	c 1326s |      12 |   459299 |    30319 |   193938      0 |      775 |        1
1334.18/1334.58	c 1330s |      12 |   459433 |    30419 |   193938      0 |      775 |        1
1337.48/1337.84	c 1333s |      12 |   459553 |    30519 |   193938      0 |      775 |        1
1341.28/1341.63	c 1337s |      12 |   459669 |    30619 |   193938      0 |      775 |        1
1344.98/1345.39	c 1341s |      12 |   459778 |    30719 |   193938      0 |      775 |        1
1348.98/1349.33	c 1345s |      12 |   459906 |    30819 |   193938      0 |      775 |        1
1352.89/1353.28	c 1349s |      12 |   460014 |    30919 |   193938      0 |      775 |        1
1355.88/1356.26	c 1352s |      12 |   460122 |    31019 |   193938      0 |      775 |        1
1359.48/1359.85	c 1355s |      12 |   460231 |    31119 |   193938      0 |      775 |        1
1363.27/1363.64	c 1359s |      12 |   460348 |    31219 |   193938      0 |      775 |        1
1367.07/1367.41	c 1363s |      12 |   460459 |    31319 |   193938      0 |      775 |        1
1370.37/1370.74	c 1366s |      12 |   460569 |    31419 |   193938      0 |      775 |        1
1374.07/1374.45	c 1370s |      12 |   460674 |    31519 |   193938      0 |      775 |        1
1378.07/1378.43	c 1374s |      12 |   460775 |    31619 |   193938      0 |      775 |        1
1382.57/1382.95	c 1378s |      12 |   460900 |    31719 |   193938      0 |      775 |        1
1386.87/1387.29	c 1383s |      12 |   461004 |    31819 |   193938      0 |      775 |        1
1390.37/1390.79	c 1386s |      12 |   461119 |    31919 |   193938      0 |      775 |        1
1393.97/1394.34	c 1390s |      12 |   461230 |    32019 |   193938      0 |      775 |        1
1397.47/1397.83	c 1393s |      12 |   461340 |    32119 |   193938      0 |      775 |        1
1401.16/1401.56	c 1397s |      12 |   461452 |    32219 |   193938      0 |      775 |        1
1405.16/1405.59	c 1401s |      12 |   461561 |    32319 |   193938      0 |      775 |        1
1409.56/1409.90	c 1405s |      12 |   461677 |    32419 |   193938      0 |      775 |        1
1413.76/1414.17	c 1410s |      12 |   461791 |    32519 |   193938      0 |      775 |        1
1418.06/1418.41	c 1414s |      12 |   461926 |    32619 |   193938      0 |      775 |        1
1422.05/1422.40	c 1418s |      12 |   462027 |    32719 |   193938      0 |      775 |        1
1426.26/1426.68	c 1422s |      12 |   462137 |    32819 |   193938      0 |      775 |        1
1430.56/1430.96	c 1426s |      12 |   462262 |    32919 |   193938      0 |      775 |        1
1434.46/1434.81	c 1430s |      12 |   462371 |    33019 |   193938      0 |      775 |        1
1438.66/1439.00	c 1434s |      12 |   462477 |    33119 |   193938      0 |      775 |        1
1442.86/1443.22	c 1439s |      12 |   462579 |    33219 |   193938      0 |      775 |        1
1446.46/1446.85	c 1442s |      12 |   462682 |    33319 |   193938      0 |      775 |        1
1450.45/1450.89	c 1446s |      12 |   462786 |    33419 |   193938      0 |      775 |        1
1455.05/1455.41	c 1451s |      12 |   462897 |    33519 |   193938      0 |      775 |        1
1458.85/1459.29	c 1455s |      12 |   463072 |    33619 |   193938      0 |      775 |        1
1462.85/1463.26	c 1459s |      12 |   463180 |    33719 |   193938      0 |      775 |        1
1467.05/1467.46	c 1463s |      12 |   463282 |    33819 |   193938      0 |      775 |        1
1471.15/1471.55	c 1467s |      12 |   463406 |    33919 |   193938      0 |      775 |        1
1475.45/1475.82	c 1471s |      12 |   463512 |    34019 |   193938      0 |      775 |        1
1480.05/1480.44	c 1476s |      12 |   463613 |    34119 |   193938      0 |      775 |        1
1484.05/1484.43	c 1480s |      12 |   463736 |    34219 |   193938      0 |      775 |        1
1488.64/1489.02	c 1484s |      12 |   463845 |    34319 |   193938      0 |      775 |        1
1492.84/1493.21	c 1489s |      12 |   463954 |    34419 |   193938      0 |      775 |        1
1496.05/1496.41	c 1492s |      12 |   464082 |    34519 |   193938      0 |      775 |        1
1499.44/1499.83	c 1495s |      12 |   464210 |    34619 |   193938      0 |      775 |        1
1503.75/1504.12	c 1499s |      12 |   464312 |    34719 |   193938      0 |      775 |        1
1507.64/1508.00	c 1503s |      12 |   464419 |    34819 |   193938      0 |      775 |        1
1511.54/1511.96	c 1507s |      12 |   464523 |    34919 |   193938      0 |      775 |        1
1515.24/1515.65	c 1511s |      12 |   464626 |    35019 |   193938      0 |      775 |        1
1519.14/1519.56	c 1515s |      12 |   464748 |    35119 |   193938      0 |      775 |        1
1522.94/1523.30	c 1519s |      12 |   464852 |    35219 |   193938      0 |      775 |        1
1526.64/1527.01	c 1522s |      12 |   464960 |    35319 |   193938      0 |      775 |        1
1530.74/1531.17	c 1526s |      12 |   465074 |    35419 |   193938      0 |      775 |        1
1534.84/1535.28	c 1531s |      12 |   465192 |    35519 |   193938      0 |      775 |        1
1538.95/1539.39	c 1535s |      12 |   465304 |    35619 |   193938      0 |      775 |        1
1542.54/1542.92	c 1538s |      12 |   465416 |    35719 |   193938      0 |      775 |        1
1545.94/1546.31	c 1542s |      12 |   465602 |    35819 |   193938      0 |      775 |        1
1549.94/1550.36	c 1546s |      12 |   465733 |    35919 |   193938      0 |      775 |        1
1554.14/1554.59	c 1550s |      12 |   465839 |    36019 |   193938      0 |      775 |        1
1557.94/1558.30	c 1554s |      12 |   465944 |    36119 |   193938      0 |      775 |        1
1562.13/1562.52	c 1558s |      12 |   466071 |    36219 |   193938      0 |      775 |        1
1566.93/1567.32	c 1563s |      12 |   466174 |    36319 |   193938      0 |      775 |        1
1571.13/1571.52	c 1567s |      12 |   466287 |    36419 |   193938      0 |      775 |        1
1575.14/1575.53	c 1571s |      12 |   466394 |    36519 |   193938      0 |      775 |        1
1579.54/1579.93	c 1575s |      12 |   466504 |    36619 |   193938      0 |      775 |        1
1583.33/1583.70	c 1579s |      12 |   466634 |    36719 |   193938      0 |      775 |        1
1588.23/1588.67	c 1584s |      12 |   466760 |    36819 |   193938      0 |      775 |        1
1592.63/1593.02	c 1588s |      12 |   466883 |    36919 |   193938      0 |      775 |        1
1597.33/1597.71	c 1593s |      12 |   466991 |    37019 |   193938      0 |      775 |        1
1602.33/1602.72	c 1598s |      12 |   467094 |    37119 |   193938      0 |      775 |        1
1606.12/1606.55	c 1602s |      12 |   467217 |    37219 |   193938      0 |      775 |        1
1610.33/1610.79	c 1606s |      12 |   467329 |    37319 |   193938      0 |      775 |        1
1615.02/1615.49	c 1611s |      12 |   467432 |    37419 |   193938      0 |      775 |        1
1619.42/1619.81	c 1615s |      12 |   467561 |    37519 |   193938      0 |      775 |        1
1623.22/1623.61	c 1619s |      12 |   467692 |    37619 |   193938      0 |      775 |        1
1627.43/1627.83	c 1623s |      12 |   467789 |    37719 |   193938      0 |      775 |        1
1631.23/1631.64	c 1627s |      12 |   467892 |    37819 |   193938      0 |      775 |        1
1635.53/1635.98	c 1631s |      12 |   467998 |    37919 |   193938      0 |      775 |        1
1639.52/1639.90	c 1635s |      12 |   468102 |    38019 |   193938      0 |      775 |        1
1642.82/1643.25	c 1639s |      12 |   468235 |    38119 |   193938      0 |      775 |        1
1646.63/1647.00	c 1642s |      12 |   468348 |    38219 |   193938      0 |      775 |        1
1649.72/1650.18	c 1646s |      12 |   468467 |    38319 |   193938      0 |      775 |        1
1653.42/1653.85	c 1649s |      12 |   468574 |    38419 |   193938      0 |      775 |        1
1656.92/1657.30	c 1653s |      12 |   468684 |    38519 |   193938      0 |      775 |        1
1660.72/1661.19	c 1657s |      12 |   468796 |    38619 |   213332      0 |      775 |        1
1664.22/1664.68	c 1660s |      12 |   468912 |    38719 |   213332      0 |      775 |        1
1667.01/1667.44	c 1663s |      12 |   469022 |    38819 |   213332      0 |      775 |        1
1667.52/1667.92	c 1663s |      13 |   469034 |    38832 |   213332      0 |      775 |        1
1674.92/1675.39	c 1671s |      13 |   497768 |    38932 |   213332      0 |      775 |        1
1678.72/1679.19	c 1675s |      13 |   497984 |    39132 |   213332      0 |      775 |        1
1682.62/1683.02	c 1678s |      13 |   498202 |    39332 |   213332      0 |      775 |        1
1684.72/1685.18	c 1681s |      13 |   498322 |    39432 |   213332      0 |      775 |        1
1686.91/1687.37	c 1683s |      13 |   498436 |    39532 |   213332      0 |      775 |        1
1689.31/1689.76	c 1685s |      13 |   498545 |    39632 |   213332      0 |      775 |        1
1691.31/1691.77	c 1687s |      13 |   498656 |    39732 |   213332      0 |      775 |        1
1695.12/1695.52	c 1691s |      13 |   498889 |    39932 |   213332      0 |      775 |        1
1698.91/1699.34	c 1695s |      13 |   499141 |    40132 |   213332      0 |      775 |        1
1702.91/1703.34	c 1699s |      13 |   499359 |    40332 |   213332      0 |      775 |        1
1706.71/1707.19	c 1703s |      13 |   499600 |    40532 |   213332      0 |      775 |        1
1710.71/1711.16	c 1706s |      13 |   499823 |    40732 |   213332      0 |      775 |        1
1712.91/1713.33	c 1709s |      13 |   499931 |    40832 |   213332      0 |      775 |        1
1715.11/1715.53	c 1711s |      13 |   500032 |    40932 |   213332      0 |      775 |        1
1717.21/1717.66	c 1713s |      13 |   500137 |    41032 |   213332      0 |      775 |        1
1719.51/1719.90	c 1715s |      13 |   500239 |    41132 |   213332      0 |      775 |        1
1721.81/1722.27	c 1718s |      13 |   500340 |    41232 |   213332      0 |      775 |        1
1724.01/1724.50	c 1720s |      13 |   500453 |    41332 |   213332      0 |      775 |        1
1727.81/1728.20	c 1724s |      13 |   500666 |    41532 |   213332      0 |      775 |        1
1731.81/1732.21	c 1728s |      13 |   500876 |    41732 |   213332      0 |      775 |        1
1733.91/1734.31	c 1730s |      13 |   500977 |    41832 |   213332      0 |      775 |        1
1737.71/1738.11	c 1733s |      13 |   501180 |    42032 |   213332      0 |      775 |        1
1739.71/1740.17	c 1736s |      13 |   501291 |    42132 |   213332      0 |      775 |        1
1741.91/1742.33	c 1738s |      13 |   501402 |    42232 |   213332      0 |      775 |        1
1745.72/1746.13	c 1741s |      13 |   501633 |    42432 |   213332      0 |      775 |        1
1749.51/1749.99	c 1745s |      13 |   501937 |    42632 |   213332      0 |      775 |        1
1753.81/1754.25	c 1750s |      13 |   502168 |    42832 |   213332      0 |      775 |        1
1756.01/1756.46	c 1752s |      13 |   502271 |    42932 |   213332      0 |      775 |        1
1760.21/1760.63	c 1756s |      13 |   502495 |    43132 |   213332      0 |      775 |        1
1762.31/1762.75	c 1758s |      13 |   502614 |    43232 |   213332      0 |      775 |        1
1764.60/1765.06	c 1760s |      13 |   502732 |    43332 |   213332      0 |      775 |        1
1767.10/1767.58	c 1763s |      13 |   502846 |    43432 |   213332      0 |      775 |        1
1769.70/1770.16	c 1765s |      13 |   502948 |    43532 |   213332      0 |      775 |        1
1772.01/1772.47	c 1768s |      13 |   503049 |    43632 |   213332      0 |      775 |        1
1774.50/1774.92	c 1770s |      13 |   503158 |    43732 |   213332      0 |      775 |        1
1776.90/1777.38	c 1773s |      13 |   503251 |    43832 |   213332      0 |      775 |        1
1779.40/1779.85	c 1775s |      13 |   503355 |    43932 |   213332      0 |      775 |        1
1781.70/1782.18	c 1778s |      13 |   503467 |    44032 |   213332      0 |      775 |        1
1783.80/1784.25	c 1780s |      13 |   503580 |    44132 |   213332      0 |      775 |        1
1785.90/1786.31	c 1782s |      13 |   503686 |    44232 |   213332      0 |      775 |        1
1788.10/1788.59	c 1784s |      13 |   503789 |    44332 |   213332      0 |      775 |        1
1790.40/1790.87	c 1786s |      13 |   503889 |    44432 |   213332      0 |      775 |        1
1792.80/1793.28	c 1789s |      13 |   503995 |    44532 |   213332      0 |      775 |        1
1795.90/1796.33	c 1792s |      13 |   509729 |    44632 |   213332      0 |      775 |        1
1799.90/1800.37	c 1796s |      13 |   509827 |    44732 |   213332      0 |      775 |        1

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

pid=13306
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.18 2.23 2.19 3/180 13309
/proc/meminfo: memFree=28055456/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 2769 0 0 0 0 0 0 0 20 0 4 0 8381260 759623680 3641 33554432000 4194304 16246674 140733325450688 140733325450112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 186223 3649 441 2943 0 183117 0
[pid=13309/tid=13310] ppid=13306 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 777449472 3709 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 782692352 3727 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 786886656 3744 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.18 2.23 2.19 3/180 13309
/proc/meminfo: memFree=28055456/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 29754 0 0 0 4 5 0 0 20 0 4 0 8381260 1333334016 30564 33554432000 4194304 16246674 140733325450688 140733325449352 7369730 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 325521 30580 802 2943 0 322415 0
[pid=13309/tid=13310] ppid=13306 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1333334016 30592 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1333334016 30603 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1333334016 30615 33554432000 4194304 16246674 140733325450688 139954663451824 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.200572 s]
/proc/loadavg: 2.18 2.23 2.19 3/180 13309
/proc/meminfo: memFree=28055456/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 46419 0 0 0 12 7 0 0 20 0 4 0 8381260 1343819776 47739 33554432000 4194304 16246674 140733325450688 140733325449352 7372088 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 328081 47739 802 2943 0 324975 0
[pid=13309/tid=13310] ppid=13306 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1343819776 47739 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1343819776 47739 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1343819776 47739 33554432000 4194304 16246674 140733325450688 139954663451824 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) 1312324

[startup+0.300505 s]
/proc/loadavg: 2.18 2.23 2.19 3/180 13309
/proc/meminfo: memFree=28055456/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 49717 0 0 0 22 7 0 0 20 0 4 0 8381260 1343819776 51037 33554432000 4194304 16246674 140733325450688 140733325449352 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 328081 51037 802 2943 0 324975 0
[pid=13309/tid=13310] ppid=13306 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1343819776 51037 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1343819776 51037 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1343819776 51037 33554432000 4194304 16246674 140733325450688 139954663451824 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) 1312324

[startup+0.700409 s]
/proc/loadavg: 2.18 2.23 2.19 3/180 13309
/proc/meminfo: memFree=28055456/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 63162 0 0 0 60 9 0 0 20 0 4 0 8381260 1344868352 64482 33554432000 4194304 16246674 140733325450688 140733325449352 4222992 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 328337 64482 803 2943 0 325231 0
[pid=13309/tid=13310] ppid=13306 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1344868352 64482 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1344868352 64482 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1344868352 64482 33554432000 4194304 16246674 140733325450688 139954663451824 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) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.18 2.23 2.19 3/184 13313
/proc/meminfo: memFree=27756252/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1377860 CPUtime=1.49 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 92974 0 0 0 136 13 0 0 20 0 4 0 8381260 1410928640 94295 33554432000 4194304 16246674 140733325450688 140733325448512 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 344465 94300 814 2943 0 341359 0
[pid=13309/tid=13310] ppid=13306 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1410928640 94304 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1410928640 94307 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1410928640 94310 33554432000 4194304 16246674 140733325450688 139954663451824 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) 1377860

[startup+3.10033 s]
/proc/loadavg: 2.18 2.23 2.19 3/184 13313
/proc/meminfo: memFree=27579924/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1393220 CPUtime=3.09 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 121504 0 0 0 293 16 0 0 20 0 4 0 8381260 1426657280 122824 33554432000 4194304 16246674 140733325450688 140733325432576 5913644 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 348305 122824 836 2943 0 345199 0
[pid=13309/tid=13310] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 122824 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 122824 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 122824 33554432000 4194304 16246674 140733325450688 139954663451824 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) 1393220

[startup+6.30043 s]
/proc/loadavg: 2.17 2.23 2.19 3/184 13313
/proc/meminfo: memFree=26948560/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1393220 CPUtime=6.29 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 275622 0 0 0 593 36 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 140733325432576 5669490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 348305 276942 888 2943 0 345199 0
[pid=13309/tid=13310] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954663451824 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) 1393220

[startup+12.7004 s]
/proc/loadavg: 2.15 2.23 2.19 4/184 13313
/proc/meminfo: memFree=26948616/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1393220 CPUtime=12.69 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 275622 0 0 0 1233 36 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 140733325432576 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 348305 276942 888 2943 0 345199 0
[pid=13309/tid=13310] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954663451824 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) 1393220

[startup+25.5004 s]
/proc/loadavg: 2.12 2.21 2.18 3/184 13313
/proc/meminfo: memFree=26948996/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1393220 CPUtime=25.49 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 275622 0 0 0 2513 36 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 140733325432576 5711716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 348305 276942 888 2943 0 345199 0
[pid=13309/tid=13310] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276942 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1393220

[startup+51.1004 s]
/proc/loadavg: 2.08 2.20 2.18 3/184 13313
/proc/meminfo: memFree=26948712/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1393220 CPUtime=51.08 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 275626 0 0 0 5072 36 0 0 20 0 4 0 8381260 1426657280 276946 33554432000 4194304 16246674 140733325450688 140733325432576 5711956 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 348305 276946 892 2943 0 345199 0
[pid=13309/tid=13310] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276946 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276946 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 276946 33554432000 4194304 16246674 140733325450688 139954663451824 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) 1393220

[startup+102.3 s]
/proc/loadavg: 2.11 2.18 2.17 4/183 13314
/proc/meminfo: memFree=26895192/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1393220 CPUtime=102.27 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 288982 0 0 0 10188 39 0 0 20 0 4 0 8381260 1426657280 290302 33554432000 4194304 16246674 140733325450688 140733325432576 5711588 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 348305 290302 892 2943 0 345199 0
[pid=13309/tid=13310] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 290302 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 290302 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 290302 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1393220


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

/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1426657280 290306 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1393220

[startup+1362.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 13346
/proc/meminfo: memFree=26538648/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1523268 CPUtime=1361.98 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 321608 0 0 0 136124 74 0 0 20 0 4 0 8381260 1559826432 322768 33554432000 4194304 16246674 140733325450688 140733325432576 5711326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 380817 322768 892 2943 0 377711 0
[pid=13309/tid=13310] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322768 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322768 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322768 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1523268

[startup+1422.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 13347
/proc/meminfo: memFree=26538576/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1523268 CPUtime=1421.95 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 321625 0 0 0 142121 74 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 140733325432576 5723568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 380817 322770 894 2943 0 377711 0
[pid=13309/tid=13310] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1523268

[startup+1482.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 13349
/proc/meminfo: memFree=26356324/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1523268 CPUtime=1481.95 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 321627 0 0 0 148119 76 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 140733325432576 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 380817 322770 894 2943 0 377711 0
[pid=13309/tid=13310] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1523268

[startup+1542.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 13350
/proc/meminfo: memFree=26356076/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1523268 CPUtime=1541.94 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 321627 0 0 0 154117 77 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 140733325432576 5673747 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 380817 322770 894 2943 0 377711 0
[pid=13309/tid=13310] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1523268 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1559826432 322770 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1523268

[startup+1602.3 s]
/proc/loadavg: 2.33 2.24 2.19 3/183 13351
/proc/meminfo: memFree=26119352/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1759812 CPUtime=1601.93 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 380658 0 0 0 160106 87 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 140733325432576 12478180 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 439953 381801 894 2943 0 436847 0
[pid=13309/tid=13310] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1759812

[startup+1662.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 13352
/proc/meminfo: memFree=26119352/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1759812 CPUtime=1661.92 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 380658 0 0 0 166104 88 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 140733325449864 5712004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 439953 381801 894 2943 0 436847 0
[pid=13309/tid=13310] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1759812

[startup+1722.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 13451
/proc/meminfo: memFree=26258776/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1759812 CPUtime=1721.91 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 380658 0 0 0 172101 90 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 140733325432576 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 439953 381801 894 2943 0 436847 0
[pid=13309/tid=13310] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1759812

[startup+1782.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 13453
/proc/meminfo: memFree=25601392/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1759812 CPUtime=1781.91 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 380658 0 0 0 178101 90 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 140733325432576 5712555 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 439953 381801 894 2943 0 436847 0
[pid=13309/tid=13310] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1759812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.21 2.18 3/184 13456
/proc/meminfo: memFree=25600608/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1759812 CPUtime=1800 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 380658 0 0 0 179910 90 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 140733325432576 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 439953 381801 894 2943 0 436847 0
[pid=13309/tid=13310] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1759812

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

[startup+1800.4 s]
/proc/loadavg: 2.15 2.21 2.18 3/184 13456
/proc/meminfo: memFree=25600608/32872528 swapFree=1254912/1391860
[pid=13309] ppid=13306 vsize=1759812 CPUtime=1800 cores=1,3,5,7
/proc/13309/stat : 13309 (toysat) R 13306 13309 12742 0 -1 4202496 380658 0 0 0 179910 90 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 140733325432576 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13309/statm: 439953 381801 894 2943 0 436847 0
[pid=13309/tid=13310] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13310/stat : 13310 (toysat) S 13306 13309 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954793458928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13311] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13311/stat : 13311 (toysat) S 13306 13309 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954782969072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13309/tid=13312] ppid=13306 vsize=1759812 CPUtime=0 cores=1,3,5,7
/proc/13309/task/13312/stat : 13312 (toysat) S 13306 13309 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8381260 1802047488 381801 33554432000 4194304 16246674 140733325450688 139954663451824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1759812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.02
CPU user time (s): 1799.11
CPU system time (s): 0.91686
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1759812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 0.91686
maximum resident set size= 1527204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380658
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= 206
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76282 second user time and 8.73367 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 10:10:04
IDJOB=4119663
IDBENCH=111784
IDSOLVER=2542
FILE ID=node119/4119663-1467274204
RUNJOBID= node119-1467272299-13059
PBS_JOBID= 20004499
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw128/normalized-hw128-vm100p-dec.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119663-1467274204/watcher-4119663-1467274204 -o /tmp/evaluation-result-4119663-1467274204/solver-4119663-1467274204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13059 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119663-1467274204.opb

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

MD5SUM BENCH= f7972e6ac330b31555746f994dab16be
RANDOM SEED=1320752893

node119.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.444
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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:        28055992 kB
Buffers:          180160 kB
Cached:          1327056 kB
SwapCached:            0 kB
Active:          1341436 kB
Inactive:        1336456 kB
Active(anon):    1167496 kB
Inactive(anon):     5992 kB
Active(file):     173940 kB
Inactive(file):  1330464 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             24552 kB
Writeback:             0 kB
AnonPages:       2564568 kB
Mapped:            17532 kB
Shmem:               204 kB
Slab:             611296 kB
SReclaimable:      55064 kB
SUnreclaim:       556232 kB
KernelStack:        1480 kB
PageTables:         8424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2696480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 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= 71664 MiB
End job on node119 at 2016-06-30 10:40:05