Trace number 4106877

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.09 1800.52

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_80.opb
MD5SUMd27101fec2f8e3dc322d79bbc996c69e
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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)74920
Sum of products size (including duplicates)149840
Number of different products37460
Sum of products size74920

Solver Data 

0.00/0.00	c 2016-06-18T21:56:49+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-4106877-1466279808.opb"]
0.00/0.01	c use --random-gen="3107402754 514058836 970014279 3672336416 257509170 1064867920 1501401612 3002193536 594290244 3095588658 2813423843 1409546061 1704376771 815399013 2419242156 1556768584 4179250258 202481255 2136180745 3790203657 4037807017 1016452628 2795718968 3608873744 4190707585 3991059368 2734290459 681870560 2737425879 1081608384 1607519056 3952924679 4023653686 313243042 3714821602 2678095949 1391536979 3827390712 3017387551 194237253 3556378870 3524342860 3349237806 4232834155 2637211081 775294204 1466441170 1516016511 4213263492 2682584322 965570021 1392595350 2336426610 4068176786 3736886043 3376853771 2205968981 2327755005 1427024739 3223033814 3656012532 1100733150 2236994318 1333218134 1876413907 1049990476 546996475 322738175 1186206339 2588385154 3022471572 1261241253 3823720431 248341788 682643906 401289631 1639814008 4056184609 2581871159 3415832438 2344036184 1775568804 2168844416 4205845526 3404064420 3196397477 3197222748 3017688120 2683806830 324964001 2730008779 589350686 1818832562 1531050034 2841045265 1593404469 3417112234 1837584749 1696359418 1155972138 4112261292 2414263212 3980238198 2772211069 783777263 1334698465 1947782502 1138092144 1310195207 1057340450 2458869237 2872904521 3570794350 4258583520 4067356565 2982319909 3030199317 1972180371 2511893454 3679085327 1200872507 4202464498 2243279711 2997402919 4075015079 1027934483 1393567672 3937390392 3258843029 1289886104 1127866227 2416068165 1759982130 1190859430 146002441 1233795316 2575068145 3326811806 3584491620 3675116152 3497065897 1379851323 82024739 2028285845 593695464 181347174 836602006 3303191220 2530192333 2400487306 4226177553 1503481959 2349880306 3630229492 712803893 2518340088 1431999483 2381496028 1623915573 1022999645 3830895660 2193370711 419157396 1493402146 2318597315 4158805001 4146822741 1531469297 3010443747 3349719203 1909085047 1949013308 2438458379 2211916779 1704171641 294437260 1607363710 4024127920 2086379216 3240991827 2013586891 2372255951 1243888585 2158448928 776798472 289703478 2692896257 3946066730 2291107195 2287769417 4195101945 2587975686 3923367183 399183844 2927698508 4064454824 1305340473 999390040 3931662893 1678670300 4184382896 1340902214 9126402 2964006895 3839182545 1872445239 635303982 2658801351 3733468826 1711501458 2775728760 4175272676 2964709291 253753908 3319196833 996525935 1333285353 2963771820 3429273793 529354333 3048598542 1069927122 3074933542 2253785865 4189315648 1842208876 4065483670 4201011629 2864944736 2022465651 1741192832 1170464703 866913964 2650215062 492170618 3912776373 2793232157 3356973545 4059011412 2927589134 3013727338 3684979663 3456238431 134184837 1270806922 2437666545 4130490927 3492556567 1392881091 3151826891 4189365720 1968620336 3450458508 1610197249 1596855744 3549727335 255 362436" option to reproduce the execution
0.19/0.22	c #vars 1000
0.19/0.22	c #constraints 1502
1.29/1.30	c Solving starts ...
1.29/1.30	c ============================[ Search Statistics ]============================
1.29/1.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.30	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.30	c =============================================================================
1.29/1.30	c  0.0s |       0 |        0 |        0 |    25807      0 |        0 |        0
1.59/1.69	c  0.4s |       1 |      652 |      100 |    25807      0 |        0 |        0
1.89/1.98	c  0.7s |       2 |    48305 |      250 |    28388      0 |        0 |        0
3.49/3.52	c  2.2s |       3 |    63094 |      475 |    31227      0 |        0 |        0
5.38/5.41	c  4.1s |       4 |   116819 |      813 |    34350      0 |        0 |        0
8.08/8.20	c  6.9s |       4 |   156373 |     1313 |    37785      0 |        0 |        0
8.18/8.25	c  6.9s |       5 |   157037 |     1320 |    37785      0 |        0 |        0
10.28/10.38	c  9.1s |       5 |   181309 |     1720 |    41564      0 |        0 |        0
12.58/12.63	c 11.3s |       5 |   188102 |     2020 |    41564      0 |        0 |        0
12.88/12.92	c 11.6s |       6 |   189176 |     2081 |    45721      0 |        0 |        0
14.88/14.96	c 13.7s |       6 |   193921 |     2281 |    45721      0 |        0 |        0
18.18/18.21	c 16.9s |       6 |   202905 |     2681 |    45721      0 |        0 |        0
20.58/20.69	c 19.4s |       6 |   206592 |     2981 |    45721      0 |        0 |        0
22.78/22.84	c 21.5s |       7 |   207161 |     3223 |    50294      0 |        0 |        0
24.98/25.09	c 23.8s |       7 |   211795 |     3523 |    50294      0 |        0 |        0
27.98/28.07	c 26.8s |       7 |   215201 |     3823 |    50294      0 |        0 |        0
30.78/30.90	c 29.6s |       7 |   217333 |     4023 |    50294      0 |        0 |        0
33.78/33.83	c 32.5s |       7 |   220610 |     4223 |    50294      0 |        0 |        0
36.28/36.37	c 35.1s |       7 |   227597 |     4523 |    50294      0 |        0 |        0
40.08/40.14	c 38.8s |       7 |   228128 |     4823 |    50294      0 |        0 |        0
40.78/40.85	c 39.5s |       8 |   232905 |     4936 |    55324      0 |        0 |        0
42.88/42.94	c 41.6s |       8 |   240757 |     5236 |    55324      0 |        0 |        0
45.08/45.17	c 43.9s |       8 |   241280 |     5436 |    55324      0 |        0 |        0
47.07/47.19	c 45.9s |       8 |   246851 |     5636 |    55324      0 |        0 |        0
49.17/49.27	c 48.0s |       8 |   247839 |     5836 |    55324      0 |        0 |        0
51.17/51.29	c 50.0s |       8 |   255567 |     6136 |    55324      0 |        0 |        0
54.17/54.25	c 52.9s |       8 |   259248 |     6436 |    55324      0 |        0 |        0
57.47/57.51	c 56.2s |       8 |   259961 |     6636 |    55324      0 |        0 |        0
59.57/59.63	c 58.3s |       8 |   263485 |     6736 |    55324      0 |        0 |        0
62.07/62.20	c 60.9s |       8 |   269944 |     7036 |    55324      0 |        0 |        0
64.57/64.66	c 63.4s |       8 |   270992 |     7236 |    55324      0 |        0 |        0
66.09/66.17	c 64.9s |       9 |   277297 |     7506 |    60857      0 |        0 |        0
68.78/68.83	c 67.5s |       9 |   284265 |     7806 |    60857      0 |        0 |        0
71.68/71.75	c 70.4s |       9 |   284621 |     8006 |    60857      0 |        0 |        0
74.18/74.23	c 72.9s |       9 |   287713 |     8306 |    60857      0 |        0 |        0
76.68/76.77	c 75.5s |       9 |   291771 |     8606 |    60857      0 |        0 |        0
79.68/79.72	c 78.4s |       9 |   293132 |     8806 |    60857      0 |        0 |        0
82.08/82.13	c 80.8s |       9 |   296050 |     9006 |    60857      0 |        0 |        0
84.68/84.79	c 83.5s |       9 |   296143 |     9206 |    60857      0 |        0 |        0
87.27/87.39	c 86.1s |       9 |   304430 |     9606 |    60857      0 |        0 |        0
91.38/91.45	c 90.2s |       9 |   304473 |     9806 |    60857      0 |        0 |        0
93.58/93.67	c 92.4s |       9 |   314379 |    10106 |    60857      0 |        0 |        0
95.97/96.04	c 94.7s |       9 |   316379 |    10306 |    60857      0 |        0 |        0
97.98/98.05	c 96.8s |       9 |   316401 |    10406 |    60857      0 |        0 |        0
101.28/101.32	c  100s |       9 |   323076 |    10706 |    60857      0 |        0 |        0
103.57/103.61	c  102s |       9 |   323700 |    10906 |    60857      0 |        0 |        0
105.77/105.85	c  104s |       9 |   327285 |    11206 |    60857      0 |        0 |        0
107.47/107.52	c  106s |      10 |   330808 |    11361 |    66943      0 |        0 |        0
109.67/109.71	c  108s |      10 |   339227 |    11661 |    66943      0 |        0 |        0
112.87/112.95	c  111s |      10 |   339512 |    11861 |    66943      0 |        0 |        0
115.67/115.79	c  114s |      10 |   343362 |    12261 |    66943      0 |        0 |        0
117.78/117.84	c  116s |      10 |   343430 |    12361 |    66943      0 |        0 |        0
120.27/120.35	c  119s |      10 |   346400 |    12661 |    66943      0 |        0 |        0
123.67/123.74	c  122s |      10 |   347028 |    12861 |    66943      0 |        0 |        0
127.17/127.25	c  125s |      10 |   349413 |    13161 |    66943      0 |        0 |        0
129.27/129.33	c  128s |      10 |   359532 |    13561 |    66943      0 |        0 |        0
132.67/132.72	c  131s |      10 |   359777 |    13761 |    66943      0 |        0 |        0
135.37/135.41	c  134s |      10 |   365560 |    14161 |    66943      0 |        0 |        0
138.76/138.85	c  137s |      10 |   367490 |    14361 |    66943      0 |        0 |        0
140.77/140.88	c  139s |      10 |   370432 |    14561 |    66943      0 |        0 |        0
142.86/142.90	c  141s |      10 |   370987 |    14761 |    66943      0 |        0 |        0
146.06/146.11	c  144s |      10 |   376759 |    15061 |    66943      0 |        0 |        0
148.57/148.62	c  147s |      10 |   386625 |    15361 |    66943      0 |        0 |        0
150.67/150.76	c  149s |      10 |   386625 |    15461 |    66943      0 |        0 |        0
153.16/153.28	c  151s |      10 |   386789 |    15561 |    66943      0 |        0 |        0
156.06/156.19	c  154s |      10 |   386906 |    15661 |    66943      0 |        0 |        0
158.56/158.61	c  157s |      10 |   403040 |    15961 |    66943      0 |        0 |        0
160.67/160.71	c  159s |      10 |   403040 |    16061 |    66943      0 |        0 |        0
162.77/162.82	c  161s |      10 |   405333 |    16161 |    66943      0 |        0 |        0
165.16/165.26	c  163s |      10 |   410086 |    16461 |    66943      0 |        0 |        0
167.46/167.51	c  166s |      10 |   431688 |    16761 |    66943      0 |        0 |        0
169.56/169.65	c  168s |      10 |   432253 |    16961 |    66943      0 |        0 |        0
172.26/172.32	c  171s |      11 |   433906 |    17144 |    73638      0 |        0 |        0
175.86/175.91	c  174s |      11 |   442453 |    17444 |    73638      0 |        0 |        0
177.86/177.97	c  176s |      11 |   442546 |    17544 |    73638      0 |        0 |        0
180.36/180.41	c  179s |      11 |   455464 |    17944 |    73638      0 |        0 |        0
184.05/184.10	c  182s |      11 |   455665 |    18144 |    73638      0 |        0 |        0
186.75/186.80	c  185s |      11 |   466336 |    18444 |    73638      0 |        0 |        0
189.35/189.49	c  188s |      11 |   466922 |    18644 |    73638      0 |        0 |        0
192.65/192.75	c  191s |      11 |   477141 |    19044 |    73638      0 |        0 |        0
195.76/195.83	c  194s |      11 |   485864 |    19244 |    73638      0 |        0 |        0
198.65/198.76	c  197s |      11 |   489884 |    19544 |    73638      0 |        0 |        0
201.36/201.47	c  200s |      11 |   490474 |    19744 |    73638      0 |        0 |        0
204.06/204.17	c  202s |      11 |   502889 |    20144 |    73638      0 |        0 |        0
206.66/206.72	c  205s |      11 |   504159 |    20444 |    73638      0 |        0 |        0
208.96/209.05	c  207s |      11 |   514991 |    20944 |    73638      0 |        0 |        0
211.86/211.94	c  210s |      11 |   527598 |    21344 |    73638      0 |        0 |        0
214.76/214.80	c  213s |      11 |   528329 |    21544 |    73638      0 |        0 |        0
216.76/216.88	c  215s |      11 |   528631 |    21644 |    73638      0 |        0 |        0
219.46/219.59	c  218s |      11 |   529425 |    21844 |    73638      0 |        0 |        0
221.66/221.80	c  220s |      11 |   540987 |    22244 |    73638      0 |        0 |        0
223.86/223.93	c  222s |      11 |   544379 |    22444 |    73638      0 |        0 |        0
227.85/227.99	c  226s |      11 |   547894 |    22744 |    73638      0 |        0 |        0
229.96/230.06	c  228s |      11 |   548441 |    22944 |    73638      0 |        0 |        0
233.05/233.15	c  231s |      11 |   565978 |    23344 |    73638      0 |        0 |        0
235.36/235.47	c  234s |      11 |   569467 |    23744 |    73638      0 |        0 |        0
238.05/238.13	c  236s |      11 |   570094 |    23944 |    73638      0 |        0 |        0
241.15/241.22	c  239s |      11 |   576955 |    24344 |    73638      0 |        0 |        0
243.75/243.87	c  242s |      11 |   579516 |    24544 |    73638      0 |        0 |        0
246.55/246.66	c  245s |      11 |   588073 |    24944 |    73638      0 |        0 |        0
249.45/249.54	c  248s |      11 |   591379 |    25144 |    73638      0 |        0 |        0
252.15/252.20	c  250s |      11 |   592431 |    25344 |    73638      0 |        0 |        0
254.55/254.67	c  253s |      11 |   594054 |    25644 |    73638      0 |        0 |        0
256.15/256.24	c  254s |      12 |   602574 |    25819 |    81002      0 |        0 |        0
258.25/258.39	c  257s |      12 |   607762 |    26019 |    81002      0 |        0 |        0
261.55/261.60	c  260s |      12 |   611170 |    26319 |    81002      0 |        0 |        0
263.75/263.84	c  262s |      12 |   617077 |    26519 |    81002      0 |        0 |        0
266.35/266.47	c  265s |      12 |   620655 |    26819 |    81002      0 |        0 |        0
269.25/269.33	c  268s |      12 |   630296 |    27219 |    81002      0 |        0 |        0
271.84/271.93	c  270s |      12 |   631456 |    27519 |    81002      0 |        0 |        0
274.54/274.62	c  273s |      12 |   644607 |    28019 |    81002      0 |        0 |        0
276.74/276.82	c  275s |      12 |   645414 |    28319 |    81002      0 |        0 |        0
279.04/279.12	c  277s |      12 |   652066 |    28719 |    81002      0 |        0 |        0
281.74/281.83	c  280s |      12 |   659465 |    29119 |    81002      0 |        0 |        0
284.24/284.30	c  282s |      12 |   670262 |    29519 |    81002      0 |        0 |        0
286.44/286.52	c  285s |      12 |   679931 |    29919 |    81002      0 |        0 |        0
288.84/288.95	c  287s |      12 |   685048 |    30319 |    81002      0 |        0 |        0
291.34/291.50	c  290s |      12 |   694790 |    30719 |    81002      0 |        0 |        0
293.54/293.65	c  292s |      12 |   702413 |    31119 |    81002      0 |        0 |        0
296.04/296.18	c  294s |      12 |   710007 |    31519 |    81002      0 |        0 |        0
298.34/298.40	c  297s |      12 |   717438 |    31919 |    81002      0 |        0 |        0
300.35/300.46	c  299s |      12 |   724888 |    32319 |    81002      0 |        0 |        0
302.34/302.47	c  301s |      12 |   728819 |    32619 |    81002      0 |        0 |        0
304.44/304.56	c  303s |      12 |   734887 |    33019 |    81002      0 |        0 |        0
307.14/307.21	c  305s |      12 |   741043 |    33419 |    81002      0 |        0 |        0
309.24/309.31	c  308s |      12 |   747291 |    33819 |    81002      0 |        0 |        0
311.44/311.51	c  310s |      12 |   752596 |    34219 |    81002      0 |        0 |        0
313.74/313.87	c  312s |      12 |   758231 |    34619 |    81002      0 |        0 |        0
316.14/316.27	c  314s |      12 |   762626 |    35019 |    81002      0 |        0 |        0
318.33/318.47	c  317s |      12 |   767159 |    35419 |    81002      0 |        0 |        0
320.83/320.95	c  319s |      12 |   771018 |    35819 |    81002      0 |        0 |        0
323.03/323.12	c  321s |      12 |   776286 |    36119 |    81002      0 |        0 |        0
326.23/326.37	c  325s |      12 |   778424 |    36319 |    81002      0 |        0 |        0
328.53/328.60	c  327s |      12 |   781308 |    36519 |    81002      0 |        0 |        0
332.53/332.62	c  331s |      12 |   782642 |    36719 |    81002      0 |        0 |        0
334.53/334.63	c  333s |      12 |   801546 |    37019 |    81002      0 |        0 |        0
337.13/337.22	c  335s |      12 |   806366 |    37319 |    81002      0 |        0 |        0
340.73/340.85	c  339s |      12 |   807736 |    37619 |    81002      0 |        0 |        0
343.53/343.64	c  342s |      12 |   826061 |    38019 |    81002      0 |        0 |        0
345.53/345.65	c  344s |      12 |   827373 |    38219 |    81002      0 |        0 |        0
347.93/348.01	c  346s |      12 |   828221 |    38419 |    81002      0 |        0 |        0
350.43/350.53	c  349s |      12 |   828392 |    38519 |    81002      0 |        0 |        0
352.43/352.54	c  351s |      12 |   846921 |    38819 |    89103      0 |        0 |        0
352.53/352.63	c  351s |      13 |   847154 |    38832 |    89103      0 |        0 |        0
355.13/355.30	c  353s |      13 |   851443 |    39032 |    89103      0 |        0 |        0
358.63/358.75	c  357s |      13 |   852185 |    39232 |    89103      0 |        0 |        0
361.43/361.54	c  360s |      13 |   852185 |    39332 |    89103      0 |        0 |        0
363.73/363.81	c  362s |      13 |   870783 |    39632 |    89103      0 |        0 |        0
366.43/366.54	c  365s |      13 |   874695 |    39932 |    89103      0 |        0 |        0
368.93/369.02	c  367s |      13 |   877695 |    40132 |    89103      0 |        0 |        0
371.13/371.21	c  369s |      13 |   887013 |    40432 |    89103      0 |        0 |        0
373.53/373.64	c  372s |      13 |   891280 |    40732 |    89103      0 |        0 |        0
375.82/375.96	c  374s |      13 |   904309 |    41032 |    89103      0 |        0 |        0
378.02/378.11	c  376s |      13 |   908071 |    41232 |    89103      0 |        0 |        0
380.63/380.79	c  379s |      13 |   917913 |    41732 |    89103      0 |        0 |        0
383.32/383.45	c  382s |      13 |   920691 |    42032 |    89103      0 |        0 |        0
386.22/386.36	c  385s |      13 |   922242 |    42232 |    89103      0 |        0 |        0
388.42/388.56	c  387s |      13 |   927597 |    42432 |    89103      0 |        0 |        0
391.02/391.18	c  389s |      13 |   939161 |    42732 |    89103      0 |        0 |        0
393.22/393.39	c  392s |      13 |   948450 |    43032 |    89103      0 |        0 |        0
396.22/396.36	c  395s |      13 |   953587 |    43332 |    89103      0 |        0 |        0
398.32/398.47	c  397s |      13 |   962921 |    43632 |    89103      0 |        0 |        0
400.43/400.53	c  399s |      13 |   969998 |    43932 |    89103      0 |        0 |        0
403.22/403.32	c  402s |      13 |   975059 |    44232 |    89103      0 |        0 |        0
405.42/405.55	c  404s |      13 |   977668 |    44532 |    89103      0 |        0 |        0
407.72/407.88	c  406s |      13 |   979824 |    44732 |    89103      0 |        0 |        0
409.92/410.10	c  408s |      13 |   989695 |    45032 |    89103      0 |        0 |        0
412.32/412.43	c  411s |      13 |   993172 |    45332 |    89103      0 |        0 |        0
414.82/414.92	c  413s |      13 |   997483 |    45732 |    89103      0 |        0 |        0
417.22/417.35	c  416s |      13 |  1001087 |    46132 |    89103      0 |        0 |        0
420.12/420.20	c  418s |      13 |  1005635 |    46432 |    89103      0 |        0 |        0
422.52/422.62	c  421s |      13 |  1010855 |    46732 |    89103      0 |        0 |        0
425.02/425.15	c  423s |      13 |  1012570 |    47032 |    89103      0 |        0 |        0
427.42/427.53	c  426s |      13 |  1016789 |    47332 |    89103      0 |        0 |        0
429.52/429.69	c  428s |      13 |  1018928 |    47632 |    89103      0 |        0 |        0
431.72/431.88	c  430s |      13 |  1024601 |    47932 |    89103      0 |        0 |        0
433.82/433.98	c  432s |      13 |  1028035 |    48232 |    89103      0 |        0 |        0
435.81/435.99	c  434s |      13 |  1033801 |    48532 |    89103      0 |        0 |        0
437.91/438.02	c  436s |      13 |  1038950 |    48832 |    89103      0 |        0 |        0
440.31/440.41	c  439s |      13 |  1040951 |    49132 |    89103      0 |        0 |        0
442.31/442.48	c  441s |      13 |  1048996 |    49432 |    89103      0 |        0 |        0
444.43/444.52	c  443s |      13 |  1055221 |    49832 |    89103      0 |        0 |        0
446.82/446.97	c  445s |      13 |  1063748 |    50332 |    89103      0 |        0 |        0
449.02/449.14	c  447s |      13 |  1069503 |    50732 |    89103      0 |        0 |        0
451.52/451.69	c  450s |      13 |  1071757 |    51032 |    89103      0 |        0 |        0
453.82/453.91	c  452s |      13 |  1072818 |    51232 |    89103      0 |        0 |        0
456.42/456.56	c  455s |      13 |  1075236 |    51532 |    89103      0 |        0 |        0
459.22/459.34	c  458s |      13 |  1076875 |    51832 |    89103      0 |        0 |        0
461.32/461.47	c  460s |      13 |  1077740 |    52032 |    89103      0 |        0 |        0
464.32/464.49	c  463s |      13 |  1082240 |    52432 |    89103      0 |        0 |        0
466.82/466.97	c  465s |      13 |  1083648 |    52732 |    89103      0 |        0 |        0
469.62/469.71	c  468s |      13 |  1084905 |    53032 |    89103      0 |        0 |        0
472.12/472.21	c  470s |      13 |  1087971 |    53332 |    89103      0 |        0 |        0
474.51/474.63	c  473s |      13 |  1088994 |    53632 |    89103      0 |        0 |        0
476.61/476.70	c  475s |      13 |  1090429 |    53832 |    89103      0 |        0 |        0
479.31/479.40	c  478s |      13 |  1093168 |    54132 |    89103      0 |        0 |        0
481.41/481.51	c  480s |      13 |  1094454 |    54432 |    89103      0 |        0 |        0
483.51/483.63	c  482s |      13 |  1095719 |    54732 |    89103      0 |        0 |        0
485.61/485.72	c  484s |      13 |  1104624 |    55032 |    89103      0 |        0 |        0
488.21/488.35	c  487s |      13 |  1146085 |    55432 |    89103      0 |        0 |        0
491.41/491.50	c  490s |      13 |  1147162 |    55632 |    89103      0 |        0 |        0
493.51/493.64	c  492s |      13 |  1147925 |    55732 |    89103      0 |        0 |        0
496.31/496.46	c  495s |      13 |  1147925 |    55832 |    89103      0 |        0 |        0
498.81/498.97	c  497s |      13 |  1149139 |    56232 |    89103      0 |        0 |        0
501.61/501.71	c  500s |      13 |  1165841 |    56532 |    89103      0 |        0 |        0
504.61/504.72	c  503s |      13 |  1171340 |    56732 |    89103      0 |        0 |        0
507.61/507.73	c  506s |      13 |  1172623 |    57032 |    89103      0 |        0 |        0
510.81/510.90	c  509s |      13 |  1189109 |    57332 |    89103      0 |        0 |        0
514.01/514.11	c  512s |      13 |  1189892 |    57532 |    89103      0 |        0 |        0
516.41/516.51	c  515s |      13 |  1205893 |    57832 |    89103      0 |        0 |        0
518.91/519.08	c  517s |      13 |  1207286 |    58032 |    98014      0 |        0 |        0
522.10/522.29	c  520s |      13 |  1218999 |    58332 |    98014      0 |        0 |        0
522.41/522.54	c  521s |      14 |  1219027 |    58352 |    98014      0 |        0 |        0
525.00/525.12	c  523s |      14 |  1219416 |    58452 |    98014      0 |        0 |        0
527.80/527.91	c  526s |      14 |  1234940 |    58652 |    98014      0 |        0 |        0
530.21/530.32	c  529s |      14 |  1238671 |    58852 |    98014      0 |        0 |        0
532.80/532.90	c  531s |      14 |  1249120 |    59152 |    98014      0 |        0 |        0
535.00/535.16	c  533s |      14 |  1258678 |    59352 |    98014      0 |        0 |        0
538.30/538.41	c  537s |      14 |  1259099 |    59552 |    98014      0 |        0 |        0
540.40/540.59	c  539s |      14 |  1260268 |    59852 |    98014      0 |        0 |        0
543.10/543.23	c  541s |      14 |  1266128 |    60252 |    98014      0 |        0 |        0
545.51/545.66	c  544s |      14 |  1278101 |    60552 |    98014      0 |        0 |        0
548.50/548.61	c  547s |      14 |  1288242 |    60952 |    98014      0 |        0 |        0
550.90/551.07	c  549s |      14 |  1299433 |    61352 |    98014      0 |        0 |        0
553.40/553.50	c  552s |      14 |  1304819 |    61752 |    98014      0 |        0 |        0
555.50/555.62	c  554s |      14 |  1312413 |    62152 |    98014      0 |        0 |        0
557.80/557.92	c  556s |      14 |  1316791 |    62452 |    98014      0 |        0 |        0
560.30/560.41	c  559s |      14 |  1324530 |    62852 |    98014      0 |        0 |        0
562.60/562.70	c  561s |      14 |  1330569 |    63152 |    98014      0 |        0 |        0
565.10/565.28	c  563s |      14 |  1338200 |    63552 |    98014      0 |        0 |        0
567.20/567.39	c  566s |      14 |  1350018 |    63852 |    98014      0 |        0 |        0
569.40/569.53	c  568s |      14 |  1353052 |    64152 |    98014      0 |        0 |        0
571.79/571.91	c  570s |      14 |  1363096 |    64552 |    98014      0 |        0 |        0
573.89/574.02	c  572s |      14 |  1367797 |    64952 |    98014      0 |        0 |        0
576.09/576.30	c  574s |      14 |  1371671 |    65352 |    98014      0 |        0 |        0
578.50/578.66	c  577s |      14 |  1382638 |    65652 |    98014      0 |        0 |        0
580.80/580.92	c  579s |      14 |  1393610 |    65952 |    98014      0 |        0 |        0
583.39/583.54	c  582s |      14 |  1399567 |    66252 |    98014      0 |        0 |        0
585.89/586.03	c  584s |      14 |  1411151 |    66552 |    98014      0 |        0 |        0
588.99/589.15	c  587s |      14 |  1416763 |    66852 |    98014      0 |        0 |        0
591.99/592.12	c  590s |      14 |  1422024 |    67152 |    98014      0 |        0 |        0
594.00/594.13	c  592s |      14 |  1423773 |    67352 |    98014      0 |        0 |        0
596.69/596.86	c  595s |      14 |  1435777 |    67652 |    98014      0 |        0 |        0
599.29/599.40	c  598s |      14 |  1437175 |    67852 |    98014      0 |        0 |        0
602.19/602.35	c  601s |      14 |  1448641 |    68152 |    98014      0 |        0 |        0
604.19/604.35	c  603s |      14 |  1452666 |    68352 |    98014      0 |        0 |        0
606.50/606.61	c  605s |      14 |  1461992 |    68652 |    98014      0 |        0 |        0
609.00/609.12	c  607s |      14 |  1473774 |    68952 |    98014      0 |        0 |        0
611.70/611.88	c  610s |      14 |  1477956 |    69252 |    98014      0 |        0 |        0
614.60/614.76	c  613s |      14 |  1481975 |    69552 |    98014      0 |        0 |        0
616.90/617.06	c  615s |      14 |  1486903 |    69852 |    98014      0 |        0 |        0
619.49/619.68	c  618s |      14 |  1495322 |    70152 |    98014      0 |        0 |        0
622.09/622.21	c  620s |      14 |  1501450 |    70452 |    98014      0 |        0 |        0
624.99/625.14	c  623s |      14 |  1505752 |    70752 |    98014      0 |        0 |        0
627.29/627.44	c  626s |      14 |  1509184 |    70952 |    98014      0 |        0 |        0
629.79/629.98	c  628s |      14 |  1513172 |    71152 |    98014      0 |        0 |        0
632.19/632.33	c  631s |      14 |  1516608 |    71452 |    98014      0 |        0 |        0
634.49/634.70	c  633s |      14 |  1521176 |    71752 |    98014      0 |        0 |        0
636.80/636.93	c  635s |      14 |  1525667 |    72052 |    98014      0 |        0 |        0
639.39/639.55	c  638s |      14 |  1530377 |    72452 |    98014      0 |        0 |        0
642.09/642.22	c  640s |      14 |  1533975 |    72752 |    98014      0 |        0 |        0
645.19/645.30	c  643s |      14 |  1540079 |    73052 |    98014      0 |        0 |        0
648.09/648.23	c  646s |      14 |  1544314 |    73352 |    98014      0 |        0 |        0
650.59/650.78	c  649s |      14 |  1553039 |    73652 |    98014      0 |        0 |        0
653.49/653.63	c  652s |      14 |  1580192 |    73952 |    98014      0 |        0 |        0
657.59/657.73	c  656s |      14 |  1583429 |    74152 |    98014      0 |        0 |        0
660.19/660.37	c  659s |      14 |  1584465 |    74252 |    98014      0 |        0 |        0
662.39/662.58	c  661s |      14 |  1584573 |    74352 |    98014      0 |        0 |        0
665.39/665.51	c  664s |      14 |  1610381 |    74652 |    98014      0 |        0 |        0
667.89/668.01	c  666s |      14 |  1613473 |    74852 |    98014      0 |        0 |        0
670.68/670.80	c  669s |      14 |  1615763 |    75152 |    98014      0 |        0 |        0
672.78/672.99	c  671s |      14 |  1669190 |    75452 |    98014      0 |        0 |        0
675.48/675.65	c  674s |      14 |  1673640 |    75652 |    98014      0 |        0 |        0
678.88/679.08	c  677s |      14 |  1675435 |    75852 |    98014      0 |        0 |        0
681.58/681.70	c  680s |      14 |  1675715 |    75952 |    98014      0 |        0 |        0
684.28/684.45	c  683s |      14 |  1695594 |    76252 |    98014      0 |        0 |        0
687.28/687.47	c  686s |      14 |  1699832 |    76452 |    98014      0 |        0 |        0
691.28/691.47	c  690s |      14 |  1701027 |    76652 |    98014      0 |        0 |        0
693.58/693.71	c  692s |      14 |  1701338 |    76852 |    98014      0 |        0 |        0
695.88/696.00	c  694s |      14 |  1733900 |    77152 |    98014      0 |        0 |        0
697.98/698.15	c  696s |      14 |  1738477 |    77352 |    98014      0 |        0 |        0
700.38/700.51	c  699s |      14 |  1739658 |    77652 |    98014      0 |        0 |        0
703.18/703.37	c  702s |      14 |  1749804 |    77952 |    98014      0 |        0 |        0
706.08/706.24	c  704s |      14 |  1767776 |    78352 |    98014      0 |        0 |        0
708.08/708.26	c  706s |      14 |  1776655 |    78652 |    98014      0 |        0 |        0
710.58/710.71	c  709s |      14 |  1788065 |    79052 |    98014      0 |        0 |        0
712.98/713.15	c  711s |      14 |  1799140 |    79452 |    98014      0 |        0 |        0
715.18/715.39	c  714s |      14 |  1810763 |    79852 |    98014      0 |        0 |        0
717.47/717.65	c  716s |      14 |  1817727 |    80252 |    98014      0 |        0 |        0
719.77/720.00	c  718s |      14 |  1835451 |    80552 |    98014      0 |        0 |        0
722.68/722.89	c  721s |      14 |  1837892 |    80752 |    98014      0 |        0 |        0
724.78/724.95	c  723s |      14 |  1841702 |    80952 |    98014      0 |        0 |        0
726.77/726.97	c  725s |      14 |  1841753 |    81052 |    98014      0 |        0 |        0
729.67/729.84	c  728s |      14 |  1852859 |    81352 |    98014      0 |        0 |        0
732.07/732.24	c  730s |      14 |  1868246 |    81652 |    98014      0 |        0 |        0
734.97/735.18	c  733s |      14 |  1872610 |    81852 |    98014      0 |        0 |        0
738.57/738.75	c  737s |      14 |  1892349 |    82252 |    98014      0 |        0 |        0
740.67/740.85	c  739s |      14 |  1908072 |    82552 |    98014      0 |        0 |        0
742.87/743.02	c  741s |      14 |  1915359 |    82852 |    98014      0 |        0 |        0
744.97/745.16	c  743s |      14 |  1925549 |    83052 |    98014      0 |        0 |        0
747.17/747.35	c  746s |      14 |  1941239 |    83352 |    98014      0 |        0 |        0
749.57/749.79	c  748s |      14 |  1952262 |    83652 |    98014      0 |        0 |        0
752.17/752.36	c  751s |      14 |  1968692 |    83952 |    98014      0 |        0 |        0
754.67/754.85	c  753s |      14 |  1982595 |    84252 |    98014      0 |        0 |        0
757.17/757.37	c  756s |      14 |  1995480 |    84552 |    98014      0 |        0 |        0
760.07/760.29	c  758s |      14 |  2001213 |    84852 |    98014      0 |        0 |        0
763.17/763.33	c  762s |      14 |  2010394 |    85152 |    98014      0 |        0 |        0
765.26/765.45	c  764s |      14 |  2017050 |    85352 |    98014      0 |        0 |        0
767.77/767.95	c  766s |      14 |  2020271 |    85652 |    98014      0 |        0 |        0
770.26/770.44	c  769s |      14 |  2031468 |    85952 |    98014      0 |        0 |        0
773.17/773.38	c  772s |      14 |  2037893 |    86252 |    98014      0 |        0 |        0
775.76/775.90	c  774s |      14 |  2045453 |    86552 |    98014      0 |        0 |        0
778.36/778.51	c  777s |      14 |  2048242 |    86852 |    98014      0 |        0 |        0
780.97/781.19	c  779s |      14 |  2050884 |    87152 |   107816      0 |        0 |        0
783.56/783.79	c  782s |      14 |  2070271 |    87452 |   107816      0 |        0 |        0
786.06/786.27	c  784s |      15 |  2071659 |    87632 |   107816      0 |        0 |        0
789.06/789.21	c  787s |      15 |  2075361 |    87732 |   107816      0 |        0 |        0
791.46/791.63	c  790s |      15 |  2091105 |    88032 |   107816      0 |        0 |        0
793.86/794.07	c  792s |      15 |  2106943 |    88332 |   107816      0 |        0 |        0
796.27/796.49	c  795s |      15 |  2117659 |    88632 |   107816      0 |        0 |        0
798.65/798.87	c  797s |      15 |  2121684 |    88832 |   107816      0 |        0 |        0
801.65/801.82	c  800s |      15 |  2126057 |    89132 |   107816      0 |        0 |        0
803.85/804.03	c  802s |      15 |  2147756 |    89432 |   107816      0 |        0 |        0
806.55/806.76	c  805s |      15 |  2156064 |    89732 |   107816      0 |        0 |        0
808.65/808.83	c  807s |      15 |  2177423 |    89932 |   107816      0 |        0 |        0
811.75/811.91	c  810s |      15 |  2181037 |    90132 |   107816      0 |        0 |        0
814.04/814.24	c  812s |      15 |  2181354 |    90232 |   107816      0 |        0 |        0
816.64/816.84	c  815s |      15 |  2216586 |    90532 |   107816      0 |        0 |        0
818.94/819.15	c  817s |      15 |  2220254 |    90732 |   107816      0 |        0 |        0
821.74/821.92	c  820s |      15 |  2232096 |    91132 |   107816      0 |        0 |        0
824.04/824.23	c  822s |      15 |  2239603 |    91432 |   107816      0 |        0 |        0
826.05/826.25	c  824s |      15 |  2251428 |    91732 |   107816      0 |        0 |        0
828.74/828.92	c  827s |      15 |  2261625 |    92132 |   107816      0 |        0 |        0
830.94/831.17	c  829s |      15 |  2269773 |    92532 |   107816      0 |        0 |        0
833.44/833.65	c  832s |      15 |  2272418 |    92932 |   107816      0 |        0 |        0
835.64/835.85	c  834s |      15 |  2277723 |    93332 |   107816      0 |        0 |        0
838.83/839.03	c  837s |      15 |  2282741 |    93732 |   107816      0 |        0 |        0
843.03/843.20	c  841s |      15 |  2284619 |    93932 |   107816      0 |        0 |        0
845.93/846.15	c  844s |      15 |  2303601 |    94232 |   107816      0 |        0 |        0
848.63/848.83	c  847s |      15 |  2317396 |    94532 |   107816      0 |        0 |        0
851.73/851.95	c  850s |      15 |  2318489 |    94732 |   107816      0 |        0 |        0
853.93/854.12	c  852s |      15 |  2349427 |    95032 |   107816      0 |        0 |        0
856.93/857.14	c  855s |      15 |  2357699 |    95332 |   107816      0 |        0 |        0
859.32/859.51	c  858s |      15 |  2363161 |    95632 |   107816      0 |        0 |        0
862.12/862.34	c  861s |      15 |  2366406 |    95832 |   107816      0 |        0 |        0
865.12/865.37	c  864s |      15 |  2377431 |    96132 |   107816      0 |        0 |        0
867.22/867.44	c  866s |      15 |  2382007 |    96332 |   107816      0 |        0 |        0
870.12/870.37	c  869s |      15 |  2391660 |    96632 |   107816      0 |        0 |        0
872.92/873.14	c  871s |      15 |  2404015 |    96932 |   107816      0 |        0 |        0
875.62/875.84	c  874s |      15 |  2410623 |    97232 |   107816      0 |        0 |        0
878.51/878.73	c  877s |      15 |  2412815 |    97432 |   107816      0 |        0 |        0
880.92/881.14	c  879s |      15 |  2415608 |    97632 |   107816      0 |        0 |        0
883.31/883.58	c  882s |      15 |  2420381 |    98032 |   107816      0 |        0 |        0
885.42/885.67	c  884s |      15 |  2421266 |    98332 |   107816      0 |        0 |        0
887.52/887.80	c  886s |      15 |  2423545 |    98532 |   107816      0 |        0 |        0
890.01/890.29	c  888s |      15 |  2431504 |    98832 |   107816      0 |        0 |        0
892.41/892.65	c  891s |      15 |  2432425 |    99132 |   107816      0 |        0 |        0
895.01/895.21	c  893s |      15 |  2437378 |    99432 |   107816      0 |        0 |        0
897.20/897.47	c  896s |      15 |  2440878 |    99732 |   107816      0 |        0 |        0
900.20/900.41	c  899s |      15 |  2445693 |   100032 |   107816      0 |        0 |        0
902.80/903.02	c  901s |      15 |  2454776 |   100332 |   107816      0 |        0 |        0
905.21/905.43	c  904s |      15 |  2469672 |   100632 |   107816      0 |        0 |        0
907.70/907.95	c  906s |      15 |  2505343 |   100932 |   107816      0 |        0 |        0
910.50/910.80	c  909s |      15 |  2507777 |   101132 |   107816      0 |        0 |        0
912.80/913.04	c  911s |      15 |  2510189 |   101232 |   107816      0 |        0 |        0
915.10/915.36	c  914s |      15 |  2552281 |   101532 |   107816      0 |        0 |        0
917.59/917.84	c  916s |      15 |  2559256 |   101832 |   107816      0 |        0 |        0
919.89/920.19	c  918s |      15 |  2587388 |   102132 |   107816      0 |        0 |        0
921.99/922.26	c  920s |      15 |  2590758 |   102332 |   107816      0 |        0 |        0
924.29/924.56	c  923s |      15 |  2592909 |   102532 |   107816      0 |        0 |        0
926.50/926.71	c  925s |      15 |  2614094 |   102832 |   107816      0 |        0 |        0
929.10/929.37	c  928s |      15 |  2625801 |   103232 |   107816      0 |        0 |        0
931.60/931.84	c  930s |      15 |  2638592 |   103632 |   107816      0 |        0 |        0
934.40/934.67	c  933s |      15 |  2648216 |   104032 |   107816      0 |        0 |        0
937.00/937.27	c  935s |      15 |  2662735 |   104432 |   107816      0 |        0 |        0
939.69/939.98	c  938s |      15 |  2673353 |   104732 |   107816      0 |        0 |        0
942.29/942.51	c  941s |      15 |  2677383 |   104932 |   107816      0 |        0 |        0
944.59/944.86	c  943s |      15 |  2680071 |   105132 |   107816      0 |        0 |        0
947.49/947.74	c  946s |      15 |  2700998 |   105432 |   107816      0 |        0 |        0
949.99/950.23	c  948s |      15 |  2714773 |   105632 |   107816      0 |        0 |        0
952.09/952.37	c  951s |      15 |  2718570 |   105832 |   107816      0 |        0 |        0
954.49/954.76	c  953s |      15 |  2743952 |   106132 |   107816      0 |        0 |        0
956.49/956.78	c  955s |      15 |  2747913 |   106332 |   107816      0 |        0 |        0
959.19/959.41	c  958s |      15 |  2754836 |   106632 |   107816      0 |        0 |        0
961.38/961.67	c  960s |      15 |  2760583 |   106932 |   107816      0 |        0 |        0
963.78/964.01	c  962s |      15 |  2765042 |   107332 |   107816      0 |        0 |        0
966.18/966.42	c  965s |      15 |  2771437 |   107632 |   107816      0 |        0 |        0
968.48/968.77	c  967s |      15 |  2780485 |   107832 |   107816      0 |        0 |        0
970.48/970.77	c  969s |      15 |  2793166 |   108032 |   107816      0 |        0 |        0
972.98/973.26	c  971s |      15 |  2797129 |   108232 |   107816      0 |        0 |        0
974.98/975.27	c  973s |      15 |  2802134 |   108432 |   107816      0 |        0 |        0
977.79/978.04	c  976s |      15 |  2810832 |   108732 |   107816      0 |        0 |        0
980.28/980.51	c  979s |      15 |  2818284 |   109032 |   107816      0 |        0 |        0
985.17/985.40	c  984s |      15 |  2820228 |   109232 |   107816      1 |        0 |        0
987.58/987.86	c  986s |      15 |  2822669 |   109532 |   107816      1 |        0 |        0
989.97/990.29	c  988s |      15 |  2826323 |   109832 |   107816      1 |        0 |        0
992.67/992.98	c  991s |      15 |  2844170 |   110232 |   107816      1 |        0 |        0
995.38/995.65	c  994s |      15 |  2861810 |   110632 |   107816      1 |        0 |        0
997.67/997.95	c  996s |      15 |  2866641 |   110932 |   107816      1 |        0 |        0
1000.17/1000.45	c  999s |      15 |  2868539 |   111232 |   107816      1 |        0 |        0
1002.57/1002.85	c 1001s |      15 |  2870716 |   111532 |   107816      1 |        0 |        0
1004.57/1004.88	c 1003s |      15 |  2909732 |   111932 |   107816      1 |        0 |        0
1006.87/1007.17	c 1005s |      15 |  2915570 |   112232 |   107816      1 |        0 |        0
1009.27/1009.51	c 1008s |      15 |  2955399 |   112732 |   107816      1 |        0 |        0
1011.36/1011.69	c 1010s |      15 |  2972417 |   113132 |   107816      1 |        0 |        0
1013.56/1013.89	c 1012s |      15 |  3003232 |   113632 |   107816      1 |        0 |        0
1016.27/1016.59	c 1015s |      15 |  3009541 |   113932 |   107816      1 |        0 |        0
1018.76/1019.08	c 1017s |      15 |  3058034 |   114332 |   107816      1 |        0 |        0
1021.26/1021.55	c 1020s |      15 |  3095865 |   114732 |   107816      1 |        0 |        0
1023.87/1024.15	c 1022s |      15 |  3105917 |   115032 |   107816      1 |        0 |        0
1026.26/1026.56	c 1025s |      15 |  3153548 |   115432 |   107816      1 |        0 |        0
1028.85/1029.11	c 1027s |      15 |  3174438 |   115732 |   107816      1 |        0 |        0
1031.05/1031.38	c 1030s |      15 |  3176939 |   115932 |   107816      1 |        0 |        0
1033.15/1033.46	c 1032s |      15 |  3213212 |   116332 |   107816      1 |        0 |        0
1035.45/1035.74	c 1034s |      15 |  3225596 |   116732 |   107816      1 |        0 |        0
1037.55/1037.82	c 1036s |      15 |  3234001 |   117032 |   107816      1 |        0 |        0
1039.95/1040.29	c 1038s |      15 |  3243938 |   117332 |   107816      1 |        0 |        0
1042.05/1042.31	c 1041s |      15 |  3261442 |   117632 |   107816      1 |        0 |        0
1044.15/1044.40	c 1043s |      15 |  3283486 |   118032 |   107816      1 |        0 |        0
1046.15/1046.41	c 1045s |      15 |  3295850 |   118432 |   107816      1 |        0 |        0
1048.25/1048.56	c 1047s |      15 |  3300278 |   118732 |   107816      1 |        0 |        0
1050.44/1050.78	c 1049s |      15 |  3307734 |   119032 |   107816      1 |        0 |        0
1052.55/1052.89	c 1051s |      15 |  3322796 |   119432 |   107816      1 |        0 |        0
1054.75/1055.06	c 1053s |      15 |  3335157 |   119832 |   107816      1 |        0 |        0
1056.95/1057.25	c 1055s |      15 |  3342702 |   120232 |   107816      1 |        0 |        0
1059.44/1059.73	c 1058s |      15 |  3362496 |   120732 |   107816      1 |        0 |        0
1061.64/1061.97	c 1060s |      15 |  3373211 |   121032 |   107816      1 |        0 |        0
1063.84/1064.10	c 1062s |      15 |  3382362 |   121332 |   107816      1 |        0 |        0
1066.14/1066.43	c 1065s |      15 |  3397077 |   121632 |   107816      1 |        0 |        0
1068.34/1068.63	c 1067s |      15 |  3412886 |   122032 |   107816      1 |        0 |        0
1070.43/1070.70	c 1069s |      15 |  3440947 |   122432 |   107816      1 |        0 |        0
1072.73/1073.00	c 1071s |      15 |  3456012 |   122832 |   107816      1 |        0 |        0
1074.73/1075.06	c 1073s |      15 |  3473073 |   123232 |   107816      1 |        0 |        0
1076.74/1077.09	c 1075s |      15 |  3487851 |   123632 |   107816      1 |        0 |        0
1079.04/1079.38	c 1078s |      15 |  3501197 |   124332 |   107816      1 |        0 |        0
1081.63/1081.97	c 1080s |      15 |  3508907 |   124932 |   107816      1 |        0 |        0
1083.73/1084.06	c 1082s |      15 |  3523420 |   125232 |   107816      1 |        0 |        0
1085.83/1086.15	c 1084s |      15 |  3530935 |   125532 |   107816      1 |        0 |        0
1088.43/1088.70	c 1087s |      15 |  3542919 |   125932 |   107816      1 |        0 |        0
1090.53/1090.83	c 1089s |      15 |  3547007 |   126432 |   107816      1 |        0 |        0
1093.43/1093.72	c 1092s |      15 |  3553665 |   127032 |   107816      1 |        0 |        0
1095.73/1096.09	c 1094s |      15 |  3559425 |   127332 |   107816      1 |        0 |        0
1098.13/1098.50	c 1097s |      15 |  3566643 |   127732 |   107816      1 |        0 |        0
1100.43/1100.79	c 1099s |      15 |  3572863 |   128032 |   107816      1 |        0 |        0
1102.73/1103.08	c 1101s |      15 |  3574390 |   128332 |   107816      1 |        0 |        0
1105.03/1105.34	c 1104s |      15 |  3590028 |   128732 |   107816      1 |        0 |        0
1107.12/1107.41	c 1106s |      15 |  3600808 |   129232 |   107816      1 |        0 |        0
1109.32/1109.63	c 1108s |      15 |  3606560 |   129832 |   107816      1 |        0 |        0
1111.82/1112.12	c 1110s |      15 |  3629704 |   130232 |   107816      1 |        0 |        0
1114.12/1114.49	c 1113s |      15 |  3646313 |   130632 |   107816      1 |        0 |        0
1116.32/1116.66	c 1115s |      15 |  3656112 |   131032 |   118598      1 |        0 |        0
1118.81/1119.14	c 1117s |      15 |  3662411 |   131432 |   118598      1 |        0 |        0
1119.52/1119.82	c 1118s |      16 |  3664912 |   131552 |   118598      1 |        0 |        0
1121.61/1121.96	c 1120s |      16 |  3665885 |   131652 |   118598      1 |        0 |        0
1124.02/1124.34	c 1123s |      16 |  3681061 |   131952 |   118598      1 |        0 |        0
1126.12/1126.48	c 1125s |      16 |  3682644 |   132052 |   118598      1 |        0 |        0
1128.50/1128.81	c 1127s |      16 |  3717469 |   132352 |   118598      1 |        0 |        0
1130.51/1130.85	c 1129s |      16 |  3751495 |   132652 |   118598      1 |        0 |        0
1132.60/1132.95	c 1131s |      16 |  3757026 |   132852 |   118598      1 |        0 |        0
1134.91/1135.25	c 1133s |      16 |  3778412 |   133252 |   118598      1 |        0 |        0
1137.11/1137.45	c 1136s |      16 |  3797546 |   133552 |   118598      1 |        0 |        0
1139.40/1139.79	c 1138s |      16 |  3814224 |   133852 |   118598      1 |        0 |        0
1142.30/1142.62	c 1141s |      16 |  3831632 |   134252 |   118598      1 |        0 |        0
1144.70/1145.02	c 1143s |      16 |  3872644 |   134652 |   118598      1 |        0 |        0
1146.70/1147.03	c 1145s |      16 |  3882108 |   134952 |   118598      1 |        0 |        0
1148.69/1149.04	c 1147s |      16 |  3890777 |   135252 |   118598      1 |        0 |        0
1151.50/1151.89	c 1150s |      16 |  3893107 |   135552 |   118598      1 |        0 |        0
1153.89/1154.25	c 1152s |      16 |  3906040 |   135852 |   118598      1 |        0 |        0
1156.69/1157.08	c 1155s |      16 |  3918310 |   136152 |   118598      1 |        0 |        0
1159.20/1159.59	c 1158s |      16 |  3950342 |   136352 |   118598      1 |        0 |        0
1162.29/1162.60	c 1161s |      16 |  3970291 |   136652 |   118598      1 |        0 |        0
1165.59/1165.99	c 1164s |      16 |  3971782 |   136852 |   118598      1 |        0 |        0
1167.90/1168.27	c 1166s |      16 |  4025232 |   137252 |   118598      1 |        0 |        0
1170.29/1170.69	c 1169s |      16 |  4048324 |   137552 |   118598      1 |        0 |        0
1172.29/1172.69	c 1171s |      16 |  4116312 |   137952 |   118598      1 |        0 |        0
1174.69/1175.03	c 1173s |      16 |  4125939 |   138152 |   118598      1 |        0 |        0
1178.58/1178.94	c 1177s |      16 |  4126993 |   138352 |   118598      1 |        0 |        0
1181.28/1181.61	c 1180s |      16 |  4170384 |   138752 |   118598      1 |        0 |        0
1183.68/1184.09	c 1182s |      16 |  4185064 |   139052 |   118598      1 |        0 |        0
1186.48/1186.84	c 1185s |      16 |  4276108 |   139552 |   118598      1 |        0 |        0
1188.78/1189.12	c 1187s |      16 |  4284540 |   139752 |   118598      1 |        0 |        0
1191.08/1191.42	c 1190s |      16 |  4312291 |   140152 |   118598      1 |        0 |        0
1193.48/1193.88	c 1192s |      16 |  4328382 |   140452 |   118598      1 |        0 |        0
1195.68/1196.05	c 1194s |      16 |  4344884 |   140652 |   118598      1 |        0 |        0
1197.68/1198.07	c 1196s |      16 |  4364974 |   140952 |   118598      1 |        0 |        0
1199.67/1200.10	c 1198s |      16 |  4413354 |   141352 |   118598      1 |        0 |        0
1202.27/1202.67	c 1201s |      16 |  4423725 |   141652 |   118598      1 |        0 |        0
1204.97/1205.34	c 1204s |      16 |  4452070 |   142052 |   118598      1 |        0 |        0
1206.97/1207.38	c 1206s |      16 |  4473623 |   142352 |   118598      1 |        0 |        0
1209.17/1209.54	c 1208s |      16 |  4489793 |   142652 |   118598      1 |        0 |        0
1211.56/1211.93	c 1210s |      16 |  4530730 |   143052 |   118598      1 |        0 |        0
1213.76/1214.11	c 1212s |      16 |  4538158 |   143352 |   118598      1 |        0 |        0
1216.16/1216.54	c 1215s |      16 |  4563826 |   143752 |   118598      1 |        0 |        0
1218.66/1219.01	c 1217s |      16 |  4585853 |   144152 |   118598      1 |        0 |        0
1222.16/1222.52	c 1221s |      16 |  4595299 |   144652 |   118598      1 |        0 |        0
1224.16/1224.58	c 1223s |      16 |  4600636 |   144852 |   118598      1 |        0 |        0
1226.46/1226.87	c 1225s |      16 |  4606651 |   145152 |   118598      1 |        0 |        0
1228.75/1229.19	c 1227s |      16 |  4609147 |   145352 |   118598      1 |        0 |        0
1230.85/1231.25	c 1229s |      16 |  4613612 |   145552 |   118598      1 |        0 |        0
1233.45/1233.80	c 1232s |      16 |  4626018 |   145852 |   118598      1 |        0 |        0
1235.85/1236.29	c 1234s |      16 |  4655755 |   146252 |   118598      1 |        0 |        0
1238.36/1238.72	c 1237s |      16 |  4679935 |   146652 |   118598      1 |        0 |        0
1240.35/1240.77	c 1239s |      16 |  4695109 |   146952 |   118598      1 |        0 |        0
1242.45/1242.89	c 1241s |      16 |  4708640 |   147252 |   118598      1 |        0 |        0
1244.55/1244.91	c 1243s |      16 |  4713846 |   147452 |   118598      1 |        0 |        0
1246.75/1247.11	c 1245s |      16 |  4725765 |   147752 |   118598      1 |        0 |        0
1249.05/1249.48	c 1248s |      16 |  4732366 |   148052 |   118598      1 |        0 |        0
1251.25/1251.60	c 1250s |      16 |  4739793 |   148352 |   118598      1 |        0 |        0
1253.44/1253.87	c 1252s |      16 |  4744653 |   148752 |   118598      1 |        0 |        0
1255.85/1256.30	c 1254s |      16 |  4749742 |   149052 |   118598      1 |        0 |        0
1258.34/1258.71	c 1257s |      16 |  4789140 |   149352 |   118598      1 |        0 |        0
1261.74/1262.13	c 1260s |      16 |  4790882 |   149652 |   118598      1 |        0 |        0
1263.94/1264.39	c 1263s |      16 |  4848698 |   150052 |   118598      1 |        0 |        0
1266.34/1266.74	c 1265s |      16 |  4856128 |   150252 |   118598      1 |        0 |        0
1268.44/1268.85	c 1267s |      16 |  4872634 |   150452 |   118598      1 |        0 |        0
1270.44/1270.88	c 1269s |      16 |  4876621 |   150652 |   118598      1 |        0 |        0
1272.64/1273.04	c 1271s |      16 |  4914405 |   151052 |   118598      1 |        0 |        0
1274.74/1275.14	c 1273s |      16 |  4932365 |   151352 |   118598      1 |        0 |        0
1277.44/1277.84	c 1276s |      16 |  4984962 |   151852 |   118598      1 |        0 |        0
1279.44/1279.89	c 1278s |      16 |  4990903 |   152052 |   118598      1 |        0 |        0
1281.54/1281.99	c 1280s |      16 |  5001851 |   152352 |   118598      1 |        0 |        0
1283.73/1284.11	c 1282s |      16 |  5016137 |   152752 |   118598      1 |        0 |        0
1285.73/1286.13	c 1284s |      16 |  5031321 |   153152 |   118598      1 |        0 |        0
1288.03/1288.42	c 1287s |      16 |  5040598 |   153552 |   118598      1 |        0 |        0
1290.14/1290.53	c 1289s |      16 |  5051473 |   154052 |   118598      1 |        0 |        0
1292.84/1293.23	c 1291s |      16 |  5061188 |   154352 |   118598      1 |        0 |        0
1295.04/1295.40	c 1294s |      16 |  5088111 |   154652 |   118598      1 |        0 |        0
1297.75/1298.14	c 1296s |      16 |  5110065 |   155052 |   118598      1 |        0 |        0
1300.04/1300.45	c 1299s |      16 |  5121454 |   155352 |   118598      1 |        0 |        0
1302.74/1303.14	c 1301s |      16 |  5149835 |   155752 |   118598      1 |        0 |        0
1305.04/1305.47	c 1304s |      16 |  5154924 |   156052 |   118598      1 |        0 |        0
1307.34/1307.78	c 1306s |      16 |  5160627 |   156352 |   118598      1 |        0 |        0
1309.54/1309.97	c 1308s |      16 |  5168512 |   156652 |   118598      1 |        0 |        0
1311.74/1312.17	c 1310s |      16 |  5173782 |   156952 |   118598      1 |        0 |        0
1314.14/1314.54	c 1313s |      16 |  5177940 |   157352 |   118598      1 |        0 |        0
1316.54/1316.98	c 1315s |      16 |  5206028 |   157752 |   118598      1 |        0 |        0
1318.94/1319.39	c 1318s |      16 |  5207614 |   157952 |   118598      1 |        0 |        0
1321.04/1321.41	c 1320s |      16 |  5229551 |   158252 |   118598      1 |        0 |        0
1323.23/1323.61	c 1322s |      16 |  5262133 |   158552 |   118598      1 |        0 |        0
1325.53/1325.95	c 1324s |      16 |  5280478 |   158852 |   118598      1 |        0 |        0
1327.93/1328.32	c 1327s |      16 |  5293162 |   159152 |   118598      1 |        0 |        0
1330.33/1330.71	c 1329s |      16 |  5305688 |   159452 |   118598      1 |        0 |        0
1332.43/1332.82	c 1331s |      16 |  5325974 |   159852 |   118598      1 |        0 |        0
1334.83/1335.27	c 1333s |      16 |  5344903 |   160252 |   118598      1 |        0 |        0
1337.03/1337.49	c 1336s |      16 |  5359776 |   160652 |   118598      1 |        0 |        0
1339.54/1339.96	c 1338s |      16 |  5377652 |   161152 |   118598      1 |        0 |        0
1341.53/1341.97	c 1340s |      16 |  5392555 |   161552 |   118598      1 |        0 |        0
1343.73/1344.14	c 1342s |      16 |  5401969 |   161952 |   118598      1 |        0 |        0
1346.33/1346.76	c 1345s |      16 |  5408795 |   162352 |   118598      1 |        0 |        0
1348.73/1349.19	c 1347s |      16 |  5420399 |   162652 |   118598      1 |        0 |        0
1351.03/1351.49	c 1350s |      16 |  5431361 |   163052 |   118598      1 |        0 |        0
1353.43/1353.83	c 1352s |      16 |  5465176 |   163452 |   118598      1 |        0 |        0
1355.73/1356.11	c 1354s |      16 |  5476521 |   163752 |   118598      1 |        0 |        0
1358.03/1358.41	c 1357s |      16 |  5477124 |   163952 |   118598      1 |        0 |        0
1360.63/1361.05	c 1359s |      16 |  5498258 |   164352 |   118598      1 |        0 |        0
1362.83/1363.29	c 1361s |      16 |  5512240 |   164652 |   118598      1 |        0 |        0
1365.63/1366.02	c 1364s |      16 |  5532105 |   165052 |   118598      1 |        0 |        0
1367.73/1368.11	c 1366s |      16 |  5541277 |   165352 |   118598      1 |        0 |        0
1369.72/1370.18	c 1368s |      16 |  5547668 |   165652 |   118598      1 |        0 |        0
1371.92/1372.36	c 1371s |      16 |  5564004 |   166052 |   118598      1 |        0 |        0
1374.22/1374.68	c 1373s |      16 |  5576844 |   166452 |   118598      1 |        0 |        0
1376.42/1376.89	c 1375s |      16 |  5589601 |   166952 |   118598      1 |        0 |        0
1378.72/1379.19	c 1377s |      16 |  5595801 |   167352 |   118598      1 |        0 |        0
1381.62/1382.04	c 1380s |      16 |  5611099 |   167752 |   118598      1 |        0 |        0
1384.32/1384.72	c 1383s |      16 |  5619393 |   168052 |   118598      1 |        0 |        0
1386.73/1387.16	c 1385s |      16 |  5632376 |   168452 |   118598      1 |        0 |        0
1389.32/1389.70	c 1388s |      16 |  5643935 |   168852 |   118598      1 |        0 |        0
1391.62/1392.09	c 1390s |      16 |  5652194 |   169252 |   118598      1 |        0 |        0
1394.32/1394.77	c 1393s |      16 |  5661175 |   169652 |   118598      1 |        0 |        0
1396.42/1396.84	c 1395s |      16 |  5688999 |   169952 |   118598      1 |        0 |        0
1398.52/1398.90	c 1397s |      16 |  5694191 |   170152 |   118598      1 |        0 |        0
1401.03/1401.46	c 1400s |      16 |  5730189 |   170552 |   118598      1 |        0 |        0
1403.42/1403.87	c 1402s |      16 |  5744048 |   170852 |   118598      1 |        0 |        0
1405.52/1405.96	c 1404s |      16 |  5754827 |   171152 |   118598      1 |        0 |        0
1407.72/1408.13	c 1406s |      16 |  5769500 |   171552 |   118598      1 |        0 |        0
1410.12/1410.54	c 1409s |      16 |  5791779 |   172152 |   118598      1 |        0 |        0
1412.42/1412.80	c 1411s |      16 |  5799514 |   172552 |   118598      1 |        0 |        0
1415.11/1415.58	c 1414s |      16 |  5808555 |   172852 |   118598      1 |        0 |        0
1418.11/1418.56	c 1417s |      16 |  5817523 |   173152 |   118598      1 |        0 |        0
1421.01/1421.46	c 1420s |      16 |  5828188 |   173552 |   118598      1 |        0 |        0
1423.12/1423.52	c 1422s |      16 |  5836968 |   173852 |   118598      1 |        0 |        0
1425.71/1426.14	c 1424s |      16 |  5845045 |   174252 |   118598      1 |        0 |        0
1431.92/1432.33	c 1431s |      16 |  5853776 |   174652 |   118598      2 |        0 |        0
1434.42/1434.88	c 1433s |      16 |  5858807 |   174952 |   118598      2 |        0 |        0
1437.01/1437.40	c 1436s |      16 |  5865238 |   175352 |   118598      2 |        0 |        0
1439.31/1439.75	c 1438s |      16 |  5872621 |   175752 |   118598      2 |        0 |        0
1441.61/1442.04	c 1440s |      16 |  5878181 |   176052 |   118598      2 |        0 |        0
1443.71/1444.10	c 1442s |      16 |  5882488 |   176352 |   118598      2 |        0 |        0
1446.01/1446.50	c 1445s |      16 |  5894787 |   176752 |   118598      2 |        0 |        0
1448.61/1449.03	c 1447s |      16 |  5922687 |   177152 |   118598      2 |        0 |        0
1450.91/1451.36	c 1450s |      16 |  5952849 |   177552 |   118598      2 |        0 |        0
1453.21/1453.60	c 1452s |      16 |  5976162 |   177952 |   118598      2 |        0 |        0
1456.02/1456.43	c 1455s |      16 |  6002094 |   178352 |   118598      2 |        0 |        0
1458.01/1458.47	c 1457s |      16 |  6023889 |   178552 |   118598      2 |        0 |        0
1460.42/1460.86	c 1459s |      16 |  6044835 |   178952 |   118598      2 |        0 |        0
1462.72/1463.11	c 1461s |      16 |  6063805 |   179252 |   118598      2 |        0 |        0
1464.82/1465.22	c 1463s |      16 |  6085402 |   179652 |   118598      2 |        0 |        0
1467.12/1467.58	c 1466s |      16 |  6103022 |   180152 |   118598      2 |        0 |        0
1469.21/1469.63	c 1468s |      16 |  6107723 |   180452 |   118598      2 |        0 |        0
1471.31/1471.77	c 1470s |      16 |  6111945 |   180852 |   118598      2 |        0 |        0
1473.61/1474.00	c 1472s |      16 |  6137170 |   181252 |   118598      2 |        0 |        0
1476.01/1476.41	c 1475s |      16 |  6165438 |   181652 |   118598      2 |        0 |        0
1478.81/1479.28	c 1477s |      16 |  6191505 |   182052 |   118598      2 |        0 |        0
1481.11/1481.53	c 1480s |      16 |  6211569 |   182352 |   118598      2 |        0 |        0
1483.11/1483.56	c 1482s |      16 |  6230294 |   182752 |   118598      2 |        0 |        0
1485.21/1485.65	c 1484s |      16 |  6245718 |   183152 |   118598      2 |        0 |        0
1487.40/1487.88	c 1486s |      16 |  6262483 |   183652 |   118598      2 |        0 |        0
1489.51/1489.99	c 1488s |      16 |  6272587 |   184052 |   118598      2 |        0 |        0
1492.01/1492.45	c 1491s |      16 |  6286663 |   184452 |   118598      2 |        0 |        0
1494.21/1494.67	c 1493s |      16 |  6294037 |   184752 |   118598      2 |        0 |        0
1496.31/1496.78	c 1495s |      16 |  6300178 |   184952 |   118598      2 |        0 |        0
1498.61/1499.02	c 1497s |      16 |  6325156 |   185352 |   118598      2 |        0 |        0
1501.12/1501.54	c 1500s |      16 |  6350786 |   185852 |   118598      2 |        0 |        0
1503.42/1503.83	c 1502s |      16 |  6366495 |   186352 |   118598      2 |        0 |        0
1505.71/1506.12	c 1504s |      16 |  6370213 |   186652 |   118598      2 |        0 |        0
1507.82/1508.24	c 1506s |      16 |  6380844 |   187052 |   118598      2 |        0 |        0
1510.21/1510.65	c 1509s |      16 |  6397859 |   187552 |   118598      2 |        0 |        0
1512.41/1512.86	c 1511s |      16 |  6417743 |   187952 |   118598      2 |        0 |        0
1515.01/1515.44	c 1514s |      16 |  6430818 |   188452 |   118598      2 |        0 |        0
1517.01/1517.49	c 1516s |      16 |  6440194 |   188852 |   118598      2 |        0 |        0
1519.21/1519.69	c 1518s |      16 |  6467781 |   189352 |   118598      2 |        0 |        0
1521.51/1521.98	c 1520s |      16 |  6475717 |   189852 |   118598      2 |        0 |        0
1523.61/1524.06	c 1522s |      16 |  6481491 |   190252 |   118598      2 |        0 |        0
1525.91/1526.31	c 1525s |      16 |  6491577 |   190652 |   118598      2 |        0 |        0
1528.10/1528.54	c 1527s |      16 |  6506404 |   191152 |   118598      2 |        0 |        0
1530.10/1530.55	c 1529s |      16 |  6518314 |   191552 |   118598      2 |        0 |        0
1532.40/1532.83	c 1531s |      16 |  6539033 |   192052 |   118598      2 |        0 |        0
1534.90/1535.31	c 1534s |      16 |  6545867 |   192552 |   118598      2 |        0 |        0
1537.20/1537.60	c 1536s |      16 |  6554320 |   193052 |   118598      2 |        0 |        0
1539.30/1539.79	c 1538s |      16 |  6561662 |   193552 |   118598      2 |        0 |        0
1541.50/1541.95	c 1540s |      16 |  6565652 |   193952 |   118598      2 |        0 |        0
1543.60/1544.02	c 1542s |      16 |  6570230 |   194352 |   118598      2 |        0 |        0
1546.00/1546.43	c 1545s |      16 |  6573941 |   194752 |   118598      2 |        0 |        0
1548.30/1548.77	c 1547s |      16 |  6578516 |   195152 |   118598      2 |        0 |        0
1550.40/1550.86	c 1549s |      16 |  6580108 |   195452 |   118598      2 |        0 |        0
1553.70/1554.17	c 1552s |      16 |  6583586 |   195852 |   118598      2 |        0 |        0
1556.00/1556.40	c 1555s |      16 |  6630392 |   196252 |   130458      2 |        0 |        0
1558.60/1559.08	c 1557s |      16 |  6659458 |   196652 |   130458      2 |        0 |        0
1560.80/1561.21	c 1559s |      16 |  6689916 |   196952 |   130458      2 |        0 |        0
1562.90/1563.30	c 1561s |      16 |  6708693 |   197252 |   130458      2 |        0 |        0
1564.10/1564.51	c 1563s |      17 |  6714912 |   197432 |   130458      2 |        0 |        0
1566.80/1567.28	c 1565s |      17 |  6717536 |   197532 |   130458      2 |        0 |        0
1569.50/1569.99	c 1568s |      17 |  6741077 |   198132 |   130458      2 |        0 |        0
1585.49/1585.95	c 1584s |      17 |  6755928 |   198232 |   130458      2 |        0 |        0
1587.79/1588.22	c 1586s |      17 |  6786967 |   198632 |   130458      2 |        0 |        0
1590.30/1590.79	c 1589s |      17 |  6821097 |   199032 |   130458      2 |        0 |        0
1592.59/1593.07	c 1591s |      17 |  6863654 |   199332 |   130458      2 |        0 |        0
1594.89/1595.30	c 1593s |      17 |  6883372 |   199632 |   130458      2 |        0 |        0
1597.09/1597.59	c 1596s |      17 |  6936456 |   200232 |   130458      2 |        0 |        0
1599.59/1600.04	c 1598s |      17 |  6970989 |   200632 |   130458      2 |        0 |        0
1601.59/1602.08	c 1600s |      17 |  6989799 |   200932 |   130458      2 |        0 |        0
1604.39/1604.89	c 1603s |      17 |  7050953 |   201432 |   130458      2 |        0 |        0
1607.29/1607.77	c 1606s |      17 |  7067407 |   201832 |   130458      2 |        0 |        0
1609.39/1609.80	c 1608s |      17 |  7099156 |   202232 |   130458      2 |        0 |        0
1611.49/1611.92	c 1610s |      17 |  7129643 |   202632 |   130458      2 |        0 |        0
1613.59/1614.07	c 1612s |      17 |  7152118 |   203032 |   130458      2 |        0 |        0
1616.49/1616.92	c 1615s |      17 |  7174058 |   203432 |   130458      2 |        0 |        0
1618.69/1619.17	c 1617s |      17 |  7175550 |   203632 |   130458      2 |        0 |        0
1621.09/1621.58	c 1620s |      17 |  7186452 |   204032 |   130458      2 |        0 |        0
1623.88/1624.35	c 1623s |      17 |  7201463 |   204432 |   130458      2 |        0 |        0
1625.98/1626.43	c 1625s |      17 |  7205684 |   204832 |   130458      2 |        0 |        0
1628.08/1628.54	c 1627s |      17 |  7211982 |   205132 |   130458      2 |        0 |        0
1630.28/1630.79	c 1629s |      17 |  7216016 |   205432 |   130458      2 |        0 |        0
1632.78/1633.22	c 1631s |      17 |  7290169 |   205932 |   130458      2 |        0 |        0
1635.08/1635.56	c 1634s |      17 |  7300486 |   206232 |   130458      2 |        0 |        0
1637.78/1638.24	c 1636s |      17 |  7361075 |   206632 |   130458      2 |        0 |        0
1640.38/1640.83	c 1639s |      17 |  7362295 |   206832 |   130458      2 |        0 |        0
1642.68/1643.15	c 1641s |      17 |  7397051 |   207232 |   130458      2 |        0 |        0
1644.88/1645.39	c 1644s |      17 |  7406193 |   207432 |   130458      2 |        0 |        0
1647.08/1647.56	c 1646s |      17 |  7425459 |   207732 |   130458      2 |        0 |        0
1649.18/1649.68	c 1648s |      17 |  7449076 |   208132 |   130458      2 |        0 |        0
1651.48/1651.99	c 1650s |      17 |  7465559 |   208632 |   130458      2 |        0 |        0
1653.88/1654.38	c 1653s |      17 |  7482502 |   209132 |   130458      2 |        0 |        0
1656.08/1656.53	c 1655s |      17 |  7487740 |   209632 |   130458      2 |        0 |        0
1659.18/1659.69	c 1658s |      17 |  7497121 |   210032 |   130458      2 |        0 |        0
1661.38/1661.87	c 1660s |      17 |  7510525 |   210332 |   130458      2 |        0 |        0
1663.68/1664.11	c 1662s |      17 |  7567386 |   210732 |   130458      2 |        0 |        0
1665.78/1666.21	c 1664s |      17 |  7609793 |   211132 |   130458      2 |        0 |        0
1667.78/1668.24	c 1666s |      17 |  7637374 |   211532 |   130458      2 |        0 |        0
1670.38/1670.83	c 1669s |      17 |  7665605 |   211932 |   130458      2 |        0 |        0
1672.48/1672.94	c 1671s |      17 |  7700318 |   212432 |   130458      2 |        0 |        0
1674.78/1675.26	c 1673s |      17 |  7724811 |   212932 |   130458      2 |        0 |        0
1676.88/1677.36	c 1676s |      17 |  7742350 |   213432 |   130458      2 |        0 |        0
1678.98/1679.48	c 1678s |      17 |  7752608 |   213932 |   130458      2 |        0 |        0
1681.58/1682.01	c 1680s |      17 |  7771509 |   214432 |   130458      2 |        0 |        0
1683.97/1684.49	c 1683s |      17 |  7812947 |   214832 |   130458      2 |        0 |        0
1686.17/1686.65	c 1685s |      17 |  7840442 |   215132 |   130458      2 |        0 |        0
1689.07/1689.54	c 1688s |      17 |  7897133 |   215532 |   130458      2 |        0 |        0
1691.48/1691.97	c 1690s |      17 |  7925409 |   215932 |   130458      2 |        0 |        0
1693.87/1694.38	c 1693s |      17 |  7969914 |   216332 |   130458      2 |        0 |        0
1696.07/1696.57	c 1695s |      17 |  8001038 |   216732 |   130458      2 |        0 |        0
1698.67/1699.14	c 1697s |      17 |  8038000 |   217232 |   130458      2 |        0 |        0
1701.18/1701.62	c 1700s |      17 |  8057784 |   217632 |   130458      2 |        0 |        0
1703.59/1704.03	c 1702s |      17 |  8070893 |   218132 |   130458      2 |        0 |        0
1705.69/1706.20	c 1704s |      17 |  8074413 |   218432 |   130458      2 |        0 |        0
1708.18/1708.64	c 1707s |      17 |  8084015 |   218832 |   130458      2 |        0 |        0
1710.78/1711.20	c 1709s |      17 |  8119387 |   219332 |   130458      2 |        0 |        0
1712.98/1713.44	c 1712s |      17 |  8135336 |   219632 |   130458      2 |        0 |        0
1715.08/1715.55	c 1714s |      17 |  8182311 |   220132 |   130458      2 |        0 |        0
1717.38/1717.85	c 1716s |      17 |  8209256 |   220532 |   130458      2 |        0 |        0
1719.68/1720.19	c 1718s |      17 |  8255207 |   221032 |   130458      2 |        0 |        0
1722.08/1722.56	c 1721s |      17 |  8269470 |   221432 |   130458      2 |        0 |        0
1724.38/1724.89	c 1723s |      17 |  8293465 |   221932 |   130458      2 |        0 |        0
1726.58/1727.06	c 1725s |      17 |  8309953 |   222432 |   130458      2 |        0 |        0
1728.88/1729.36	c 1728s |      17 |  8325046 |   222932 |   130458      2 |        0 |        0
1730.98/1731.46	c 1730s |      17 |  8338691 |   223532 |   130458      2 |        0 |        0
1733.18/1733.66	c 1732s |      17 |  8360468 |   223932 |   130458      2 |        0 |        0
1735.28/1735.79	c 1734s |      17 |  8403023 |   224332 |   130458      2 |        0 |        0
1737.37/1737.88	c 1736s |      17 |  8424236 |   224632 |   130458      2 |        0 |        0
1739.97/1740.45	c 1739s |      17 |  8432956 |   225032 |   130458      2 |        0 |        0
1742.17/1742.61	c 1741s |      17 |  8459336 |   225532 |   130458      2 |        0 |        0
1744.37/1744.82	c 1743s |      17 |  8472784 |   226032 |   130458      2 |        0 |        0
1746.48/1746.96	c 1745s |      17 |  8486187 |   226432 |   130458      2 |        0 |        0
1748.97/1749.45	c 1748s |      17 |  8504179 |   226932 |   130458      2 |        0 |        0
1750.97/1751.46	c 1750s |      17 |  8528562 |   227332 |   130458      2 |        0 |        0
1753.27/1753.73	c 1752s |      17 |  8551289 |   227832 |   130458      2 |        0 |        0
1755.37/1755.80	c 1754s |      17 |  8564517 |   228232 |   130458      2 |        0 |        0
1757.67/1758.19	c 1756s |      17 |  8568561 |   228632 |   130458      2 |        0 |        0
1760.27/1760.75	c 1759s |      17 |  8585034 |   229232 |   130458      2 |        0 |        0
1762.47/1762.91	c 1761s |      17 |  8608267 |   229732 |   130458      2 |        0 |        0
1764.47/1764.97	c 1763s |      17 |  8622674 |   230232 |   130458      2 |        0 |        0
1766.57/1767.05	c 1765s |      17 |  8630263 |   230632 |   130458      2 |        0 |        0
1768.77/1769.20	c 1767s |      17 |  8631253 |   230932 |   130458      2 |        0 |        0
1770.87/1771.36	c 1770s |      17 |  8645165 |   231332 |   130458      2 |        0 |        0
1773.07/1773.54	c 1772s |      17 |  8650865 |   231732 |   130458      2 |        0 |        0
1775.17/1775.67	c 1774s |      17 |  8664461 |   232132 |   130458      2 |        0 |        0
1777.67/1778.12	c 1776s |      17 |  8674058 |   232532 |   130458      2 |        0 |        0
1779.67/1780.18	c 1778s |      17 |  8678636 |   232832 |   130458      2 |        0 |        0
1781.77/1782.25	c 1780s |      17 |  8685092 |   233232 |   130458      2 |        0 |        0
1784.26/1784.74	c 1783s |      17 |  8691564 |   233632 |   130458      2 |        0 |        0
1786.46/1786.98	c 1785s |      17 |  8696474 |   233932 |   130458      2 |        0 |        0
1788.66/1789.19	c 1787s |      17 |  8700293 |   234232 |   130458      2 |        0 |        0
1791.06/1791.54	c 1790s |      17 |  8701887 |   234532 |   130458      2 |        0 |        0
1793.67/1794.18	c 1792s |      17 |  8703785 |   234832 |   130458      2 |        0 |        0
1795.76/1796.22	c 1794s |      17 |  8720081 |   235132 |   130458      2 |        0 |        0
1797.86/1798.31	c 1797s |      17 |  8757544 |   235532 |   130458      2 |        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-4106877-1466279808/watcher-4106877-1466279808 -o /tmp/evaluation-result-4106877-1466279808/solver-4106877-1466279808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106877-1466279808.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.13 2.16 3/179 29678
/proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 2935 0 0 0 0 0 0 0 20 0 4 0 30027469 801566720 2784 33554432000 4194304 16246674 140736068515264 140736068514688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29678/statm: 196463 2794 441 2943 0 193357 0
[pid=29678/tid=29679] ppid=29675 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 821489664 2857 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 825683968 2874 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30027469 829878272 2891 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100215 s]
/proc/loadavg: 2.05 2.13 2.16 3/179 29678
/proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 28074 0 0 0 5 4 0 0 20 0 4 0 30027469 1251545088 27861 33554432000 4194304 16246674 140736068515264 140736068514576 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29678/statm: 305553 27865 801 2943 0 302447 0
[pid=29678/tid=29679] ppid=29675 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1251545088 27868 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1251545088 27870 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1251545088 27872 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200544 s]
/proc/loadavg: 2.05 2.13 2.16 3/179 29678
/proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 50452 0 0 0 12 7 0 0 20 0 4 0 30027469 1344868352 50750 33554432000 4194304 16246674 140736068515264 140736068514576 7368989 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29678/statm: 328337 50750 801 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50750 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50750 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50750 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300527 s]
/proc/loadavg: 2.05 2.13 2.16 3/179 29678
/proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 50584 0 0 0 21 8 0 0 20 0 4 0 30027469 1344868352 50882 33554432000 4194304 16246674 140736068515264 140736068514576 12481397 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29678/statm: 328337 50882 837 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50882 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50882 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50882 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700421 s]
/proc/loadavg: 2.05 2.13 2.16 3/179 29678
/proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 61579 0 0 0 56 13 0 0 20 0 4 0 30027469 1344868352 61877 33554432000 4194304 16246674 140736068515264 140736068514576 13892866 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29678/statm: 328337 61877 839 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 61877 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 61877 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 61877 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.05 2.13 2.16 3/183 29682
/proc/meminfo: memFree=28903444/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 128014 0 0 0 123 26 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140736068497152 5553672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 328337 128312 881 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.05 2.13 2.16 3/183 29682
/proc/meminfo: memFree=28824076/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 128014 0 0 0 283 26 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140736068497152 8224815 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 328337 128312 881 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.04 2.13 2.16 3/183 29682
/proc/meminfo: memFree=28280480/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=6.28 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269009 0 0 0 585 43 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140736068497152 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 328337 269307 881 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.04 2.12 2.15 4/183 29682
/proc/meminfo: memFree=28260552/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269009 0 0 0 1225 43 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140736068497152 6861768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 328337 269307 881 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.03 2.12 2.15 3/183 29682
/proc/meminfo: memFree=28260800/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269012 0 0 0 2505 43 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140736068497152 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 328337 269310 884 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.02 2.11 2.15 3/183 29682
/proc/meminfo: memFree=28260380/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=51.07 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269012 0 0 0 5064 43 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140736068497152 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 328337 269310 884 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.01 2.09 2.14 3/183 29683
/proc/meminfo: memFree=28252700/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269012 0 0 0 10184 44 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140736068497152 12477813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 328337 269310 884 2943 0 325231 0
[pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1366596

[startup+1362.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/183 29785
/proc/meminfo: memFree=28243656/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1366596 CPUtime=1361.93 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 282608 0 0 0 136140 53 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140736068497152 6836224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 341649 282628 890 2943 0 338543 0
[pid=29678/tid=29679] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1366596

[startup+1422.3 s]
/proc/loadavg: 2.10 2.11 2.09 4/184 29789
/proc/meminfo: memFree=28241132/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1366596 CPUtime=1421.92 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 282608 0 0 0 142139 53 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140736068497152 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 341649 282628 890 2943 0 338543 0
[pid=29678/tid=29679] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1366596

[startup+1482.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/183 29790
/proc/meminfo: memFree=28052376/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1555012 CPUtime=1481.91 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 329660 0 0 0 148131 60 0 0 20 0 4 0 30027469 1592332288 329680 33554432000 4194304 16246674 140736068515264 140736068497152 5721456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 388753 329680 890 2943 0 385647 0
[pid=29678/tid=29679] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329680 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329680 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329680 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1555012

[startup+1542.31 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 29792
/proc/meminfo: memFree=28051836/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1555012 CPUtime=1541.91 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 329712 0 0 0 154130 61 0 0 20 0 4 0 30027469 1592332288 329732 33554432000 4194304 16246674 140736068515264 140736068497152 5707830 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 388753 329732 890 2943 0 385647 0
[pid=29678/tid=29679] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329732 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329732 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329732 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1555012

[startup+1602.3 s]
/proc/loadavg: 2.30 2.17 2.11 3/183 29793
/proc/meminfo: memFree=28039992/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1566276 CPUtime=1601.89 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 160126 63 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 391569 332548 890 2943 0 388463 0
[pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1566276

[startup+1662.3 s]
/proc/loadavg: 2.24 2.17 2.11 3/183 29794
/proc/meminfo: memFree=28040256/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1566276 CPUtime=1661.88 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 166125 63 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 6012147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 391569 332548 890 2943 0 388463 0
[pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1566276

[startup+1722.3 s]
/proc/loadavg: 2.20 2.17 2.11 3/183 29795
/proc/meminfo: memFree=28040236/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1566276 CPUtime=1721.88 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 172124 64 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 391569 332548 890 2943 0 388463 0
[pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1566276

[startup+1782.3 s]
/proc/loadavg: 2.32 2.21 2.12 3/183 29796
/proc/meminfo: memFree=28040008/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1566276 CPUtime=1781.87 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 178123 64 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 391569 332548 890 2943 0 388463 0
[pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1566276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.20 2.12 3/183 29797
/proc/meminfo: memFree=28039852/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1566276 CPUtime=1800.06 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 179942 64 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 6011884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 391569 332548 890 2943 0 388463 0
[pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1566276

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.20 2.12 3/183 29797
/proc/meminfo: memFree=28039852/32872528 swapFree=1191052/1305516
[pid=29678] ppid=29675 vsize=1566276 CPUtime=1800.06 cores=1,3,5,7
/proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 179942 64 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 6011884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29678/statm: 391569 332548 890 2943 0 388463 0
[pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7
/proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1566276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799.43
CPU system time (s): 0.6549
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1566276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.6549
maximum resident set size= 1330192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332528
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= 297
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52831 second user time and 6.98394 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 21:56:48
IDJOB=4106877
IDBENCH=48303
IDSOLVER=2542
FILE ID=node127/4106877-1466279808
RUNJOBID= node127-1466265123-26753
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_60_3_80.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106877-1466279808/watcher-4106877-1466279808 -o /tmp/evaluation-result-4106877-1466279808/solver-4106877-1466279808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106877-1466279808.opb

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

MD5SUM BENCH= d27101fec2f8e3dc322d79bbc996c69e
RANDOM SEED=1506043797

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:        29337332 kB
Buffers:          101248 kB
Cached:           265452 kB
SwapCached:          516 kB
Active:          1218408 kB
Inactive:         271284 kB
Active(anon):    1123064 kB
Inactive(anon):     2184 kB
Active(file):      95344 kB
Inactive(file):   269100 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             17108 kB
Writeback:             0 kB
AnonPages:       2432124 kB
Mapped:            10876 kB
Shmem:                 0 kB
Slab:             604816 kB
SReclaimable:      48920 kB
SUnreclaim:       555896 kB
KernelStack:        1520 kB
PageTables:         8828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2572872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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= 71704 MiB
End job on node127 at 2016-06-18 22:26:49