Trace number 4079660

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
MD5SUM76cbd1f5f345389511b95f4555e7fed1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark197
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 179
Optimality of the best value was proved NO
Number of variables4320
Total number of constraints8415
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8414
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 105
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 232
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 329
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1558
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T22:48:33+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-4079660-1465246113.opb"]
0.00/0.01	c use --random-gen="1212968637 537923502 2133127540 3987424109 2478527555 3614280695 2626814122 677739577 1235218131 4119845789 4254882423 1944903097 3225484474 2109014600 2451000985 126849826 4111483490 3878731473 643546982 2973143334 1895218654 4134274589 1476373338 3446917440 2618857146 1085257155 3485425446 108137537 1302907445 2077895878 2931614323 150071836 1796104570 3077251724 700199172 515035642 826607530 2957364842 343136149 3838573941 430237014 3927498076 1660669928 581876401 3966756230 3910543844 2657822001 874839258 1279101961 3645358242 3212907937 740929715 1323398609 2769031623 1378831263 317393447 2195733304 1432653678 398854846 3022662404 335004673 619138410 211127565 2921183796 1158332448 2562533100 3476848665 177744604 360320083 4122621556 709253603 1551689120 140279250 4100045620 3695491705 890733489 566047486 2205771302 379213176 3895501613 2798454395 2454710178 2889240012 3053714240 4200303021 3999561982 592328945 376169193 1647429908 1032121513 2169718225 2952016061 3156354434 868046506 3117996454 1677815719 1857843572 1569844326 3074945466 1418923563 776519872 452785799 4177076264 916995265 2253824343 3336768493 348728302 3409788070 3020816361 3633020363 3670183019 911962896 234912622 1271857049 1097139921 3244178020 4032664196 256414626 4213295002 2026290219 15510791 4030675957 633506891 490988765 563016963 3589436875 2896990753 1081219412 3169040590 900977300 4084944367 694364197 2399999268 2871204702 1509696526 2718922140 3986099077 1490512487 3228871660 1188755374 1957448299 2355235365 526341289 2207719642 695528249 3430439807 3780243550 4215744162 33305003 3455945050 1674944706 2210149903 78789049 3148271110 3144704754 183703719 2732931714 3403476203 2965510946 3239259133 3169707701 1380892493 205290346 4106368931 2488960537 3321921984 3924332524 1903410921 2690507902 998946373 1628481999 1396124029 2091078147 2706661330 403310489 3197238471 1122662946 328026738 1998700210 2730747398 3480684564 1936500693 1533138197 3852161205 3969005572 2178079931 3709612843 1285131074 2208408645 2009855750 996946949 523076769 3414505753 81740027 2886522041 1157518257 916576049 2701516755 3943926550 51948005 4090941584 2846808233 2716677196 3663413830 3213866444 3644171108 3821694798 2664194149 2971714752 3501249900 171819391 500369112 1514035936 230419707 3713920862 1283579365 2954058371 3023581139 447225359 622371784 2575576508 3280990729 4211699966 277173910 150513648 4009182209 3808250730 3968951471 2084866168 3447043639 4169679668 3583042187 4155059450 3712353040 950413562 520156345 3298033118 217001038 3331797089 2362898079 1894427453 2697824455 4064581300 3498131118 677827885 1569323904 4284576191 413011305 3609740122 2001212532 3817773071 3299959433 2926528467 901901385 2412406854 1140020473 255 362436" option to reproduce the execution
0.39/0.47	c #vars 4320
0.39/0.47	c #constraints 8415
1.19/1.29	c BCD2: Hardening is enabled.
1.19/1.29	c BCD2: BiasedSearch is enabled.
1.19/1.29	c Solving starts ...
1.19/1.29	c ============================[ Search Statistics ]============================
1.19/1.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.29	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.29	c =============================================================================
1.19/1.29	c  0.0s |       0 |        0 |        0 |     4244      0 |        1 |        0
3.59/3.63	c  2.3s |       0 |     3373 |      100 |     4244      0 |        1 |        0
3.59/3.66	c  2.4s |       1 |     3373 |      100 |     4244      0 |        1 |        0
4.59/4.66	c  3.4s |       2 |     3612 |      250 |     4669      0 |        1 |        0
6.19/6.22	c  4.9s |       3 |     4053 |      475 |     5136      0 |        1 |        0
8.29/8.36	c  7.1s |       3 |     4453 |      775 |     5650      0 |        1 |        0
8.59/8.66	c  7.4s |       4 |     4495 |      813 |     5650      0 |        1 |        0
10.69/10.78	c  9.5s |       4 |     4891 |     1113 |     6216      0 |        1 |        0
11.79/11.89	c 10.6s |       4 |     5054 |     1244 |     6216      0 |        1 |        0
11.79/11.89	c #cpu_time = 10.528s
11.79/11.89	c #wall_clock_time = 10.555s
11.79/11.89	c #decision = 5054
11.79/11.89	c #random_decision = 26
11.79/11.89	c #conflict = 1244
11.79/11.89	c #restart = 4
11.79/11.89	o 214
11.79/11.89	c BCD2: updating upper bound: 232 -> 213
11.89/11.90	c BCD2: 0 <= obj <= 213
11.89/11.90	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
11.89/11.90	c BCD2: #sat=1 #unsat=1 bias=1/2
11.89/11.90	c Solving starts ...
11.89/11.90	c ============================[ Search Statistics ]============================
11.89/11.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.89/11.90	c       |         |          |          |    Limit     GC | Var      | Constra 
11.89/11.90	c =============================================================================
11.89/11.90	c  0.0s |       0 |        0 |        0 |     6216      0 |        1 |        0
11.89/11.93	c  0.0s |       0 |        0 |        0 |     6216      0 |        1 |        0
11.89/11.93	c #cpu_time = 0.029s
11.89/11.93	c #wall_clock_time = 0.029s
11.89/11.93	c #decision = 0
11.89/11.93	c #random_decision = 0
11.89/11.93	c #conflict = 0
11.89/11.93	c #restart = 0
11.89/11.93	c BCD2: found a new core of size 1: cost of the new core is >=105
11.89/11.93	c lower bound updated to 105
11.89/11.93	c BCD2: 105 <= obj <= 213
11.89/11.93	c BCD2: #cores=1, #unrelaxed=7, #relaxed=1, #hardened=0
11.89/11.93	c BCD2: #sat=1 #unsat=2 bias=2/3
11.89/11.93	c Solving starts ...
11.89/11.93	c ============================[ Search Statistics ]============================
11.89/11.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.89/11.93	c       |         |          |          |    Limit     GC | Var      | Constra 
11.89/11.93	c =============================================================================
11.89/11.93	c  0.0s |       0 |        0 |        0 |     6216      0 |        1 |        0
12.89/12.94	c  1.0s |       1 |      187 |      100 |     6838      0 |        1 |        0
14.08/14.15	c  2.2s |       2 |      412 |      250 |     6838      0 |        1 |        0
15.88/15.92	c  4.0s |       3 |      716 |      475 |     6838      0 |        1 |        0
18.18/18.20	c  6.3s |       3 |     1110 |      775 |     6838      0 |        1 |        0
18.48/18.52	c  6.6s |       4 |     1152 |      813 |     6838      0 |        1 |        0
20.89/20.98	c  9.1s |       4 |     1586 |     1113 |     7522      0 |        1 |        0
22.58/22.63	c 10.7s |       5 |     1832 |     1320 |     7522      0 |        1 |        0
24.98/25.06	c 13.1s |       5 |     2240 |     1620 |     7522      0 |        1 |        0
27.38/27.47	c 15.5s |       5 |     2596 |     1920 |     7522      0 |        1 |        0
28.48/28.60	c 16.7s |       6 |     2774 |     2081 |     8275      0 |        1 |        0
30.68/30.80	c 18.9s |       6 |     3212 |     2381 |     8275      0 |        1 |        0
33.09/33.17	c 21.2s |       6 |     3542 |     2681 |     8275      0 |        1 |        0
35.88/35.94	c 24.0s |       6 |     3889 |     2981 |     8275      0 |        1 |        0
37.68/37.72	c 25.8s |       7 |     4199 |     3223 |     8275      0 |        1 |        0
40.28/40.35	c 28.4s |       7 |     4717 |     3623 |     8275      0 |        1 |        0
42.89/42.99	c 31.1s |       7 |     5198 |     4023 |     9103      0 |        1 |        0
45.28/45.37	c 33.4s |       7 |     5541 |     4323 |     9103      0 |        1 |        0
47.58/47.62	c 35.7s |       7 |     5895 |     4623 |     9103      0 |        1 |        0
49.98/50.09	c 38.2s |       7 |     6243 |     4923 |     9103      0 |        1 |        0
50.18/50.25	c 38.3s |       8 |     6258 |     4936 |     9103      0 |        1 |        0
52.28/52.34	c 40.4s |       8 |     6678 |     5236 |     9103      0 |        1 |        0
54.48/54.57	c 42.6s |       8 |     7042 |     5536 |     9103      0 |        1 |        0
56.88/56.97	c 45.0s |       8 |     7547 |     5936 |     9103      0 |        1 |        0
59.28/59.34	c 47.4s |       8 |     7994 |     6336 |    10014      0 |        1 |        0
61.38/61.40	c 49.5s |       8 |     8329 |     6636 |    10014      0 |        1 |        0
63.78/63.80	c 51.9s |       8 |     8669 |     6936 |    10014      0 |        1 |        0
65.98/66.03	c 54.1s |       8 |     8999 |     7236 |    10014      0 |        1 |        0
67.58/67.66	c 55.7s |       9 |     9308 |     7506 |    10014      0 |        1 |        0
70.48/70.54	c 58.6s |       9 |     9787 |     7906 |    10014      0 |        1 |        0
72.77/72.88	c 60.9s |       9 |    10125 |     8206 |    10014      0 |        1 |        0
75.77/75.82	c 63.9s |       9 |    10462 |     8506 |    10014      0 |        1 |        0
78.37/78.43	c 66.5s |       9 |    10795 |     8806 |    10014      0 |        1 |        0
80.47/80.54	c 68.6s |       9 |    11007 |     9006 |    10014      0 |        1 |        0
82.58/82.69	c 70.8s |       9 |    11363 |     9306 |    10014      0 |        1 |        0
84.78/84.82	c 72.9s |       9 |    11701 |     9606 |    10014      0 |        1 |        0
87.07/87.12	c 75.2s |       9 |    12036 |     9906 |    10014      0 |        1 |        0
89.47/89.52	c 77.6s |       9 |    12384 |    10206 |    11016      0 |        1 |        0
91.77/91.82	c 79.9s |       9 |    12726 |    10506 |    11016      0 |        1 |        0
94.47/94.57	c 82.6s |       9 |    13046 |    10806 |    11016      1 |        1 |        0
96.67/96.80	c 84.9s |       9 |    13380 |    11106 |    11016      1 |        1 |        0
98.57/98.69	c 86.8s |      10 |    13658 |    11361 |    11016      1 |        1 |        0
100.77/100.84	c 88.9s |      10 |    14042 |    11661 |    11016      1 |        1 |        0
102.87/102.98	c 91.1s |      10 |    14379 |    11961 |    11016      1 |        1 |        0
104.97/105.04	c 93.1s |      10 |    14718 |    12261 |    11016      1 |        1 |        0
107.57/107.61	c 95.7s |      10 |    15089 |    12561 |    11016      1 |        1 |        0
110.08/110.14	c 98.2s |      10 |    15474 |    12861 |    11016      1 |        1 |        0
112.07/112.19	c  100s |      10 |    15815 |    13161 |    11016      1 |        1 |        0
114.67/114.74	c  102s |      10 |    16158 |    13461 |    11016      1 |        1 |        0
116.97/117.01	c  105s |      10 |    16498 |    13761 |    11016      1 |        1 |        0
119.37/119.45	c  107s |      10 |    16832 |    14061 |    11016      1 |        1 |        0
121.77/121.87	c  109s |      10 |    17183 |    14361 |    11016      1 |        1 |        0
124.27/124.37	c  112s |      10 |    17521 |    14661 |    11016      1 |        1 |        0
126.87/126.91	c  114s |      10 |    17880 |    14961 |    11016      1 |        1 |        0
129.27/129.31	c  117s |      10 |    18204 |    15261 |    11016      1 |        1 |        0
131.67/131.79	c  119s |      10 |    18560 |    15561 |    11016      1 |        1 |        0
134.06/134.16	c  122s |      10 |    18910 |    15861 |    12118      1 |        1 |        0
136.37/136.42	c  124s |      10 |    19242 |    16161 |    12118      1 |        1 |        0
138.67/138.79	c  126s |      10 |    19565 |    16461 |    12118      1 |        1 |        0
141.06/141.15	c  129s |      10 |    19929 |    16761 |    12118      1 |        1 |        0
143.16/143.28	c  131s |      10 |    20281 |    17061 |    12118      1 |        1 |        0
143.96/144.04	c  132s |      11 |    20391 |    17144 |    12118      1 |        1 |        0
146.27/146.34	c  134s |      11 |    20780 |    17444 |    12118      2 |        1 |        0
148.86/148.90	c  136s |      11 |    21263 |    17844 |    12118      2 |        1 |        0
151.66/151.76	c  139s |      11 |    21723 |    18244 |    12118      2 |        1 |        0
153.97/154.06	c  142s |      11 |    22053 |    18544 |    12118      2 |        1 |        0
156.66/156.72	c  144s |      11 |    22408 |    18844 |    12118      2 |        1 |        0
158.86/158.92	c  146s |      11 |    22754 |    19144 |    12118      2 |        1 |        0
161.46/161.51	c  149s |      11 |    23094 |    19444 |    12118      2 |        1 |        0
163.87/163.95	c  152s |      11 |    23428 |    19744 |    12118      2 |        1 |        0
166.36/166.46	c  154s |      11 |    23762 |    20044 |    12118      2 |        1 |        0
168.96/169.07	c  157s |      11 |    24107 |    20344 |    12118      2 |        1 |        0
171.57/171.70	c  159s |      11 |    24443 |    20644 |    12118      2 |        1 |        0
174.16/174.21	c  162s |      11 |    24773 |    20944 |    12118      2 |        1 |        0
176.66/176.76	c  164s |      11 |    25100 |    21244 |    12118      2 |        1 |        0
179.26/179.36	c  167s |      11 |    25429 |    21544 |    12118      2 |        1 |        0
181.96/182.05	c  170s |      11 |    25763 |    21844 |    12118      2 |        1 |        0
184.36/184.48	c  172s |      11 |    26136 |    22144 |    12118      2 |        1 |        0
187.16/187.20	c  175s |      11 |    26594 |    22544 |    12118      2 |        1 |        0
189.46/189.53	c  177s |      11 |    26937 |    22844 |    12118      2 |        1 |        0
191.86/191.91	c  179s |      11 |    27290 |    23144 |    12118      2 |        1 |        0
194.76/194.86	c  182s |      11 |    27642 |    23444 |    12118      3 |        1 |        0
197.36/197.43	c  185s |      11 |    28109 |    23844 |    12118      3 |        1 |        0
199.56/199.63	c  187s |      11 |    28454 |    24144 |    12118      3 |        1 |        0
201.66/201.70	c  189s |      11 |    28787 |    24444 |    13330      3 |        1 |        0
203.86/203.90	c  191s |      11 |    29111 |    24744 |    13330      3 |        1 |        0
206.06/206.14	c  194s |      11 |    29427 |    25044 |    13330      3 |        1 |        0
208.16/208.27	c  196s |      11 |    29775 |    25344 |    13330      3 |        1 |        0
210.46/210.50	c  198s |      11 |    30122 |    25644 |    13330      3 |        1 |        0
211.86/211.98	c  200s |      12 |    30322 |    25819 |    13330      3 |        1 |        0
214.06/214.18	c  202s |      12 |    30687 |    26119 |    13330      3 |        1 |        0
216.56/216.70	c  204s |      12 |    31126 |    26519 |    13330      3 |        1 |        0
219.06/219.12	c  207s |      12 |    31488 |    26819 |    13330      3 |        1 |        0
221.46/221.57	c  209s |      12 |    31824 |    27119 |    13330      3 |        1 |        0
223.86/223.96	c  212s |      12 |    32165 |    27419 |    13330      3 |        1 |        0
226.46/226.51	c  214s |      12 |    32502 |    27719 |    13330      3 |        1 |        0
228.87/228.98	c  217s |      12 |    32890 |    28019 |    13330      3 |        1 |        0
231.46/231.51	c  219s |      12 |    33241 |    28319 |    13330      3 |        1 |        0
233.76/233.88	c  221s |      12 |    33613 |    28619 |    13330      3 |        1 |        0
236.26/236.33	c  224s |      12 |    33957 |    28919 |    13330      3 |        1 |        0
238.96/239.02	c  227s |      12 |    34299 |    29219 |    13330      3 |        1 |        0
241.76/241.88	c  229s |      12 |    34636 |    29519 |    13330      3 |        1 |        0
244.56/244.69	c  232s |      12 |    34996 |    29819 |    13330      3 |        1 |        0
247.36/247.49	c  235s |      12 |    35327 |    30119 |    13330      3 |        1 |        0
250.06/250.14	c  238s |      12 |    35665 |    30419 |    13330      3 |        1 |        0
252.76/252.80	c  240s |      12 |    36016 |    30719 |    13330      3 |        1 |        0
255.36/255.44	c  243s |      12 |    36357 |    31019 |    13330      3 |        1 |        0
257.75/257.87	c  245s |      12 |    36693 |    31319 |    13330      3 |        1 |        0
260.35/260.45	c  248s |      12 |    37034 |    31619 |    13330      4 |        1 |        0
262.55/262.65	c  250s |      12 |    37359 |    31919 |    13330      4 |        1 |        0
264.65/264.72	c  252s |      12 |    37678 |    32219 |    13330      4 |        1 |        0
267.36/267.40	c  255s |      12 |    38115 |    32619 |    13330      4 |        1 |        0
269.35/269.49	c  257s |      12 |    38439 |    32919 |    13330      4 |        1 |        0
271.55/271.63	c  259s |      12 |    38770 |    33219 |    13330      4 |        1 |        0
274.15/274.21	c  262s |      12 |    39089 |    33519 |    13330      4 |        1 |        0
276.75/276.81	c  264s |      12 |    39527 |    33919 |    13330      4 |        1 |        0
278.75/278.83	c  266s |      12 |    39861 |    34219 |    13330      4 |        1 |        0
280.85/280.95	c  269s |      12 |    40177 |    34519 |    13330      4 |        1 |        0
282.85/282.97	c  271s |      12 |    40510 |    34819 |    13330      4 |        1 |        0
284.96/285.08	c  273s |      12 |    40841 |    35119 |    13330      4 |        1 |        0
287.65/287.77	c  275s |      12 |    41263 |    35519 |    13330      4 |        1 |        0
290.25/290.34	c  278s |      12 |    41710 |    35919 |    13330      4 |        1 |        0
292.66/292.72	c  280s |      12 |    42033 |    36219 |    13330      4 |        1 |        0
294.65/294.78	c  282s |      12 |    42369 |    36519 |    13330      4 |        1 |        0
296.95/297.00	c  285s |      12 |    42706 |    36819 |    13330      4 |        1 |        0
299.35/299.45	c  287s |      12 |    43031 |    37119 |    13330      4 |        1 |        0
301.95/302.06	c  290s |      12 |    43342 |    37419 |    14664      4 |        1 |        0
304.35/304.49	c  292s |      12 |    43668 |    37719 |    14664      4 |        1 |        0
306.75/306.85	c  294s |      12 |    44000 |    38019 |    14664      4 |        1 |        0
309.15/309.27	c  297s |      12 |    44329 |    38319 |    14664      4 |        1 |        0
311.45/311.58	c  299s |      12 |    44667 |    38619 |    14664      4 |        1 |        0
313.05/313.18	c  301s |      13 |    44903 |    38832 |    14664      4 |        1 |        0
315.85/315.98	c  304s |      13 |    45273 |    39132 |    14664      4 |        1 |        0
318.24/318.34	c  306s |      13 |    45650 |    39432 |    14664      4 |        1 |        0
320.54/320.66	c  308s |      13 |    46008 |    39732 |    14664      5 |        1 |        0
323.04/323.18	c  311s |      13 |    46355 |    40032 |    14664      5 |        1 |        0
325.44/325.59	c  313s |      13 |    46717 |    40332 |    14664      5 |        1 |        0
327.85/327.95	c  316s |      13 |    47071 |    40632 |    14664      5 |        1 |        0
330.44/330.54	c  318s |      13 |    47460 |    40932 |    14664      5 |        1 |        0
332.64/332.77	c  320s |      13 |    47799 |    41232 |    14664      5 |        1 |        0
334.94/335.09	c  323s |      13 |    48152 |    41532 |    14664      5 |        1 |        0
337.14/337.28	c  325s |      13 |    48515 |    41832 |    14664      5 |        1 |        0
339.85/339.99	c  328s |      13 |    48854 |    42132 |    14664      5 |        1 |        0
342.44/342.57	c  330s |      13 |    49176 |    42432 |    14664      5 |        1 |        0
345.35/345.42	c  333s |      13 |    49496 |    42732 |    14664      5 |        1 |        0
347.84/347.91	c  335s |      13 |    49723 |    42932 |    14664      5 |        1 |        0
350.34/350.46	c  338s |      13 |    50060 |    43232 |    14664      5 |        1 |        0
353.44/353.52	c  341s |      13 |    50418 |    43532 |    14664      5 |        1 |        0
356.24/356.30	c  344s |      13 |    50767 |    43832 |    14664      5 |        1 |        0
358.84/358.94	c  347s |      13 |    51098 |    44132 |    14664      5 |        1 |        0
361.44/361.59	c  349s |      13 |    51433 |    44432 |    14664      5 |        1 |        0
364.14/364.24	c  352s |      13 |    51757 |    44732 |    14664      5 |        1 |        0
366.64/366.74	c  354s |      13 |    52081 |    45032 |    14664      5 |        1 |        0
369.04/369.15	c  357s |      13 |    52408 |    45332 |    14664      5 |        1 |        0
371.84/371.97	c  360s |      13 |    52731 |    45632 |    14664      5 |        1 |        0
374.14/374.28	c  362s |      13 |    52955 |    45832 |    14664      5 |        1 |        0
377.13/377.23	c  365s |      13 |    53280 |    46132 |    14664      5 |        1 |        0
379.73/379.85	c  367s |      13 |    53615 |    46432 |    14664      5 |        1 |        0
382.84/382.91	c  370s |      13 |    53957 |    46732 |    14664      5 |        1 |        0
385.73/385.80	c  373s |      13 |    54283 |    47032 |    14664      5 |        1 |        0
388.73/388.82	c  376s |      13 |    54627 |    47332 |    14664      6 |        1 |        0
391.43/391.56	c  379s |      13 |    54958 |    47632 |    14664      6 |        1 |        0
393.84/393.99	c  382s |      13 |    55291 |    47932 |    14664      6 |        1 |        0
396.53/396.68	c  384s |      13 |    55641 |    48232 |    14664      6 |        1 |        0
399.24/399.34	c  387s |      13 |    55984 |    48532 |    14664      6 |        1 |        0
401.83/401.95	c  390s |      13 |    56323 |    48832 |    14664      6 |        1 |        0
404.23/404.34	c  392s |      13 |    56672 |    49132 |    14664      6 |        1 |        0
406.73/406.87	c  394s |      13 |    57009 |    49432 |    14664      6 |        1 |        0
409.63/409.77	c  397s |      13 |    57343 |    49732 |    14664      6 |        1 |        0
411.73/411.81	c  399s |      13 |    57551 |    49932 |    14664      6 |        1 |        0
414.53/414.61	c  402s |      13 |    57877 |    50232 |    14664      6 |        1 |        0
416.73/416.85	c  404s |      13 |    58084 |    50432 |    14664      6 |        1 |        0
419.33/419.49	c  407s |      13 |    58440 |    50732 |    14664      6 |        1 |        0
422.03/422.17	c  410s |      13 |    58795 |    51032 |    14664      6 |        1 |        0
424.53/424.64	c  412s |      13 |    59138 |    51332 |    14664      6 |        1 |        0
426.93/427.03	c  415s |      13 |    59472 |    51632 |    14664      6 |        1 |        0
429.42/429.55	c  417s |      13 |    59822 |    51932 |    14664      6 |        1 |        0
431.52/431.60	c  419s |      13 |    60183 |    52232 |    14664      6 |        1 |        0
433.52/433.68	c  421s |      13 |    60520 |    52532 |    14664      6 |        1 |        0
435.92/436.07	c  424s |      13 |    60859 |    52832 |    14664      6 |        1 |        0
438.12/438.24	c  426s |      13 |    61203 |    53132 |    14664      6 |        1 |        0
440.22/440.35	c  428s |      13 |    61565 |    53432 |    14664      6 |        1 |        0
442.42/442.57	c  430s |      13 |    61917 |    53732 |    14664      6 |        1 |        0
444.43/444.59	c  432s |      13 |    62285 |    54032 |    14664      6 |        1 |        0
447.02/447.19	c  435s |      13 |    62633 |    54332 |    14664      6 |        1 |        0
449.62/449.73	c  437s |      13 |    62974 |    54632 |    14664      6 |        1 |        0
451.62/451.76	c  439s |      13 |    63309 |    54932 |    14664      6 |        1 |        0
454.23/454.33	c  442s |      13 |    63634 |    55232 |    14664      7 |        1 |        0
456.92/457.04	c  445s |      13 |    64075 |    55632 |    14664      7 |        1 |        0
459.42/459.55	c  447s |      13 |    64405 |    55932 |    14664      7 |        1 |        0
462.12/462.25	c  450s |      13 |    64744 |    56232 |    14664      7 |        1 |        0
464.42/464.50	c  452s |      13 |    64956 |    56432 |    14664      7 |        1 |        0
466.52/466.60	c  454s |      13 |    65188 |    56632 |    14664      7 |        1 |        0
468.72/468.82	c  456s |      13 |    65535 |    56932 |    16131      7 |        1 |        0
471.02/471.14	c  459s |      13 |    65869 |    57232 |    16131      7 |        1 |        0
473.32/473.44	c  461s |      13 |    66198 |    57532 |    16131      7 |        1 |        0
476.12/476.20	c  464s |      13 |    66530 |    57832 |    16131      7 |        1 |        0
478.62/478.76	c  466s |      13 |    66884 |    58132 |    16131      7 |        1 |        0
480.32/480.45	c  468s |      14 |    67130 |    58352 |    16131      7 |        1 |        0
482.52/482.62	c  470s |      14 |    67393 |    58552 |    16131      7 |        1 |        0
485.22/485.33	c  473s |      14 |    67774 |    58852 |    16131      7 |        1 |        0
487.82/487.98	c  476s |      14 |    68130 |    59152 |    16131      7 |        1 |        0
490.72/490.85	c  478s |      14 |    68461 |    59452 |    16131      7 |        1 |        0
493.22/493.38	c  481s |      14 |    68795 |    59752 |    16131      7 |        1 |        0
495.51/495.63	c  483s |      14 |    69133 |    60052 |    16131      7 |        1 |        0
498.22/498.32	c  486s |      14 |    69498 |    60352 |    16131      7 |        1 |        0
500.31/500.45	c  488s |      14 |    69962 |    60752 |    16131      7 |        1 |        0
502.81/502.98	c  491s |      14 |    70409 |    61152 |    16131      7 |        1 |        0
505.01/505.18	c  493s |      14 |    70778 |    61452 |    16131      7 |        1 |        0
507.12/507.23	c  495s |      14 |    71110 |    61752 |    16131      7 |        1 |        0
509.61/509.77	c  497s |      14 |    71473 |    62052 |    16131      7 |        1 |        0
512.01/512.19	c  500s |      14 |    71827 |    62352 |    16131      7 |        1 |        0
514.51/514.67	c  502s |      14 |    72162 |    62652 |    16131      7 |        1 |        0
516.61/516.72	c  504s |      14 |    72505 |    62952 |    16131      7 |        1 |        0
519.12/519.21	c  507s |      14 |    72836 |    63252 |    16131      7 |        1 |        0
521.42/521.53	c  509s |      14 |    73166 |    63552 |    16131      7 |        1 |        0
523.81/523.97	c  512s |      14 |    73484 |    63852 |    16131      7 |        1 |        0
526.61/526.71	c  514s |      14 |    73812 |    64152 |    16131      7 |        1 |        0
529.41/529.53	c  517s |      14 |    74145 |    64452 |    16131      8 |        1 |        0
531.51/531.68	c  519s |      14 |    74485 |    64752 |    16131      8 |        1 |        0
533.61/533.72	c  521s |      14 |    74819 |    65052 |    16131      8 |        1 |        0
536.01/536.18	c  524s |      14 |    75283 |    65452 |    16131      8 |        1 |        0
538.31/538.48	c  526s |      14 |    75626 |    65752 |    16131      8 |        1 |        0
540.91/541.06	c  529s |      14 |    75956 |    66052 |    16131      8 |        1 |        0
543.61/543.79	c  531s |      14 |    76288 |    66352 |    16131      8 |        1 |        0
546.11/546.21	c  534s |      14 |    76620 |    66652 |    16131      8 |        1 |        0
548.91/549.06	c  537s |      14 |    76951 |    66952 |    16131      8 |        1 |        0
551.51/551.69	c  539s |      14 |    77279 |    67252 |    16131      8 |        1 |        0
553.71/553.85	c  541s |      14 |    77623 |    67552 |    16131      8 |        1 |        0
555.91/556.05	c  544s |      14 |    77957 |    67852 |    16131      8 |        1 |        0
558.61/558.79	c  546s |      14 |    78285 |    68152 |    16131      8 |        1 |        0
561.20/561.36	c  549s |      14 |    78639 |    68452 |    16131      8 |        1 |        0
563.60/563.77	c  551s |      14 |    79006 |    68752 |    16131      8 |        1 |        0
565.90/566.02	c  554s |      14 |    79370 |    69052 |    16131      8 |        1 |        0
568.20/568.38	c  556s |      14 |    79727 |    69352 |    16131      8 |        1 |        0
570.70/570.87	c  558s |      14 |    80093 |    69652 |    16131      8 |        1 |        0
573.11/573.21	c  561s |      14 |    80438 |    69952 |    16131      8 |        1 |        0
575.50/575.67	c  563s |      14 |    80756 |    70252 |    16131      8 |        1 |        0
578.20/578.33	c  566s |      14 |    81085 |    70552 |    16131      8 |        1 |        0
580.81/580.95	c  569s |      14 |    81451 |    70852 |    16131      8 |        1 |        0
583.30/583.44	c  571s |      14 |    81815 |    71152 |    16131      8 |        1 |        0
585.80/585.97	c  574s |      14 |    82139 |    71452 |    16131      8 |        1 |        0
588.80/588.90	c  576s |      14 |    82469 |    71752 |    16131      8 |        1 |        0
591.71/591.82	c  579s |      14 |    82811 |    72052 |    16131      8 |        1 |        0
594.40/594.57	c  582s |      14 |    83162 |    72352 |    16131      8 |        1 |        0
597.10/597.24	c  585s |      14 |    83479 |    72652 |    16131      8 |        1 |        0
600.70/600.80	c  588s |      14 |    83818 |    72952 |    16131      9 |        1 |        0
603.20/603.30	c  591s |      14 |    84147 |    73252 |    16131      9 |        1 |        0
605.30/605.43	c  593s |      14 |    84409 |    73452 |    16131      9 |        1 |        0
607.30/607.46	c  595s |      14 |    84635 |    73652 |    16131      9 |        1 |        0
610.00/610.15	c  598s |      14 |    84986 |    73952 |    16131      9 |        1 |        0
612.00/612.17	c  600s |      14 |    85248 |    74152 |    16131      9 |        1 |        0
614.70/614.86	c  602s |      14 |    85606 |    74452 |    16131      9 |        1 |        0
617.60/617.74	c  605s |      14 |    85951 |    74752 |    16131      9 |        1 |        0
620.50/620.60	c  608s |      14 |    86288 |    75052 |    16131      9 |        1 |        0
622.50/622.61	c  610s |      14 |    86517 |    75252 |    16131      9 |        1 |        0
625.20/625.40	c  613s |      14 |    86842 |    75552 |    16131      9 |        1 |        0
628.10/628.23	c  616s |      14 |    87177 |    75852 |    16131      9 |        1 |        0
630.60/630.73	c  618s |      14 |    87396 |    76052 |    16131      9 |        1 |        0
632.89/633.04	c  621s |      14 |    87620 |    76252 |    16131      9 |        1 |        0
635.49/635.61	c  623s |      14 |    87851 |    76452 |    16131      9 |        1 |        0
637.69/637.85	c  625s |      14 |    88086 |    76652 |    16131      9 |        1 |        0
640.49/640.66	c  628s |      14 |    88444 |    76952 |    16131      9 |        1 |        0
643.40/643.52	c  631s |      14 |    88798 |    77252 |    16131      9 |        1 |        0
645.99/646.13	c  634s |      14 |    89151 |    77552 |    16131      9 |        1 |        0
648.90/649.09	c  637s |      14 |    89493 |    77852 |    16131      9 |        1 |        0
651.99/652.14	c  640s |      14 |    89851 |    78152 |    16131      9 |        1 |        0
654.09/654.21	c  642s |      14 |    90072 |    78352 |    16131      9 |        1 |        0
656.19/656.36	c  644s |      14 |    90289 |    78552 |    16131      9 |        1 |        0
659.19/659.39	c  647s |      14 |    90639 |    78852 |    16131      9 |        1 |        0
661.49/661.61	c  649s |      14 |    90896 |    79052 |    16131      9 |        1 |        0
663.69/663.88	c  651s |      14 |    91150 |    79252 |    16131      9 |        1 |        0
666.89/667.08	c  655s |      14 |    91515 |    79552 |    16131      9 |        1 |        0
669.69/669.87	c  657s |      14 |    91875 |    79852 |    16131      9 |        1 |        0
671.79/671.95	c  660s |      14 |    92113 |    80052 |    16131      9 |        1 |        0
674.69/674.81	c  662s |      14 |    92439 |    80352 |    16131      9 |        1 |        0
676.69/676.89	c  664s |      14 |    92663 |    80552 |    16131      9 |        1 |        0
679.79/679.91	c  667s |      14 |    93002 |    80852 |    16131      9 |        1 |        0
682.19/682.32	c  670s |      14 |    93221 |    81052 |    16131     10 |        1 |        0
685.09/685.28	c  673s |      14 |    93576 |    81352 |    16131     10 |        1 |        0
687.79/687.93	c  676s |      14 |    94018 |    81752 |    16131     10 |        1 |        0
690.49/690.68	c  678s |      14 |    94343 |    82052 |    16131     10 |        1 |        0
693.28/693.45	c  681s |      14 |    94674 |    82352 |    16131     10 |        1 |        0
695.88/696.06	c  684s |      14 |    95014 |    82652 |    16131     10 |        1 |        0
698.58/698.76	c  686s |      14 |    95345 |    82952 |    16131     10 |        1 |        0
701.48/701.64	c  689s |      14 |    95687 |    83252 |    16131     10 |        1 |        0
704.18/704.36	c  692s |      14 |    96007 |    83552 |    16131     10 |        1 |        0
706.19/706.38	c  694s |      14 |    96221 |    83752 |    16131     10 |        1 |        0
708.98/709.10	c  697s |      14 |    96558 |    84052 |    16131     10 |        1 |        0
711.08/711.25	c  699s |      14 |    96920 |    84352 |    16131     10 |        1 |        0
713.79/713.98	c  702s |      14 |    97253 |    84652 |    16131     10 |        1 |        0
716.58/716.70	c  704s |      14 |    97612 |    84952 |    16131     10 |        1 |        0
718.88/719.05	c  707s |      14 |    97940 |    85252 |    16131     10 |        1 |        0
721.78/721.95	c  710s |      14 |    98275 |    85552 |    16131     10 |        1 |        0
723.79/723.96	c  712s |      14 |    98489 |    85752 |    16131     10 |        1 |        0
726.48/726.68	c  714s |      14 |    98831 |    86052 |    17745     10 |        1 |        0
729.19/729.36	c  717s |      14 |    99171 |    86352 |    17745     10 |        1 |        0
731.28/731.44	c  719s |      14 |    99396 |    86552 |    17745     10 |        1 |        0
733.38/733.52	c  721s |      14 |    99613 |    86752 |    17745     10 |        1 |        0
735.98/736.17	c  724s |      14 |    99945 |    87052 |    17745     10 |        1 |        0
738.88/739.07	c  727s |      14 |   100285 |    87352 |    17745     10 |        1 |        0
741.58/741.78	c  729s |      15 |   100586 |    87632 |    17745     10 |        1 |        0
744.08/744.23	c  732s |      15 |   100950 |    87932 |    17745     10 |        1 |        0
746.98/747.15	c  735s |      15 |   101295 |    88232 |    17745     10 |        1 |        0
749.78/749.94	c  738s |      15 |   101662 |    88532 |    17745     10 |        1 |        0
751.78/751.99	c  740s |      15 |   101990 |    88832 |    17745     10 |        1 |        0
754.08/754.29	c  742s |      15 |   102350 |    89132 |    17745     10 |        1 |        0
756.87/757.01	c  745s |      15 |   102695 |    89432 |    17745     10 |        1 |        0
759.27/759.44	c  747s |      15 |   103043 |    89732 |    17745     10 |        1 |        0
762.07/762.24	c  750s |      15 |   103395 |    90032 |    17745     10 |        1 |        0
764.87/765.03	c  753s |      15 |   103739 |    90332 |    17745     10 |        1 |        0
767.68/767.85	c  755s |      15 |   104082 |    90632 |    17745     10 |        1 |        0
769.77/769.96	c  758s |      15 |   104319 |    90832 |    17745     10 |        1 |        0
772.08/772.22	c  760s |      15 |   104573 |    91032 |    17745     11 |        1 |        0
774.87/775.01	c  763s |      15 |   104915 |    91332 |    17745     11 |        1 |        0
777.27/777.44	c  765s |      15 |   105274 |    91632 |    17745     11 |        1 |        0
779.78/779.91	c  767s |      15 |   105630 |    91932 |    17745     11 |        1 |        0
782.57/782.71	c  770s |      15 |   105978 |    92232 |    17745     11 |        1 |        0
784.97/785.17	c  773s |      15 |   106307 |    92532 |    17745     11 |        1 |        0
787.67/787.83	c  775s |      15 |   106649 |    92832 |    17745     11 |        1 |        0
789.97/790.18	c  778s |      15 |   107031 |    93132 |    17745     11 |        1 |        0
792.67/792.81	c  780s |      15 |   107361 |    93432 |    17745     11 |        1 |        0
795.28/795.44	c  783s |      15 |   107718 |    93732 |    17745     11 |        1 |        0
797.67/797.85	c  785s |      15 |   108093 |    94032 |    17745     11 |        1 |        0
800.17/800.33	c  788s |      15 |   108414 |    94332 |    17745     11 |        1 |        0
802.87/803.09	c  791s |      15 |   108744 |    94632 |    17745     11 |        1 |        0
805.57/805.77	c  793s |      15 |   109061 |    94932 |    17745     11 |        1 |        0
807.77/807.92	c  795s |      15 |   109396 |    95232 |    17745     11 |        1 |        0
810.27/810.48	c  798s |      15 |   109721 |    95532 |    17745     11 |        1 |        0
812.77/812.97	c  801s |      15 |   110037 |    95832 |    17745     11 |        1 |        0
814.97/815.10	c  803s |      15 |   110382 |    96132 |    17745     11 |        1 |        0
817.27/817.49	c  805s |      15 |   110759 |    96432 |    17745     11 |        1 |        0
819.27/819.50	c  807s |      15 |   111096 |    96732 |    17745     11 |        1 |        0
821.77/821.91	c  809s |      15 |   111434 |    97032 |    17745     11 |        1 |        0
823.77/823.96	c  812s |      15 |   111781 |    97332 |    17745     11 |        1 |        0
826.26/826.46	c  814s |      15 |   112225 |    97732 |    17745     11 |        1 |        0
828.36/828.60	c  816s |      15 |   112552 |    98032 |    17745     11 |        1 |        0
831.47/831.62	c  819s |      15 |   112987 |    98432 |    17745     11 |        1 |        0
833.77/833.99	c  822s |      15 |   113306 |    98732 |    17745     11 |        1 |        0
836.46/836.62	c  824s |      15 |   113631 |    99032 |    17745     11 |        1 |        0
838.56/838.72	c  826s |      15 |   113844 |    99232 |    17745     11 |        1 |        0
841.26/841.41	c  829s |      15 |   114183 |    99532 |    17745     11 |        1 |        0
844.16/844.38	c  832s |      15 |   114509 |    99832 |    17745     11 |        1 |        0
846.36/846.50	c  834s |      15 |   114722 |   100032 |    17745     11 |        1 |        0
848.56/848.75	c  836s |      15 |   114955 |   100232 |    17745     12 |        1 |        0
851.56/851.70	c  839s |      15 |   115328 |   100532 |    17745     12 |        1 |        0
853.66/853.82	c  841s |      15 |   115666 |   100832 |    17745     12 |        1 |        0
856.66/856.80	c  844s |      15 |   115996 |   101132 |    17745     12 |        1 |        0
859.36/859.52	c  847s |      15 |   116324 |   101432 |    17745     12 |        1 |        0
861.86/862.00	c  850s |      15 |   116636 |   101732 |    17745     12 |        1 |        0
864.36/864.58	c  852s |      15 |   116978 |   102032 |    17745     12 |        1 |        0
866.96/867.12	c  855s |      15 |   117316 |   102332 |    17745     12 |        1 |        0
869.66/869.88	c  857s |      15 |   117645 |   102632 |    17745     12 |        1 |        0
871.76/871.97	c  860s |      15 |   117868 |   102832 |    17745     12 |        1 |        0
874.16/874.30	c  862s |      15 |   118192 |   103132 |    17745     12 |        1 |        0
876.46/876.67	c  864s |      15 |   118556 |   103432 |    17745     12 |        1 |        0
879.26/879.41	c  867s |      15 |   118881 |   103732 |    17745     12 |        1 |        0
881.96/882.17	c  870s |      15 |   119210 |   104032 |    17745     12 |        1 |        0
884.56/884.78	c  872s |      15 |   119544 |   104332 |    17745     12 |        1 |        0
886.96/887.15	c  875s |      15 |   119870 |   104632 |    17745     12 |        1 |        0
889.55/889.72	c  877s |      15 |   120207 |   104932 |    17745     12 |        1 |        0
892.06/892.28	c  880s |      15 |   120612 |   105232 |    17745     12 |        1 |        0
894.26/894.50	c  882s |      15 |   120977 |   105532 |    17745     12 |        1 |        0
896.85/897.07	c  885s |      15 |   121359 |   105832 |    17745     12 |        1 |        0
899.55/899.74	c  887s |      15 |   121678 |   106132 |    17745     12 |        1 |        0
901.96/902.14	c  890s |      15 |   121995 |   106432 |    17745     12 |        1 |        0
904.25/904.47	c  892s |      15 |   122310 |   106732 |    17745     12 |        1 |        0
906.55/906.74	c  894s |      15 |   122653 |   107032 |    17745     12 |        1 |        0
908.75/908.96	c  897s |      15 |   122996 |   107332 |    17745     12 |        1 |        0
911.15/911.31	c  899s |      15 |   123347 |   107632 |    17745     12 |        1 |        0
913.35/913.58	c  901s |      15 |   123676 |   107932 |    17745     12 |        1 |        0
915.65/915.82	c  903s |      15 |   123891 |   108132 |    17745     12 |        1 |        0
917.65/917.88	c  905s |      15 |   124217 |   108432 |    17745     12 |        1 |        0
920.05/920.26	c  908s |      15 |   124546 |   108732 |    17745     12 |        1 |        0
922.55/922.79	c  910s |      15 |   124884 |   109032 |    17745     12 |        1 |        0
925.45/925.60	c  913s |      15 |   125212 |   109332 |    17745     13 |        1 |        0
927.55/927.79	c  915s |      15 |   125537 |   109632 |    17745     13 |        1 |        0
930.25/930.45	c  918s |      15 |   125953 |   110032 |    17745     13 |        1 |        0
932.45/932.60	c  920s |      15 |   126295 |   110332 |    17745     13 |        1 |        0
934.55/934.79	c  922s |      15 |   126617 |   110632 |    17745     13 |        1 |        0
937.15/937.30	c  925s |      15 |   126938 |   110932 |    17745     13 |        1 |        0
939.65/939.81	c  927s |      15 |   127254 |   111232 |    17745     13 |        1 |        0
942.05/942.21	c  930s |      15 |   127573 |   111532 |    17745     13 |        1 |        0
944.65/944.84	c  932s |      15 |   127883 |   111832 |    17745     13 |        1 |        0
947.35/947.50	c  935s |      15 |   128217 |   112132 |    17745     13 |        1 |        0
949.95/950.14	c  938s |      15 |   128564 |   112432 |    17745     13 |        1 |        0
952.65/952.86	c  940s |      15 |   128899 |   112732 |    17745     13 |        1 |        0
955.14/955.32	c  943s |      15 |   129218 |   113032 |    17745     13 |        1 |        0
957.34/957.56	c  945s |      15 |   129541 |   113332 |    17745     13 |        1 |        0
960.04/960.29	c  948s |      15 |   129862 |   113632 |    17745     13 |        1 |        0
962.94/963.15	c  951s |      15 |   130184 |   113932 |    17745     13 |        1 |        0
966.04/966.23	c  954s |      15 |   130507 |   114232 |    17745     13 |        1 |        0
968.95/969.19	c  957s |      15 |   130823 |   114532 |    17745     13 |        1 |        0
971.04/971.22	c  959s |      15 |   131039 |   114732 |    17745     13 |        1 |        0
973.94/974.12	c  962s |      15 |   131364 |   115032 |    17745     13 |        1 |        0
975.94/976.19	c  964s |      15 |   131583 |   115232 |    17745     13 |        1 |        0
978.64/978.89	c  966s |      15 |   131915 |   115532 |    17745     13 |        1 |        0
981.74/981.97	c  970s |      15 |   132279 |   115832 |    17745     13 |        1 |        0
984.45/984.69	c  972s |      15 |   132622 |   116132 |    17745     13 |        1 |        0
987.14/987.34	c  975s |      15 |   132946 |   116432 |    17745     13 |        1 |        0
989.64/989.82	c  977s |      15 |   133280 |   116732 |    17745     13 |        1 |        0
992.24/992.46	c  980s |      15 |   133609 |   117032 |    17745     13 |        1 |        0
994.84/995.01	c  983s |      15 |   133959 |   117332 |    17745     13 |        1 |        0
997.14/997.30	c  985s |      15 |   134305 |   117632 |    17745     13 |        1 |        0
999.14/999.34	c  987s |      15 |   134613 |   117932 |    17745     13 |        1 |        0
1001.54/1001.79	c  989s |      15 |   134947 |   118232 |    17745     13 |        1 |        0
1004.44/1004.62	c  992s |      15 |   135293 |   118532 |    17745     14 |        1 |        0
1007.34/1007.56	c  995s |      15 |   135606 |   118832 |    17745     14 |        1 |        0
1009.94/1010.12	c  998s |      15 |   135927 |   119132 |    17745     14 |        1 |        0
1012.64/1012.89	c 1000s |      15 |   136244 |   119432 |    17745     14 |        1 |        0
1014.74/1014.97	c 1003s |      15 |   136465 |   119632 |    17745     14 |        1 |        0
1017.54/1017.77	c 1005s |      15 |   136798 |   119932 |    17745     14 |        1 |        0
1020.53/1020.75	c 1008s |      15 |   137121 |   120232 |    17745     14 |        1 |        0
1022.63/1022.87	c 1010s |      15 |   137337 |   120432 |    17745     14 |        1 |        0
1025.53/1025.73	c 1013s |      15 |   137658 |   120732 |    17745     14 |        1 |        0
1027.83/1028.01	c 1016s |      15 |   137878 |   120932 |    17745     14 |        1 |        0
1030.03/1030.28	c 1018s |      15 |   138093 |   121132 |    17745     14 |        1 |        0
1032.33/1032.50	c 1020s |      15 |   138306 |   121332 |    17745     14 |        1 |        0
1035.23/1035.49	c 1023s |      15 |   138632 |   121632 |    17745     14 |        1 |        0
1037.43/1037.69	c 1025s |      15 |   138841 |   121832 |    17745     14 |        1 |        0
1040.33/1040.57	c 1028s |      15 |   139169 |   122132 |    17745     14 |        1 |        0
1043.03/1043.21	c 1031s |      15 |   139498 |   122432 |    17745     14 |        1 |        0
1045.73/1045.90	c 1033s |      15 |   139830 |   122732 |    17745     14 |        1 |        0
1048.53/1048.78	c 1036s |      15 |   140204 |   123032 |    17745     14 |        1 |        0
1051.13/1051.39	c 1039s |      15 |   140539 |   123332 |    17745     14 |        1 |        0
1053.33/1053.54	c 1041s |      15 |   140754 |   123532 |    17745     14 |        1 |        0
1055.33/1055.55	c 1043s |      15 |   140979 |   123732 |    17745     14 |        1 |        0
1057.43/1057.67	c 1045s |      15 |   141203 |   123932 |    17745     14 |        1 |        0
1059.73/1059.95	c 1048s |      15 |   141527 |   124232 |    17745     14 |        1 |        0
1062.03/1062.21	c 1050s |      15 |   141872 |   124532 |    17745     14 |        1 |        0
1064.63/1064.82	c 1052s |      15 |   142333 |   124932 |    17745     14 |        1 |        0
1067.03/1067.28	c 1055s |      15 |   142775 |   125332 |    17745     14 |        1 |        0
1069.63/1069.85	c 1057s |      15 |   143240 |   125732 |    17745     14 |        1 |        0
1071.63/1071.86	c 1059s |      15 |   143585 |   126032 |    17745     14 |        1 |        0
1074.23/1074.41	c 1062s |      15 |   143933 |   126332 |    17745     14 |        1 |        0
1076.33/1076.51	c 1064s |      15 |   144151 |   126532 |    17745     14 |        1 |        0
1078.43/1078.62	c 1066s |      15 |   144371 |   126732 |    17745     14 |        1 |        0
1080.93/1081.19	c 1069s |      15 |   144680 |   127032 |    17745     14 |        1 |        0
1083.23/1083.41	c 1071s |      15 |   144897 |   127232 |    17745     14 |        1 |        0
1086.02/1086.25	c 1074s |      15 |   145209 |   127532 |    17745     14 |        1 |        0
1088.32/1088.55	c 1076s |      15 |   145420 |   127732 |    17745     14 |        1 |        0
1091.22/1091.46	c 1079s |      15 |   145741 |   128032 |    17745     14 |        1 |        0
1094.02/1094.22	c 1082s |      15 |   146066 |   128332 |    17745     15 |        1 |        0
1096.42/1096.66	c 1084s |      15 |   146386 |   128632 |    17745     15 |        1 |        0
1099.02/1099.23	c 1087s |      15 |   146707 |   128932 |    17745     15 |        1 |        0
1101.82/1102.00	c 1090s |      15 |   147030 |   129232 |    17745     15 |        1 |        0
1103.82/1104.06	c 1092s |      15 |   147240 |   129432 |    19520     15 |        1 |        0
1106.53/1106.75	c 1094s |      15 |   147583 |   129732 |    19520     15 |        1 |        0
1108.92/1109.19	c 1097s |      15 |   147971 |   130032 |    19520     15 |        1 |        0
1111.62/1111.83	c 1099s |      15 |   148312 |   130332 |    19520     15 |        1 |        0
1114.02/1114.29	c 1102s |      15 |   148665 |   130632 |    19520     15 |        1 |        0
1116.52/1116.75	c 1104s |      15 |   149003 |   130932 |    19520     15 |        1 |        0
1119.02/1119.25	c 1107s |      15 |   149343 |   131232 |    19520     15 |        1 |        0
1121.62/1121.82	c 1109s |      15 |   149690 |   131532 |    19520     15 |        1 |        0
1121.72/1121.99	c 1110s |      16 |   149716 |   131552 |    19520     15 |        1 |        0
1123.82/1124.05	c 1112s |      16 |   149991 |   131752 |    19520     15 |        1 |        0
1126.12/1126.38	c 1114s |      16 |   150460 |   132152 |    19520     15 |        1 |        0
1128.81/1129.05	c 1117s |      16 |   150905 |   132552 |    19520     15 |        1 |        0
1130.91/1131.13	c 1119s |      16 |   151252 |   132852 |    19520     15 |        1 |        0
1133.21/1133.48	c 1121s |      16 |   151611 |   133152 |    19520     15 |        1 |        0
1135.71/1135.91	c 1123s |      16 |   152051 |   133552 |    19520     15 |        1 |        0
1138.51/1138.76	c 1126s |      16 |   152398 |   133852 |    19520     15 |        1 |        0
1140.52/1140.79	c 1128s |      16 |   152736 |   134152 |    19520     15 |        1 |        0
1143.21/1143.40	c 1131s |      16 |   153221 |   134552 |    19520     15 |        1 |        0
1145.21/1145.47	c 1133s |      16 |   153583 |   134852 |    19520     15 |        1 |        0
1147.31/1147.53	c 1135s |      16 |   153945 |   135152 |    19520     15 |        1 |        0
1149.91/1150.16	c 1138s |      16 |   154303 |   135452 |    19520     15 |        1 |        0
1152.72/1152.96	c 1141s |      16 |   154645 |   135752 |    19520     15 |        1 |        0
1155.41/1155.64	c 1143s |      16 |   155095 |   136152 |    19520     15 |        1 |        0
1158.12/1158.37	c 1146s |      16 |   155432 |   136452 |    19520     15 |        1 |        0
1160.21/1160.45	c 1148s |      16 |   155772 |   136752 |    19520     15 |        1 |        0
1162.62/1162.85	c 1150s |      16 |   156194 |   137152 |    19520     15 |        1 |        0
1164.72/1164.93	c 1153s |      16 |   156550 |   137452 |    19520     15 |        1 |        0
1166.92/1167.15	c 1155s |      16 |   156882 |   137752 |    19520     15 |        1 |        0
1169.61/1169.86	c 1157s |      16 |   157214 |   138052 |    19520     15 |        1 |        0
1171.91/1172.19	c 1160s |      16 |   157560 |   138352 |    19520     15 |        1 |        0
1174.31/1174.50	c 1162s |      16 |   157886 |   138652 |    19520     16 |        1 |        0
1176.61/1176.84	c 1164s |      16 |   158214 |   138952 |    19520     16 |        1 |        0
1178.81/1179.01	c 1167s |      16 |   158534 |   139252 |    19520     16 |        1 |        0
1181.11/1181.30	c 1169s |      16 |   158877 |   139552 |    19520     16 |        1 |        0
1183.11/1183.39	c 1171s |      16 |   159231 |   139852 |    19520     16 |        1 |        0
1185.91/1186.14	c 1174s |      16 |   159706 |   140252 |    19520     16 |        1 |        0
1188.01/1188.28	c 1176s |      16 |   160029 |   140552 |    19520     16 |        1 |        0
1190.21/1190.45	c 1178s |      16 |   160405 |   140852 |    19520     16 |        1 |        0
1192.80/1193.04	c 1181s |      16 |   160725 |   141152 |    19520     16 |        1 |        0
1195.30/1195.59	c 1183s |      16 |   161169 |   141552 |    19520     16 |        1 |        0
1197.40/1197.60	c 1185s |      16 |   161481 |   141852 |    19520     16 |        1 |        0
1199.91/1200.10	c 1188s |      16 |   161821 |   142152 |    19520     16 |        1 |        0
1202.60/1202.80	c 1190s |      16 |   162140 |   142452 |    19520     16 |        1 |        0
1205.30/1205.58	c 1193s |      16 |   162468 |   142752 |    19520     16 |        1 |        0
1208.00/1208.22	c 1196s |      16 |   162787 |   143052 |    19520     16 |        1 |        0
1210.80/1211.04	c 1199s |      16 |   163110 |   143352 |    19520     16 |        1 |        0
1213.40/1213.66	c 1201s |      16 |   163438 |   143652 |    19520     16 |        1 |        0
1215.80/1216.02	c 1204s |      16 |   163761 |   143952 |    19520     16 |        1 |        0
1217.90/1218.15	c 1206s |      16 |   164095 |   144252 |    19520     16 |        1 |        0
1220.40/1220.61	c 1208s |      16 |   164434 |   144552 |    19520     16 |        1 |        0
1222.80/1223.08	c 1211s |      16 |   164763 |   144852 |    19520     16 |        1 |        0
1225.10/1225.40	c 1213s |      16 |   165115 |   145152 |    19520     16 |        1 |        0
1227.60/1227.80	c 1215s |      16 |   165451 |   145452 |    19520     16 |        1 |        0
1229.90/1230.18	c 1218s |      16 |   165797 |   145752 |    19520     16 |        1 |        0
1232.40/1232.69	c 1220s |      16 |   166161 |   146052 |    19520     16 |        1 |        0
1234.60/1234.87	c 1222s |      16 |   166509 |   146352 |    19520     16 |        1 |        0
1236.80/1237.03	c 1225s |      16 |   166852 |   146652 |    19520     16 |        1 |        0
1239.40/1239.67	c 1227s |      16 |   167195 |   146952 |    19520     16 |        1 |        0
1242.00/1242.21	c 1230s |      16 |   167517 |   147252 |    19520     16 |        1 |        0
1244.49/1244.78	c 1232s |      16 |   167845 |   147552 |    19520     16 |        1 |        0
1247.09/1247.34	c 1235s |      16 |   168178 |   147852 |    19520     16 |        1 |        0
1249.70/1249.94	c 1238s |      16 |   168485 |   148152 |    19520     16 |        1 |        0
1252.20/1252.48	c 1240s |      16 |   168814 |   148452 |    19520     16 |        1 |        0
1254.80/1255.08	c 1243s |      16 |   169155 |   148752 |    19520     16 |        1 |        0
1257.70/1257.92	c 1245s |      16 |   169472 |   149052 |    19520     17 |        1 |        0
1260.00/1260.28	c 1248s |      16 |   169808 |   149352 |    19520     17 |        1 |        0
1262.71/1262.98	c 1251s |      16 |   170137 |   149652 |    19520     17 |        1 |        0
1265.20/1265.44	c 1253s |      16 |   170461 |   149952 |    19520     17 |        1 |        0
1267.80/1268.08	c 1256s |      16 |   170796 |   150252 |    19520     17 |        1 |        0
1270.30/1270.60	c 1258s |      16 |   171122 |   150552 |    19520     17 |        1 |        0
1272.69/1272.96	c 1261s |      16 |   171461 |   150852 |    19520     17 |        1 |        0
1275.19/1275.45	c 1263s |      16 |   171704 |   151052 |    19520     17 |        1 |        0
1277.19/1277.47	c 1265s |      16 |   171920 |   151252 |    19520     17 |        1 |        0
1279.39/1279.61	c 1267s |      16 |   172177 |   151452 |    19520     17 |        1 |        0
1281.40/1281.64	c 1269s |      16 |   172391 |   151652 |    19520     17 |        1 |        0
1283.59/1283.81	c 1271s |      16 |   172610 |   151852 |    19520     17 |        1 |        0
1286.19/1286.49	c 1274s |      16 |   172964 |   152152 |    19520     17 |        1 |        0
1288.29/1288.54	c 1276s |      16 |   173177 |   152352 |    19520     17 |        1 |        0
1290.98/1291.25	c 1279s |      16 |   173529 |   152652 |    19520     17 |        1 |        0
1293.08/1293.35	c 1281s |      16 |   173768 |   152852 |    19520     17 |        1 |        0
1295.28/1295.50	c 1283s |      16 |   173983 |   153052 |    19520     17 |        1 |        0
1297.38/1297.66	c 1285s |      16 |   174235 |   153252 |    19520     17 |        1 |        0
1299.58/1299.88	c 1287s |      16 |   174460 |   153452 |    19520     17 |        1 |        0
1301.88/1302.14	c 1290s |      16 |   174682 |   153652 |    19520     17 |        1 |        0
1304.07/1304.31	c 1292s |      16 |   174905 |   153852 |    19520     17 |        1 |        0
1306.17/1306.42	c 1294s |      16 |   175128 |   154052 |    19520     17 |        1 |        0
1308.27/1308.59	c 1296s |      16 |   175363 |   154252 |    19520     17 |        1 |        0
1311.08/1311.32	c 1299s |      16 |   175693 |   154552 |    19520     17 |        1 |        0
1313.97/1314.29	c 1302s |      16 |   176027 |   154852 |    19520     17 |        1 |        0
1316.37/1316.60	c 1304s |      16 |   176227 |   155052 |    19520     17 |        1 |        0
1318.67/1318.92	c 1306s |      16 |   176459 |   155252 |    19520     17 |        1 |        0
1320.97/1321.28	c 1309s |      16 |   176675 |   155452 |    19520     17 |        1 |        0
1323.66/1323.94	c 1312s |      16 |   176887 |   155652 |    19520     17 |        1 |        0
1326.16/1326.41	c 1314s |      16 |   177101 |   155852 |    19520     17 |        1 |        0
1328.57/1328.89	c 1316s |      16 |   177322 |   156052 |    19520     17 |        1 |        0
1330.66/1330.91	c 1318s |      16 |   177538 |   156252 |    19520     17 |        1 |        0
1332.75/1333.08	c 1321s |      16 |   177753 |   156452 |    19520     17 |        1 |        0
1334.85/1335.14	c 1323s |      16 |   177966 |   156652 |    19520     17 |        1 |        0
1337.55/1337.86	c 1325s |      16 |   178210 |   156852 |    19520     17 |        1 |        0
1339.85/1340.19	c 1328s |      16 |   178455 |   157052 |    19520     17 |        1 |        0
1342.05/1342.30	c 1330s |      16 |   178663 |   157252 |    19520     17 |        1 |        0
1345.05/1345.37	c 1333s |      16 |   178991 |   157552 |    19520     17 |        1 |        0
1347.36/1347.64	c 1335s |      16 |   179211 |   157752 |    19520     17 |        1 |        0
1349.45/1349.74	c 1337s |      16 |   179428 |   157952 |    19520     17 |        1 |        0
1351.75/1352.02	c 1340s |      16 |   179662 |   158152 |    19520     17 |        1 |        0
1354.04/1354.35	c 1342s |      16 |   179891 |   158352 |    19520     17 |        1 |        0
1356.54/1356.88	c 1344s |      16 |   180122 |   158552 |    19520     17 |        1 |        0
1359.04/1359.30	c 1347s |      16 |   180351 |   158752 |    19520     17 |        1 |        0
1361.55/1361.85	c 1349s |      16 |   180597 |   158952 |    19520     18 |        1 |        0
1363.74/1364.02	c 1352s |      16 |   180843 |   159152 |    19520     18 |        1 |        0
1366.44/1366.70	c 1354s |      16 |   181206 |   159452 |    19520     18 |        1 |        0
1369.14/1369.47	c 1357s |      16 |   181574 |   159752 |    19520     18 |        1 |        0
1371.84/1372.18	c 1360s |      16 |   181905 |   160052 |    19520     18 |        1 |        0
1374.74/1375.10	c 1363s |      16 |   182239 |   160352 |    19520     18 |        1 |        0
1376.84/1377.16	c 1365s |      16 |   182456 |   160552 |    19520     18 |        1 |        0
1379.54/1379.89	c 1367s |      16 |   182787 |   160852 |    19520     18 |        1 |        0
1382.13/1382.40	c 1370s |      16 |   183131 |   161152 |    19520     18 |        1 |        0
1384.64/1384.96	c 1373s |      16 |   183589 |   161552 |    19520     18 |        1 |        0
1386.94/1387.28	c 1375s |      16 |   183925 |   161852 |    19520     18 |        1 |        0
1389.14/1389.43	c 1377s |      16 |   184268 |   162152 |    19520     18 |        1 |        0
1391.13/1391.49	c 1379s |      16 |   184505 |   162352 |    19520     18 |        1 |        0
1393.63/1393.94	c 1382s |      16 |   184852 |   162652 |    19520     18 |        1 |        0
1395.74/1396.09	c 1384s |      16 |   185192 |   162952 |    19520     18 |        1 |        0
1398.13/1398.47	c 1386s |      16 |   185528 |   163252 |    19520     18 |        1 |        0
1400.73/1401.01	c 1389s |      16 |   185867 |   163552 |    19520     18 |        1 |        0
1403.43/1403.77	c 1391s |      16 |   186197 |   163852 |    19520     18 |        1 |        0
1406.23/1406.57	c 1394s |      16 |   186540 |   164152 |    19520     18 |        1 |        0
1408.73/1409.02	c 1397s |      16 |   186931 |   164452 |    19520     18 |        1 |        0
1410.83/1411.12	c 1399s |      16 |   187331 |   164752 |    19520     18 |        1 |        0
1413.03/1413.34	c 1401s |      16 |   187710 |   165052 |    19520     18 |        1 |        0
1415.62/1415.92	c 1403s |      16 |   188074 |   165352 |    19520     18 |        1 |        0
1417.63/1417.98	c 1406s |      16 |   188442 |   165652 |    19520     18 |        1 |        0
1420.12/1420.49	c 1408s |      16 |   188840 |   165952 |    19520     18 |        1 |        0
1422.92/1423.29	c 1411s |      16 |   189200 |   166252 |    19520     18 |        1 |        0
1425.72/1426.06	c 1414s |      16 |   189532 |   166552 |    19520     18 |        1 |        0
1428.42/1428.70	c 1416s |      16 |   189867 |   166852 |    19520     18 |        1 |        0
1430.83/1431.12	c 1419s |      16 |   190198 |   167152 |    19520     18 |        1 |        0
1433.03/1433.37	c 1421s |      16 |   190511 |   167452 |    19520     18 |        1 |        0
1435.33/1435.68	c 1423s |      16 |   190841 |   167752 |    19520     18 |        1 |        0
1438.22/1438.52	c 1426s |      16 |   191155 |   168052 |    19520     18 |        1 |        0
1440.62/1440.98	c 1429s |      16 |   191483 |   168352 |    19520     18 |        1 |        0
1443.02/1443.38	c 1431s |      16 |   191823 |   168652 |    19520     18 |        1 |        0
1445.72/1446.00	c 1434s |      16 |   192175 |   168952 |    19520     18 |        1 |        0
1448.11/1448.49	c 1436s |      16 |   192515 |   169252 |    19520     19 |        1 |        0
1450.62/1450.99	c 1439s |      16 |   192837 |   169552 |    19520     19 |        1 |        0
1453.11/1453.40	c 1441s |      16 |   193160 |   169852 |    19520     19 |        1 |        0
1455.51/1455.80	c 1443s |      16 |   193388 |   170052 |    19520     19 |        1 |        0
1457.91/1458.27	c 1446s |      16 |   193736 |   170352 |    19520     19 |        1 |        0
1460.41/1460.74	c 1448s |      16 |   194073 |   170652 |    19520     19 |        1 |        0
1462.51/1462.80	c 1450s |      16 |   194418 |   170952 |    19520     19 |        1 |        0
1465.21/1465.59	c 1453s |      16 |   194895 |   171352 |    19520     19 |        1 |        0
1467.81/1468.11	c 1456s |      16 |   195253 |   171652 |    19520     19 |        1 |        0
1469.81/1470.12	c 1458s |      16 |   195479 |   171852 |    19520     19 |        1 |        0
1472.61/1472.99	c 1461s |      16 |   195819 |   172152 |    19520     19 |        1 |        0
1475.30/1475.66	c 1463s |      16 |   196158 |   172452 |    19520     19 |        1 |        0
1477.30/1477.69	c 1465s |      16 |   196378 |   172652 |    19520     19 |        1 |        0
1479.80/1480.15	c 1468s |      16 |   196726 |   172952 |    19520     19 |        1 |        0
1482.50/1482.87	c 1470s |      16 |   197048 |   173252 |    19520     19 |        1 |        0
1484.60/1484.98	c 1473s |      16 |   197371 |   173552 |    19520     19 |        1 |        0
1487.30/1487.66	c 1475s |      16 |   197716 |   173852 |    19520     19 |        1 |        0
1489.70/1490.07	c 1478s |      16 |   198052 |   174152 |    19520     19 |        1 |        0
1492.59/1492.95	c 1481s |      16 |   198410 |   174452 |    19520     19 |        1 |        0
1494.79/1495.19	c 1483s |      16 |   198747 |   174752 |    19520     19 |        1 |        0
1497.19/1497.50	c 1485s |      16 |   199101 |   175052 |    19520     19 |        1 |        0
1499.59/1499.99	c 1488s |      16 |   199475 |   175352 |    19520     19 |        1 |        0
1502.40/1502.75	c 1490s |      16 |   199940 |   175752 |    19520     19 |        1 |        0
1504.69/1505.09	c 1493s |      16 |   200298 |   176052 |    19520     19 |        1 |        0
1506.99/1507.32	c 1495s |      16 |   200638 |   176352 |    19520     19 |        1 |        0
1509.49/1509.81	c 1497s |      16 |   200991 |   176652 |    19520     19 |        1 |        0
1511.89/1512.20	c 1500s |      16 |   201334 |   176952 |    19520     19 |        1 |        0
1514.29/1514.68	c 1502s |      16 |   201683 |   177252 |    19520     19 |        1 |        0
1516.99/1517.30	c 1505s |      16 |   202020 |   177552 |    19520     19 |        1 |        0
1519.39/1519.79	c 1507s |      16 |   202342 |   177852 |    19520     19 |        1 |        0
1521.79/1522.18	c 1510s |      16 |   202676 |   178152 |    19520     19 |        1 |        0
1523.98/1524.35	c 1512s |      16 |   202990 |   178452 |    19520     19 |        1 |        0
1526.59/1526.91	c 1514s |      16 |   203329 |   178752 |    19520     19 |        1 |        0
1529.08/1529.41	c 1517s |      16 |   203686 |   179052 |    19520     19 |        1 |        0
1531.08/1531.43	c 1519s |      16 |   203911 |   179252 |    19520     20 |        1 |        0
1533.88/1534.27	c 1522s |      16 |   204269 |   179552 |    19520     20 |        1 |        0
1536.49/1536.84	c 1524s |      16 |   204621 |   179852 |    19520     20 |        1 |        0
1539.08/1539.48	c 1527s |      16 |   204964 |   180152 |    19520     20 |        1 |        0
1541.78/1542.19	c 1530s |      16 |   205329 |   180452 |    19520     20 |        1 |        0
1543.98/1544.35	c 1532s |      16 |   205690 |   180752 |    19520     20 |        1 |        0
1546.47/1546.89	c 1534s |      16 |   206032 |   181052 |    19520     20 |        1 |        0
1549.17/1549.50	c 1537s |      16 |   206365 |   181352 |    19520     20 |        1 |        0
1551.17/1551.51	c 1539s |      16 |   206577 |   181552 |    19520     20 |        1 |        0
1553.77/1554.19	c 1542s |      16 |   206918 |   181852 |    19520     20 |        1 |        0
1556.57/1556.97	c 1545s |      16 |   207252 |   182152 |    19520     20 |        1 |        0
1559.07/1559.47	c 1547s |      16 |   207577 |   182452 |    19520     20 |        1 |        0
1561.68/1562.06	c 1550s |      16 |   207947 |   182752 |    19520     20 |        1 |        0
1564.57/1564.90	c 1552s |      16 |   208278 |   183052 |    19520     20 |        1 |        0
1566.67/1567.09	c 1555s |      16 |   208509 |   183252 |    19520     20 |        1 |        0
1569.57/1569.90	c 1557s |      16 |   208875 |   183552 |    19520     20 |        1 |        0
1571.68/1572.06	c 1560s |      16 |   209101 |   183752 |    19520     20 |        1 |        0
1573.87/1574.22	c 1562s |      16 |   209320 |   183952 |    19520     20 |        1 |        0
1576.77/1577.18	c 1565s |      16 |   209677 |   184252 |    19520     20 |        1 |        0
1579.37/1579.73	c 1567s |      16 |   209992 |   184552 |    19520     20 |        1 |        0
1581.96/1582.39	c 1570s |      16 |   210324 |   184852 |    19520     20 |        1 |        0
1584.56/1584.94	c 1573s |      16 |   210649 |   185152 |    19520     20 |        1 |        0
1587.16/1587.57	c 1575s |      16 |   210990 |   185452 |    19520     20 |        1 |        0
1589.76/1590.11	c 1578s |      16 |   211318 |   185752 |    19520     20 |        1 |        0
1592.16/1592.51	c 1580s |      16 |   211640 |   186052 |    19520     20 |        1 |        0
1594.86/1595.29	c 1583s |      16 |   211968 |   186352 |    19520     20 |        1 |        0
1596.97/1597.31	c 1585s |      16 |   212200 |   186552 |    19520     20 |        1 |        0
1599.76/1600.19	c 1588s |      16 |   212544 |   186852 |    19520     20 |        1 |        0
1601.86/1602.29	c 1590s |      16 |   212760 |   187052 |    19520     20 |        1 |        0
1604.06/1604.42	c 1592s |      16 |   212981 |   187252 |    19520     20 |        1 |        0
1606.77/1607.12	c 1595s |      16 |   213331 |   187552 |    19520     20 |        1 |        0
1609.07/1609.49	c 1597s |      16 |   213667 |   187852 |    19520     20 |        1 |        0
1611.86/1612.28	c 1600s |      16 |   213990 |   188152 |    19520     20 |        1 |        0
1614.66/1615.00	c 1603s |      16 |   214311 |   188452 |    19520     20 |        1 |        0
1617.56/1617.92	c 1605s |      16 |   214644 |   188752 |    19520     20 |        1 |        0
1619.76/1620.11	c 1608s |      16 |   214872 |   188952 |    19520     20 |        1 |        0
1621.76/1622.17	c 1610s |      16 |   215106 |   189152 |    19520     20 |        1 |        0
1624.56/1624.99	c 1613s |      16 |   215446 |   189452 |    19520     20 |        1 |        0
1627.06/1627.49	c 1615s |      16 |   215660 |   189652 |    19520     21 |        1 |        0
1629.86/1630.23	c 1618s |      16 |   215987 |   189952 |    19520     21 |        1 |        0
1632.16/1632.56	c 1620s |      16 |   216304 |   190252 |    19520     21 |        1 |        0
1634.65/1635.03	c 1623s |      16 |   216646 |   190552 |    19520     21 |        1 |        0
1636.85/1637.29	c 1625s |      16 |   216989 |   190852 |    19520     21 |        1 |        0
1639.65/1640.10	c 1628s |      16 |   217306 |   191152 |    19520     21 |        1 |        0
1642.65/1643.04	c 1631s |      16 |   217631 |   191452 |    19520     21 |        1 |        0
1645.65/1646.00	c 1634s |      16 |   217963 |   191752 |    19520     21 |        1 |        0
1647.75/1648.10	c 1636s |      16 |   218186 |   191952 |    19520     21 |        1 |        0
1650.86/1651.21	c 1639s |      16 |   218417 |   192152 |    19520     21 |        1 |        0
1653.06/1653.42	c 1641s |      16 |   218641 |   192352 |    19520     21 |        1 |        0
1655.55/1655.93	c 1643s |      16 |   218869 |   192552 |    19520     21 |        1 |        0
1657.85/1658.20	c 1646s |      16 |   219073 |   192752 |    19520     21 |        1 |        0
1660.25/1660.67	c 1648s |      16 |   219287 |   192952 |    19520     21 |        1 |        0
1663.05/1663.44	c 1651s |      16 |   219505 |   193152 |    19520     21 |        1 |        0
1665.35/1665.76	c 1653s |      16 |   219723 |   193352 |    19520     21 |        1 |        0
1667.75/1668.15	c 1656s |      16 |   219939 |   193552 |    19520     21 |        1 |        0
1669.95/1670.38	c 1658s |      16 |   220159 |   193752 |    19520     21 |        1 |        0
1672.94/1673.33	c 1661s |      16 |   220379 |   193952 |    19520     21 |        1 |        0
1675.24/1675.61	c 1663s |      16 |   220598 |   194152 |    19520     21 |        1 |        0
1677.64/1678.07	c 1666s |      16 |   220823 |   194352 |    19520     21 |        1 |        0
1679.94/1680.30	c 1668s |      16 |   221037 |   194552 |    19520     21 |        1 |        0
1682.04/1682.42	c 1670s |      16 |   221269 |   194752 |    19520     21 |        1 |        0
1684.74/1685.18	c 1673s |      16 |   221483 |   194952 |    21472     21 |        1 |        0
1687.24/1687.61	c 1675s |      16 |   221700 |   195152 |    21472     21 |        1 |        0
1689.35/1689.74	c 1677s |      16 |   221934 |   195352 |    21472     21 |        1 |        0
1692.24/1692.63	c 1680s |      16 |   222260 |   195652 |    21472     21 |        1 |        0
1694.34/1694.77	c 1682s |      16 |   222491 |   195852 |    21472     21 |        1 |        0
1697.05/1697.41	c 1685s |      16 |   222716 |   196052 |    21472     21 |        1 |        0
1699.34/1699.71	c 1687s |      16 |   222929 |   196252 |    21472     21 |        1 |        0
1701.74/1702.13	c 1690s |      16 |   223161 |   196452 |    21472     21 |        1 |        0
1704.03/1704.46	c 1692s |      16 |   223379 |   196652 |    21472     21 |        1 |        0
1706.73/1707.14	c 1695s |      16 |   223614 |   196852 |    21472     21 |        1 |        0
1709.33/1709.72	c 1697s |      16 |   223844 |   197052 |    21472     21 |        1 |        0
1712.44/1712.81	c 1700s |      16 |   224174 |   197352 |    21472     21 |        1 |        0
1713.23/1713.69	c 1701s |      17 |   224265 |   197432 |    21472     21 |        1 |        0
1715.64/1716.03	c 1704s |      17 |   224505 |   197632 |    21472     21 |        1 |        0
1718.03/1718.41	c 1706s |      17 |   224836 |   197932 |    21472     21 |        1 |        0
1720.63/1721.03	c 1709s |      17 |   225162 |   198232 |    21472     21 |        1 |        0
1723.23/1723.69	c 1711s |      17 |   225598 |   198632 |    21472     21 |        1 |        0
1725.43/1725.82	c 1713s |      17 |   225948 |   198932 |    21472     21 |        1 |        0
1728.13/1728.52	c 1716s |      17 |   226301 |   199232 |    21472     21 |        1 |        0
1730.53/1730.97	c 1719s |      17 |   226638 |   199532 |    21472     21 |        1 |        0
1733.33/1733.73	c 1721s |      17 |   226974 |   199832 |    21472     21 |        1 |        0
1736.22/1736.67	c 1724s |      17 |   227306 |   200132 |    21472     21 |        1 |        0
1738.73/1739.14	c 1727s |      17 |   227641 |   200432 |    21472     21 |        1 |        0
1740.82/1741.27	c 1729s |      17 |   227981 |   200732 |    21472     21 |        1 |        0
1743.23/1743.65	c 1731s |      17 |   228445 |   201132 |    21472     21 |        1 |        0
1745.53/1745.94	c 1734s |      17 |   228770 |   201432 |    21472     22 |        1 |        0
1747.64/1748.09	c 1736s |      17 |   229095 |   201732 |    21472     22 |        1 |        0
1749.93/1750.35	c 1738s |      17 |   229423 |   202032 |    21472     22 |        1 |        0
1752.23/1752.67	c 1740s |      17 |   229755 |   202332 |    21472     22 |        1 |        0
1754.93/1755.35	c 1743s |      17 |   230073 |   202632 |    21472     22 |        1 |        0
1757.43/1757.81	c 1745s |      17 |   230419 |   202932 |    21472     22 |        1 |        0
1760.13/1760.53	c 1748s |      17 |   230751 |   203232 |    21472     22 |        1 |        0
1762.73/1763.16	c 1751s |      17 |   231092 |   203532 |    21472     22 |        1 |        0
1764.93/1765.39	c 1753s |      17 |   231322 |   203732 |    21472     22 |        1 |        0
1767.82/1768.20	c 1756s |      17 |   231654 |   204032 |    21472     22 |        1 |        0
1770.02/1770.41	c 1758s |      17 |   231872 |   204232 |    21472     22 |        1 |        0
1772.83/1773.29	c 1761s |      17 |   232215 |   204532 |    21472     22 |        1 |        0
1775.72/1776.12	c 1764s |      17 |   232548 |   204832 |    21472     22 |        1 |        0
1778.12/1778.56	c 1766s |      17 |   232903 |   205132 |    21472     22 |        1 |        0
1781.12/1781.50	c 1769s |      17 |   233237 |   205432 |    21472     22 |        1 |        0
1784.02/1784.44	c 1772s |      17 |   233588 |   205732 |    21472     22 |        1 |        0
1786.02/1786.45	c 1774s |      17 |   233824 |   205932 |    21472     22 |        1 |        0
1788.92/1789.33	c 1777s |      17 |   234177 |   206232 |    21472     22 |        1 |        0
1791.82/1792.22	c 1780s |      17 |   234513 |   206532 |    21472     22 |        1 |        0
1794.82/1795.25	c 1783s |      17 |   234841 |   206832 |    21472     22 |        1 |        0
1797.41/1797.84	c 1785s |      17 |   235169 |   207132 |    21472     22 |        1 |        0
1799.41/1799.84	c 1787s |      17 |   235391 |   207332 |    21472     22 |        1 |        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-4079660-1465246113/watcher-4079660-1465246113 -o /tmp/evaluation-result-4079660-1465246113/solver-4079660-1465246113 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079660-1465246113.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.24 2.25 3/179 2740
/proc/meminfo: memFree=29281288/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=775612 CPUtime=0 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 2901 0 0 0 0 0 0 0 20 0 4 0 106544892 794226688 3261 33554432000 4194304 16246674 140735362836912 140735362836336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 194415 3272 441 2943 0 191309 0
[pid=2740/tid=2741] ppid=2737 vsize=820668 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 840364032 3440 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 845606912 3458 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=829884 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 849801216 3475 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.21 2.24 2.25 3/179 2740
/proc/meminfo: memFree=29281288/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 27930 0 0 0 6 3 0 0 20 0 4 0 106544892 1332285440 28229 33554432000 4194304 16246674 140735362836912 140735362836224 7387561 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 325265 28245 801 2943 0 322159 0
[pid=2740/tid=2741] ppid=2737 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1332285440 28255 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1332285440 28267 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1332285440 28278 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200511 s]
/proc/loadavg: 2.21 2.24 2.25 3/179 2740
/proc/meminfo: memFree=29281288/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 52723 0 0 0 12 7 0 0 20 0 4 0 106544892 1339625472 53532 33554432000 4194304 16246674 140735362836912 140735362836224 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 327057 53536 801 2943 0 323951 0
[pid=2740/tid=2741] ppid=2737 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1339625472 53538 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1339625472 53541 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1339625472 53543 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300468 s]
/proc/loadavg: 2.21 2.24 2.25 3/179 2740
/proc/meminfo: memFree=29281288/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 67039 0 0 0 21 8 0 0 20 0 4 0 106544892 1345916928 67848 33554432000 4194304 16246674 140735362836912 140735362836224 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 328593 67848 801 2943 0 325487 0
[pid=2740/tid=2741] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 67848 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 67848 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 67848 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700357 s]
/proc/loadavg: 2.21 2.24 2.25 3/179 2740
/proc/meminfo: memFree=29281288/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 90499 0 0 0 58 11 0 0 20 0 4 0 106544892 1345916928 91308 33554432000 4194304 16246674 140735362836912 140735362836224 6756338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 328593 91320 834 2943 0 325487 0
[pid=2740/tid=2741] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 91326 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 91333 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 91341 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50035 s]
/proc/loadavg: 2.21 2.24 2.25 3/183 2744
/proc/meminfo: memFree=28543428/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 235513 0 0 0 118 31 0 0 20 0 4 0 106544892 1345916928 236322 33554432000 4194304 16246674 140735362836912 140735362818816 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 328593 236322 885 2943 0 325487 0
[pid=2740/tid=2741] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 236322 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 236323 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1345916928 236323 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10035 s]
/proc/loadavg: 2.21 2.24 2.25 3/183 2744
/proc/meminfo: memFree=28238140/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 279839 0 0 0 272 37 0 0 20 0 4 0 106544892 1389957120 280648 33554432000 4194304 16246674 140735362836912 140735362818816 13774504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 339345 280648 891 2943 0 336239 0
[pid=2740/tid=2741] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280648 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280648 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280648 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30036 s]
/proc/loadavg: 2.19 2.23 2.25 3/183 2744
/proc/meminfo: memFree=28159488/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 279839 0 0 0 592 37 0 0 20 0 4 0 106544892 1389957120 280648 33554432000 4194304 16246674 140735362836912 140735362818816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 339345 280648 891 2943 0 336239 0
[pid=2740/tid=2741] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280648 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280648 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280648 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.18 2.23 2.25 3/183 2744
/proc/meminfo: memFree=28158924/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 280043 0 0 0 1232 37 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140735362818816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 339345 280852 911 2943 0 336239 0
[pid=2740/tid=2741] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.29 2.25 2.25 3/182 2744
/proc/meminfo: memFree=28159844/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1357380 CPUtime=25.48 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 280043 0 0 0 2511 37 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140735362818816 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 339345 280852 911 2943 0 336239 0
[pid=2740/tid=2741] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.39 2.28 2.26 3/183 2745
/proc/meminfo: memFree=28159716/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 280043 0 0 0 5071 37 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140735362818816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 339345 280852 911 2943 0 336239 0
[pid=2740/tid=2741] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280852 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.3 s]
/proc/loadavg: 2.30 2.26 2.26 3/184 2749
/proc/meminfo: memFree=28159576/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 280048 0 0 0 10191 37 0 0 20 0 4 0 106544892 1389957120 280857 33554432000 4194304 16246674 140735362836912 140735362818816 13775064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 339345 280857 916 2943 0 336239 0
[pid=2740/tid=2741] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280857 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280857 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1389957120 280857 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305435 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1455684

