Trace number 4106982

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.04 1800.41

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_80.opb
MD5SUM1315caae01d69a106b6850eece7eb42e
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31432
Sum of products size (including duplicates)62864
Number of different products15716
Sum of products size31432

Solver Data 

0.00/0.00	c 2016-06-18T22:11:39+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-4106982-1466280699.opb"]
0.00/0.01	c use --random-gen="2609930091 2196473690 2690357695 355782543 720454830 1259317410 4050060644 164117811 2007113900 3478073281 2514085778 1435345460 3674735265 3263207614 2225627007 3281209927 4172606510 1873749859 136997595 1363970209 3547267608 175184667 1481702549 3755455420 486835132 693716103 1226094781 67066075 1818401820 2177891127 3997334163 2027390860 3038292490 3231555577 1530256920 572470057 1949476685 1884856302 319306624 696885427 3643298965 2494099885 2222009878 4197481190 2111861476 3407603743 963270287 1695413058 1261405693 2706889147 1156311361 1255401665 3072893390 2914583975 1442021190 1173528846 988691919 3977002558 2075538890 1818753254 3227960477 2560137998 3389334214 3366810889 2037126733 20748710 1286942210 748900829 3085729624 3770880628 3693452959 783664754 3135613851 2974805277 3876822393 3425132468 2273205115 3527881756 1711658711 2610869405 3330039807 1157554681 893146444 2365010872 1970230835 334768948 2515457645 2634410219 1732425331 1360238169 828702711 741453043 761307026 813687027 2419264103 1889731539 4187952446 3200800432 1041888371 346078050 504336054 1727798415 2676369181 3834447357 2826488865 1662439285 1434339742 3208702133 2273568013 2892470221 333543690 1039930617 2818770661 4020551162 1557527702 4251695090 3517655329 3104691443 3987652722 809513052 908568370 3800329114 1530195539 401285385 3925555678 364218432 996500154 521801043 1205647273 1176077024 4006298118 1655490100 3622356875 1753563781 2315454262 552741259 3343186456 2836544718 3160308566 4193462111 4009644394 2237418905 3011156199 4088626920 495969518 1782584982 905548973 2991006205 1810435829 14045045 4131963265 3833549204 3426069090 3411145421 1493574813 3404455476 624486765 756226410 1035670757 4265096177 3562982183 779811078 1192569817 1421199779 3611990332 1690602285 1832776290 1899350854 1849623973 1297851757 3302450018 3952734961 1370421956 225483758 2755027308 2442054300 1025675080 1656557101 2390656678 2514855441 438083823 2073344869 959367796 2248321609 796342990 3850674174 317104832 3036146130 3318022798 3665851372 3497344513 2239389286 133768757 2519331091 1405896984 3982867067 3658998520 3385346103 4053742301 1902514335 2000670061 3995084967 2005982877 2458124415 1125470641 3279474710 81000606 2660545432 3349247212 3562210699 2212809462 1187084111 602811650 3861982387 3655813758 2975444191 1610374987 385379220 2676219005 3432644257 934500937 2471157839 2023424246 617395251 3679255417 4178180775 2476795220 2530271717 1444593972 3384259019 750746321 211675167 1413726687 4253962361 3734269894 1538314498 2062006696 1470522721 273264098 580546389 1641748329 3780312134 3941317778 199876306 2980369843 3869800671 1195720579 2286487112 454889781 2101786300 772908284 3578074827 1328103710 1303808216 413146924 2625482856 255 362436" option to reproduce the execution
0.09/0.11	c #vars 1000
0.09/0.11	c #constraints 1502
0.49/0.54	c Solving starts ...
0.49/0.54	c ============================[ Search Statistics ]============================
0.49/0.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.54	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.54	c =============================================================================
0.49/0.54	c  0.0s |       0 |        0 |        0 |    11311      0 |        0 |        0
0.69/0.93	c  0.4s |       1 |      679 |      100 |    11311      0 |        0 |        0
1.09/1.17	c  0.6s |       2 |    30808 |      250 |    12443      0 |        0 |        0
1.39/1.41	c  0.9s |       3 |    57584 |      475 |    13688      0 |        0 |        0
2.89/2.97	c  2.4s |       4 |    91307 |      813 |    15057      0 |        0 |        0
5.09/5.13	c  4.6s |       4 |   112788 |     1113 |    16563      0 |        0 |        0
6.39/6.41	c  5.9s |       5 |   131143 |     1320 |    16563      0 |        0 |        0
8.69/8.77	c  8.2s |       5 |   143114 |     1520 |    18220      0 |        0 |        0
11.49/11.51	c 11.0s |       5 |   159269 |     1820 |    18220      0 |        0 |        0
13.69/13.75	c 13.2s |       6 |   172877 |     2081 |    20042      0 |        0 |        0
15.69/15.76	c 15.2s |       6 |   184985 |     2281 |    20042      0 |        0 |        0
18.29/18.37	c 17.8s |       6 |   186362 |     2481 |    20042      0 |        0 |        0
20.49/20.53	c 20.0s |       6 |   200512 |     2881 |    20042      0 |        0 |        0
22.69/22.70	c 22.2s |       6 |   200764 |     3081 |    20042      0 |        0 |        0
24.40/24.41	c 23.9s |       7 |   205587 |     3223 |    22047      0 |        0 |        0
27.29/27.37	c 26.8s |       7 |   216290 |     3523 |    22047      0 |        0 |        0
29.49/29.50	c 29.0s |       7 |   217025 |     3823 |    22047      0 |        0 |        0
32.59/32.63	c 32.1s |       7 |   232712 |     4223 |    22047      0 |        0 |        0
34.89/34.96	c 34.4s |       7 |   233252 |     4423 |    22047      0 |        0 |        0
37.19/37.22	c 36.7s |       7 |   248477 |     4723 |    22047      0 |        0 |        0
40.39/40.45	c 39.9s |       7 |   249096 |     4923 |    24252      0 |        0 |        0
40.59/40.62	c 40.1s |       8 |   249152 |     4936 |    24252      0 |        0 |        0
42.69/42.71	c 42.2s |       8 |   282297 |     5436 |    24252      0 |        0 |        0
46.30/46.38	c 45.8s |       8 |   283037 |     5636 |    24252      0 |        0 |        0
48.39/48.46	c 47.9s |       8 |   315913 |     6036 |    24252      0 |        0 |        0
50.89/50.99	c 50.5s |       8 |   331639 |     6436 |    24252      0 |        0 |        0
54.39/54.48	c 53.9s |       8 |   333165 |     6636 |    24252      0 |        0 |        0
57.09/57.14	c 56.6s |       8 |   357702 |     7136 |    24252      0 |        0 |        0
60.59/60.63	c 60.1s |       8 |   358134 |     7336 |    24252      0 |        0 |        0
61.58/61.63	c 61.1s |       9 |   358553 |     7506 |    26678      0 |        0 |        0
64.88/64.91	c 64.4s |       9 |   399389 |     8006 |    26678      0 |        0 |        0
66.98/67.07	c 66.5s |       9 |   399389 |     8106 |    26678      0 |        0 |        0
69.68/69.77	c 69.2s |       9 |   400672 |     8306 |    26678      0 |        0 |        0
71.98/72.03	c 71.5s |       9 |   424913 |     8706 |    26678      0 |        0 |        0
74.99/75.01	c 74.5s |       9 |   427745 |     8906 |    26678      0 |        0 |        0
77.38/77.44	c 76.9s |       9 |   428010 |     9106 |    26678      0 |        0 |        0
79.88/79.91	c 79.4s |       9 |   468437 |     9606 |    26678      0 |        0 |        0
82.18/82.27	c 81.7s |       9 |   469326 |     9806 |    26678      0 |        0 |        0
84.28/84.32	c 83.8s |       9 |   470302 |    10006 |    26678      0 |        0 |        0
86.88/86.98	c 86.4s |       9 |   509956 |    10406 |    26678      0 |        0 |        0
90.18/90.22	c 89.7s |       9 |   514531 |    10706 |    26678      0 |        0 |        0
92.59/92.62	c 92.1s |       9 |   514816 |    10906 |    26678      0 |        0 |        0
94.69/94.77	c 94.2s |       9 |   543511 |    11306 |    29346      0 |        0 |        0
95.18/95.28	c 94.7s |      10 |   544729 |    11361 |    29346      0 |        0 |        0
97.58/97.63	c 97.1s |      10 |   547377 |    11661 |    29346      0 |        0 |        0
100.58/100.65	c  100s |      10 |   571311 |    12161 |    29346      0 |        0 |        0
104.08/104.12	c  103s |      10 |   582471 |    12361 |    29346      0 |        0 |        0
106.57/106.64	c  106s |      10 |   602870 |    12761 |    29346      0 |        0 |        0
109.27/109.31	c  108s |      10 |   603315 |    13061 |    29346      0 |        0 |        0
112.38/112.47	c  111s |      10 |   635047 |    13461 |    29346      0 |        0 |        0
114.58/114.61	c  114s |      10 |   637001 |    13761 |    29346      0 |        0 |        0
116.68/116.79	c  116s |      10 |   666353 |    14161 |    29346      0 |        0 |        0
118.98/119.01	c  118s |      10 |   667876 |    14461 |    29346      0 |        0 |        0
121.87/121.96	c  121s |      10 |   692880 |    14861 |    29346      0 |        0 |        0
124.38/124.50	c  123s |      10 |   696985 |    15161 |    29346      0 |        0 |        0
126.77/126.88	c  126s |      10 |   731425 |    15661 |    29346      0 |        0 |        0
129.27/129.38	c  128s |      10 |   735065 |    16061 |    29346      0 |        0 |        0
131.67/131.72	c  131s |      10 |   755896 |    16461 |    29346      0 |        0 |        0
133.77/133.84	c  133s |      10 |   762478 |    16661 |    29346      0 |        0 |        0
135.97/136.06	c  135s |      11 |   787196 |    17144 |    32281      0 |        0 |        0
138.78/138.86	c  138s |      11 |   788802 |    17344 |    32281      0 |        0 |        0
141.17/141.22	c  140s |      11 |   815697 |    17844 |    32281      0 |        0 |        0
143.57/143.67	c  143s |      11 |   819515 |    18244 |    32281      0 |        0 |        0
146.77/146.85	c  146s |      11 |   837667 |    18644 |    32281      0 |        0 |        0
148.77/148.86	c  148s |      11 |   839029 |    18944 |    32281      0 |        0 |        0
151.27/151.30	c  150s |      11 |   865462 |    19344 |    32281      0 |        0 |        0
153.26/153.36	c  152s |      11 |   868274 |    19744 |    32281      0 |        0 |        0
155.56/155.65	c  155s |      11 |   890213 |    20144 |    32281      0 |        0 |        0
157.76/157.89	c  157s |      11 |   894278 |    20444 |    32281      0 |        0 |        0
160.56/160.64	c  160s |      11 |   914844 |    20844 |    32281      0 |        0 |        0
162.87/162.96	c  162s |      11 |   933040 |    21244 |    32281      0 |        0 |        0
165.07/165.12	c  164s |      11 |   939599 |    21544 |    32281      0 |        0 |        0
167.16/167.20	c  166s |      11 |   964347 |    21944 |    32281      0 |        0 |        0
169.76/169.82	c  169s |      11 |   969383 |    22344 |    32281      0 |        0 |        0
171.77/171.86	c  171s |      11 |   992244 |    22744 |    32281      0 |        0 |        0
173.97/174.07	c  173s |      11 |  1009585 |    23144 |    32281      0 |        0 |        0
176.36/176.40	c  175s |      11 |  1020616 |    23444 |    32281      0 |        0 |        0
178.86/178.92	c  178s |      11 |  1038494 |    23944 |    32281      0 |        0 |        0
181.06/181.12	c  180s |      11 |  1058169 |    24444 |    32281      0 |        0 |        0
183.36/183.49	c  182s |      11 |  1072407 |    24844 |    32281      0 |        0 |        0
185.47/185.52	c  184s |      11 |  1076438 |    25244 |    32281      0 |        0 |        0
187.67/187.75	c  187s |      11 |  1095401 |    25644 |    32281      0 |        0 |        0
188.37/188.45	c  187s |      12 |  1101347 |    25819 |    35510      0 |        0 |        0
190.87/190.91	c  190s |      12 |  1112388 |    26119 |    35510      0 |        0 |        0
193.57/193.64	c  193s |      12 |  1135318 |    26619 |    35510      0 |        0 |        0
195.57/195.67	c  195s |      12 |  1149424 |    27019 |    35510      0 |        0 |        0
197.57/197.68	c  197s |      12 |  1157037 |    27419 |    35510      0 |        0 |        0
199.96/200.02	c  199s |      12 |  1181341 |    28219 |    35510      0 |        0 |        0
202.57/202.69	c  202s |      12 |  1201194 |    28819 |    35510      0 |        0 |        0
205.16/205.26	c  204s |      12 |  1214694 |    29219 |    35510      0 |        0 |        0
207.36/207.48	c  206s |      12 |  1231730 |    29619 |    35510      0 |        0 |        0
209.66/209.79	c  209s |      12 |  1245574 |    30019 |    35510      0 |        0 |        0
212.16/212.28	c  211s |      12 |  1261224 |    30519 |    35510      0 |        0 |        0
214.86/214.92	c  214s |      12 |  1273520 |    30919 |    35510      0 |        0 |        0
217.36/217.40	c  216s |      12 |  1287555 |    31319 |    35510      0 |        0 |        0
219.36/219.45	c  218s |      12 |  1293331 |    31719 |    35510      0 |        0 |        0
221.66/221.79	c  221s |      12 |  1299430 |    32119 |    35510      0 |        0 |        0
223.86/223.93	c  223s |      12 |  1310109 |    32519 |    35510      0 |        0 |        0
226.16/226.26	c  225s |      12 |  1322094 |    32919 |    35510      0 |        0 |        0
228.66/228.74	c  228s |      12 |  1330674 |    33319 |    35510      0 |        0 |        0
231.17/231.27	c  230s |      12 |  1343157 |    33819 |    35510      0 |        0 |        0
233.27/233.33	c  232s |      12 |  1352138 |    34219 |    35510      0 |        0 |        0
235.76/235.81	c  235s |      12 |  1364441 |    34719 |    35510      0 |        0 |        0
238.16/238.24	c  237s |      12 |  1375279 |    35219 |    35510      0 |        0 |        0
240.26/240.35	c  239s |      12 |  1385316 |    35619 |    35510      0 |        0 |        0
242.66/242.78	c  242s |      12 |  1400709 |    36219 |    35510      0 |        0 |        0
244.96/245.03	c  244s |      12 |  1403577 |    36519 |    35510      1 |        0 |        0
247.36/247.45	c  246s |      12 |  1409774 |    36919 |    35510      1 |        0 |        0
249.86/249.93	c  249s |      12 |  1422322 |    37419 |    35510      1 |        0 |        0
251.96/252.06	c  251s |      12 |  1434304 |    37919 |    35510      1 |        0 |        0
254.16/254.22	c  253s |      12 |  1443352 |    38419 |    35510      1 |        0 |        0
255.96/256.06	c  255s |      13 |  1455722 |    38832 |    39061      1 |        0 |        0
258.26/258.35	c  257s |      13 |  1463512 |    39232 |    39061      1 |        0 |        0
260.66/260.79	c  260s |      13 |  1472565 |    39632 |    39061      1 |        0 |        0
262.96/263.06	c  262s |      13 |  1482288 |    40132 |    39061      1 |        0 |        0
265.26/265.40	c  264s |      13 |  1495336 |    40532 |    39061      1 |        0 |        0
267.55/267.62	c  267s |      13 |  1502204 |    40932 |    39061      1 |        0 |        0
269.66/269.71	c  269s |      13 |  1509419 |    41332 |    39061      1 |        0 |        0
271.95/272.07	c  271s |      13 |  1520341 |    41832 |    39061      1 |        0 |        0
274.35/274.40	c  273s |      13 |  1527832 |    42332 |    39061      1 |        0 |        0
276.45/276.59	c  276s |      13 |  1539371 |    42732 |    39061      1 |        0 |        0
278.85/278.98	c  278s |      13 |  1550806 |    43232 |    39061      1 |        0 |        0
281.05/281.17	c  280s |      13 |  1555903 |    43732 |    39061      1 |        0 |        0
283.25/283.35	c  282s |      13 |  1563273 |    44232 |    39061      1 |        0 |        0
285.45/285.53	c  284s |      13 |  1568595 |    44732 |    39061      1 |        0 |        0
287.55/287.67	c  287s |      13 |  1573418 |    45132 |    39061      1 |        0 |        0
290.15/290.21	c  289s |      13 |  1580221 |    45632 |    39061      1 |        0 |        0
292.35/292.47	c  291s |      13 |  1593383 |    46132 |    39061      1 |        0 |        0
295.15/295.29	c  294s |      13 |  1628657 |    46532 |    39061      1 |        0 |        0
297.55/297.61	c  297s |      13 |  1629672 |    46732 |    39061      1 |        0 |        0
301.55/301.67	c  301s |      13 |  1630077 |    46932 |    39061      1 |        0 |        0
304.15/304.27	c  303s |      13 |  1680346 |    47332 |    39061      1 |        0 |        0
306.35/306.42	c  305s |      13 |  1687478 |    47632 |    39061      1 |        0 |        0
309.65/309.71	c  309s |      13 |  1688454 |    47832 |    39061      1 |        0 |        0
311.75/311.82	c  311s |      13 |  1724131 |    48032 |    39061      1 |        0 |        0
313.95/314.09	c  313s |      13 |  1734391 |    48332 |    39061      1 |        0 |        0
316.54/316.62	c  316s |      13 |  1735376 |    48532 |    39061      1 |        0 |        0
319.05/319.18	c  318s |      13 |  1753620 |    49032 |    39061      1 |        0 |        0
321.35/321.49	c  320s |      13 |  1798188 |    49632 |    39061      1 |        0 |        0
323.55/323.62	c  323s |      13 |  1811861 |    50032 |    39061      1 |        0 |        0
325.84/325.93	c  325s |      13 |  1843050 |    50432 |    39061      1 |        0 |        0
328.04/328.11	c  327s |      13 |  1844950 |    50732 |    39061      1 |        0 |        0
330.34/330.49	c  329s |      13 |  1848960 |    51032 |    39061      1 |        0 |        0
332.64/332.78	c  332s |      13 |  1870694 |    51432 |    39061      1 |        0 |        0
335.04/335.16	c  334s |      13 |  1878578 |    51732 |    39061      1 |        0 |        0
337.44/337.53	c  336s |      13 |  1893370 |    52032 |    39061      1 |        0 |        0
339.74/339.82	c  339s |      13 |  1926768 |    52432 |    39061      1 |        0 |        0
342.54/342.65	c  342s |      13 |  1928886 |    52732 |    39061      1 |        0 |        0
344.84/344.93	c  344s |      13 |  1963833 |    53032 |    39061      1 |        0 |        0
347.44/347.57	c  347s |      13 |  1969818 |    53432 |    39061      1 |        0 |        0
350.04/350.10	c  349s |      13 |  2013221 |    53932 |    39061      1 |        0 |        0
352.24/352.31	c  351s |      13 |  2018317 |    54232 |    39061      1 |        0 |        0
354.54/354.65	c  354s |      13 |  2053124 |    54632 |    39061      1 |        0 |        0
356.94/357.05	c  356s |      13 |  2081662 |    55032 |    39061      1 |        0 |        0
359.14/359.22	c  358s |      13 |  2083492 |    55232 |    39061      1 |        0 |        0
361.54/361.62	c  361s |      13 |  2111697 |    55632 |    39061      1 |        0 |        0
363.53/363.68	c  363s |      13 |  2142292 |    56032 |    39061      1 |        0 |        0
366.03/366.15	c  365s |      13 |  2147576 |    56332 |    39061      1 |        0 |        0
368.54/368.69	c  368s |      13 |  2174686 |    56832 |    39061      1 |        0 |        0
370.63/370.79	c  370s |      13 |  2205906 |    57232 |    39061      1 |        0 |        0
373.23/373.38	c  372s |      13 |  2215683 |    57632 |    39061      1 |        0 |        0
375.63/375.74	c  375s |      13 |  2244655 |    58032 |    42968      2 |        0 |        0
376.73/376.89	c  376s |      14 |  2250975 |    58352 |    42968      2 |        0 |        0
378.83/378.98	c  378s |      14 |  2259152 |    58652 |    42968      2 |        0 |        0
381.74/381.84	c  381s |      14 |  2263035 |    58952 |    42968      2 |        0 |        0
383.94/384.03	c  383s |      14 |  2294379 |    59352 |    42968      2 |        0 |        0
385.93/386.06	c  385s |      14 |  2298930 |    59652 |    42968      2 |        0 |        0
388.53/388.63	c  388s |      14 |  2301443 |    59952 |    42968      2 |        0 |        0
390.64/390.74	c  390s |      14 |  2324659 |    60252 |    42968      2 |        0 |        0
393.03/393.18	c  392s |      14 |  2332186 |    60652 |    42968      2 |        0 |        0
395.73/395.80	c  395s |      14 |  2381607 |    61152 |    42968      2 |        0 |        0
398.13/398.30	c  397s |      14 |  2382936 |    61452 |    42968      2 |        0 |        0
400.33/400.42	c  399s |      14 |  2421461 |    61852 |    42968      2 |        0 |        0
402.53/402.68	c  402s |      14 |  2425354 |    62152 |    42968      2 |        0 |        0
405.33/405.43	c  404s |      14 |  2427561 |    62452 |    42968      2 |        0 |        0
407.43/407.56	c  407s |      14 |  2459361 |    62852 |    42968      2 |        0 |        0
409.63/409.76	c  409s |      14 |  2461396 |    63152 |    42968      2 |        0 |        0
412.13/412.21	c  411s |      14 |  2516962 |    63552 |    42968      2 |        0 |        0
414.43/414.51	c  413s |      14 |  2524498 |    63852 |    42968      2 |        0 |        0
416.53/416.62	c  416s |      14 |  2527904 |    64052 |    42968      2 |        0 |        0
418.53/418.69	c  418s |      14 |  2560783 |    64452 |    42968      2 |        0 |        0
420.63/420.77	c  420s |      14 |  2563492 |    64752 |    42968      2 |        0 |        0
423.12/423.23	c  422s |      14 |  2590923 |    65152 |    42968      2 |        0 |        0
425.32/425.44	c  424s |      14 |  2594908 |    65452 |    42968      2 |        0 |        0
427.52/427.61	c  427s |      14 |  2637443 |    65852 |    42968      2 |        0 |        0
430.02/430.12	c  429s |      14 |  2638791 |    66252 |    42968      2 |        0 |        0
432.22/432.37	c  431s |      14 |  2681005 |    66652 |    42968      2 |        0 |        0
434.32/434.41	c  433s |      14 |  2682658 |    66952 |    42968      2 |        0 |        0
436.62/436.75	c  436s |      14 |  2726147 |    67452 |    42968      2 |        0 |        0
438.72/438.80	c  438s |      14 |  2728187 |    67752 |    42968      2 |        0 |        0
440.92/441.00	c  440s |      14 |  2760276 |    68152 |    42968      2 |        0 |        0
443.22/443.37	c  442s |      14 |  2775850 |    68552 |    42968      2 |        0 |        0
445.42/445.53	c  444s |      14 |  2805352 |    68952 |    42968      2 |        0 |        0
447.52/447.67	c  447s |      14 |  2823086 |    69252 |    42968      2 |        0 |        0
449.62/449.72	c  449s |      14 |  2842078 |    69652 |    42968      2 |        0 |        0
451.62/451.79	c  451s |      14 |  2859906 |    70052 |    42968      2 |        0 |        0
453.92/454.09	c  453s |      14 |  2885232 |    70452 |    42968      2 |        0 |        0
456.32/456.40	c  455s |      14 |  2899931 |    70852 |    42968      2 |        0 |        0
458.52/458.69	c  458s |      14 |  2907188 |    71252 |    42968      2 |        0 |        0
460.62/460.74	c  460s |      14 |  2917243 |    71652 |    42968      2 |        0 |        0
462.72/462.88	c  462s |      14 |  2933982 |    71952 |    42968      2 |        0 |        0
465.02/465.15	c  464s |      14 |  2956254 |    72352 |    42968      2 |        0 |        0
467.41/467.53	c  466s |      14 |  2973622 |    72752 |    42968      2 |        0 |        0
469.91/470.08	c  469s |      14 |  2993523 |    73152 |    42968      2 |        0 |        0
472.12/472.27	c  471s |      14 |  3012326 |    73552 |    42968      2 |        0 |        0
474.23/474.36	c  473s |      14 |  3042920 |    73952 |    42968      2 |        0 |        0
476.72/476.84	c  476s |      14 |  3055182 |    74452 |    42968      2 |        0 |        0
479.12/479.28	c  478s |      14 |  3071557 |    74852 |    42968      2 |        0 |        0
481.62/481.76	c  481s |      14 |  3085960 |    75252 |    42968      2 |        0 |        0
484.22/484.37	c  483s |      14 |  3095344 |    75652 |    42968      2 |        0 |        0
486.33/486.42	c  485s |      14 |  3103986 |    75952 |    42968      2 |        0 |        0
488.43/488.58	c  488s |      14 |  3109891 |    76452 |    42968      2 |        0 |        0
491.42/491.50	c  490s |      14 |  3115955 |    77052 |    42968      2 |        0 |        0
493.42/493.59	c  493s |      14 |  3120892 |    77252 |    42968      2 |        0 |        0
495.62/495.76	c  495s |      14 |  3127617 |    77552 |    42968      2 |        0 |        0
497.72/497.85	c  497s |      14 |  3129915 |    77752 |    42968      2 |        0 |        0
499.82/499.96	c  499s |      14 |  3134674 |    78152 |    42968      2 |        0 |        0
502.02/502.14	c  501s |      14 |  3136347 |    78452 |    42968      2 |        0 |        0
504.22/504.40	c  503s |      14 |  3141507 |    78952 |    42968      2 |        0 |        0
506.52/506.63	c  506s |      14 |  3150706 |    79452 |    42968      2 |        0 |        0
508.81/508.93	c  508s |      14 |  3166721 |    80052 |    42968      2 |        0 |        0
511.62/511.74	c  511s |      14 |  3169864 |    80452 |    42968      2 |        0 |        0
513.91/514.03	c  513s |      14 |  3182944 |    80852 |    42968      2 |        0 |        0
516.61/516.71	c  516s |      14 |  3220737 |    81252 |    42968      3 |        0 |        0
518.71/518.89	c  518s |      14 |  3248134 |    81652 |    42968      3 |        0 |        0
520.81/520.93	c  520s |      14 |  3271124 |    82052 |    42968      3 |        0 |        0
523.01/523.17	c  522s |      14 |  3315030 |    82552 |    42968      3 |        0 |        0
525.11/525.29	c  524s |      14 |  3361081 |    83052 |    42968      3 |        0 |        0
527.71/527.80	c  527s |      14 |  3367910 |    83352 |    42968      3 |        0 |        0
529.81/529.91	c  529s |      14 |  3392210 |    83552 |    42968      3 |        0 |        0
532.31/532.45	c  531s |      14 |  3411020 |    83952 |    42968      3 |        0 |        0
534.91/535.01	c  534s |      14 |  3479982 |    84452 |    42968      3 |        0 |        0
537.21/537.39	c  536s |      14 |  3484178 |    84752 |    42968      3 |        0 |        0
539.31/539.48	c  538s |      14 |  3523644 |    85152 |    42968      3 |        0 |        0
541.41/541.52	c  540s |      14 |  3524616 |    85452 |    42968      3 |        0 |        0
543.41/543.59	c  543s |      14 |  3571391 |    85852 |    42968      3 |        0 |        0
545.61/545.73	c  545s |      14 |  3581232 |    86152 |    42968      3 |        0 |        0
547.91/548.01	c  547s |      14 |  3625107 |    86552 |    42968      3 |        0 |        0
550.20/550.36	c  549s |      14 |  3636421 |    86852 |    42968      3 |        0 |        0
552.40/552.53	c  551s |      14 |  3650655 |    87152 |    47265      3 |        0 |        0
554.60/554.75	c  554s |      14 |  3674408 |    87552 |    47265      3 |        0 |        0
555.30/555.48	c  554s |      15 |  3675235 |    87632 |    47265      3 |        0 |        0
557.60/557.78	c  557s |      15 |  3676103 |    87832 |    47265      3 |        0 |        0
560.30/560.45	c  559s |      15 |  3721110 |    88332 |    47265      3 |        0 |        0
562.30/562.48	c  561s |      15 |  3753539 |    88732 |    47265      3 |        0 |        0
564.80/564.94	c  564s |      15 |  3757512 |    89032 |    47265      3 |        0 |        0
567.10/567.29	c  566s |      15 |  3803832 |    89532 |    47265      3 |        0 |        0
569.20/569.37	c  568s |      15 |  3812435 |    89832 |    47265      3 |        0 |        0
571.40/571.55	c  571s |      15 |  3862368 |    90232 |    47265      3 |        0 |        0
573.40/573.58	c  573s |      15 |  3886232 |    90632 |    47265      3 |        0 |        0
575.80/575.94	c  575s |      15 |  3906760 |    91032 |    47265      3 |        0 |        0
577.90/578.08	c  577s |      15 |  3939128 |    91432 |    47265      3 |        0 |        0
580.39/580.56	c  580s |      15 |  3968425 |    91832 |    47265      3 |        0 |        0
582.59/582.72	c  582s |      15 |  4002514 |    92332 |    47265      3 |        0 |        0
585.09/585.26	c  584s |      15 |  4041074 |    92832 |    47265      3 |        0 |        0
587.59/587.71	c  587s |      15 |  4066774 |    93332 |    47265      3 |        0 |        0
590.09/590.25	c  589s |      15 |  4090973 |    93832 |    47265      3 |        0 |        0
592.59/592.72	c  592s |      15 |  4113781 |    94332 |    47265      3 |        0 |        0
594.69/594.86	c  594s |      15 |  4142706 |    94832 |    47265      3 |        0 |        0
596.89/597.04	c  596s |      15 |  4181592 |    95332 |    47265      3 |        0 |        0
598.99/599.17	c  598s |      15 |  4213176 |    95832 |    47265      3 |        0 |        0
601.39/601.55	c  601s |      15 |  4241918 |    96332 |    47265      3 |        0 |        0
603.69/603.85	c  603s |      15 |  4259241 |    96832 |    47265      3 |        0 |        0
605.90/606.03	c  605s |      15 |  4281865 |    97332 |    47265      3 |        0 |        0
608.00/608.19	c  607s |      15 |  4307704 |    97832 |    47265      3 |        0 |        0
610.10/610.21	c  609s |      15 |  4321164 |    98432 |    47265      3 |        0 |        0
612.20/612.31	c  611s |      15 |  4350739 |    99032 |    47265      3 |        0 |        0
614.50/614.63	c  614s |      15 |  4379044 |    99732 |    47265      3 |        0 |        0
616.60/616.75	c  616s |      15 |  4407109 |   100432 |    47265      3 |        0 |        0
618.80/618.98	c  618s |      15 |  4428439 |   101232 |    47265      3 |        0 |        0
621.30/621.40	c  620s |      15 |  4452073 |   102132 |    47265      3 |        0 |        0
623.39/623.53	c  622s |      15 |  4473470 |   102632 |    47265      3 |        0 |        0
625.90/626.08	c  625s |      15 |  4482991 |   103232 |    47265      3 |        0 |        0
628.69/628.84	c  628s |      15 |  4503889 |   103632 |    47265      3 |        0 |        0
630.79/630.92	c  630s |      15 |  4520257 |   103932 |    47265      3 |        0 |        0
632.89/633.01	c  632s |      15 |  4551847 |   104332 |    47265      3 |        0 |        0
635.19/635.33	c  634s |      15 |  4558211 |   104732 |    47265      3 |        0 |        0
637.39/637.56	c  637s |      15 |  4583533 |   105232 |    47265      3 |        0 |        0
639.99/640.10	c  639s |      15 |  4596596 |   105632 |    47265      3 |        0 |        0
642.89/643.00	c  642s |      15 |  4619191 |   106032 |    47265      3 |        0 |        0
644.89/645.06	c  644s |      15 |  4633152 |   106432 |    47265      3 |        0 |        0
646.99/647.14	c  646s |      15 |  4647928 |   106932 |    47265      3 |        0 |        0
649.39/649.51	c  648s |      15 |  4654357 |   107332 |    47265      4 |        0 |        0
651.69/651.81	c  651s |      15 |  4666551 |   107832 |    47265      4 |        0 |        0
653.89/654.08	c  653s |      15 |  4684815 |   108332 |    47265      4 |        0 |        0
655.98/656.12	c  655s |      15 |  4689467 |   108632 |    47265      4 |        0 |        0
658.28/658.41	c  657s |      15 |  4694173 |   108932 |    47265      4 |        0 |        0
660.68/660.82	c  660s |      15 |  4708684 |   109332 |    47265      4 |        0 |        0
662.68/662.83	c  662s |      15 |  4724047 |   109732 |    47265      4 |        0 |        0
665.18/665.35	c  664s |      15 |  4740752 |   110132 |    47265      4 |        0 |        0
667.79/667.96	c  667s |      15 |  4746328 |   110532 |    47265      4 |        0 |        0
670.38/670.53	c  669s |      15 |  4751976 |   111032 |    47265      4 |        0 |        0
672.68/672.87	c  672s |      15 |  4771796 |   111532 |    47265      4 |        0 |        0
674.78/674.96	c  674s |      15 |  4776867 |   111932 |    47265      4 |        0 |        0
676.78/676.99	c  676s |      15 |  4782741 |   112332 |    47265      4 |        0 |        0
679.08/679.29	c  678s |      15 |  4793806 |   112732 |    47265      4 |        0 |        0
681.58/681.78	c  681s |      15 |  4807260 |   113232 |    47265      4 |        0 |        0
686.08/686.23	c  685s |      15 |  4842203 |   113632 |    47265      4 |        0 |        0
688.88/689.05	c  688s |      15 |  4872046 |   114032 |    47265      4 |        0 |        0
691.28/691.40	c  690s |      15 |  4922047 |   114432 |    47265      4 |        0 |        0
693.28/693.47	c  692s |      15 |  4925401 |   114632 |    47265      4 |        0 |        0
704.98/705.18	c  704s |      15 |  4953351 |   114832 |    47265      4 |        0 |        0
707.78/707.91	c  707s |      15 |  4990942 |   115332 |    47265      4 |        0 |        0
710.27/710.49	c  709s |      15 |  5050263 |   115832 |    47265      4 |        0 |        0
712.57/712.70	c  712s |      15 |  5051310 |   116032 |    47265      4 |        0 |        0
714.87/715.04	c  714s |      15 |  5097495 |   116432 |    47265      4 |        0 |        0
717.67/717.84	c  717s |      15 |  5101495 |   116732 |    47265      4 |        0 |        0
719.67/719.87	c  719s |      15 |  5154500 |   117132 |    47265      4 |        0 |        0
721.97/722.10	c  721s |      15 |  5157505 |   117432 |    47265      4 |        0 |        0
724.77/724.90	c  724s |      15 |  5205099 |   117932 |    47265      4 |        0 |        0
727.27/727.49	c  726s |      15 |  5208599 |   118232 |    47265      4 |        0 |        0
730.17/730.35	c  729s |      15 |  5255086 |   118732 |    47265      4 |        0 |        0
732.17/732.38	c  731s |      15 |  5257791 |   119032 |    47265      4 |        0 |        0
734.67/734.84	c  734s |      15 |  5299194 |   119432 |    47265      4 |        0 |        0
736.87/737.01	c  736s |      15 |  5303031 |   119732 |    47265      4 |        0 |        0
739.17/739.36	c  738s |      15 |  5359050 |   120132 |    47265      4 |        0 |        0
741.37/741.56	c  741s |      15 |  5364305 |   120432 |    47265      4 |        0 |        0
743.57/743.73	c  743s |      15 |  5412996 |   120832 |    47265      4 |        0 |        0
745.77/745.91	c  745s |      15 |  5433421 |   121132 |    47265      4 |        0 |        0
748.36/748.54	c  748s |      15 |  5460686 |   121532 |    47265      4 |        0 |        0
750.46/750.60	c  750s |      15 |  5498884 |   121932 |    47265      4 |        0 |        0
752.76/752.94	c  752s |      15 |  5526091 |   122332 |    47265      4 |        0 |        0
754.86/755.08	c  754s |      15 |  5538484 |   122632 |    47265      4 |        0 |        0
756.87/757.10	c  756s |      15 |  5578660 |   123032 |    47265      4 |        0 |        0
759.36/759.59	c  759s |      15 |  5608464 |   123532 |    47265      4 |        0 |        0
761.76/761.95	c  761s |      15 |  5619967 |   123832 |    47265      4 |        0 |        0
763.96/764.16	c  763s |      15 |  5650681 |   124232 |    47265      4 |        0 |        0
766.06/766.23	c  765s |      15 |  5673956 |   124632 |    47265      4 |        0 |        0
768.46/768.61	c  768s |      15 |  5697771 |   125032 |    47265      4 |        0 |        0
770.55/770.77	c  770s |      15 |  5708383 |   125332 |    47265      4 |        0 |        0
772.65/772.83	c  772s |      15 |  5739606 |   125732 |    47265      4 |        0 |        0
775.25/775.45	c  774s |      15 |  5776856 |   126232 |    47265      4 |        0 |        0
777.95/778.17	c  777s |      15 |  5803124 |   126732 |    47265      4 |        0 |        0
780.35/780.54	c  780s |      15 |  5846129 |   127232 |    47265      4 |        0 |        0
782.65/782.85	c  782s |      15 |  5867587 |   127632 |    47265      4 |        0 |        0
784.75/784.97	c  784s |      15 |  5875297 |   127932 |    47265      4 |        0 |        0
787.15/787.33	c  786s |      15 |  5911138 |   128432 |    47265      4 |        0 |        0
789.15/789.36	c  788s |      15 |  5919086 |   128732 |    47265      4 |        0 |        0
791.44/791.62	c  791s |      15 |  5941031 |   129132 |    47265      4 |        0 |        0
793.94/794.18	c  793s |      15 |  5956757 |   129532 |    47265      4 |        0 |        0
796.35/796.57	c  796s |      15 |  5991291 |   130032 |    47265      4 |        0 |        0
798.74/798.98	c  798s |      15 |  6017135 |   130532 |    47265      4 |        0 |        0
800.75/800.99	c  800s |      15 |  6030638 |   130932 |    51992      4 |        0 |        0
802.84/803.00	c  802s |      15 |  6058378 |   131432 |    51992      4 |        0 |        0
803.24/803.42	c  802s |      16 |  6068974 |   131552 |    51992      4 |        0 |        0
805.44/805.61	c  805s |      16 |  6078512 |   131752 |    51992      4 |        0 |        0
808.14/808.37	c  807s |      16 |  6144307 |   132252 |    51992      4 |        0 |        0
810.64/810.88	c  810s |      16 |  6159929 |   132652 |    51992      4 |        0 |        0
813.14/813.34	c  812s |      16 |  6197215 |   133052 |    51992      4 |        0 |        0
815.64/815.83	c  815s |      16 |  6251819 |   133452 |    51992      4 |        0 |        0
817.64/817.83	c  817s |      16 |  6280326 |   133852 |    51992      4 |        0 |        0
819.93/820.11	c  819s |      16 |  6286869 |   134152 |    51992      4 |        0 |        0
821.93/822.19	c  821s |      16 |  6305560 |   134652 |    51992      4 |        0 |        0
824.23/824.41	c  823s |      16 |  6334425 |   135352 |    51992      4 |        0 |        0
826.73/826.93	c  826s |      16 |  6350462 |   135652 |    51992      5 |        0 |        0
829.03/829.24	c  828s |      16 |  6397157 |   136152 |    51992      5 |        0 |        0
831.13/831.34	c  830s |      16 |  6416991 |   136552 |    51992      5 |        0 |        0
833.43/833.69	c  833s |      16 |  6460682 |   137052 |    51992      5 |        0 |        0
835.73/835.96	c  835s |      16 |  6478506 |   137452 |    51992      5 |        0 |        0
837.93/838.14	c  837s |      16 |  6506488 |   137952 |    51992      5 |        0 |        0
840.23/840.46	c  839s |      16 |  6521756 |   138352 |    51992      5 |        0 |        0
842.33/842.53	c  841s |      16 |  6538060 |   139052 |    51992      5 |        0 |        0
844.32/844.53	c  843s |      16 |  6545979 |   139352 |    51992      5 |        0 |        0
846.32/846.56	c  846s |      16 |  6551261 |   139652 |    51992      5 |        0 |        0
848.72/848.91	c  848s |      16 |  6567488 |   140252 |    51992      5 |        0 |        0
851.02/851.23	c  850s |      16 |  6578120 |   140652 |    51992      5 |        0 |        0
853.12/853.38	c  852s |      16 |  6583933 |   141252 |    51992      5 |        0 |        0
855.22/855.47	c  854s |      16 |  6589454 |   141552 |    51992      5 |        0 |        0
857.32/857.53	c  856s |      16 |  6601856 |   142052 |    51992      5 |        0 |        0
886.01/886.21	c  885s |      16 |  6631767 |   142552 |    51992      5 |        0 |        0
888.51/888.79	c  888s |      16 |  6733310 |   143152 |    51992      5 |        0 |        0
890.92/891.10	c  890s |      16 |  6738424 |   143452 |    51992      5 |        0 |        0
893.01/893.27	c  892s |      16 |  6810422 |   143952 |    51992      5 |        0 |        0
895.21/895.40	c  894s |      16 |  6813980 |   144252 |    51992      5 |        0 |        0
897.41/897.68	c  897s |      16 |  6865178 |   144752 |    51992      5 |        0 |        0
899.51/899.77	c  899s |      16 |  6867561 |   145052 |    51992      5 |        0 |        0
901.72/901.91	c  901s |      16 |  6913704 |   145452 |    51992      5 |        0 |        0
904.02/904.27	c  903s |      16 |  6927541 |   145852 |    51992      5 |        0 |        0
906.52/906.77	c  906s |      16 |  6955489 |   146252 |    51992      5 |        0 |        0
908.91/909.16	c  908s |      16 |  7035078 |   146852 |    51992      5 |        0 |        0
911.11/911.32	c  910s |      16 |  7065346 |   147252 |    51992      5 |        0 |        0
913.61/913.89	c  913s |      16 |  7080419 |   147652 |    51992      5 |        0 |        0
916.11/916.35	c  915s |      16 |  7108900 |   148152 |    51992      5 |        0 |        0
918.21/918.42	c  917s |      16 |  7139733 |   148452 |    51992      5 |        0 |        0
920.71/920.98	c  920s |      16 |  7145570 |   148852 |    51992      5 |        0 |        0
923.00/923.21	c  922s |      16 |  7186705 |   149252 |    51992      5 |        0 |        0
925.01/925.23	c  924s |      16 |  7222225 |   149652 |    51992      5 |        0 |        0
927.21/927.48	c  926s |      16 |  7246104 |   150052 |    51992      5 |        0 |        0
929.51/929.74	c  929s |      16 |  7271788 |   150452 |    51992      5 |        0 |        0
931.71/931.95	c  931s |      16 |  7306154 |   150952 |    51992      5 |        0 |        0
934.20/934.42	c  933s |      16 |  7353565 |   151452 |    51992      5 |        0 |        0
936.50/936.77	c  936s |      16 |  7384914 |   151952 |    51992      5 |        0 |        0
938.80/939.00	c  938s |      16 |  7402645 |   152352 |    51992      5 |        0 |        0
940.80/941.07	c  940s |      16 |  7421369 |   152752 |    51992      5 |        0 |        0
943.30/943.59	c  943s |      16 |  7441289 |   153152 |    51992      5 |        0 |        0
945.40/945.68	c  945s |      16 |  7470454 |   153652 |    51992      5 |        0 |        0
947.50/947.78	c  947s |      16 |  7526345 |   154352 |    51992      5 |        0 |        0
949.79/950.06	c  949s |      16 |  7542985 |   154652 |    51992      5 |        0 |        0
951.79/952.09	c  951s |      16 |  7561732 |   154952 |    51992      5 |        0 |        0
954.49/954.72	c  954s |      16 |  7599264 |   155452 |    51992      5 |        0 |        0
956.59/956.84	c  956s |      16 |  7634512 |   155852 |    51992      5 |        0 |        0
958.69/958.96	c  958s |      16 |  7656332 |   156252 |    51992      5 |        0 |        0
960.99/961.28	c  960s |      16 |  7682491 |   156752 |    51992      5 |        0 |        0
963.09/963.34	c  962s |      16 |  7703918 |   157152 |    51992      5 |        0 |        0
965.39/965.61	c  965s |      16 |  7740197 |   157652 |    51992      5 |        0 |        0
967.58/967.85	c  967s |      16 |  7776791 |   158152 |    51992      5 |        0 |        0
969.68/969.96	c  969s |      16 |  7808971 |   158652 |    51992      5 |        0 |        0
971.88/972.14	c  971s |      16 |  7837366 |   159152 |    51992      5 |        0 |        0
973.88/974.19	c  973s |      16 |  7868221 |   159552 |    51992      5 |        0 |        0
976.18/976.41	c  975s |      16 |  7893906 |   160052 |    51992      5 |        0 |        0
978.78/979.00	c  978s |      16 |  7921262 |   160552 |    51992      5 |        0 |        0
980.97/981.28	c  980s |      16 |  7935119 |   160852 |    51992      5 |        0 |        0
983.07/983.30	c  982s |      16 |  7961491 |   161252 |    51992      5 |        0 |        0
985.48/985.80	c  985s |      16 |  7978063 |   161552 |    51992      6 |        0 |        0
987.87/988.16	c  987s |      16 |  8013804 |   162352 |    51992      6 |        0 |        0
989.98/990.23	c  989s |      16 |  8032473 |   162852 |    51992      6 |        0 |        0
992.27/992.51	c  991s |      16 |  8049264 |   163452 |    51992      6 |        0 |        0
994.27/994.55	c  994s |      16 |  8060791 |   163852 |    51992      6 |        0 |        0
996.37/996.66	c  996s |      16 |  8072040 |   164252 |    51992      6 |        0 |        0
998.47/998.71	c  998s |      16 |  8079001 |   164752 |    51992      6 |        0 |        0
1000.66/1000.91	c 1000s |      16 |  8084906 |   165152 |    51992      6 |        0 |        0
1003.17/1003.42	c 1002s |      16 |  8091524 |   165552 |    51992      6 |        0 |        0
1005.37/1005.65	c 1005s |      16 |  8104010 |   166152 |    51992      6 |        0 |        0
1007.57/1007.83	c 1007s |      16 |  8124512 |   166552 |    51992      6 |        0 |        0
1009.77/1010.09	c 1009s |      16 |  8131904 |   167052 |    51992      6 |        0 |        0
1011.87/1012.14	c 1011s |      16 |  8142887 |   167452 |    51992      6 |        0 |        0
1014.56/1014.83	c 1014s |      16 |  8144483 |   167852 |    51992      6 |        0 |        0
1017.16/1017.48	c 1016s |      16 |  8198993 |   168352 |    51992      6 |        0 |        0
1019.46/1019.74	c 1019s |      16 |  8257490 |   168852 |    51992      6 |        0 |        0
1021.95/1022.23	c 1021s |      16 |  8338610 |   169352 |    51992      6 |        0 |        0
1024.15/1024.42	c 1023s |      16 |  8381745 |   169852 |    51992      6 |        0 |        0
1026.16/1026.44	c 1025s |      16 |  8398252 |   170252 |    51992      6 |        0 |        0
1028.25/1028.56	c 1028s |      16 |  8460010 |   170752 |    51992      6 |        0 |        0
1030.35/1030.63	c 1030s |      16 |  8501147 |   171152 |    51992      6 |        0 |        0
1032.55/1032.89	c 1032s |      16 |  8521742 |   171552 |    51992      6 |        0 |        0
1034.96/1035.21	c 1034s |      16 |  8569310 |   172052 |    51992      6 |        0 |        0
1037.16/1037.42	c 1036s |      16 |  8623817 |   172652 |    51992      6 |        0 |        0
1039.35/1039.70	c 1039s |      16 |  8669139 |   173152 |    51992      6 |        0 |        0
1041.55/1041.82	c 1041s |      16 |  8714523 |   173652 |    51992      6 |        0 |        0
1043.65/1043.95	c 1043s |      16 |  8764624 |   174252 |    51992      6 |        0 |        0
1046.15/1046.48	c 1045s |      16 |  8821636 |   174952 |    51992      6 |        0 |        0
1048.15/1048.50	c 1047s |      16 |  8878265 |   175552 |    51992      6 |        0 |        0
1050.24/1050.56	c 1050s |      16 |  8923314 |   176152 |    51992      6 |        0 |        0
1052.55/1052.82	c 1052s |      16 |  8970018 |   176752 |    51992      6 |        0 |        0
1054.54/1054.85	c 1054s |      16 |  9008572 |   177352 |    51992      6 |        0 |        0
1056.55/1056.88	c 1056s |      16 |  9051027 |   177952 |    51992      6 |        0 |        0
1058.55/1058.89	c 1058s |      16 |  9099138 |   178652 |    51992      6 |        0 |        0
1060.65/1060.94	c 1060s |      16 |  9127855 |   179252 |    51992      6 |        0 |        0
1062.65/1062.98	c 1062s |      16 |  9160768 |   179652 |    51992      6 |        0 |        0
1064.75/1065.03	c 1064s |      16 |  9202582 |   180052 |    51992      6 |        0 |        0
1067.05/1067.35	c 1066s |      16 |  9221764 |   180452 |    51992      6 |        0 |        0
1069.54/1069.82	c 1069s |      16 |  9262767 |   181052 |    51992      6 |        0 |        0
1071.74/1072.06	c 1071s |      16 |  9291340 |   181552 |    51992      6 |        0 |        0
1073.84/1074.18	c 1073s |      16 |  9323724 |   182052 |    51992      6 |        0 |        0
1076.24/1076.53	c 1075s |      16 |  9357995 |   182652 |    51992      6 |        0 |        0
1078.24/1078.53	c 1077s |      16 |  9383756 |   183252 |    51992      6 |        0 |        0
1080.54/1080.88	c 1080s |      16 |  9408161 |   183752 |    51992      6 |        0 |        0
1082.64/1082.95	c 1082s |      16 |  9442247 |   184252 |    51992      6 |        0 |        0
1084.94/1085.28	c 1084s |      16 |  9484670 |   184752 |    51992      6 |        0 |        0
1087.14/1087.45	c 1086s |      16 |  9499125 |   185252 |    51992      6 |        0 |        0
1089.24/1089.58	c 1089s |      16 |  9517508 |   185952 |    51992      6 |        0 |        0
1091.84/1092.12	c 1091s |      16 |  9533759 |   186352 |    51992      6 |        0 |        0
1094.24/1094.52	c 1093s |      16 |  9541886 |   186952 |    51992      6 |        0 |        0
1096.34/1096.60	c 1096s |      16 |  9567289 |   187352 |    51992      6 |        0 |        0
1098.54/1098.89	c 1098s |      16 |  9635546 |   187752 |    51992      7 |        0 |        0
1101.04/1101.38	c 1100s |      16 |  9726387 |   188352 |    51992      7 |        0 |        0
1103.74/1104.05	c 1103s |      16 |  9781939 |   188952 |    51992      7 |        0 |        0
1106.14/1106.46	c 1105s |      16 |  9836871 |   189552 |    51992      7 |        0 |        0
1108.34/1108.69	c 1108s |      16 |  9900236 |   190152 |    51992      7 |        0 |        0
1110.74/1111.04	c 1110s |      16 |  9939638 |   190752 |    51992      7 |        0 |        0
1112.84/1113.16	c 1112s |      16 | 10005927 |   191352 |    51992      7 |        0 |        0
1114.94/1115.27	c 1114s |      16 | 10073465 |   192052 |    51992      7 |        0 |        0
1117.04/1117.37	c 1116s |      16 | 10106969 |   192652 |    51992      7 |        0 |        0
1119.13/1119.42	c 1118s |      16 | 10166904 |   193352 |    51992      7 |        0 |        0
1121.13/1121.43	c 1120s |      16 | 10219421 |   193952 |    51992      7 |        0 |        0
1123.53/1123.85	c 1123s |      16 | 10269353 |   194552 |    51992      7 |        0 |        0
1125.63/1125.91	c 1125s |      16 | 10323288 |   195152 |    51992      7 |        0 |        0
1127.73/1128.04	c 1127s |      16 | 10355595 |   195752 |    51992      7 |        0 |        0
1129.83/1130.16	c 1129s |      16 | 10391383 |   196752 |    57192      7 |        0 |        0
1131.23/1131.51	c 1130s |      17 | 10422817 |   197432 |    57192      7 |        0 |        0
1136.43/1136.73	c 1136s |      17 | 10444844 |   197832 |    57192      7 |        0 |        0
1138.44/1138.78	c 1138s |      17 | 10497634 |   198632 |    57192      7 |        0 |        0
1140.64/1140.92	c 1140s |      17 | 10533674 |   199232 |    57192      7 |        0 |        0
1142.63/1142.98	c 1142s |      17 | 10560031 |   199832 |    57192      7 |        0 |        0
1144.83/1145.15	c 1144s |      17 | 10599576 |   200532 |    57192      7 |        0 |        0
1146.93/1147.29	c 1146s |      17 | 10627976 |   201032 |    57192      7 |        0 |        0
1149.13/1149.40	c 1148s |      17 | 10642092 |   201532 |    57192      7 |        0 |        0
1151.33/1151.67	c 1151s |      17 | 10669381 |   202232 |    57192      7 |        0 |        0
1153.63/1153.97	c 1153s |      17 | 10679039 |   202932 |    57192      7 |        0 |        0
1155.73/1156.04	c 1155s |      17 | 10738211 |   203632 |    57192      7 |        0 |        0
1157.83/1158.17	c 1157s |      17 | 10793116 |   204332 |    57192      7 |        0 |        0
1178.42/1178.72	c 1178s |      17 | 10841376 |   204932 |    57192      7 |        0 |        0
1180.82/1181.18	c 1180s |      17 | 10932046 |   205632 |    57192      7 |        0 |        0
1182.92/1183.27	c 1182s |      17 | 10977941 |   206232 |    57192      7 |        0 |        0
1184.92/1185.28	c 1184s |      17 | 11033775 |   207632 |    57192      7 |        0 |        0
1187.52/1187.85	c 1187s |      17 | 11109339 |   208632 |    57192      7 |        0 |        0
1190.13/1190.42	c 1189s |      17 | 11160220 |   209132 |    57192      7 |        0 |        0
1192.33/1192.66	c 1192s |      17 | 11185644 |   209732 |    57192      7 |        0 |        0
1194.62/1194.91	c 1194s |      17 | 11216335 |   210232 |    57192      7 |        0 |        0
1196.82/1197.13	c 1196s |      17 | 11288537 |   210932 |    57192      7 |        0 |        0
1198.82/1199.18	c 1198s |      17 | 11328377 |   211432 |    57192      7 |        0 |        0
1201.02/1201.33	c 1200s |      17 | 11369526 |   212032 |    57192      7 |        0 |        0
1203.22/1203.56	c 1203s |      17 | 11418061 |   212632 |    57192      7 |        0 |        0
1205.42/1205.75	c 1205s |      17 | 11464753 |   213332 |    57192      7 |        0 |        0
1207.52/1207.88	c 1207s |      17 | 11535450 |   214032 |    57192      7 |        0 |        0
1209.62/1209.92	c 1209s |      17 | 11598514 |   214732 |    57192      7 |        0 |        0
1211.72/1212.07	c 1211s |      17 | 11673387 |   215532 |    57192      7 |        0 |        0
1213.92/1214.29	c 1213s |      17 | 11721853 |   216132 |    57192      7 |        0 |        0
1216.22/1216.54	c 1216s |      17 | 11767017 |   216732 |    57192      7 |        0 |        0
1218.31/1218.69	c 1218s |      17 | 11814982 |   217332 |    57192      7 |        0 |        0
1220.82/1221.12	c 1220s |      17 | 11859828 |   217832 |    57192      7 |        0 |        0
1222.81/1223.13	c 1222s |      17 | 11914508 |   218332 |    57192      7 |        0 |        0
1227.11/1227.42	c 1226s |      17 | 11943636 |   218832 |    57192      8 |        0 |        0
1229.11/1229.47	c 1228s |      17 | 11978354 |   219232 |    57192      8 |        0 |        0
1231.51/1231.85	c 1231s |      17 | 12033138 |   219832 |    57192      8 |        0 |        0
1233.71/1234.00	c 1233s |      17 | 12061586 |   220232 |    57192      8 |        0 |        0
1236.71/1237.02	c 1236s |      17 | 12107204 |   220732 |    57192      8 |        0 |        0
1239.31/1239.63	c 1239s |      17 | 12153426 |   221232 |    57192      8 |        0 |        0
1241.51/1241.86	c 1241s |      17 | 12194226 |   221732 |    57192      8 |        0 |        0
1243.81/1244.19	c 1243s |      17 | 12218653 |   222232 |    57192      8 |        0 |        0
1247.41/1247.79	c 1247s |      17 | 12252777 |   222732 |    57192      8 |        0 |        0
1250.01/1250.30	c 1249s |      17 | 12269023 |   223132 |    57192      8 |        0 |        0
1252.01/1252.36	c 1251s |      17 | 12289925 |   223432 |    57192      8 |        0 |        0
1254.81/1255.19	c 1254s |      17 | 12311271 |   223832 |    57192      8 |        0 |        0
1257.71/1258.02	c 1257s |      17 | 12329871 |   224232 |    57192      8 |        0 |        0
1259.81/1260.16	c 1259s |      17 | 12344753 |   224532 |    57192      8 |        0 |        0
1262.51/1262.83	c 1262s |      17 | 12362224 |   224932 |    57192      8 |        0 |        0
1264.61/1264.98	c 1264s |      17 | 12392892 |   225332 |    57192      8 |        0 |        0
1266.71/1267.07	c 1266s |      17 | 12417857 |   225832 |    57192      8 |        0 |        0
1269.31/1269.68	c 1269s |      17 | 12427435 |   226132 |    57192      8 |        0 |        0
1271.41/1271.73	c 1271s |      17 | 12458008 |   226532 |    57192      8 |        0 |        0
1273.61/1273.95	c 1273s |      17 | 12479493 |   226932 |    57192      8 |        0 |        0
1275.71/1276.03	c 1275s |      17 | 12508507 |   227632 |    57192      8 |        0 |        0
1277.71/1278.04	c 1277s |      17 | 12520631 |   228232 |    57192      8 |        0 |        0
1279.91/1280.21	c 1279s |      17 | 12543727 |   228632 |    57192      8 |        0 |        0
1282.21/1282.50	c 1281s |      17 | 12555019 |   229132 |    57192      8 |        0 |        0
1284.40/1284.73	c 1284s |      17 | 12566655 |   229532 |    57192      8 |        0 |        0
1286.81/1287.15	c 1286s |      17 | 12582891 |   230032 |    57192      8 |        0 |        0
1289.01/1289.36	c 1288s |      17 | 12633772 |   230532 |    57192      8 |        0 |        0
1291.10/1291.44	c 1290s |      17 | 12707599 |   231032 |    57192      8 |        0 |        0
1293.10/1293.47	c 1292s |      17 | 12764696 |   231532 |    57192      8 |        0 |        0
1295.61/1296.00	c 1295s |      17 | 12818122 |   232132 |    57192      8 |        0 |        0
1297.70/1298.06	c 1297s |      17 | 12888740 |   232632 |    57192      8 |        0 |        0
1299.90/1300.26	c 1299s |      17 | 12953149 |   233232 |    57192      8 |        0 |        0
1302.40/1302.73	c 1302s |      17 | 13000885 |   233832 |    57192      8 |        0 |        0
1304.41/1304.78	c 1304s |      17 | 13047942 |   234332 |    57192      8 |        0 |        0
1306.61/1306.97	c 1306s |      17 | 13095553 |   234832 |    57192      8 |        0 |        0
1309.20/1309.53	c 1308s |      17 | 13143492 |   235432 |    57192      8 |        0 |        0
1311.30/1311.67	c 1311s |      17 | 13202321 |   236032 |    57192      8 |        0 |        0
1313.31/1313.69	c 1313s |      17 | 13265354 |   236632 |    57192      8 |        0 |        0
1315.41/1315.79	c 1315s |      17 | 13320903 |   237232 |    57192      8 |        0 |        0
1317.80/1318.14	c 1317s |      17 | 13381281 |   238032 |    57192      8 |        0 |        0
1319.81/1320.17	c 1319s |      17 | 13419714 |   238432 |    57192      8 |        0 |        0
1322.01/1322.32	c 1321s |      17 | 13472115 |   239032 |    57192      8 |        0 |        0
1324.21/1324.56	c 1324s |      17 | 13524657 |   239632 |    57192      8 |        0 |        0
1326.41/1326.71	c 1326s |      17 | 13575053 |   240432 |    57192      8 |        0 |        0
1328.50/1328.89	c 1328s |      17 | 13618131 |   241332 |    57192      8 |        0 |        0
1330.60/1330.93	c 1330s |      17 | 13646682 |   241932 |    57192      8 |        0 |        0
1332.70/1333.07	c 1332s |      17 | 13699047 |   242532 |    57192      8 |        0 |        0
1335.10/1335.45	c 1334s |      17 | 13734005 |   243132 |    57192      8 |        0 |        0
1337.09/1337.49	c 1336s |      17 | 13763308 |   243932 |    57192      8 |        0 |        0
1339.49/1339.87	c 1339s |      17 | 13782949 |   244632 |    57192      8 |        0 |        0
1341.49/1341.89	c 1341s |      17 | 13792823 |   245332 |    57192      8 |        0 |        0
1343.59/1343.98	c 1343s |      17 | 13821210 |   245932 |    57192      8 |        0 |        0
1346.09/1346.49	c 1345s |      17 | 13882313 |   246532 |    57192      8 |        0 |        0
1348.41/1348.71	c 1348s |      17 | 13926174 |   247032 |    57192      8 |        0 |        0
1351.50/1351.89	c 1351s |      17 | 13991362 |   247632 |    57192      9 |        0 |        0
1353.70/1354.01	c 1353s |      17 | 14065714 |   248332 |    57192      9 |        0 |        0
1355.80/1356.19	c 1355s |      17 | 14119410 |   248932 |    57192      9 |        0 |        0
1358.10/1358.44	c 1357s |      17 | 14179161 |   249732 |    57192      9 |        0 |        0
1360.20/1360.54	c 1360s |      17 | 14231595 |   250532 |    57192      9 |        0 |        0
1362.30/1362.67	c 1362s |      17 | 14275617 |   251332 |    57192      9 |        0 |        0
1364.30/1364.69	c 1364s |      17 | 14329712 |   252132 |    57192      9 |        0 |        0
1366.50/1366.87	c 1366s |      17 | 14368951 |   252632 |    57192      9 |        0 |        0
1369.00/1369.32	c 1368s |      17 | 14396707 |   253232 |    57192      9 |        0 |        0
1371.10/1371.46	c 1370s |      17 | 14466046 |   253932 |    57192      9 |        0 |        0
1373.30/1373.61	c 1373s |      17 | 14512842 |   254632 |    57192      9 |        0 |        0
1375.50/1375.82	c 1375s |      17 | 14557186 |   255332 |    57192      9 |        0 |        0
1377.90/1378.23	c 1377s |      17 | 14593222 |   256032 |    57192      9 |        0 |        0
1380.00/1380.31	c 1379s |      17 | 14625030 |   256632 |    57192      9 |        0 |        0
1382.29/1382.62	c 1382s |      17 | 14663304 |   257332 |    57192      9 |        0 |        0
1384.49/1384.83	c 1384s |      17 | 14705099 |   258032 |    57192      9 |        0 |        0
1386.69/1387.06	c 1386s |      17 | 14731293 |   258732 |    57192      9 |        0 |        0
1389.10/1389.47	c 1388s |      17 | 14742364 |   259532 |    57192      9 |        0 |        0
1391.30/1391.65	c 1391s |      17 | 14751613 |   260132 |    57192      9 |        0 |        0
1393.50/1393.90	c 1393s |      17 | 14842150 |   260832 |    57192      9 |        0 |        0
1395.80/1396.14	c 1395s |      17 | 14902788 |   261832 |    57192      9 |        0 |        0
1398.00/1398.37	c 1397s |      17 | 14957841 |   262432 |    57192      9 |        0 |        0
1400.10/1400.45	c 1399s |      17 | 15000793 |   263032 |    57192      9 |        0 |        0
1402.30/1402.69	c 1402s |      17 | 15057074 |   263732 |    57192      9 |        0 |        0
1404.39/1404.77	c 1404s |      17 | 15099739 |   264332 |    57192      9 |        0 |        0
1406.59/1406.93	c 1406s |      17 | 15147026 |   264932 |    57192      9 |        0 |        0
1408.69/1409.09	c 1408s |      17 | 15209154 |   265632 |    57192      9 |        0 |        0
1410.79/1411.20	c 1410s |      17 | 15253709 |   266332 |    57192      9 |        0 |        0
1412.99/1413.30	c 1412s |      17 | 15300554 |   267232 |    57192      9 |        0 |        0
1415.29/1415.62	c 1415s |      17 | 15345834 |   268232 |    57192      9 |        0 |        0
1417.59/1417.98	c 1417s |      17 | 15373498 |   268932 |    57192      9 |        0 |        0
1419.69/1420.04	c 1419s |      17 | 15404196 |   269632 |    57192      9 |        0 |        0
1421.79/1422.14	c 1421s |      17 | 15455112 |   270332 |    57192      9 |        0 |        0
1423.79/1424.18	c 1423s |      17 | 15495677 |   270832 |    57192      9 |        0 |        0
1426.09/1426.42	c 1425s |      17 | 15567092 |   271432 |    57192      9 |        0 |        0
1428.19/1428.53	c 1427s |      17 | 15639666 |   272032 |    57192      9 |        0 |        0
1430.29/1430.69	c 1430s |      17 | 15705894 |   272732 |    57192      9 |        0 |        0
1432.39/1432.78	c 1432s |      17 | 15748778 |   273832 |    57192      9 |        0 |        0
1434.89/1435.21	c 1434s |      17 | 15802965 |   274432 |    57192      9 |        0 |        0
1436.89/1437.27	c 1436s |      17 | 15831720 |   274932 |    57192      9 |        0 |        0
1439.29/1439.64	c 1439s |      17 | 15873222 |   275532 |    57192      9 |        0 |        0
1441.68/1442.03	c 1441s |      17 | 15905280 |   276132 |    57192      9 |        0 |        0
1444.09/1444.42	c 1443s |      17 | 15934132 |   276532 |    57192     10 |        0 |        0
1446.18/1446.57	c 1446s |      17 | 15968675 |   277332 |    57192     10 |        0 |        0
1448.38/1448.76	c 1448s |      17 | 15995714 |   278232 |    57192     10 |        0 |        0
1450.48/1450.83	c 1450s |      17 | 16019630 |   278932 |    57192     10 |        0 |        0
1452.58/1452.98	c 1452s |      17 | 16051516 |   279632 |    57192     10 |        0 |        0
1454.68/1455.08	c 1454s |      17 | 16077411 |   280232 |    57192     10 |        0 |        0
1456.88/1457.23	c 1456s |      17 | 16124194 |   281232 |    57192     10 |        0 |        0
1459.08/1459.43	c 1458s |      17 | 16143602 |   281932 |    57192     10 |        0 |        0
1461.18/1461.59	c 1461s |      17 | 16181383 |   282432 |    57192     10 |        0 |        0
1463.28/1463.60	c 1463s |      17 | 16227971 |   282932 |    57192     10 |        0 |        0
1465.48/1465.83	c 1465s |      17 | 16319054 |   283632 |    57192     10 |        0 |        0
1467.68/1468.05	c 1467s |      17 | 16386974 |   284332 |    57192     10 |        0 |        0
1469.78/1470.17	c 1469s |      17 | 16432536 |   285132 |    57192     10 |        0 |        0
1471.88/1472.23	c 1471s |      17 | 16470670 |   286132 |    57192     10 |        0 |        0
1474.08/1474.49	c 1473s |      17 | 16525434 |   286732 |    57192     10 |        0 |        0
1476.18/1476.59	c 1476s |      17 | 16576527 |   287332 |    57192     10 |        0 |        0
1478.29/1478.68	c 1478s |      17 | 16618786 |   288132 |    57192     10 |        0 |        0
1480.39/1480.75	c 1480s |      17 | 16644863 |   288932 |    57192     10 |        0 |        0
1482.69/1483.03	c 1482s |      17 | 16687136 |   289732 |    57192     10 |        0 |        0
1484.68/1485.04	c 1484s |      17 | 16717077 |   290432 |    57192     10 |        0 |        0
1486.68/1487.09	c 1486s |      17 | 16759099 |   291232 |    57192     10 |        0 |        0
1488.78/1489.11	c 1488s |      17 | 16798704 |   292032 |    57192     10 |        0 |        0
1490.88/1491.27	c 1490s |      17 | 16822141 |   292832 |    57192     10 |        0 |        0
1493.08/1493.43	c 1492s |      17 | 16889236 |   293532 |    57192     10 |        0 |        0
1495.08/1495.46	c 1494s |      17 | 16956149 |   294232 |    62912     10 |        0 |        0
1497.18/1497.52	c 1496s |      17 | 17003348 |   294732 |    62912     10 |        0 |        0
1499.38/1499.74	c 1499s |      17 | 17084281 |   295432 |    62912     10 |        0 |        0
1501.47/1501.87	c 1501s |      17 | 17167302 |   296132 |    62912     10 |        0 |        0
1501.87/1502.21	c 1501s |      18 | 17174216 |   296252 |    62912     10 |        0 |        0
1504.17/1504.53	c 1503s |      18 | 17219936 |   296652 |    62912     10 |        0 |        0
1511.87/1512.23	c 1511s |      18 | 17252958 |   296952 |    62912     10 |        0 |        0
1514.27/1514.60	c 1514s |      18 | 17282583 |   297352 |    62912     10 |        0 |        0
1527.17/1527.56	c 1527s |      18 | 17326189 |   297652 |    62912     10 |        0 |        0
1529.27/1529.67	c 1529s |      18 | 17360151 |   298052 |    62912     10 |        0 |        0
1531.57/1531.96	c 1531s |      18 | 17411589 |   298552 |    62912     10 |        0 |        0
1533.87/1534.29	c 1533s |      18 | 17476283 |   299052 |    62912     10 |        0 |        0
1535.97/1536.39	c 1535s |      18 | 17504116 |   299552 |    62912     10 |        0 |        0
1538.37/1538.78	c 1538s |      18 | 17532686 |   299952 |    62912     10 |        0 |        0
1540.37/1540.79	c 1540s |      18 | 17561181 |   300652 |    62912     10 |        0 |        0
1542.97/1543.37	c 1542s |      18 | 17606877 |   301152 |    62912     10 |        0 |        0
1545.47/1545.88	c 1545s |      18 | 17654183 |   301652 |    62912     10 |        0 |        0
1547.58/1547.97	c 1547s |      18 | 17673512 |   302252 |    62912     10 |        0 |        0
1549.57/1550.00	c 1549s |      18 | 17702000 |   302852 |    62912     10 |        0 |        0
1551.88/1552.22	c 1551s |      18 | 17748662 |   303752 |    62912     10 |        0 |        0
1553.97/1554.32	c 1553s |      18 | 17768465 |   304452 |    62912     10 |        0 |        0
1555.97/1556.38	c 1555s |      18 | 17790318 |   305052 |    62912     10 |        0 |        0
1558.07/1558.45	c 1557s |      18 | 17805778 |   305552 |    62912     10 |        0 |        0
1560.37/1560.78	c 1560s |      18 | 17886941 |   306152 |    62912     10 |        0 |        0
1570.37/1570.72	c 1570s |      18 | 17942844 |   306652 |    62912     10 |        0 |        0
1572.57/1572.94	c 1572s |      18 | 18018329 |   307252 |    62912     10 |        0 |        0
1574.66/1575.06	c 1574s |      18 | 18076251 |   307752 |    62912     10 |        0 |        0
1576.66/1577.07	c 1576s |      18 | 18122950 |   308252 |    62912     10 |        0 |        0
1579.26/1579.65	c 1579s |      18 | 18162258 |   308752 |    62912     10 |        0 |        0
1581.46/1581.86	c 1581s |      18 | 18196946 |   309152 |    62912     10 |        0 |        0
1583.66/1584.07	c 1583s |      18 | 18240761 |   309652 |    62912     10 |        0 |        0
1585.66/1586.07	c 1585s |      18 | 18284633 |   310152 |    62912     10 |        0 |        0
1587.96/1588.33	c 1587s |      18 | 18330238 |   310752 |    62912     10 |        0 |        0
1590.37/1590.72	c 1590s |      18 | 18353925 |   311052 |    62912     11 |        0 |        0
1592.36/1592.79	c 1592s |      18 | 18395159 |   311652 |    62912     11 |        0 |        0
1594.77/1595.11	c 1594s |      18 | 18460143 |   312352 |    62912     11 |        0 |        0
1599.27/1599.66	c 1599s |      18 | 18498949 |   312952 |    62912     11 |        0 |        0
1601.37/1601.76	c 1601s |      18 | 18541230 |   313652 |    62912     11 |        0 |        0
1603.36/1603.79	c 1603s |      18 | 18587591 |   314352 |    62912     11 |        0 |        0
1606.06/1606.40	c 1605s |      18 | 18637999 |   315052 |    62912     11 |        0 |        0
1608.16/1608.52	c 1607s |      18 | 18675205 |   315552 |    62912     11 |        0 |        0
1610.26/1610.65	c 1610s |      18 | 18708052 |   316352 |    62912     11 |        0 |        0
1614.45/1614.88	c 1614s |      18 | 18719287 |   316752 |    62912     11 |        0 |        0
1616.86/1617.27	c 1616s |      18 | 18741809 |   317552 |    62912     11 |        0 |        0
1619.15/1619.50	c 1618s |      18 | 18784121 |   318052 |    62912     11 |        0 |        0
1621.26/1621.68	c 1621s |      18 | 18830795 |   318552 |    62912     11 |        0 |        0
1623.55/1623.96	c 1623s |      18 | 18863969 |   319052 |    62912     11 |        0 |        0
1625.66/1626.06	c 1625s |      18 | 18899732 |   319652 |    62912     11 |        0 |        0
1627.86/1628.27	c 1627s |      18 | 18952497 |   320252 |    62912     11 |        0 |        0
1629.96/1630.37	c 1629s |      18 | 18975692 |   320852 |    62912     11 |        0 |        0
1632.05/1632.44	c 1631s |      18 | 19000456 |   321352 |    62912     11 |        0 |        0
1634.25/1634.69	c 1634s |      18 | 19030557 |   321952 |    62912     11 |        0 |        0
1636.46/1636.82	c 1636s |      18 | 19059761 |   322652 |    62912     11 |        0 |        0
1638.66/1639.02	c 1638s |      18 | 19076484 |   323352 |    62912     11 |        0 |        0
1640.76/1641.13	c 1640s |      18 | 19083704 |   323852 |    62912     11 |        0 |        0
1643.26/1643.61	c 1643s |      18 | 19091675 |   324452 |    62912     11 |        0 |        0
1645.26/1645.63	c 1645s |      18 | 19104444 |   325052 |    62912     11 |        0 |        0
1647.26/1647.69	c 1647s |      18 | 19134110 |   325552 |    62912     11 |        0 |        0
1649.65/1650.04	c 1649s |      18 | 19237602 |   326152 |    62912     11 |        0 |        0
1652.25/1652.64	c 1652s |      18 | 19315277 |   326752 |    62912     11 |        0 |        0
1654.45/1654.86	c 1654s |      18 | 19374986 |   327252 |    62912     11 |        0 |        0
1656.55/1656.98	c 1656s |      18 | 19424590 |   327752 |    62912     11 |        0 |        0
1659.35/1659.70	c 1659s |      18 | 19475601 |   328252 |    62912     11 |        0 |        0
1661.35/1661.71	c 1661s |      18 | 19555440 |   328852 |    62912     11 |        0 |        0
1663.45/1663.89	c 1663s |      18 | 19590554 |   329152 |    62912     11 |        0 |        0
1665.55/1665.94	c 1665s |      18 | 19652124 |   329652 |    62912     11 |        0 |        0
1667.95/1668.31	c 1667s |      18 | 19717629 |   330252 |    62912     11 |        0 |        0
1670.15/1670.51	c 1669s |      18 | 19803213 |   330952 |    62912     11 |        0 |        0
1672.45/1672.80	c 1672s |      18 | 19876456 |   331752 |    62912     11 |        0 |        0
1674.65/1675.06	c 1674s |      18 | 19940193 |   332552 |    62912     11 |        0 |        0
1676.75/1677.15	c 1676s |      18 | 19999307 |   333252 |    62912     11 |        0 |        0
1678.85/1679.29	c 1678s |      18 | 20045061 |   333952 |    62912     11 |        0 |        0
1681.05/1681.46	c 1680s |      18 | 20100372 |   334852 |    62912     11 |        0 |        0
1683.05/1683.50	c 1682s |      18 | 20150401 |   335752 |    62912     11 |        0 |        0
1685.14/1685.50	c 1684s |      18 | 20195513 |   336652 |    62912     11 |        0 |        0
1687.54/1687.94	c 1687s |      18 | 20234518 |   337552 |    62912     11 |        0 |        0
1689.84/1690.22	c 1689s |      18 | 20296731 |   338152 |    62912     11 |        0 |        0
1692.14/1692.53	c 1691s |      18 | 20329994 |   338752 |    62912     11 |        0 |        0
1694.34/1694.70	c 1694s |      18 | 20349150 |   339352 |    62912     11 |        0 |        0
1696.54/1696.94	c 1696s |      18 | 20387211 |   340052 |    62912     11 |        0 |        0
1698.64/1699.02	c 1698s |      18 | 20444032 |   340652 |    62912     11 |        0 |        0
1700.94/1701.38	c 1700s |      18 | 20482505 |   341152 |    62912     11 |        0 |        0
1703.04/1703.44	c 1702s |      18 | 20511103 |   341652 |    62912     11 |        0 |        0
1706.14/1706.56	c 1706s |      18 | 20601883 |   342252 |    62912     12 |        0 |        0
1708.34/1708.70	c 1708s |      18 | 20652476 |   342752 |    62912     12 |        0 |        0
1710.44/1710.87	c 1710s |      18 | 20751290 |   343352 |    62912     12 |        0 |        0
1715.14/1715.57	c 1715s |      18 | 20765359 |   343452 |    62912     12 |        0 |        0
1717.24/1717.64	c 1717s |      18 | 20826425 |   344052 |    62912     12 |        0 |        0
1719.34/1719.75	c 1719s |      18 | 20887177 |   344652 |    62912     12 |        0 |        0
1721.64/1722.06	c 1721s |      18 | 20934607 |   344952 |    62912     12 |        0 |        0
1723.74/1724.15	c 1723s |      18 | 20999481 |   345552 |    62912     12 |        0 |        0
1726.04/1726.42	c 1725s |      18 | 21069632 |   346252 |    62912     12 |        0 |        0
1728.14/1728.55	c 1728s |      18 | 21133659 |   347152 |    62912     12 |        0 |        0
1730.15/1730.57	c 1730s |      18 | 21198271 |   348152 |    62912     12 |        0 |        0
1732.25/1732.63	c 1732s |      18 | 21258022 |   349252 |    62912     12 |        0 |        0
1734.34/1734.74	c 1734s |      18 | 21306333 |   349952 |    62912     12 |        0 |        0
1736.44/1736.86	c 1736s |      18 | 21357873 |   350352 |    62912     12 |        0 |        0
1738.54/1738.99	c 1738s |      18 | 21417686 |   350852 |    62912     12 |        0 |        0
1740.64/1741.09	c 1740s |      18 | 21435218 |   351352 |    62912     12 |        0 |        0
1742.74/1743.17	c 1742s |      18 | 21461647 |   351852 |    62912     12 |        0 |        0
1745.14/1745.52	c 1744s |      18 | 21506136 |   352552 |    62912     12 |        0 |        0
1747.34/1747.73	c 1747s |      18 | 21535329 |   352952 |    62912     12 |        0 |        0
1749.74/1750.12	c 1749s |      18 | 21574995 |   353452 |    62912     12 |        0 |        0
1751.74/1752.15	c 1751s |      18 | 21615074 |   354052 |    62912     12 |        0 |        0
1753.84/1754.23	c 1753s |      18 | 21647183 |   354852 |    62912     12 |        0 |        0
1756.24/1756.69	c 1756s |      18 | 21662505 |   355552 |    62912     12 |        0 |        0
1758.43/1758.87	c 1758s |      18 | 21682051 |   356052 |    62912     12 |        0 |        0
1760.73/1761.15	c 1760s |      18 | 21696185 |   356652 |    62912     12 |        0 |        0
1762.73/1763.19	c 1762s |      18 | 21729129 |   357152 |    62912     12 |        0 |        0
1764.93/1765.39	c 1764s |      18 | 21814361 |   357752 |    62912     12 |        0 |        0
1767.23/1767.62	c 1767s |      18 | 21882858 |   358352 |    62912     12 |        0 |        0
1769.33/1769.75	c 1769s |      18 | 21947015 |   358952 |    62912     12 |        0 |        0
1771.53/1771.90	c 1771s |      18 | 22017261 |   359752 |    62912     12 |        0 |        0
1773.73/1774.12	c 1773s |      18 | 22094766 |   360452 |    62912     12 |        0 |        0
1775.83/1776.22	c 1775s |      18 | 22171201 |   360952 |    62912     12 |        0 |        0
1778.33/1778.71	c 1778s |      18 | 22223881 |   361752 |    62912     12 |        0 |        0
1780.43/1780.88	c 1780s |      18 | 22300426 |   362352 |    62912     12 |        0 |        0
1782.63/1783.00	c 1782s |      18 | 22342166 |   362852 |    62912     12 |        0 |        0
1784.83/1785.21	c 1784s |      18 | 22414477 |   363452 |    62912     12 |        0 |        0
1786.83/1787.24	c 1786s |      18 | 22467097 |   364052 |    62912     12 |        0 |        0
1789.23/1789.66	c 1789s |      18 | 22503346 |   364552 |    62912     12 |        0 |        0
1791.83/1792.24	c 1791s |      18 | 22537804 |   365152 |    62912     12 |        0 |        0
1793.84/1794.25	c 1793s |      18 | 22572364 |   365652 |    62912     12 |        0 |        0
1796.14/1796.56	c 1796s |      18 | 22622694 |   366252 |    62912     12 |        0 |        0
1798.43/1798.83	c 1798s |      18 | 22671464 |   366852 |    62912     12 |        0 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.12 2.10 3/179 29772
/proc/meminfo: memFree=29350708/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 2795 0 0 0 0 0 0 0 20 0 4 0 30116488 765915136 2645 33554432000 4194304 16246674 140735754132768 140735754132192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 187503 2654 441 2943 0 184397 0
[pid=29772/tid=29773] ppid=29769 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 783740928 2714 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 787935232 2730 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=773564 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30116488 792129536 2746 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100195 s]
/proc/loadavg: 2.13 2.12 2.10 3/179 29772
/proc/meminfo: memFree=29350708/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 26580 0 0 0 6 3 0 0 20 0 4 0 30116488 1333334016 26369 33554432000 4194304 16246674 140735754132768 140735754132080 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 325521 26383 801 2943 0 322415 0
[pid=29772/tid=29773] ppid=29769 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1333334016 26394 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1333334016 26405 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1333334016 26415 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200454 s]
/proc/loadavg: 2.13 2.12 2.10 3/179 29772
/proc/meminfo: memFree=29350708/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 44821 0 0 0 13 6 0 0 20 0 4 0 30116488 1344868352 44609 33554432000 4194304 16246674 140735754132768 140735754132080 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328337 44613 837 2943 0 325231 0
[pid=29772/tid=29773] ppid=29769 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1344868352 44615 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1344868352 44618 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1344868352 44620 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300467 s]
/proc/loadavg: 2.13 2.12 2.10 3/179 29772
/proc/meminfo: memFree=29350708/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 45034 0 0 0 23 6 0 0 20 0 4 0 30116488 1344868352 44822 33554432000 4194304 16246674 140735754132768 140735754132080 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328337 44822 837 2943 0 325231 0
[pid=29772/tid=29773] ppid=29769 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1344868352 44822 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1344868352 44822 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1344868352 44822 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700404 s]
/proc/loadavg: 2.13 2.12 2.10 3/179 29772
/proc/meminfo: memFree=29350708/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 65318 0 0 0 61 8 0 0 20 0 4 0 30116488 1345916928 65106 33554432000 4194304 16246674 140735754132768 140735754132080 6020664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328593 65106 881 2943 0 325487 0
[pid=29772/tid=29773] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 65106 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 65106 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 65106 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.12 2.11 2.10 3/183 29776
/proc/meminfo: memFree=29090756/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 89190 0 0 0 137 12 0 0 20 0 4 0 30116488 1345916928 88978 33554432000 4194304 16246674 140735754132768 140735754131944 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328593 88994 881 2943 0 325487 0
[pid=29772/tid=29773] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 89003 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 89014 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 89022 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.12 2.11 2.10 3/182 29776
/proc/meminfo: memFree=28599840/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 188033 0 0 0 284 25 0 0 20 0 4 0 30116488 1345916928 187821 33554432000 4194304 16246674 140735754132768 140735754114688 5707672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328593 187821 881 2943 0 325487 0
[pid=29772/tid=29773] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 187821 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 187821 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 187821 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30039 s]
/proc/loadavg: 2.19 2.13 2.10 3/182 29776
/proc/meminfo: memFree=28273124/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 269774 0 0 0 594 35 0 0 20 0 4 0 30116488 1345916928 269562 33554432000 4194304 16246674 140735754132768 140735754114688 6021328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328593 269562 881 2943 0 325487 0
[pid=29772/tid=29773] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269562 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269562 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269562 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.18 2.13 2.10 3/183 29777
/proc/meminfo: memFree=28272984/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 269777 0 0 0 1234 35 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 140735754114688 12483572 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328593 269565 884 2943 0 325487 0
[pid=29772/tid=29773] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5074 s]
/proc/loadavg: 2.14 2.12 2.10 3/183 29777
/proc/meminfo: memFree=28273376/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1314372 CPUtime=25.5 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 269777 0 0 0 2515 35 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 140735754114688 6012116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328593 269565 884 2943 0 325487 0
[pid=29772/tid=29773] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1314372

