Trace number 4080024

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.08 1800.51

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE2.0_TMAX180_K67_cod2.opb
MD5SUMc53c9beb9cd805e63a521141c2bc7101
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-148830
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 486
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 441272
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 441272
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T11:15:29+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-4080024-1465290929.opb"]
0.00/0.01	c use --random-gen="2391194672 4175957292 2230469801 2230184388 3735633080 3092166440 3844910562 3975687871 1872246975 4048314895 2546306336 1757960269 2470400450 986444119 3830783052 2422045772 601743389 1372493163 4207011335 1798065978 3043603537 3196835411 1740411828 742235674 907445725 422111027 2189992153 3896034812 3425579351 2171142784 707389266 1339830572 1821485169 2315439613 2905836639 319253059 4117421905 3849283971 1416208029 3463682776 2517392035 3639710530 300905855 1101591209 2375587732 3882713725 2926274379 4075004736 3054267237 856464418 2501753638 2893952312 1748729613 4171774905 1638678984 2286416447 1790561103 370406933 1611511707 823197910 2672842982 3396837134 101401309 3905581038 934839871 1312398962 3853313417 1679600380 393313835 1082137920 2270695644 2073240219 2442392585 2627842067 4208233152 3485542510 2625134395 675493195 2413489743 287613886 380912392 4061285019 211977848 3435442119 2396863372 2423621661 1703087906 2258699320 1307989107 4027086889 3781226396 3162669727 4249689752 2806352948 2031363091 2142529609 2372663731 3034289372 3565960929 4116267909 4224187558 4172073103 1378686349 4245470962 241112170 2989580412 2189648976 1559746824 1030965889 4017410082 1001972417 3604012141 195750410 415952864 2840651417 248447222 921185269 4259298980 2682305869 46199223 3282889504 2443217966 3704235551 3885984686 1001599210 346641227 4189736179 2095416437 1434628027 1393808069 3747538594 870796272 3781482945 784938170 1493209100 3623021928 86272670 2393388814 2864288638 3135210407 3771097694 3281596002 3962889479 2711214098 1831433166 271794666 2887642360 4118750502 1565098701 1951385237 3365138839 20062091 2940668196 1745251443 3683769934 4050575642 3360675185 542673706 1554926717 1486200267 1216108583 2178151583 1910594195 975511041 314533024 1333649056 3911754566 2863096132 3549977491 3010264787 395459631 1529403556 1213882755 2795424720 3230116818 2913270537 4088111650 2547510439 690938070 3166123492 3012332313 114643249 4112346048 2340711086 1903289003 3638517526 4167903546 2831577225 1212558936 835647167 1491913338 2468802586 3039471830 1954075809 2836013522 2941506661 580176208 289660884 2767737859 3700078900 2119447952 3844807816 2523076478 617224026 1668980114 885347914 3492465283 2385098349 3455497848 858922667 3976608900 2949801591 2614855434 2095940021 2475095302 2536757086 3008443741 1944378343 3401397345 2235336303 4018960557 846478427 2662159541 1547991330 877806159 1635763414 2362008729 509187600 406444661 1859771999 3205824680 146933413 2990193233 2136091873 3925541627 1434019978 318131851 3829570701 3291987039 3869825411 2041464790 968278576 755645607 627582687 2128931861 1100583973 1214385381 782526015 456376458 354873322 2056861161 2592716060 1840208070 2635789346 3214043361 1914703628 255 362436" option to reproduce the execution
0.39/0.44	c #vars 40937
0.39/0.44	c #constraints 41436
1.49/1.50	c BCD2: Hardening is enabled.
1.49/1.50	c BCD2: BiasedSearch is enabled.
1.49/1.50	c Solving starts ...
1.49/1.50	c ============================[ Search Statistics ]============================
1.49/1.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.50	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.50	c =============================================================================
1.49/1.50	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.09/2.15	c  0.6s |       1 |     9282 |      100 |    27456      0 |      127 |      126
4.19/4.28	c  2.8s |       2 |    15994 |      250 |    30202      0 |      127 |      126
6.98/7.00	c  5.5s |       2 |    23518 |      450 |    33223      0 |      127 |      126
7.38/7.47	c  6.0s |       3 |    24372 |      475 |    33223      0 |      127 |      126
9.38/9.49	c  8.0s |       3 |    36506 |      775 |    36546      0 |      127 |      126
9.78/9.83	c  8.3s |       4 |    37792 |      813 |    36546      0 |      127 |      126
12.58/12.67	c 11.2s |       4 |    53705 |     1213 |    40201      0 |      127 |      126
13.68/13.71	c 12.2s |       5 |    58241 |     1320 |    40201      0 |      127 |      126
15.98/16.07	c 14.6s |       5 |    66488 |     1620 |    44222      0 |      127 |      126
18.18/18.21	c 16.7s |       5 |    76755 |     1920 |    44222      0 |      127 |      126
19.38/19.44	c 17.9s |       6 |    82628 |     2081 |    48645      0 |      127 |      126
21.38/21.49	c 20.0s |       6 |    89546 |     2381 |    48645      0 |      127 |      126
24.08/24.13	c 22.6s |       6 |    95292 |     2681 |    48645      0 |      127 |      126
27.49/27.59	c 26.1s |       6 |    97868 |     2981 |    48645      0 |      127 |      126
29.18/29.29	c 27.8s |       7 |   104148 |     3223 |    53510      0 |      127 |      126
31.68/31.72	c 30.2s |       7 |   114742 |     3523 |    53510      0 |      127 |      126
34.09/34.16	c 32.7s |       7 |   129545 |     3923 |    53510      0 |      127 |      126
36.18/36.22	c 34.7s |       7 |   139292 |     4223 |    53510      0 |      127 |      126
38.28/38.31	c 36.8s |       7 |   147038 |     4523 |    53510      0 |      127 |      126
40.38/40.49	c 39.0s |       7 |   147961 |     4623 |    53510      0 |      127 |      126
43.88/43.95	c 42.4s |       7 |   153328 |     4823 |    53510      0 |      127 |      126
45.68/45.78	c 44.3s |       8 |   156195 |     4936 |    58862      0 |      127 |      126
47.78/47.81	c 46.3s |       8 |   159462 |     5036 |    58862      0 |      127 |      126
50.88/50.99	c 49.5s |       8 |   169179 |     5336 |    58862      0 |      127 |      126
53.58/53.67	c 52.2s |       8 |   177751 |     5636 |    58862      0 |      127 |      126
56.08/56.13	c 54.6s |       8 |   186373 |     5736 |    58862      0 |      127 |      126
58.19/58.29	c 56.8s |       8 |   188388 |     5836 |    58862      0 |      127 |      126
61.69/61.75	c 60.2s |       8 |   195636 |     6036 |    58862      0 |      127 |      126
63.68/63.75	c 62.2s |       8 |   200738 |     6236 |    58862      0 |      127 |      126
65.99/66.06	c 64.6s |       8 |   208082 |     6536 |    58862      0 |      127 |      126
68.38/68.41	c 66.9s |       8 |   212004 |     6736 |    58862      0 |      127 |      126
71.18/71.20	c 69.7s |       8 |   221607 |     7036 |    58862      0 |      127 |      126
73.69/73.78	c 72.3s |       8 |   233071 |     7236 |    58862      0 |      127 |      126
76.99/77.01	c 75.5s |       8 |   240716 |     7436 |    58862      0 |      127 |      126
78.28/78.30	c 76.8s |       9 |   242423 |     7506 |    64749      0 |      127 |      126
80.48/80.59	c 79.1s |       9 |   249920 |     7706 |    64749      0 |      127 |      126
83.08/83.15	c 81.6s |       9 |   255258 |     7906 |    64749      0 |      127 |      126
85.98/86.05	c 84.5s |       9 |   260943 |     8106 |    64749      0 |      127 |      126
88.28/88.31	c 86.8s |       9 |   265145 |     8206 |    64749      0 |      127 |      126
91.18/91.20	c 89.7s |       9 |   269831 |     8406 |    64749      0 |      127 |      126
93.38/93.45	c 91.9s |       9 |   276792 |     8706 |    64749      0 |      127 |      126
95.58/95.63	c 94.1s |       9 |   282029 |     8906 |    64749      0 |      127 |      126
97.89/97.94	c 96.4s |       9 |   286474 |     9106 |    64749      0 |      127 |      126
100.78/100.87	c 99.4s |       9 |   293498 |     9406 |    64749      0 |      127 |      126
103.78/103.82	c  102s |       9 |   299546 |     9706 |    64749      0 |      127 |      126
106.68/106.75	c  105s |       9 |   303877 |    10006 |    64749      0 |      127 |      126
108.78/108.80	c  107s |       9 |   309427 |    10206 |    64749      0 |      127 |      126
110.98/111.06	c  109s |       9 |   310156 |    10306 |    64749      0 |      127 |      126
113.28/113.40	c  111s |       9 |   315378 |    10506 |    64749      0 |      127 |      126
115.78/115.89	c  114s |       9 |   319669 |    10706 |    64749      0 |      127 |      126
118.58/118.66	c  117s |       9 |   327157 |    10906 |    64749      0 |      127 |      126
121.47/121.58	c  120s |       9 |   331933 |    11106 |    64749      0 |      127 |      126
123.37/123.45	c  121s |      10 |   339543 |    11361 |    71224      0 |      127 |      126
126.07/126.10	c  124s |      10 |   344390 |    11561 |    71224      0 |      149 |      147
128.68/128.74	c  127s |      10 |   349033 |    11661 |    71224      0 |      149 |      147
132.57/132.61	c  131s |      10 |   351580 |    11861 |    71224      0 |      149 |      147
135.28/135.40	c  133s |      10 |   352155 |    11961 |    71224      0 |      149 |      147
137.48/137.54	c  136s |      10 |   353072 |    12061 |    71224      0 |      149 |      147
139.47/139.55	c  138s |      10 |   353948 |    12161 |    71224      0 |      149 |      147
142.47/142.52	c  141s |      10 |   356085 |    12361 |    71224      0 |      149 |      147
144.87/144.93	c  143s |      10 |   358793 |    12561 |    71224      0 |      149 |      147
147.48/147.53	c  146s |      10 |   361045 |    12761 |    71224      0 |      149 |      147
149.58/149.65	c  148s |      10 |   362196 |    12861 |    71224      0 |      149 |      147
152.47/152.52	c  151s |      10 |   366550 |    13061 |    71224      0 |      149 |      147
154.97/155.09	c  153s |      10 |   367465 |    13261 |    71224      0 |      149 |      147
159.17/159.22	c  157s |      10 |   368688 |    13461 |    71224      0 |      149 |      147
162.67/162.74	c  161s |      10 |   371755 |    13661 |    71224      0 |      149 |      147
164.87/164.99	c  163s |      10 |   373875 |    13861 |    71224      0 |      149 |      147
167.87/167.93	c  166s |      10 |   378797 |    14061 |    71224      0 |      149 |      147
170.37/170.43	c  168s |      10 |   383396 |    14261 |    71224      0 |      149 |      147
172.77/172.88	c  171s |      10 |   384889 |    14461 |    71224      0 |      149 |      147
176.07/176.12	c  174s |      10 |   393592 |    14661 |    71224      0 |      149 |      147
178.77/178.88	c  177s |      10 |   398279 |    14761 |    71224      0 |      149 |      147
182.17/182.24	c  180s |      10 |   398864 |    14861 |    71224      0 |      149 |      147
185.46/185.52	c  184s |      10 |   399143 |    14961 |    71224      0 |      149 |      147
189.46/189.51	c  188s |      10 |   400022 |    15161 |    71224      0 |      149 |      147
192.66/192.76	c  191s |      10 |   401541 |    15361 |    71224      0 |      149 |      147
195.56/195.64	c  194s |      10 |   401937 |    15461 |    71224      0 |      149 |      147
198.76/198.83	c  197s |      10 |   402371 |    15561 |    71224      0 |      149 |      147
203.16/203.29	c  201s |      10 |   409856 |    15761 |    71224      0 |      149 |      147
205.86/205.95	c  204s |      10 |   413541 |    15961 |    71224      0 |      149 |      147
209.26/209.30	c  207s |      10 |   416736 |    16161 |    71224      0 |      149 |      147
213.37/213.50	c  211s |      10 |   420694 |    16361 |    71224      0 |      152 |      149
216.26/216.33	c  214s |      10 |   424238 |    16561 |    71224      0 |      152 |      149
218.66/218.75	c  217s |      10 |   427504 |    16761 |    71224      0 |      152 |      149
221.46/221.53	c  220s |      10 |   429623 |    16961 |    71224      0 |      152 |      149
223.56/223.67	c  222s |      11 |   433095 |    17144 |    78347      0 |      152 |      149
226.96/227.03	c  225s |      11 |   435569 |    17344 |    78347      0 |      152 |      149
229.97/230.05	c  228s |      11 |   436859 |    17544 |    78347      0 |      152 |      149
233.36/233.49	c  231s |      11 |   439306 |    17744 |    78347      0 |      152 |      149
235.36/235.49	c  233s |      11 |   443192 |    17844 |    78347      0 |      152 |      149
238.36/238.40	c  236s |      11 |   446670 |    18044 |    78347      0 |      152 |      149
241.46/241.55	c  240s |      11 |   448032 |    18244 |    78347      0 |      152 |      149
244.96/245.05	c  243s |      11 |   455794 |    18444 |    78347      0 |      152 |      149
247.26/247.39	c  245s |      11 |   458394 |    18644 |    78347      0 |      152 |      149
250.06/250.19	c  248s |      11 |   462297 |    18844 |    78347      0 |      152 |      149
253.85/253.92	c  252s |      11 |   471161 |    19044 |    78347      0 |      152 |      149
257.15/257.27	c  255s |      11 |   474298 |    19244 |    78347      0 |      152 |      149
259.35/259.47	c  257s |      11 |   477911 |    19344 |    78347      0 |      152 |      149
261.65/261.76	c  260s |      11 |   480038 |    19544 |    78347      0 |      152 |      149
264.06/264.16	c  262s |      11 |   480889 |    19744 |    78347      0 |      152 |      149
266.65/266.74	c  265s |      11 |   483409 |    19944 |    78347      0 |      152 |      149
269.46/269.53	c  268s |      11 |   485727 |    20144 |    78347      0 |      152 |      149
272.65/272.79	c  271s |      11 |   488465 |    20344 |    78347      0 |      152 |      149
275.06/275.12	c  273s |      11 |   489630 |    20544 |    78347      0 |      152 |      149
278.45/278.55	c  277s |      11 |   491420 |    20744 |    78347      0 |      152 |      149
281.15/281.21	c  279s |      11 |   494734 |    20944 |    78347      0 |      152 |      149
283.65/283.71	c  282s |      11 |   496339 |    21144 |    78347      0 |      152 |      149
286.06/286.18	c  284s |      11 |   501338 |    21344 |    78347      0 |      152 |      149
288.26/288.39	c  286s |      11 |   503428 |    21444 |    78347      0 |      152 |      149
291.95/292.00	c  290s |      11 |   508681 |    21644 |    78347      0 |      152 |      149
295.15/295.22	c  293s |      11 |   516103 |    21844 |    78347      0 |      152 |      149
298.45/298.56	c  297s |      11 |   518299 |    22044 |    78347      0 |      152 |      149
300.85/300.95	c  299s |      11 |   521195 |    22144 |    78347      0 |      152 |      149
303.75/303.80	c  302s |      11 |   523749 |    22244 |    78347      0 |      152 |      149
307.15/307.24	c  305s |      11 |   527095 |    22444 |    78347      0 |      152 |      149
309.75/309.84	c  308s |      11 |   529838 |    22644 |    78347      0 |      152 |      149
312.65/312.70	c  311s |      11 |   530770 |    22844 |    78347      0 |      152 |      149
314.85/314.98	c  313s |      11 |   533303 |    22944 |    78347      0 |      152 |      149
317.44/317.50	c  315s |      11 |   535270 |    23044 |    78347      0 |      152 |      149
319.94/320.10	c  318s |      11 |   537453 |    23244 |    78347      0 |      152 |      149
322.64/322.76	c  321s |      11 |   541582 |    23444 |    78347      0 |      152 |      149
325.94/326.07	c  324s |      11 |   544602 |    23644 |    78347      0 |      152 |      149
330.64/330.70	c  329s |      11 |   546415 |    23844 |    78347      0 |      152 |      149
334.74/334.85	c  333s |      11 |   548981 |    24044 |    78347      0 |      152 |      149
337.24/337.32	c  335s |      11 |   549930 |    24144 |    78347      0 |      152 |      149
339.34/339.47	c  337s |      11 |   550601 |    24244 |    78347      0 |      152 |      149
342.05/342.13	c  340s |      11 |   552660 |    24444 |    78347      0 |      152 |      149
345.04/345.11	c  343s |      11 |   553110 |    24644 |    78347      0 |      152 |      149
347.84/347.99	c  346s |      11 |   553547 |    24844 |    78347      0 |      152 |      149
351.04/351.17	c  349s |      11 |   554820 |    25044 |    78347      0 |      152 |      149
354.74/354.85	c  353s |      11 |   556877 |    25244 |    78347      0 |      152 |      149
357.34/357.47	c  355s |      11 |   565150 |    25544 |    78347      0 |      152 |      149
361.34/361.41	c  359s |      11 |   570973 |    25744 |    86182      0 |      152 |      149
362.24/362.33	c  360s |      12 |   571339 |    25819 |    86182      0 |      152 |      149
364.24/364.33	c  362s |      12 |   572415 |    25919 |    86182      0 |      152 |      149
366.74/366.82	c  365s |      12 |   576760 |    26019 |    86182      0 |      152 |      149
369.84/369.91	c  368s |      12 |   577796 |    26219 |    86182      0 |      152 |      149
372.14/372.24	c  370s |      12 |   578981 |    26319 |    86182      0 |      152 |      149
374.94/375.08	c  373s |      12 |   583889 |    26519 |    86182      0 |      152 |      149
378.73/378.89	c  377s |      12 |   586724 |    26719 |    86182      0 |      152 |      149
381.93/382.09	c  380s |      12 |   590165 |    26919 |    86182      0 |      152 |      149
384.73/384.82	c  383s |      12 |   592818 |    27119 |    86182      0 |      152 |      149
387.33/387.40	c  385s |      12 |   596099 |    27319 |    86182      0 |      152 |      149
391.03/391.10	c  389s |      12 |   600528 |    27519 |    86182      0 |      152 |      149
394.23/394.39	c  392s |      12 |   608172 |    27719 |    86182      0 |      152 |      149
397.53/397.65	c  396s |      12 |   611738 |    27919 |    86182      0 |      152 |      149
401.54/401.68	c  400s |      12 |   615188 |    28119 |    86182      0 |      152 |      149
405.53/405.69	c  404s |      12 |   620060 |    28319 |    86182      0 |      152 |      149
408.93/409.07	c  407s |      12 |   625261 |    28519 |    86182      0 |      152 |      149
411.53/411.63	c  410s |      12 |   629373 |    28719 |    86182      0 |      152 |      149
413.64/413.78	c  412s |      12 |   631998 |    28819 |    86182      0 |      152 |      149
416.94/417.01	c  415s |      12 |   639396 |    29019 |    86182      0 |      152 |      149
419.63/419.76	c  418s |      12 |   642418 |    29219 |    86182      0 |      152 |      149
422.83/422.93	c  421s |      12 |   643749 |    29419 |    86182      0 |      152 |      149
426.03/426.13	c  424s |      12 |   648538 |    29619 |    86182      0 |      152 |      149
429.43/429.55	c  428s |      12 |   649652 |    29819 |    86182      0 |      152 |      149
433.63/433.78	c  432s |      12 |   650216 |    30019 |    86182      0 |      152 |      149
436.43/436.59	c  435s |      12 |   652694 |    30219 |    86182      0 |      152 |      149
439.53/439.63	c  438s |      12 |   653777 |    30419 |    86182      0 |      152 |      149
442.02/442.16	c  440s |      12 |   654784 |    30619 |    86182      0 |      152 |      149
444.12/444.20	c  442s |      12 |   655353 |    30819 |    86182      0 |      152 |      149
447.22/447.32	c  445s |      12 |   658317 |    31019 |    86182      0 |      152 |      149
449.93/450.01	c  448s |      12 |   659106 |    31219 |    86182      0 |      152 |      149
453.02/453.13	c  451s |      12 |   662952 |    31419 |    86182      0 |      152 |      149
455.62/455.74	c  454s |      12 |   665153 |    31619 |    86182      0 |      152 |      149
458.63/458.80	c  457s |      12 |   666654 |    31819 |    86182      0 |      152 |      149
461.72/461.83	c  460s |      12 |   671113 |    32019 |    86182      0 |      152 |      149
463.82/463.97	c  462s |      12 |   675646 |    32119 |    86182      0 |      152 |      149
467.02/467.17	c  465s |      12 |   677738 |    32319 |    86182      0 |      152 |      149
469.32/469.41	c  467s |      12 |   678976 |    32419 |    86182      0 |      152 |      149
473.03/473.10	c  471s |      12 |   683090 |    32619 |    86182      0 |      152 |      149
477.12/477.25	c  475s |      12 |   689931 |    32819 |    86182      0 |      152 |      149
480.42/480.51	c  479s |      12 |   691507 |    33019 |    86182      0 |      152 |      149
483.72/483.87	c  482s |      12 |   694127 |    33219 |    86182      0 |      152 |      149
487.12/487.24	c  485s |      12 |   700251 |    33419 |    86182      0 |      152 |      149
490.42/490.53	c  489s |      12 |   705242 |    33619 |    86182      0 |      152 |      149
493.72/493.87	c  492s |      12 |   708770 |    33819 |    86182      0 |      152 |      149
496.82/496.98	c  495s |      12 |   713688 |    34019 |    86182      0 |      152 |      149
499.92/500.00	c  498s |      12 |   717141 |    34219 |    86182      0 |      152 |      149
503.01/503.16	c  501s |      12 |   718292 |    34419 |    86182      0 |      152 |      149
505.31/505.49	c  503s |      12 |   720270 |    34519 |    86182      0 |      152 |      149
507.61/507.78	c  506s |      12 |   721971 |    34619 |    86182      0 |      152 |      149
510.61/510.78	c  509s |      12 |   726412 |    34919 |    86182      0 |      152 |      149
513.41/513.50	c  511s |      12 |   729903 |    35119 |    86182      0 |      152 |      149
516.71/516.82	c  515s |      12 |   733216 |    35319 |    86182      0 |      152 |      149
519.31/519.45	c  517s |      12 |   733842 |    35519 |    86182      0 |      152 |      149
522.31/522.42	c  520s |      12 |   735355 |    35719 |    86182      0 |      152 |      149
525.51/525.67	c  524s |      12 |   736660 |    35919 |    86182      0 |      152 |      149
528.41/528.53	c  527s |      12 |   737139 |    36119 |    86182      0 |      152 |      149
531.32/531.47	c  529s |      12 |   737755 |    36319 |    86182      0 |      152 |      149
534.31/534.44	c  532s |      12 |   738243 |    36519 |    86182      0 |      152 |      149
537.41/537.57	c  536s |      12 |   739733 |    36719 |    86182      0 |      152 |      149
539.81/539.95	c  538s |      12 |   744138 |    36919 |    86182      0 |      152 |      149
542.81/542.96	c  541s |      12 |   748143 |    37119 |    86182      0 |      152 |      149
546.41/546.59	c  545s |      12 |   749398 |    37319 |    86182      0 |      152 |      149
549.41/549.51	c  548s |      12 |   754249 |    37519 |    86182      0 |      152 |      149
552.81/552.92	c  551s |      12 |   756140 |    37719 |    86182      0 |      152 |      149
556.11/556.24	c  554s |      12 |   757886 |    37919 |    86182      0 |      152 |      149
559.60/559.71	c  558s |      12 |   763611 |    38119 |    86182      0 |      152 |      149
562.60/562.70	c  561s |      12 |   765845 |    38319 |    86182      0 |      152 |      149
565.70/565.84	c  564s |      12 |   768723 |    38519 |    86182      0 |      152 |      149
568.80/568.91	c  567s |      12 |   770855 |    38719 |    94801      0 |      152 |      149
570.60/570.77	c  569s |      13 |   772226 |    38832 |    94801      0 |      152 |      149
573.60/573.78	c  572s |      13 |   773895 |    39032 |    94801      0 |      152 |      149
577.20/577.32	c  575s |      13 |   775179 |    39232 |    94801      0 |      152 |      149
580.00/580.17	c  578s |      13 |   779462 |    39432 |    94801      0 |      152 |      149
582.70/582.85	c  581s |      13 |   780856 |    39632 |    94801      0 |      152 |      149
585.90/586.08	c  584s |      13 |   784124 |    39832 |    94801      0 |      152 |      149
588.80/588.96	c  587s |      13 |   789139 |    40032 |    94801      0 |      152 |      149
592.40/592.58	c  591s |      13 |   791805 |    40232 |    94801      0 |      152 |      149
596.30/596.41	c  594s |      13 |   794760 |    40432 |    94801      0 |      152 |      149
599.20/599.33	c  597s |      13 |   795626 |    40632 |    94801      0 |      152 |      149
602.30/602.41	c  600s |      13 |   798725 |    40832 |    94801      0 |      152 |      149
605.30/605.41	c  603s |      13 |   800739 |    41032 |    94801      0 |      152 |      149
609.00/609.15	c  607s |      13 |   803259 |    41232 |    94801      0 |      152 |      149
612.50/612.67	c  611s |      13 |   805855 |    41432 |    94801      0 |      152 |      149
615.40/615.51	c  614s |      13 |   806740 |    41632 |    94801      0 |      152 |      149
618.30/618.43	c  616s |      13 |   807721 |    41832 |    94801      0 |      152 |      149
621.29/621.50	c  619s |      13 |   808206 |    42032 |    94801      0 |      152 |      149
625.29/625.46	c  623s |      13 |   809912 |    42232 |    94801      0 |      152 |      149
627.59/627.74	c  626s |      13 |   810770 |    42332 |    94801      0 |      152 |      149
629.79/629.94	c  628s |      13 |   812176 |    42432 |    94801      0 |      152 |      149
633.19/633.36	c  631s |      13 |   813738 |    42632 |    94801      0 |      152 |      149
635.29/635.42	c  633s |      13 |   815721 |    42732 |    94801      0 |      152 |      149
637.39/637.55	c  636s |      13 |   816313 |    42832 |    94801      0 |      152 |      149
641.39/641.56	c  640s |      13 |   817175 |    43032 |    94801      0 |      152 |      149
644.09/644.21	c  642s |      13 |   817411 |    43132 |    94801      0 |      152 |      149
646.29/646.48	c  644s |      13 |   818006 |    43232 |    94801      0 |      152 |      149
648.49/648.66	c  647s |      13 |   819331 |    43332 |    94801      0 |      152 |      149
651.59/651.77	c  650s |      13 |   823333 |    43532 |    94801      0 |      152 |      149
653.59/653.79	c  652s |      13 |   823582 |    43632 |    94801      0 |      152 |      149
656.09/656.21	c  654s |      13 |   823778 |    43732 |    94801      0 |      152 |      149
658.29/658.45	c  656s |      13 |   824564 |    43832 |    94801      0 |      152 |      149
662.10/662.25	c  660s |      13 |   825784 |    44032 |    94801      0 |      152 |      149
666.19/666.35	c  664s |      13 |   826970 |    44232 |    94801      0 |      152 |      149
668.39/668.57	c  667s |      13 |   827252 |    44332 |    94801      0 |      152 |      149
671.09/671.26	c  669s |      13 |   827377 |    44432 |    94801      0 |      152 |      149
673.79/673.91	c  672s |      13 |   827669 |    44532 |    94801      0 |      152 |      149
676.09/676.23	c  674s |      13 |   828879 |    44632 |    94801      0 |      152 |      149
678.09/678.27	c  676s |      13 |   831083 |    44732 |    94801      0 |      152 |      149
680.19/680.34	c  678s |      13 |   832649 |    44832 |    94801      0 |      152 |      149
683.09/683.21	c  681s |      13 |   834874 |    45032 |    94801      0 |      152 |      149
687.08/687.27	c  685s |      13 |   835844 |    45232 |    94801      0 |      152 |      149
689.59/689.72	c  688s |      13 |   836426 |    45332 |    94801      0 |      152 |      149
691.58/691.73	c  690s |      13 |   839511 |    45432 |    94801      0 |      152 |      149
695.19/695.38	c  693s |      13 |   841733 |    45632 |    94801      0 |      152 |      149
698.28/698.41	c  696s |      13 |   842143 |    45732 |    94801      0 |      152 |      149
701.98/702.11	c  700s |      13 |   842512 |    45832 |    94801      0 |      152 |      149
704.68/704.88	c  703s |      13 |   842991 |    45932 |    94801      0 |      152 |      149
706.98/707.14	c  705s |      13 |   844723 |    46032 |    94801      0 |      152 |      149
709.98/710.13	c  708s |      13 |   848470 |    46232 |    94801      0 |      152 |      149
712.98/713.10	c  711s |      13 |   849317 |    46432 |    94801      0 |      152 |      149
718.98/719.17	c  717s |      13 |   850302 |    46632 |    94801      0 |      152 |      149
722.78/722.99	c  721s |      13 |   852620 |    46832 |    94801      0 |      152 |      149
724.89/725.05	c  723s |      13 |   853038 |    46932 |    94801      0 |      152 |      149
728.38/728.50	c  726s |      13 |   856513 |    47132 |    94801      0 |      152 |      149
731.98/732.17	c  730s |      13 |   858232 |    47332 |    94801      0 |      152 |      149
735.48/735.68	c  734s |      13 |   858490 |    47432 |    94801      0 |      152 |      149
739.38/739.58	c  738s |      13 |   861414 |    47632 |    94801      0 |      152 |      149
741.88/742.02	c  740s |      13 |   866083 |    47832 |    94801      0 |      152 |      149
744.38/744.51	c  743s |      13 |   866898 |    47932 |    94801      0 |      152 |      149
746.48/746.61	c  745s |      13 |   867874 |    48032 |    94801      0 |      152 |      149
749.58/749.75	c  748s |      13 |   869797 |    48232 |    94801      0 |      152 |      149
752.47/752.69	c  751s |      13 |   870173 |    48432 |    94801      0 |      152 |      149
755.77/755.97	c  754s |      13 |   872870 |    48632 |    94801      0 |      152 |      149
758.37/758.59	c  757s |      13 |   875822 |    48832 |    94801      0 |      152 |      149
760.57/760.72	c  759s |      13 |   876481 |    48932 |    94801      0 |      152 |      149
763.47/763.60	c  762s |      13 |   878934 |    49232 |    94801      0 |      152 |      149
765.67/765.87	c  764s |      13 |   879450 |    49432 |    94801      0 |      152 |      149
767.97/768.12	c  766s |      13 |   880256 |    49632 |    94801      0 |      152 |      149
771.27/771.42	c  769s |      13 |   881106 |    49832 |    94801      0 |      152 |      149
773.97/774.17	c  772s |      13 |   881489 |    50032 |    94801      0 |      152 |      149
776.87/777.01	c  775s |      13 |   884006 |    50332 |    94801      0 |      152 |      149
779.17/779.35	c  777s |      13 |   885629 |    50532 |    94801      0 |      152 |      149
781.67/781.85	c  780s |      13 |   887012 |    50732 |    94801      0 |      152 |      149
784.77/784.93	c  783s |      13 |   888222 |    50932 |    94801      0 |      152 |      149
787.48/787.62	c  786s |      13 |   891058 |    51232 |    94801      0 |      152 |      149
789.97/790.10	c  788s |      13 |   892046 |    51432 |    94801      0 |      152 |      149
792.27/792.40	c  790s |      13 |   893288 |    51632 |    94801      0 |      152 |      149
795.57/795.70	c  794s |      13 |   894686 |    51932 |    94801      0 |      152 |      149
798.77/798.92	c  797s |      13 |   895734 |    52132 |    94801      0 |      152 |      149
800.87/801.01	c  799s |      13 |   897582 |    52332 |    94801      0 |      152 |      149
803.07/803.20	c  801s |      13 |   898324 |    52532 |    94801      0 |      152 |      149
805.37/805.51	c  804s |      13 |   901455 |    52832 |    94801      0 |      152 |      149
807.37/807.52	c  806s |      13 |   903503 |    53032 |    94801      0 |      152 |      149
810.17/810.38	c  808s |      13 |   905630 |    53232 |    94801      0 |      152 |      149
812.67/812.82	c  811s |      13 |   907604 |    53432 |    94801      0 |      152 |      149
815.47/815.67	c  814s |      13 |   909692 |    53632 |    94801      0 |      152 |      149
818.66/818.86	c  817s |      13 |   912670 |    53932 |    94801      0 |      152 |      149
820.66/820.87	c  819s |      13 |   913976 |    54132 |    94801      0 |      152 |      149
822.96/823.12	c  821s |      13 |   915211 |    54332 |    94801      0 |      152 |      149
825.26/825.40	c  823s |      13 |   915884 |    54532 |    94801      0 |      152 |      149
827.86/828.08	c  826s |      13 |   916782 |    54732 |    94801      0 |      152 |      149
830.66/830.88	c  829s |      13 |   917826 |    54932 |    94801      0 |      152 |      149
834.26/834.40	c  832s |      13 |   918416 |    55232 |    94801      0 |      152 |      149
836.86/837.04	c  835s |      13 |   919050 |    55432 |    94801      0 |      152 |      149
839.36/839.59	c  838s |      13 |   919743 |    55632 |    94801      0 |      152 |      149
841.86/842.03	c  840s |      13 |   920762 |    55832 |    94801      0 |      152 |      149
844.36/844.51	c  843s |      13 |   921107 |    56032 |    94801      0 |      152 |      149
846.97/847.15	c  845s |      13 |   921825 |    56232 |    94801      0 |      152 |      149
849.76/849.99	c  848s |      13 |   922328 |    56532 |    94801      0 |      152 |      149
853.06/853.29	c  851s |      13 |   922937 |    56832 |    94801      0 |      152 |      149
856.16/856.34	c  854s |      13 |   923907 |    57032 |    94801      0 |      152 |      149
858.85/859.03	c  857s |      13 |   924574 |    57232 |    94801      0 |      152 |      149
861.45/861.64	c  860s |      13 |   925183 |    57432 |    94801      0 |      152 |      149
864.05/864.28	c  862s |      13 |   926094 |    57632 |    94801      0 |      152 |      149
866.66/866.89	c  865s |      13 |   926513 |    57832 |    94801      0 |      152 |      149
869.96/870.18	c  868s |      13 |   927003 |    58032 |   104282      0 |      152 |      149
872.65/872.90	c  871s |      13 |   927471 |    58232 |   104282      0 |      152 |      149
874.05/874.20	c  872s |      14 |   927898 |    58352 |   104282      0 |      152 |      149
878.05/878.20	c  876s |      14 |   928624 |    58552 |   104282      0 |      152 |      149
881.25/881.48	c  879s |      14 |   929386 |    58752 |   104282      0 |      152 |      149
884.45/884.65	c  883s |      14 |   929870 |    58952 |   104282      0 |      152 |      149
887.95/888.18	c  886s |      14 |   930454 |    59152 |   104282      0 |      152 |      149
890.15/890.34	c  888s |      14 |   930697 |    59252 |   104282      0 |      152 |      149
892.15/892.35	c  890s |      14 |   930956 |    59352 |   104282      0 |      152 |      149
894.25/894.48	c  892s |      14 |   931092 |    59452 |   104282      0 |      152 |      149
897.24/897.48	c  895s |      14 |   931361 |    59552 |   104282      0 |      152 |      149
901.64/901.80	c  900s |      14 |   931791 |    59752 |   104282      0 |      152 |      149
903.74/903.96	c  902s |      14 |   931953 |    59852 |   104282      0 |      152 |      149
907.35/907.55	c  906s |      14 |   932510 |    60052 |   104282      0 |      152 |      149
909.44/909.68	c  908s |      14 |   932670 |    60152 |   104282      0 |      152 |      149
911.75/911.91	c  910s |      14 |   932824 |    60252 |   104282      0 |      152 |      149
915.14/915.33	c  913s |      14 |   933238 |    60452 |   104282      0 |      152 |      149
918.73/918.98	c  917s |      14 |   933740 |    60652 |   104282      0 |      152 |      149
920.93/921.10	c  919s |      14 |   933875 |    60752 |   104282      0 |      152 |      149
923.03/923.28	c  921s |      14 |   934073 |    60852 |   104282      0 |      152 |      149
925.23/925.47	c  923s |      14 |   934311 |    60952 |   104282      0 |      152 |      149
927.53/927.73	c  926s |      14 |   934619 |    61052 |   104282      0 |      152 |      149
931.73/931.97	c  930s |      14 |   935210 |    61252 |   104282      0 |      152 |      149
934.43/934.62	c  933s |      14 |   935529 |    61352 |   104282      0 |      152 |      149
936.73/936.91	c  935s |      14 |   935807 |    61452 |   104282      0 |      152 |      149
939.23/939.43	c  937s |      14 |   936000 |    61552 |   104282      0 |      152 |      149
942.12/942.34	c  940s |      14 |   936232 |    61652 |   104282      0 |      152 |      149
944.73/944.99	c  943s |      14 |   936369 |    61752 |   104282      0 |      152 |      149
947.22/947.45	c  945s |      14 |   936633 |    61852 |   104282      0 |      152 |      149
949.32/949.52	c  948s |      14 |   936862 |    61952 |   104282      0 |      152 |      149
951.82/952.02	c  950s |      14 |   937042 |    62052 |   104282      0 |      152 |      149
954.42/954.66	c  953s |      14 |   937798 |    62152 |   104282      0 |      152 |      149
957.02/957.25	c  955s |      14 |   938029 |    62252 |   104282      0 |      152 |      149
960.62/960.85	c  959s |      14 |   938611 |    62452 |   104282      0 |      152 |      149
962.71/962.91	c  961s |      14 |   938739 |    62552 |   104282      0 |      152 |      149
965.11/965.31	c  963s |      14 |   938961 |    62652 |   104282      0 |      152 |      149
967.82/968.02	c  966s |      14 |   939153 |    62752 |   104282      0 |      152 |      149
970.61/970.84	c  969s |      14 |   939486 |    62852 |   104282      0 |      152 |      149
974.42/974.68	c  973s |      14 |   939950 |    63052 |   104282      0 |      152 |      149
976.81/977.05	c  975s |      14 |   940158 |    63152 |   104282      0 |      152 |      149
980.41/980.64	c  979s |      14 |   940804 |    63352 |   104282      0 |      152 |      149
983.51/983.77	c  982s |      14 |   941515 |    63552 |   104282      0 |      152 |      149
985.71/986.00	c  984s |      14 |   941769 |    63652 |   104282      0 |      152 |      149
988.11/988.31	c  986s |      14 |   941945 |    63752 |   104282      0 |      152 |      149
991.81/992.04	c  990s |      14 |   942430 |    63952 |   104282      0 |      152 |      149
996.00/996.20	c  994s |      14 |   942914 |    64152 |   104282      0 |      152 |      149
998.10/998.38	c  996s |      14 |   943077 |    64252 |   104282      0 |      152 |      149
1001.80/1002.07	c 1000s |      14 |   943395 |    64452 |   104282      0 |      152 |      149
1005.40/1005.64	c 1004s |      14 |   943729 |    64652 |   104282      0 |      152 |      149
1007.70/1007.95	c 1006s |      14 |   943896 |    64752 |   104282      0 |      152 |      149
1011.60/1011.86	c 1010s |      14 |   944300 |    64952 |   104282      0 |      152 |      149
1013.70/1013.99	c 1012s |      14 |   944573 |    65052 |   104282      0 |      152 |      149
1015.90/1016.14	c 1014s |      14 |   944828 |    65152 |   104282      0 |      152 |      149
1018.30/1018.58	c 1017s |      14 |   945079 |    65252 |   104282      0 |      152 |      149
1020.60/1020.82	c 1019s |      14 |   945365 |    65352 |   104282      0 |      152 |      149
1024.90/1025.18	c 1023s |      14 |   945767 |    65552 |   104282      0 |      152 |      149
1027.10/1027.32	c 1025s |      14 |   945950 |    65652 |   104282      0 |      152 |      149
1030.89/1031.12	c 1029s |      14 |   946447 |    65852 |   104282      0 |      152 |      149
1033.59/1033.87	c 1032s |      14 |   946638 |    65952 |   104282      0 |      152 |      149
1035.90/1036.11	c 1034s |      14 |   946814 |    66052 |   104282      0 |      152 |      149
1038.60/1038.87	c 1037s |      14 |   947232 |    66252 |   104282      0 |      152 |      149
1040.60/1040.88	c 1039s |      14 |   947497 |    66352 |   104282      0 |      152 |      149
1044.20/1044.42	c 1042s |      14 |   948009 |    66552 |   104282      0 |      152 |      149
1047.90/1048.13	c 1046s |      14 |   948344 |    66752 |   104282      0 |      152 |      149
1050.00/1050.27	c 1048s |      14 |   948524 |    66852 |   104282      0 |      152 |      149
1053.30/1053.53	c 1052s |      14 |   948768 |    66952 |   104282      0 |      152 |      149
1056.00/1056.24	c 1054s |      14 |   948918 |    67052 |   104282      0 |      152 |      149
1058.70/1058.98	c 1057s |      14 |   949127 |    67152 |   104282      0 |      152 |      149
1061.70/1061.90	c 1060s |      14 |   949352 |    67252 |   104282      0 |      152 |      149
1064.50/1064.78	c 1063s |      14 |   949535 |    67352 |   104282      0 |      152 |      149
1068.39/1068.65	c 1067s |      14 |   949958 |    67552 |   104282      0 |      152 |      149
1073.59/1073.87	c 1072s |      14 |   950276 |    67752 |   104282      0 |      152 |      149
1077.09/1077.37	c 1075s |      14 |   950386 |    67852 |   104282      0 |      152 |      149
1080.00/1080.21	c 1078s |      14 |   950522 |    67952 |   104282      0 |      152 |      149
1083.79/1084.03	c 1082s |      14 |   950730 |    68052 |   104282      0 |      152 |      149
1086.99/1087.29	c 1085s |      14 |   950902 |    68152 |   104282      0 |      152 |      149
1089.39/1089.67	c 1088s |      14 |   951078 |    68252 |   104282      0 |      152 |      149
1091.49/1091.79	c 1090s |      14 |   951269 |    68352 |   104282      0 |      152 |      149
1094.79/1095.00	c 1093s |      14 |   951483 |    68452 |   104282      0 |      152 |      149
1097.09/1097.30	c 1095s |      14 |   951595 |    68552 |   104282      0 |      152 |      149
1099.38/1099.64	c 1098s |      14 |   951864 |    68652 |   104282      0 |      152 |      149
1103.28/1103.58	c 1102s |      14 |   952124 |    68852 |   104282      0 |      152 |      149
1105.68/1105.90	c 1104s |      14 |   952345 |    68952 |   104282      0 |      152 |      149
1107.68/1107.91	c 1106s |      14 |   952888 |    69052 |   104282      0 |      152 |      149
1111.18/1111.48	c 1109s |      14 |   954360 |    69352 |   104282      0 |      152 |      149
1113.88/1114.17	c 1112s |      14 |   954858 |    69552 |   104282      0 |      152 |      149
1116.48/1116.77	c 1115s |      14 |   954981 |    69652 |   104282      0 |      152 |      149
1120.28/1120.59	c 1119s |      14 |   955127 |    69752 |   104282      0 |      152 |      149
1123.88/1124.11	c 1122s |      14 |   955255 |    69852 |   104282      0 |      152 |      149
1127.08/1127.31	c 1125s |      14 |   955379 |    69952 |   104282      0 |      152 |      149
1130.87/1131.14	c 1129s |      14 |   955526 |    70052 |   104282      0 |      152 |      149
1134.17/1134.46	c 1132s |      14 |   955676 |    70152 |   104282      0 |      152 |      149
1136.47/1136.79	c 1135s |      14 |   955866 |    70252 |   104282      0 |      152 |      149
1138.97/1139.21	c 1137s |      14 |   956012 |    70352 |   104282      0 |      152 |      149
1141.97/1142.25	c 1140s |      14 |   956142 |    70452 |   104282      0 |      152 |      149
1145.27/1145.55	c 1144s |      14 |   956288 |    70552 |   104282      0 |      152 |      149
1148.66/1148.94	c 1147s |      14 |   956416 |    70652 |   104282      0 |      152 |      149
1152.16/1152.42	c 1150s |      14 |   956543 |    70752 |   104282      0 |      152 |      149
1155.76/1156.06	c 1154s |      14 |   956671 |    70852 |   104282      0 |      152 |      149
1159.06/1159.36	c 1157s |      14 |   956788 |    70952 |   104282      0 |      152 |      149
1162.26/1162.56	c 1161s |      14 |   956910 |    71052 |   104282      0 |      152 |      149
1164.77/1165.06	c 1163s |      14 |   957067 |    71152 |   104282      0 |      152 |      149
1167.26/1167.60	c 1166s |      14 |   957219 |    71252 |   104282      0 |      152 |      149
1172.56/1172.84	c 1171s |      14 |   957563 |    71452 |   104282      0 |      152 |      149
1176.56/1176.80	c 1175s |      14 |   957699 |    71552 |   104282      0 |      152 |      149
1179.65/1179.93	c 1178s |      14 |   957827 |    71652 |   104282      0 |      152 |      149
1182.55/1182.90	c 1181s |      14 |   957937 |    71752 |   104282      0 |      152 |      149
1185.66/1185.92	c 1184s |      14 |   958061 |    71852 |   104282      0 |      152 |      149
1189.35/1189.60	c 1188s |      14 |   958200 |    71952 |   104282      0 |      152 |      149
1192.05/1192.36	c 1190s |      14 |   958349 |    72052 |   104282      0 |      152 |      149
1195.35/1195.62	c 1194s |      14 |   958473 |    72152 |   104282      0 |      152 |      149
1197.66/1197.93	c 1196s |      14 |   958619 |    72252 |   104282      0 |      152 |      149
1200.45/1200.72	c 1199s |      14 |   958821 |    72352 |   104282      0 |      152 |      149
1204.14/1204.41	c 1202s |      14 |   958938 |    72452 |   104282      0 |      152 |      149
1207.65/1207.93	c 1206s |      14 |   959070 |    72552 |   104282      0 |      152 |      149
1211.14/1211.49	c 1209s |      14 |   959208 |    72652 |   104282      0 |      152 |      149
1215.04/1215.30	c 1213s |      14 |   959325 |    72752 |   104282      0 |      152 |      149
1217.45/1217.74	c 1216s |      14 |   959469 |    72852 |   104282      0 |      152 |      149
1220.44/1220.77	c 1219s |      14 |   959604 |    72952 |   104282      0 |      152 |      149
1223.64/1223.95	c 1222s |      14 |   959824 |    73052 |   104282      0 |      152 |      149
1226.74/1227.05	c 1225s |      14 |   959943 |    73152 |   104282      0 |      152 |      149
1229.94/1230.27	c 1228s |      14 |   960065 |    73252 |   104282      0 |      152 |      149
1233.64/1233.96	c 1232s |      14 |   960205 |    73352 |   104282      0 |      152 |      149
1235.64/1235.99	c 1234s |      14 |   960352 |    73452 |   104282      0 |      152 |      149
1237.74/1238.05	c 1236s |      14 |   960472 |    73552 |   104282      0 |      152 |      149
1241.43/1241.79	c 1240s |      14 |   960617 |    73652 |   104282      0 |      152 |      149
1246.53/1246.81	c 1245s |      14 |   960746 |    73752 |   104282      0 |      152 |      149
1249.63/1249.96	c 1248s |      14 |   960879 |    73852 |   104282      0 |      152 |      149
1254.23/1254.57	c 1253s |      14 |   961010 |    73952 |   104282      0 |      152 |      149
1258.93/1259.22	c 1257s |      14 |   961155 |    74052 |   104282      0 |      152 |      149
1262.13/1262.41	c 1260s |      14 |   961332 |    74152 |   104282      0 |      152 |      149
1264.42/1264.74	c 1263s |      14 |   961467 |    74252 |   104282      0 |      152 |      149
1266.93/1267.26	c 1265s |      14 |   961619 |    74352 |   104282      0 |      152 |      149
1270.33/1270.63	c 1269s |      14 |   961770 |    74452 |   104282      0 |      152 |      149
1274.12/1274.42	c 1272s |      14 |   961902 |    74552 |   104282      0 |      152 |      149
1277.82/1278.14	c 1276s |      14 |   962055 |    74652 |   104282      0 |      152 |      149
1283.42/1283.73	c 1282s |      14 |   962333 |    74852 |   104282      0 |      152 |      149
1286.62/1286.97	c 1285s |      14 |   962443 |    74952 |   104282      0 |      152 |      149
1292.01/1292.37	c 1290s |      14 |   962584 |    75052 |   104282      0 |      152 |      149
1296.81/1297.12	c 1295s |      14 |   962720 |    75152 |   104282      0 |      152 |      149
1301.81/1302.14	c 1300s |      14 |   962897 |    75252 |   104282      0 |      152 |      149
1305.11/1305.42	c 1303s |      14 |   963032 |    75352 |   104282      0 |      152 |      149
1308.61/1308.99	c 1307s |      14 |   963195 |    75452 |   104282      0 |      152 |      149
1312.01/1312.38	c 1310s |      14 |   963349 |    75552 |   104282      0 |      152 |      149
1316.80/1317.13	c 1315s |      14 |   963480 |    75652 |   104282      0 |      152 |      149
1321.10/1321.46	c 1319s |      14 |   963596 |    75752 |   104282      0 |      152 |      149
1324.30/1324.62	c 1323s |      14 |   963719 |    75852 |   104282      0 |      152 |      149
1327.30/1327.69	c 1326s |      14 |   963858 |    75952 |   104282      0 |      152 |      149
1330.29/1330.60	c 1329s |      14 |   963993 |    76052 |   104282      0 |      152 |      149
1334.10/1334.42	c 1332s |      14 |   964140 |    76152 |   104282      0 |      152 |      149
1336.89/1337.20	c 1335s |      14 |   964329 |    76252 |   104282      0 |      152 |      149
1341.48/1341.85	c 1340s |      14 |   964455 |    76352 |   104282      0 |      152 |      149
1346.09/1346.42	c 1344s |      14 |   964585 |    76452 |   104282      0 |      152 |      149
1348.78/1349.19	c 1347s |      14 |   964736 |    76552 |   104282      0 |      152 |      149
1354.88/1355.22	c 1353s |      14 |   965009 |    76752 |   104282      0 |      152 |      149
1360.07/1360.41	c 1358s |      14 |   965155 |    76852 |   104282      0 |      152 |      149
1363.47/1363.88	c 1362s |      14 |   965268 |    76952 |   104282      0 |      152 |      149
1368.07/1368.45	c 1366s |      14 |   965524 |    77152 |   104282      0 |      152 |      149
1371.47/1371.89	c 1370s |      14 |   965650 |    77252 |   104282      0 |      152 |      149
1374.67/1375.05	c 1373s |      14 |   965784 |    77352 |   104282      0 |      152 |      149
1376.87/1377.21	c 1375s |      14 |   965917 |    77452 |   104282      0 |      152 |      149
1380.66/1381.06	c 1379s |      14 |   966052 |    77552 |   104282      0 |      152 |      149
1383.46/1383.82	c 1382s |      14 |   966160 |    77652 |   104282      0 |      152 |      149
1385.86/1386.23	c 1384s |      14 |   966272 |    77752 |   104282      0 |      152 |      149
1388.65/1389.05	c 1387s |      14 |   966385 |    77852 |   104282      0 |      152 |      149
1391.95/1392.38	c 1390s |      14 |   966497 |    77952 |   104282      0 |      152 |      149
1396.35/1396.77	c 1395s |      14 |   966610 |    78052 |   104282      0 |      152 |      149
1401.16/1401.57	c 1400s |      14 |   966723 |    78152 |   104282      0 |      152 |      149
1403.55/1403.92	c 1402s |      14 |   966847 |    78252 |   104282      0 |      152 |      149
1406.95/1407.37	c 1405s |      14 |   966967 |    78352 |   104282      0 |      152 |      149
1410.54/1410.94	c 1409s |      14 |   967093 |    78452 |   104282      0 |      152 |      149
1414.74/1415.14	c 1413s |      14 |   967208 |    78552 |   104282      0 |      152 |      149
1418.44/1418.88	c 1417s |      14 |   967355 |    78652 |   104282      0 |      152 |      149
1422.84/1423.20	c 1421s |      14 |   967465 |    78752 |   104282      0 |      152 |      149
1426.44/1426.88	c 1425s |      14 |   967579 |    78852 |   104282      0 |      152 |      149
1429.74/1430.17	c 1428s |      14 |   967719 |    78952 |   104282      0 |      152 |      149
1433.74/1434.18	c 1432s |      14 |   967840 |    79052 |   104282      0 |      152 |      149
1436.34/1436.78	c 1435s |      14 |   967971 |    79152 |   104282      0 |      152 |      149
1439.33/1439.73	c 1438s |      14 |   968107 |    79252 |   104282      0 |      152 |      149
1442.23/1442.65	c 1441s |      14 |   968239 |    79352 |   104282      0 |      152 |      149
1445.53/1445.92	c 1444s |      14 |   968361 |    79452 |   104282      0 |      152 |      149
1448.63/1449.01	c 1447s |      14 |   968491 |    79552 |   104282      0 |      152 |      149
1452.84/1453.25	c 1451s |      14 |   968609 |    79652 |   104282      0 |      152 |      149
1457.03/1457.40	c 1455s |      14 |   968737 |    79752 |   104282      0 |      152 |      149
1460.83/1461.25	c 1459s |      14 |   968857 |    79852 |   104282      0 |      152 |      149
1464.73/1465.15	c 1463s |      14 |   968978 |    79952 |   104282      0 |      152 |      149
1466.83/1467.20	c 1465s |      14 |   969114 |    80052 |   104282      0 |      152 |      149
1470.72/1471.13	c 1469s |      14 |   969430 |    80252 |   104282      0 |      152 |      149
1473.32/1473.75	c 1472s |      14 |   969555 |    80352 |   104282      0 |      152 |      149
1476.22/1476.61	c 1475s |      14 |   969687 |    80452 |   104282      0 |      152 |      149
1479.02/1479.43	c 1477s |      14 |   969817 |    80552 |   104282      0 |      152 |      149
1482.72/1483.14	c 1481s |      14 |   969952 |    80652 |   104282      0 |      152 |      149
1486.72/1487.14	c 1485s |      14 |   970069 |    80752 |   104282      0 |      152 |      149
1490.22/1490.69	c 1489s |      14 |   970208 |    80852 |   104282      0 |      152 |      149
1492.42/1492.87	c 1491s |      14 |   970334 |    80952 |   104282      0 |      152 |      149
1496.41/1496.85	c 1495s |      14 |   970472 |    81052 |   104282      0 |      152 |      149
1499.41/1499.86	c 1498s |      14 |   970600 |    81152 |   104282      0 |      152 |      149
1502.01/1502.42	c 1500s |      14 |   970719 |    81252 |   104282      0 |      152 |      149
1504.42/1504.81	c 1503s |      14 |   970857 |    81352 |   104282      0 |      152 |      149
1506.51/1506.99	c 1505s |      14 |   970979 |    81452 |   104282      0 |      152 |      149
1509.81/1510.22	c 1508s |      14 |   971115 |    81552 |   104282      0 |      152 |      149
1512.31/1512.74	c 1511s |      14 |   971280 |    81652 |   104282      0 |      152 |      149
1515.11/1515.52	c 1514s |      14 |   971425 |    81752 |   104282      0 |      152 |      149
1520.70/1521.14	c 1519s |      14 |   971885 |    82052 |   104282      0 |      152 |      149
1523.21/1523.68	c 1522s |      14 |   972066 |    82152 |   104282      0 |      152 |      149
1526.41/1526.89	c 1525s |      14 |   972215 |    82252 |   104282      0 |      152 |      149
1529.90/1530.35	c 1528s |      14 |   972339 |    82352 |   104282      0 |      152 |      149
1533.20/1533.61	c 1532s |      14 |   972472 |    82452 |   104282      0 |      152 |      149
1536.31/1536.72	c 1535s |      14 |   972605 |    82552 |   104282      0 |      152 |      149
1539.40/1539.85	c 1538s |      14 |   972725 |    82652 |   104282      0 |      152 |      149
1542.30/1542.79	c 1541s |      14 |   972862 |    82752 |   104282      0 |      152 |      149
1544.70/1545.14	c 1543s |      14 |   973001 |    82852 |   104282      0 |      152 |      149
1547.41/1547.87	c 1546s |      14 |   973131 |    82952 |   104282      0 |      152 |      149
1550.40/1550.80	c 1549s |      14 |   973268 |    83052 |   104282      0 |      152 |      149
1552.60/1553.00	c 1551s |      14 |   973417 |    83152 |   104282      0 |      152 |      149
1555.30/1555.73	c 1554s |      14 |   973689 |    83352 |   104282      0 |      152 |      149
1558.41/1558.86	c 1557s |      14 |   973982 |    83552 |   104282      0 |      152 |      149
1562.30/1562.71	c 1561s |      14 |   974290 |    83752 |   104282      0 |      152 |      149
1566.40/1566.87	c 1565s |      14 |   974591 |    83952 |   104282      0 |      152 |      149
1568.90/1569.32	c 1567s |      14 |   974727 |    84052 |   104282      0 |      152 |      149
1571.10/1571.52	c 1570s |      14 |   974858 |    84152 |   104282      0 |      152 |      149
1576.10/1576.53	c 1575s |      14 |   975134 |    84352 |   104282      0 |      152 |      149
1578.20/1578.69	c 1577s |      14 |   975275 |    84452 |   104282      0 |      152 |      149
1580.40/1580.83	c 1579s |      14 |   975433 |    84552 |   104282      0 |      152 |      149
1583.80/1584.22	c 1582s |      14 |   975749 |    84752 |   104282      0 |      152 |      149
1586.39/1586.85	c 1585s |      14 |   975873 |    84852 |   104282      0 |      152 |      149
1588.79/1589.23	c 1587s |      14 |   976035 |    84952 |   104282      0 |      152 |      149
1591.79/1592.23	c 1590s |      14 |   976212 |    85052 |   104282      0 |      152 |      149
1596.49/1596.91	c 1595s |      14 |   976490 |    85252 |   104282      0 |      152 |      149
1600.29/1600.77	c 1599s |      14 |   976633 |    85352 |   104282      0 |      152 |      149
1605.60/1606.08	c 1604s |      14 |   976762 |    85452 |   104282      0 |      152 |      149
1609.39/1609.84	c 1608s |      14 |   976882 |    85552 |   104282      0 |      152 |      149
1612.59/1613.02	c 1611s |      14 |   977007 |    85652 |   104282      0 |      152 |      149
1616.09/1616.58	c 1615s |      14 |   977133 |    85752 |   104282      0 |      152 |      149
1619.69/1620.16	c 1618s |      14 |   977297 |    85852 |   104282      0 |      152 |      149
1622.59/1623.09	c 1621s |      14 |   977428 |    85952 |   104282      0 |      152 |      149
1627.59/1628.07	c 1626s |      14 |   977736 |    86152 |   104282      0 |      152 |      149
1632.49/1632.93	c 1631s |      14 |   977887 |    86252 |   104282      0 |      152 |      149
1635.99/1636.46	c 1634s |      14 |   978018 |    86352 |   104282      0 |      152 |      149
1640.38/1640.87	c 1639s |      14 |   978133 |    86452 |   104282      0 |      152 |      149
1644.98/1645.40	c 1643s |      14 |   978262 |    86552 |   104282      0 |      152 |      149
1648.78/1649.27	c 1647s |      14 |   978431 |    86652 |   104282      0 |      152 |      149
1654.28/1654.75	c 1653s |      14 |   978732 |    86852 |   104282      0 |      152 |      149
1658.08/1658.56	c 1657s |      14 |   978856 |    86952 |   104282      0 |      152 |      149
1660.98/1661.45	c 1659s |      14 |   979016 |    87052 |   114711      0 |      152 |      149
1664.08/1664.59	c 1663s |      14 |   979151 |    87152 |   114711      0 |      152 |      149
1668.18/1668.64	c 1667s |      14 |   979410 |    87352 |   114711      0 |      152 |      149
1670.59/1671.06	c 1669s |      14 |   979546 |    87452 |   114711      0 |      152 |      149
1673.89/1674.37	c 1672s |      14 |   979681 |    87552 |   114711      0 |      152 |      149
1677.09/1677.60	c 1676s |      15 |   979801 |    87632 |   114711      0 |      152 |      149
1679.68/1680.13	c 1678s |      15 |   980014 |    87732 |   114711      0 |      152 |      149
1682.78/1683.23	c 1681s |      15 |   980121 |    87832 |   114711      0 |      152 |      149
1686.38/1686.87	c 1685s |      15 |   980266 |    87932 |   114711      0 |      152 |      149
1689.68/1690.12	c 1688s |      15 |   980409 |    88032 |   114711      0 |      152 |      149
1694.08/1694.58	c 1693s |      15 |   980610 |    88132 |   114711      0 |      152 |      149
1697.08/1697.51	c 1696s |      15 |   980777 |    88232 |   114711      0 |      152 |      149
1701.57/1702.08	c 1700s |      15 |   980912 |    88332 |   114711      0 |      152 |      149
1704.58/1705.10	c 1703s |      15 |   981070 |    88432 |   114711      0 |      152 |      149
1708.57/1709.00	c 1707s |      15 |   981353 |    88632 |   114711      0 |      152 |      149
1711.18/1711.66	c 1710s |      15 |   981490 |    88732 |   114711      0 |      152 |      149
1713.27/1713.71	c 1712s |      15 |   981642 |    88832 |   114711      0 |      152 |      149
1716.17/1716.63	c 1715s |      15 |   981771 |    88932 |   114711      0 |      152 |      149
1718.88/1719.39	c 1717s |      15 |   981895 |    89032 |   114711      0 |      152 |      149
1721.57/1722.09	c 1720s |      15 |   982031 |    89132 |   114711      0 |      152 |      149
1725.37/1725.89	c 1724s |      15 |   982158 |    89232 |   114711      0 |      152 |      149
1728.27/1728.73	c 1727s |      15 |   982265 |    89332 |   114711      0 |      152 |      149
1731.57/1732.02	c 1730s |      15 |   982388 |    89432 |   114711      0 |      152 |      149
1734.97/1735.40	c 1733s |      15 |   982525 |    89532 |   114711      0 |      152 |      149
1737.77/1738.20	c 1736s |      15 |   982665 |    89632 |   114711      0 |      152 |      149
1741.17/1741.64	c 1740s |      15 |   982788 |    89732 |   114711      0 |      152 |      149
1743.57/1744.02	c 1742s |      15 |   982932 |    89832 |   114711      0 |      152 |      149
1746.27/1746.77	c 1745s |      15 |   983049 |    89932 |   114711      0 |      152 |      149
1748.37/1748.84	c 1747s |      15 |   983195 |    90032 |   114711      0 |      152 |      149
1750.57/1751.05	c 1749s |      15 |   983319 |    90132 |   114711      0 |      152 |      149
1753.37/1753.81	c 1752s |      15 |   983437 |    90232 |   114711      0 |      152 |      149
1756.37/1756.81	c 1755s |      15 |   983559 |    90332 |   114711      0 |      152 |      149
1758.96/1759.45	c 1757s |      15 |   983692 |    90432 |   114711      0 |      152 |      149
1761.06/1761.52	c 1760s |      15 |   983858 |    90532 |   114711      0 |      152 |      149
1763.56/1764.09	c 1762s |      15 |   983994 |    90632 |   114711      0 |      152 |      149
1767.16/1767.61	c 1766s |      15 |   984120 |    90732 |   114711      0 |      152 |      149
1769.96/1770.43	c 1768s |      15 |   984245 |    90832 |   114711      0 |      152 |      149
1773.87/1774.31	c 1772s |      15 |   984388 |    90932 |   114711      0 |      152 |      149
1777.76/1778.23	c 1776s |      15 |   984517 |    91032 |   114711      0 |      152 |      149
1781.86/1782.36	c 1780s |      15 |   984632 |    91132 |   114711      0 |      152 |      149
1784.87/1785.39	c 1783s |      15 |   984763 |    91232 |   114711      0 |      152 |      149
1787.46/1787.95	c 1786s |      15 |   984898 |    91332 |   114711      0 |      152 |      149
1789.56/1790.04	c 1788s |      15 |   985031 |    91432 |   114711      0 |      152 |      149
1793.06/1793.50	c 1791s |      15 |   985179 |    91532 |   114711      0 |      152 |      149
1795.46/1795.93	c 1794s |      15 |   985317 |    91632 |   114711      0 |      152 |      149
1798.96/1799.46	c 1797s |      15 |   985602 |    91832 |   114711      0 |      152 |      149

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.23 2.19 4/179 7132
/proc/meminfo: memFree=29076960/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 2808 0 0 0 0 0 0 0 20 0 4 0 111026058 770109440 3169 33554432000 4194304 16246674 140735109935568 140735109934992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 188527 3179 441 2943 0 185421 0
[pid=7132/tid=7133] ppid=7129 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 787935232 3236 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 792129536 3255 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111026058 797372416 3272 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.20 2.23 2.19 4/179 7132
/proc/meminfo: memFree=29076960/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 29036 0 0 0 6 3 0 0 20 0 4 0 111026058 1333334016 29336 33554432000 4194304 16246674 140735109935568 140735109934880 7377589 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 325521 29352 800 2943 0 322415 0
[pid=7132/tid=7133] ppid=7129 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1333334016 29364 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1333334016 29375 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1333334016 29386 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200566 s]
/proc/loadavg: 2.20 2.23 2.19 4/179 7132
/proc/meminfo: memFree=29076960/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 45954 0 0 0 14 5 0 0 20 0 4 0 111026058 1344868352 46764 33554432000 4194304 16246674 140735109935568 140735109918560 7374288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328337 46764 800 2943 0 325231 0
[pid=7132/tid=7133] ppid=7129 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1344868352 46764 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1344868352 46764 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1344868352 46764 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300514 s]
/proc/loadavg: 2.20 2.23 2.19 4/179 7132
/proc/meminfo: memFree=29076960/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 56047 0 0 0 22 7 0 0 20 0 4 0 111026058 1344868352 56857 33554432000 4194304 16246674 140735109935568 140735109918560 4206615 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328337 56857 800 2943 0 325231 0
[pid=7132/tid=7133] ppid=7129 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1344868352 56857 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1344868352 56857 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1344868352 56857 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700421 s]
/proc/loadavg: 2.20 2.23 2.19 4/179 7132
/proc/meminfo: memFree=29076960/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 86353 0 0 0 59 10 0 0 20 0 4 0 111026058 1346965504 87163 33554432000 4194304 16246674 140735109935568 140735109918560 13954914 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 87173 834 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 87178 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 87183 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 87188 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.5004 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 7136
/proc/meminfo: memFree=28420980/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 216659 0 0 0 121 28 0 0 20 0 4 0 111026058 1346965504 217469 33554432000 4194304 16246674 140735109935568 140735109934880 4221138 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 217469 836 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 217469 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 217469 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 217469 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.1004 s]
/proc/loadavg: 2.18 2.22 2.19 3/183 7136
/proc/meminfo: memFree=28207436/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 218041 0 0 0 280 29 0 0 20 0 4 0 111026058 1346965504 218851 33554432000 4194304 16246674 140735109935568 140735109917440 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 218853 891 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 218855 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 218856 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 218857 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.18 2.22 2.19 3/183 7136
/proc/meminfo: memFree=27996396/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269526 0 0 0 593 36 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140735109917440 12483671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270336 891 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.24 2.23 2.19 4/183 7136
/proc/meminfo: memFree=27996816/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=12.68 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269526 0 0 0 1232 36 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140735109917440 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270336 891 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.20 2.22 2.19 3/183 7136
/proc/meminfo: memFree=27997056/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269526 0 0 0 2512 36 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140735109917440 12483664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270336 891 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.20 2.22 2.19 3/183 7136
/proc/meminfo: memFree=27996936/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269526 0 0 0 5072 36 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140735109917440 13820907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270336 891 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270336 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.19 2.21 2.18 4/183 7137
/proc/meminfo: memFree=27996856/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269530 0 0 0 10191 37 0 0 20 0 4 0 111026058 1346965504 270340 33554432000 4194304 16246674 140735109935568 140735109917440 12483632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270340 894 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270340 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270340 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270340 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/183 7217
/proc/meminfo: memFree=27970684/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1361.97 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269703 0 0 0 136159 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 12478249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/183 7219
/proc/meminfo: memFree=27970888/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1421.94 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269737 0 0 0 142156 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/184 7223
/proc/meminfo: memFree=27970480/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1481.92 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269754 0 0 0 148154 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 5545764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 7224
/proc/meminfo: memFree=27970152/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1541.91 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269767 0 0 0 154153 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 7225
/proc/meminfo: memFree=27969564/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1601.89 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269767 0 0 0 160151 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 12477813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 7226
/proc/meminfo: memFree=27969592/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1661.88 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269767 0 0 0 166150 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 7228
/proc/meminfo: memFree=27969372/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1721.87 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269767 0 0 0 172149 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 12483286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 7229
/proc/meminfo: memFree=27969032/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1781.86 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269767 0 0 0 178148 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 12477766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 7229
/proc/meminfo: memFree=27968760/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1800.06 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269767 0 0 0 179968 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 5600331 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1315396

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7132 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 7229
/proc/meminfo: memFree=27968760/32872528 swapFree=17892/1720544
[pid=7132] ppid=7129 vsize=1315396 CPUtime=1800.06 cores=1,3,5,7
/proc/7132/stat : 7132 (toysat) R 7129 7132 3556 0 -1 4202496 269767 0 0 0 179968 38 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140735109917440 5600331 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7132/statm: 328849 270341 895 2943 0 325743 0
[pid=7132/tid=7133] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7133/stat : 7133 (toysat) S 7129 7132 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682735889648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7132/tid=7134] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7134/stat : 7134 (toysat) S 7129 7132 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682725399792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7132/tid=7135] ppid=7129 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7132/task/7135/stat : 7135 (toysat) S 7129 7132 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111026058 1346965504 270341 33554432000 4194304 16246674 140735109935568 140682714926256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.69
CPU system time (s): 0.38994
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.38994
maximum resident set size= 1081364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269767
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= 250
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56131 second user time and 6.93195 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 11:15:29
IDJOB=4080024
IDBENCH=90637
IDSOLVER=2542
FILE ID=node117/4080024-1465290929
RUNJOBID= node117-1465262703-3573
PBS_JOBID= 19843298
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= c53c9beb9cd805e63a521141c2bc7101
RANDOM SEED=1040236905

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.54
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		: 2667.088
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		: 2667.088
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.53
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		: 2667.088
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:        29077504 kB
Buffers:           96144 kB
Cached:           129596 kB
SwapCached:        29276 kB
Active:          1167908 kB
Inactive:         170708 kB
Active(anon):    1085700 kB
Inactive(anon):    29468 kB
Active(file):      82208 kB
Inactive(file):   141240 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             18688 kB
Writeback:             0 kB
AnonPages:       2805288 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             599644 kB
SReclaimable:      43804 kB
SUnreclaim:       555840 kB
KernelStack:        1488 kB
PageTables:         9332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2946460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2781184 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= 71700 MiB
End job on node117 at 2016-06-07 11:45:30