[startup+1302.3 s]
/proc/loadavg: 2.25 2.22 2.20 4/184 2802
/proc/meminfo: memFree=28053592/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1302.08 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304655 0 0 0 130166 42 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1455684

[startup+1362.3 s]
/proc/loadavg: 2.23 2.21 2.19 3/183 2803
/proc/meminfo: memFree=28054976/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1362.04 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304702 0 0 0 136162 42 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 12415766 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1455684

[startup+1422.3 s]
/proc/loadavg: 2.25 2.21 2.19 3/183 2804
/proc/meminfo: memFree=28055016/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1422.03 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304720 0 0 0 142161 42 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 5600232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1455684

[startup+1482.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/183 2805
/proc/meminfo: memFree=28054812/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1482 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304738 0 0 0 148158 42 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1455684

[startup+1542.31 s]
/proc/loadavg: 2.15 2.18 2.18 5/183 2806
/proc/meminfo: memFree=28054480/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1541.98 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304776 0 0 0 154156 42 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1455684

[startup+1602.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 2808
/proc/meminfo: memFree=28054756/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1601.96 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304799 0 0 0 160154 42 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1455684

[startup+1662.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 2858
/proc/meminfo: memFree=23009248/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1661.95 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304800 0 0 0 166153 42 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1455684

[startup+1722.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 2859
/proc/meminfo: memFree=15287232/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1721.93 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304819 0 0 0 172151 42 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1455684

[startup+1782.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 2860
/proc/meminfo: memFree=15286124/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1781.92 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304844 0 0 0 178149 43 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 13752941 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1455684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.36 2.23 2.19 4/183 2909
/proc/meminfo: memFree=27763208/32872528 swapFree=16080/1655368
[pid=2740] ppid=2737 vsize=1455684 CPUtime=1800.01 cores=0,2,4,6
/proc/2740/stat : 2740 (toysat) R 2737 2740 32454 0 -1 4202496 304853 0 0 0 179958 43 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140735362818816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2740/statm: 363921 305691 917 2943 0 360815 0
[pid=2740/tid=2741] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2741/stat : 2741 (toysat) S 2737 2740 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552061299952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2740/tid=2742] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2742/stat : 2742 (toysat) S 2737 2740 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140552050810096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2740/tid=2743] ppid=2737 vsize=1455684 CPUtime=0 cores=0,2,4,6
/proc/2740/task/2743/stat : 2743 (toysat) S 2737 2740 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106544892 1490620416 305691 33554432000 4194304 16246674 140735362836912 140551932341424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1455684

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.45393
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 1455684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.45393
maximum resident set size= 1222764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304853
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= 247
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5843 second user time and 6.93095 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-06 22:48:33
IDJOB=4079660
IDBENCH=2935
IDSOLVER=2542
FILE ID=node122/4079660-1465246113
RUNJOBID= node122-1465218907-32470
PBS_JOBID= 19843205
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079660-1465246113/watcher-4079660-1465246113 -o /tmp/evaluation-result-4079660-1465246113/solver-4079660-1465246113 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079660-1465246113.opb

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

MD5SUM BENCH= 76cbd1f5f345389511b95f4555e7fed1
RANDOM SEED=361219866

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.898
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:        29281932 kB
Buffers:           51732 kB
Cached:           106772 kB
SwapCached:          860 kB
Active:          1153204 kB
Inactive:          78000 kB
Active(anon):    1073640 kB
Inactive(anon):     1584 kB
Active(file):      79564 kB
Inactive(file):    76416 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             18264 kB
Writeback:             0 kB
AnonPages:       2727636 kB
Mapped:            10368 kB
Shmem:                 0 kB
Slab:             568392 kB
SReclaimable:      12516 kB
SUnreclaim:       555876 kB
KernelStack:        1520 kB
PageTables:         9276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2875016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node122 at 2016-06-06 23:18:34