[startup+51.1004 s]
/proc/loadavg: 2.22 2.14 2.11 3/183 29777
/proc/meminfo: memFree=28273336/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1314372 CPUtime=51.09 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 269777 0 0 0 5074 35 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 140735754114688 12478180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328593 269565 884 2943 0 325487 0
[pid=29772/tid=29773] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.09 2.12 2.10 4/183 29778
/proc/meminfo: memFree=28272656/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 269777 0 0 0 10193 35 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 140735754114688 12477804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 328593 269565 884 2943 0 325487 0
[pid=29772/tid=29773] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1345916928 269565 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.21 2.23 2.14 3/183 29907
/proc/meminfo: memFree=28254080/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1321540 CPUtime=1362 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 271768 0 0 0 136153 47 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 140735754114688 5721529 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 330385 271618 889 2943 0 327279 0
[pid=29772/tid=29773] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.35 2.26 2.16 3/183 29908
/proc/meminfo: memFree=28254380/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1321540 CPUtime=1421.99 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 271768 0 0 0 142152 47 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 140735754114688 5675950 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 330385 271618 889 2943 0 327279 0
[pid=29772/tid=29773] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.27 2.25 2.16 4/183 29909
/proc/meminfo: memFree=28253580/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1321540 CPUtime=1481.98 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 271768 0 0 0 148151 47 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 140735754114688 12483337 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 330385 271618 889 2943 0 327279 0
[pid=29772/tid=29773] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1353256960 271618 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1321540

[startup+1542.3 s]
/proc/loadavg: 2.27 2.25 2.17 4/183 29911
/proc/meminfo: memFree=28247584/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1327684 CPUtime=1541.98 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 273304 0 0 0 154149 49 0 0 20 0 4 0 30116488 1359548416 273154 33554432000 4194304 16246674 140735754132768 140735754114688 5827824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 331921 273154 889 2943 0 328815 0
[pid=29772/tid=29773] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273154 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273154 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273154 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.21 2.25 2.17 4/183 29912
/proc/meminfo: memFree=28248088/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1327684 CPUtime=1601.96 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 273304 0 0 0 160146 50 0 0 20 0 4 0 30116488 1359548416 273154 33554432000 4194304 16246674 140735754132768 140735754114688 5722912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 331921 273154 889 2943 0 328815 0
[pid=29772/tid=29773] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273154 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273154 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273154 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1327684

[startup+1662.31 s]
/proc/loadavg: 2.22 2.24 2.18 3/183 29913
/proc/meminfo: memFree=28227960/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1327684 CPUtime=1661.96 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 273305 0 0 0 166145 51 0 0 20 0 4 0 30116488 1359548416 273155 33554432000 4194304 16246674 140735754132768 140735754114688 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 331921 273155 890 2943 0 328815 0
[pid=29772/tid=29773] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273155 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273155 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1359548416 273155 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.14 2.21 2.17 3/184 29917
/proc/meminfo: memFree=28217168/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1338948 CPUtime=1721.94 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 276042 0 0 0 172142 52 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 140735754114688 5546111 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 334737 275892 890 2943 0 331631 0
[pid=29772/tid=29773] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.16 2.21 2.17 3/183 29918
/proc/meminfo: memFree=28216744/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1338948 CPUtime=1781.93 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 276042 0 0 0 178141 52 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 140735754114688 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 334737 275892 890 2943 0 331631 0
[pid=29772/tid=29773] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.23 2.18 3/183 29918
/proc/meminfo: memFree=28218108/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1338948 CPUtime=1800.03 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 276042 0 0 0 179951 52 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 140735754114688 5822671 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 334737 275892 890 2943 0 331631 0
[pid=29772/tid=29773] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1338948

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

[startup+1800.4 s]
/proc/loadavg: 2.27 2.23 2.18 3/183 29918
/proc/meminfo: memFree=28218108/32872528 swapFree=1191052/1305516
[pid=29772] ppid=29769 vsize=1338948 CPUtime=1800.03 cores=0,2,4,6
/proc/29772/stat : 29772 (toysat) R 29769 29772 26736 0 -1 4202496 276042 0 0 0 179951 52 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 140735754114688 5822671 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29772/statm: 334737 275892 890 2943 0 331631 0
[pid=29772/tid=29773] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29773/stat : 29773 (toysat) S 29769 29772 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954838547696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29772/tid=29774] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29774/stat : 29774 (toysat) S 29769 29772 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954828057840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29772/tid=29775] ppid=29769 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/29772/task/29775/stat : 29775 (toysat) S 29769 29772 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30116488 1371082752 275892 33554432000 4194304 16246674 140735754132768 139954817584304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1338948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.52
CPU system time (s): 0.526919
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.526919
maximum resident set size= 1103568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276042
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= 208
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42533 second user time and 7.08492 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 22:11:39
IDJOB=4106982
IDBENCH=48352
IDSOLVER=2542
FILE ID=node127/4106982-1466280699
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_1_80.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106982-1466280699/watcher-4106982-1466280699 -o /tmp/evaluation-result-4106982-1466280699/solver-4106982-1466280699 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106982-1466280699.opb

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

MD5SUM BENCH= 1315caae01d69a106b6850eece7eb42e
RANDOM SEED=714625477

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29351344 kB
Buffers:          102544 kB
Cached:           265340 kB
SwapCached:          516 kB
Active:          1198916 kB
Inactive:         272744 kB
Active(anon):    1103604 kB
Inactive(anon):     2184 kB
Active(file):      95312 kB
Inactive(file):   270560 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       2412212 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             605012 kB
SReclaimable:      48984 kB
SUnreclaim:       556028 kB
KernelStack:        1480 kB
PageTables:         8600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2558536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    620544 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= 71708 MiB
End job on node127 at 2016-06-18 22:41:39