Trace number 4093340

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 997.699 997.925

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
MD5SUM42cd11e454ef36c6d0d0a1a4a75ff12f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark89.0715
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1857
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-16T16:20:32+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","--wbo","--search=bcd2","HOME/instance-4093340-1466086832.wbo"]
0.00/0.01	c use --random-gen="3576867022 2450500177 1113394759 3882770220 2298325648 3671821587 3395748628 3250622622 1863118944 1358701924 4073950047 2405333592 1369004910 3756160211 1338993145 1063313864 2739244004 3532453975 4015442745 75141703 2607607717 3747069846 2493282594 4243019303 702010640 258165661 2246321592 873737071 74487109 277021251 2157747557 3634325204 1326418015 28297651 2801693734 1525925674 3483278013 3347328839 3414053950 301818039 2363301271 2330885536 2816271553 2197041755 2074821298 1857814324 2769208175 668927702 3300185227 2950340646 1847543628 2117516127 1858832547 4153273257 4229688571 631851107 1921445496 2452762348 1728366036 2411478802 2062687480 3232047117 1505480279 882806872 1857340143 424323664 28678157 2880061883 2103493034 3565384874 181992896 791615545 1978277555 3247360800 2452142040 219960687 2523726320 1470144679 2385239128 2925506238 4071740462 245066401 995641596 3767186196 1195124049 3264838563 415007460 2426643364 3031734295 1814586564 289773477 3569954086 2817358194 689607489 2619040371 2747002566 3412339525 32123992 216841963 3589317474 2827809455 2030612895 1975262903 808698408 972528505 2719671169 3604552513 3412344055 2137955741 2528732660 1447488913 1715754768 3447754655 1208932265 690900403 251898605 3415364730 3361098363 2070701175 1582129745 1821400167 3552372437 3352604038 2244112206 2439434831 3441065403 1546334191 216579616 3826836327 332527093 311280287 379245069 3612465369 1216158610 773550902 1380620237 1375382600 1217059198 2308721272 2204548567 11156768 1538667686 3963224193 4029965745 2768556813 3567779125 990163538 1663918742 4143485650 2264347656 3130965591 916680106 3530647660 2939941774 3720317682 2573906250 36199446 436712232 11695011 1029712117 1611637393 2118953967 3312301208 922985418 1847274148 1401432668 671593877 573858711 2822801225 1318116300 342970273 3842874912 604236215 2287955891 2781299497 2798404485 269445321 3953476099 2083186488 3475248427 668688315 513348976 2250080438 1265405102 3995645174 269399372 3930879173 303969018 4034638664 2296752721 1144243802 4175743522 3510820479 3513567447 1772736639 279267064 2737678402 725963173 513628691 1068124899 607812448 804553529 3989703652 3021596434 691807309 22697061 758843924 1558004868 4153919882 795561084 579055096 565662648 3207077896 3424744183 740098134 231094267 1091512805 1418672525 182393379 3127712325 3130243724 557102991 445090561 4206908330 2638930310 920419788 4078708255 156097557 1403531435 3769516187 3206914593 3428353698 3789160953 4070681080 3829621840 3739422172 946423874 374587415 847446505 2038581716 2946999676 3178719411 1919193352 2241979317 1920672359 3636495726 3655908128 4282595329 1636930706 3835365441 551562936 2547283443 1861144323 126241042 969457716 3708663050 255 362436" option to reproduce the execution
0.09/0.16	c #vars 231
0.09/0.16	c #constraints 2707
0.19/0.21	c BCD2: Hardening is enabled.
0.19/0.21	c BCD2: BiasedSearch is enabled.
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1598      0 |        0 |        0
0.19/0.23	c  0.0s |       0 |     2149 |       86 |     1598      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.021s
0.19/0.23	c #wall_clock_time = 0.021s
0.19/0.23	c #decision = 2149
0.19/0.23	c #random_decision = 9
0.19/0.23	c #conflict = 86
0.19/0.23	c #restart = 0
0.19/0.23	o 376
0.19/0.23	c BCD2: updating upper bound: 93862 -> 375
0.19/0.25	c BCD2: 0 <= obj <= 375
0.19/0.25	c BCD2: #cores=0, #unrelaxed=1857, #relaxed=0, #hardened=0
0.19/0.25	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     1598      0 |        0 |        0
0.19/0.28	c  0.0s |       1 |     2041 |      100 |     1758      0 |        0 |        0
0.29/0.33	c  0.1s |       2 |     4131 |      250 |     1934      0 |        0 |        0
0.29/0.39	c  0.1s |       3 |     6291 |      475 |     2128      0 |        0 |        0
0.49/0.54	c  0.3s |       4 |     8573 |      813 |     2341      0 |        0 |        0
0.79/0.84	c  0.6s |       5 |    11035 |     1320 |     2576      0 |        0 |        0
1.10/1.13	c  0.9s |       6 |    13892 |     2081 |     2834      0 |        0 |        0
1.39/1.49	c  1.2s |       7 |    17258 |     3223 |     3118      0 |        0 |        0
2.29/2.35	c  2.1s |       8 |    21317 |     4936 |     3430      1 |        0 |        0
3.59/3.64	c  3.4s |       9 |    26563 |     7506 |     3774      2 |        0 |        0
5.59/5.68	c  5.4s |       9 |    32620 |    10706 |     3774      3 |        0 |        0
6.09/6.15	c  5.9s |      10 |    33436 |    11361 |     4152      3 |        0 |        0
8.19/8.21	c  8.0s |      10 |    39265 |    14461 |     4152      4 |        0 |        0
10.09/10.18	c  9.9s |      11 |    42635 |    17144 |     4568      5 |        0 |        0
12.10/12.19	c 11.9s |      11 |    47727 |    19644 |     4568      6 |        0 |        0
14.19/14.26	c 14.0s |      11 |    50730 |    21944 |     4568      7 |        0 |        0
16.29/16.34	c 16.1s |      11 |    53752 |    24344 |     4568      7 |        0 |        0
17.88/17.91	c 17.7s |      12 |    55570 |    25819 |     5025      8 |        0 |        0
19.89/19.92	c 19.7s |      12 |    59504 |    27519 |     5025      8 |        0 |        0
21.99/22.02	c 21.8s |      12 |    61172 |    28919 |     5025      9 |        0 |        0
24.09/24.14	c 23.9s |      12 |    62894 |    30319 |     5025      9 |        0 |        0
26.09/26.15	c 25.9s |      12 |    64363 |    31519 |     5025      9 |        0 |        0
28.09/28.17	c 27.9s |      12 |    68499 |    34819 |     5025     10 |        0 |        0
30.19/30.22	c 30.0s |      12 |    73129 |    38519 |     5528     11 |        0 |        0
30.39/30.42	c 30.2s |      13 |    73513 |    38832 |     5528     11 |        0 |        0
32.39/32.48	c 32.2s |      13 |    78633 |    41532 |     5528     12 |        0 |        0
34.48/34.50	c 34.3s |      13 |    80792 |    43332 |     5528     13 |        0 |        0
36.48/36.54	c 36.3s |      13 |    84621 |    46432 |     5528     14 |        0 |        0
38.49/38.57	c 38.3s |      13 |    87263 |    48632 |     5528     14 |        0 |        0
40.48/40.59	c 40.3s |      13 |    90280 |    51032 |     5528     15 |        0 |        0
42.48/42.60	c 42.3s |      13 |    92966 |    53232 |     5528     15 |        0 |        0
44.58/44.66	c 44.4s |      13 |    95664 |    55232 |     5528     16 |        0 |        0
46.68/46.73	c 46.5s |      13 |    98534 |    57232 |     5528     16 |        0 |        0
47.68/47.79	c 47.5s |      14 |   100079 |    58352 |     6081     17 |        0 |        0
49.78/49.85	c 49.6s |      14 |   106917 |    61752 |     6081     17 |        0 |        0
51.79/51.85	c 51.6s |      14 |   110935 |    64552 |     6081     18 |        0 |        0
53.78/53.89	c 53.6s |      14 |   115161 |    67452 |     6081     19 |        0 |        0
55.88/55.93	c 55.7s |      14 |   118195 |    69652 |     6081     19 |        0 |        0
57.88/57.94	c 57.7s |      14 |   120341 |    71252 |     6081     20 |        0 |        0
59.98/60.00	c 59.8s |      14 |   123422 |    73552 |     6081     20 |        0 |        0
61.98/62.05	c 61.8s |      14 |   126043 |    75352 |     6081     21 |        0 |        0
63.98/64.08	c 63.8s |      14 |   128271 |    76952 |     6081     21 |        0 |        0
66.09/66.14	c 65.9s |      14 |   131575 |    78952 |     6081     22 |        0 |        0
68.08/68.18	c 67.9s |      14 |   134577 |    80852 |     6081     22 |        0 |        0
70.18/70.22	c 70.0s |      14 |   137395 |    82552 |     6081     23 |        0 |        0
72.18/72.28	c 72.0s |      14 |   140398 |    84552 |     6081     23 |        0 |        0
74.28/74.35	c 74.1s |      14 |   143191 |    86552 |     6081     24 |        0 |        0
75.48/75.56	c 75.3s |      15 |   144644 |    87632 |     6690     24 |        0 |        0
77.58/77.64	c 77.4s |      15 |   148389 |    88932 |     6690     24 |        0 |        0
79.68/79.72	c 79.5s |      15 |   150437 |    90332 |     6690     24 |        0 |        0
81.77/81.81	c 81.6s |      15 |   152779 |    91832 |     6690     25 |        0 |        0
83.77/83.83	c 83.6s |      15 |   156859 |    94532 |     6690     25 |        0 |        0
85.78/85.89	c 85.6s |      15 |   160833 |    97032 |     6690     26 |        0 |        0
87.98/88.02	c 87.8s |      15 |   163640 |    99032 |     6690     27 |        0 |        0
90.08/90.12	c 89.9s |      15 |   167407 |   101232 |     6690     27 |        0 |        0
92.08/92.19	c 91.9s |      15 |   170480 |   103232 |     6690     27 |        0 |        0
94.08/94.19	c 93.9s |      15 |   172646 |   104632 |     6690     28 |        0 |        0
96.17/96.28	c 96.0s |      15 |   176350 |   106732 |     6690     28 |        0 |        0
98.27/98.31	c 98.1s |      15 |   179649 |   108832 |     6690     29 |        0 |        0
100.37/100.45	c  100s |      15 |   182225 |   110632 |     6690     29 |        0 |        0
102.38/102.49	c  102s |      15 |   184804 |   112532 |     6690     30 |        0 |        0
104.48/104.52	c  104s |      15 |   187020 |   114232 |     6690     30 |        0 |        0
106.58/106.63	c  106s |      15 |   188944 |   115632 |     6690     30 |        0 |        0
108.67/108.72	c  108s |      15 |   191984 |   117432 |     6690     31 |        0 |        0
110.67/110.78	c  110s |      15 |   195586 |   119532 |     6690     31 |        0 |        0
112.78/112.84	c  112s |      15 |   199672 |   121632 |     6690     32 |        0 |        0
114.77/114.84	c  114s |      15 |   203226 |   123932 |     6690     32 |        0 |        0
116.87/116.90	c  116s |      15 |   206748 |   126032 |     6690     33 |        0 |        0
118.97/119.02	c  118s |      15 |   209592 |   127732 |     6690     33 |        0 |        0
120.98/121.10	c  120s |      15 |   212505 |   129432 |     6690     34 |        0 |        0
123.18/123.20	c  122s |      15 |   215644 |   131232 |     7360     34 |        0 |        0
123.57/123.63	c  123s |      16 |   216193 |   131552 |     7360     34 |        0 |        0
125.57/125.63	c  125s |      16 |   219635 |   132652 |     7360     34 |        0 |        0
127.58/127.63	c  127s |      16 |   221337 |   133752 |     7360     34 |        0 |        0
129.67/129.75	c  129s |      16 |   223501 |   135152 |     7360     35 |        0 |        0
131.77/131.85	c  131s |      16 |   225266 |   136352 |     7360     35 |        0 |        0
133.87/133.94	c  133s |      16 |   227616 |   137852 |     7360     35 |        0 |        0
135.87/135.96	c  135s |      16 |   229828 |   139052 |     7360     36 |        0 |        0
137.97/138.05	c  137s |      16 |   231774 |   140152 |     7360     36 |        0 |        0
139.97/140.09	c  139s |      16 |   235098 |   142152 |     7360     36 |        0 |        0
142.07/142.17	c  141s |      16 |   239088 |   144452 |     7360     37 |        0 |        0
144.07/144.19	c  143s |      16 |   241671 |   146152 |     7360     37 |        0 |        0
146.28/146.33	c  146s |      16 |   244958 |   148052 |     7360     38 |        0 |        0
148.27/148.38	c  148s |      16 |   248497 |   150152 |     7360     38 |        0 |        0
150.37/150.43	c  150s |      16 |   250987 |   151752 |     7360     38 |        0 |        0
152.36/152.44	c  152s |      16 |   254591 |   153952 |     7360     39 |        0 |        0
154.46/154.56	c  154s |      16 |   257595 |   155752 |     7360     39 |        0 |        0
156.67/156.76	c  156s |      16 |   260269 |   157352 |     7360     40 |        0 |        0
158.66/158.79	c  158s |      16 |   263220 |   159152 |     7360     40 |        0 |        0
160.77/160.88	c  160s |      16 |   265709 |   160652 |     7360     40 |        0 |        0
163.06/163.11	c  162s |      16 |   267799 |   161952 |     7360     41 |        0 |        0
165.08/165.17	c  164s |      16 |   269708 |   163152 |     7360     41 |        0 |        0
167.17/167.24	c  166s |      16 |   272209 |   164752 |     7360     41 |        0 |        0
169.26/169.37	c  169s |      16 |   274369 |   166052 |     7360     41 |        0 |        0
171.37/171.47	c  171s |      16 |   276350 |   167352 |     7360     42 |        0 |        0
173.46/173.56	c  173s |      16 |   278150 |   168552 |     7360     42 |        0 |        0
175.56/175.69	c  175s |      16 |   280120 |   169852 |     7360     42 |        0 |        0
177.76/177.82	c  177s |      16 |   281553 |   170752 |     7360     42 |        0 |        0
179.77/179.89	c  179s |      16 |   283952 |   172252 |     7360     43 |        0 |        0
181.86/181.92	c  181s |      16 |   288253 |   175152 |     7360     43 |        0 |        0
183.96/184.03	c  183s |      16 |   291088 |   177052 |     7360     44 |        0 |        0
186.06/186.11	c  185s |      16 |   294064 |   178952 |     7360     44 |        0 |        0
188.06/188.14	c  187s |      16 |   296763 |   180652 |     7360     45 |        0 |        0
190.16/190.24	c  189s |      16 |   299085 |   182252 |     7360     45 |        0 |        0
192.16/192.25	c  192s |      16 |   300846 |   183552 |     7360     45 |        0 |        0
194.27/194.35	c  194s |      16 |   302650 |   184852 |     7360     45 |        0 |        0
196.36/196.40	c  196s |      16 |   304256 |   185952 |     7360     46 |        0 |        0
198.36/198.45	c  198s |      16 |   305863 |   187152 |     7360     46 |        0 |        0
200.46/200.53	c  200s |      16 |   307735 |   188352 |     7360     46 |        0 |        0
202.47/202.58	c  202s |      16 |   309096 |   189352 |     7360     46 |        0 |        0
204.56/204.66	c  204s |      16 |   311345 |   191052 |     7360     47 |        0 |        0
206.66/206.78	c  206s |      16 |   313307 |   192552 |     7360     47 |        0 |        0
208.66/208.79	c  208s |      16 |   315721 |   194152 |     7360     47 |        0 |        0
210.85/210.92	c  210s |      16 |   318662 |   195952 |     7360     48 |        0 |        0
212.27/212.34	c  212s |      17 |   321025 |   197432 |     8097     48 |        0 |        0
214.26/214.34	c  214s |      17 |   325784 |   199332 |     8097     48 |        0 |        0
216.26/216.38	c  216s |      17 |   328853 |   201232 |     8097     49 |        0 |        0
218.35/218.42	c  218s |      17 |   332181 |   203232 |     8097     49 |        0 |        0
220.35/220.49	c  220s |      17 |   334681 |   204832 |     8097     50 |        0 |        0
222.46/222.54	c  222s |      17 |   338165 |   207332 |     8097     50 |        0 |        0
224.47/224.55	c  224s |      17 |   341515 |   209332 |     8097     50 |        0 |        0
226.46/226.56	c  226s |      17 |   344049 |   211032 |     8097     51 |        0 |        0
228.45/228.57	c  228s |      17 |   346714 |   212832 |     8097     51 |        0 |        0
230.66/230.70	c  230s |      17 |   348531 |   214232 |     8097     51 |        0 |        0
232.75/232.84	c  232s |      17 |   350269 |   215432 |     8097     52 |        0 |        0
234.95/235.08	c  234s |      17 |   351864 |   216632 |     8097     52 |        0 |        0
237.05/237.14	c  236s |      17 |   354083 |   218032 |     8097     52 |        0 |        0
239.16/239.20	c  238s |      17 |   356039 |   219232 |     8097     52 |        0 |        0
241.26/241.30	c  241s |      17 |   358825 |   220932 |     8097     53 |        0 |        0
243.25/243.31	c  243s |      17 |   361812 |   222732 |     8097     53 |        0 |        0
245.36/245.42	c  245s |      17 |   364031 |   224232 |     8097     53 |        0 |        0
247.36/247.46	c  247s |      17 |   366264 |   225632 |     8097     54 |        0 |        0
249.45/249.52	c  249s |      17 |   368349 |   227032 |     8097     54 |        0 |        0
251.55/251.67	c  251s |      17 |   369891 |   228132 |     8097     54 |        0 |        0
253.75/253.83	c  253s |      17 |   371348 |   229132 |     8097     54 |        0 |        0
255.75/255.88	c  255s |      17 |   373027 |   230232 |     8097     55 |        0 |        0
257.85/257.94	c  257s |      17 |   374754 |   231332 |     8097     55 |        0 |        0
259.86/259.98	c  259s |      17 |   376374 |   232332 |     8097     55 |        0 |        0
262.05/262.17	c  261s |      17 |   378134 |   233432 |     8097     55 |        0 |        0
264.15/264.28	c  264s |      17 |   381338 |   235432 |     8097     56 |        0 |        0
266.16/266.29	c  266s |      17 |   384978 |   238032 |     8097     56 |        0 |        0
268.25/268.33	c  268s |      17 |   387606 |   239832 |     8097     57 |        0 |        0
270.35/270.43	c  270s |      17 |   390539 |   241732 |     8097     57 |        0 |        0
272.45/272.54	c  272s |      17 |   393147 |   243432 |     8097     57 |        0 |        0
274.65/274.78	c  274s |      17 |   395052 |   244732 |     8097     58 |        0 |        0
276.75/276.82	c  276s |      17 |   397125 |   246132 |     8097     58 |        0 |        0
278.75/278.82	c  278s |      17 |   399024 |   247432 |     8097     58 |        0 |        0
280.75/280.87	c  280s |      17 |   400918 |   248732 |     8097     58 |        0 |        0
282.85/282.95	c  282s |      17 |   403030 |   250132 |     8097     59 |        0 |        0
284.85/284.97	c  284s |      17 |   405135 |   251532 |     8097     59 |        0 |        0
286.95/287.04	c  286s |      17 |   407305 |   252832 |     8097     59 |        0 |        0
289.15/289.23	c  288s |      17 |   408661 |   253832 |     8097     59 |        0 |        0
291.24/291.30	c  291s |      17 |   410395 |   254932 |     8097     60 |        0 |        0
293.25/293.31	c  293s |      17 |   412034 |   256032 |     8097     60 |        0 |        0
295.35/295.40	c  295s |      17 |   413930 |   257232 |     8097     60 |        0 |        0
297.35/297.44	c  297s |      17 |   416046 |   258532 |     8097     60 |        0 |        0
299.35/299.50	c  299s |      17 |   419264 |   260632 |     8097     61 |        0 |        0
301.45/301.53	c  301s |      17 |   421865 |   262432 |     8097     61 |        0 |        0
303.44/303.56	c  303s |      17 |   424461 |   264132 |     8097     61 |        0 |        0
305.54/305.66	c  305s |      17 |   426412 |   265432 |     8097     62 |        0 |        0
307.75/307.83	c  307s |      17 |   428635 |   266732 |     8097     62 |        0 |        0
309.74/309.88	c  309s |      17 |   432426 |   269032 |     8097     62 |        0 |        0
311.74/311.89	c  311s |      17 |   436517 |   271832 |     8097     63 |        0 |        0
313.84/313.93	c  313s |      17 |   438870 |   273632 |     8097     63 |        0 |        0
315.84/315.93	c  315s |      17 |   441057 |   275232 |     8097     64 |        0 |        0
317.85/317.95	c  317s |      17 |   444202 |   277232 |     8097     64 |        0 |        0
319.84/319.97	c  319s |      17 |   446523 |   278832 |     8097     64 |        0 |        0
321.94/322.06	c  321s |      17 |   448892 |   280432 |     8097     65 |        0 |        0
324.04/324.19	c  323s |      17 |   450955 |   281832 |     8097     65 |        0 |        0
326.14/326.21	c  325s |      17 |   452754 |   283132 |     8097     65 |        0 |        0
328.24/328.37	c  328s |      17 |   455038 |   284832 |     8097     66 |        0 |        0
330.34/330.48	c  330s |      17 |   457672 |   286532 |     8097     66 |        0 |        0
332.34/332.49	c  332s |      17 |   459550 |   287932 |     8097     66 |        0 |        0
334.54/334.61	c  334s |      17 |   461155 |   289232 |     8097     66 |        0 |        0
336.54/336.68	c  336s |      17 |   463371 |   290732 |     8097     67 |        0 |        0
338.64/338.80	c  338s |      17 |   465070 |   292032 |     8097     67 |        0 |        0
340.83/340.90	c  340s |      17 |   466875 |   293332 |     8097     67 |        0 |        0
342.84/342.94	c  342s |      17 |   469095 |   294832 |     8907     67 |        0 |        0
344.84/344.92	c  344s |      18 |   471363 |   296252 |     8907     68 |        0 |        0
346.84/346.92	c  346s |      18 |   474957 |   297452 |     8907     68 |        0 |        0
348.84/348.99	c  348s |      18 |   476658 |   298652 |     8907     68 |        0 |        0
350.84/351.00	c  350s |      18 |   478375 |   299852 |     8907     68 |        0 |        0
352.93/353.02	c  352s |      18 |   480056 |   300852 |     8907     68 |        0 |        0
354.94/355.05	c  354s |      18 |   481816 |   301952 |     8907     69 |        0 |        0
356.93/357.09	c  356s |      18 |   483548 |   303052 |     8907     69 |        0 |        0
359.04/359.18	c  358s |      18 |   485320 |   304152 |     8907     69 |        0 |        0
361.24/361.35	c  361s |      18 |   486683 |   305152 |     8907     69 |        0 |        0
363.34/363.43	c  363s |      18 |   488141 |   306052 |     8907     69 |        0 |        0
365.53/365.61	c  365s |      18 |   489687 |   307152 |     8907     70 |        0 |        0
367.64/367.73	c  367s |      18 |   490757 |   307952 |     8907     70 |        0 |        0
369.84/369.92	c  369s |      18 |   492132 |   308852 |     8907     70 |        0 |        0
372.03/372.15	c  371s |      18 |   493499 |   309752 |     8907     70 |        0 |        0
374.13/374.21	c  373s |      18 |   494826 |   310552 |     8907     70 |        0 |        0
376.14/376.22	c  375s |      18 |   496325 |   311652 |     8907     70 |        0 |        0
378.13/378.25	c  378s |      18 |   497576 |   312552 |     8907     71 |        0 |        0
380.13/380.27	c  380s |      18 |   499759 |   313952 |     8907     71 |        0 |        0
382.23/382.35	c  382s |      18 |   502673 |   315752 |     8907     71 |        0 |        0
384.33/384.42	c  384s |      18 |   505179 |   317252 |     8907     71 |        0 |        0
386.34/386.48	c  386s |      18 |   507421 |   318752 |     8907     72 |        0 |        0
388.43/388.56	c  388s |      18 |   509035 |   320052 |     8907     72 |        0 |        0
390.44/390.57	c  390s |      18 |   511164 |   321452 |     8907     72 |        0 |        0
392.74/392.82	c  392s |      18 |   513436 |   322752 |     8907     73 |        0 |        0
394.84/394.95	c  394s |      18 |   515426 |   323952 |     8907     73 |        0 |        0
396.93/397.06	c  396s |      18 |   517560 |   325352 |     8907     73 |        0 |        0
399.03/399.11	c  398s |      18 |   519140 |   326352 |     8907     73 |        0 |        0
401.03/401.18	c  400s |      18 |   520929 |   327552 |     8907     73 |        0 |        0
403.03/403.19	c  402s |      18 |   522711 |   328752 |     8907     74 |        0 |        0
405.13/405.25	c  405s |      18 |   524712 |   330052 |     8907     74 |        0 |        0
407.13/407.28	c  407s |      18 |   526798 |   331352 |     8907     74 |        0 |        0
409.23/409.35	c  409s |      18 |   529100 |   332652 |     8907     74 |        0 |        0
411.23/411.40	c  411s |      18 |   531007 |   333852 |     8907     75 |        0 |        0
413.42/413.53	c  413s |      18 |   532924 |   335052 |     8907     75 |        0 |        0
415.43/415.59	c  415s |      18 |   535118 |   336652 |     8907     75 |        0 |        0
417.53/417.60	c  417s |      18 |   536991 |   338052 |     8907     75 |        0 |        0
419.63/419.75	c  419s |      18 |   538922 |   339452 |     8907     76 |        0 |        0
421.62/421.79	c  421s |      18 |   541115 |   341052 |     8907     76 |        0 |        0
423.82/423.90	c  423s |      18 |   543532 |   342652 |     8907     76 |        0 |        0
425.83/425.96	c  425s |      18 |   545268 |   344052 |     8907     76 |        0 |        0
427.93/428.01	c  427s |      18 |   546775 |   345252 |     8907     77 |        0 |        0
429.93/430.10	c  429s |      18 |   548519 |   346652 |     8907     77 |        0 |        0
432.03/432.12	c  431s |      18 |   550327 |   347952 |     8907     77 |        0 |        0
434.12/434.22	c  433s |      18 |   551940 |   349152 |     8907     77 |        0 |        0
436.12/436.23	c  435s |      18 |   553509 |   350252 |     8907     78 |        0 |        0
438.32/438.40	c  438s |      18 |   555647 |   351652 |     8907     78 |        0 |        0
440.53/440.63	c  440s |      18 |   557332 |   352752 |     8907     78 |        0 |        0
442.63/442.71	c  442s |      18 |   559782 |   354252 |     8907     78 |        0 |        0
444.73/444.84	c  444s |      18 |   561363 |   355252 |     8907     79 |        0 |        0
446.82/446.92	c  446s |      18 |   564086 |   357152 |     8907     79 |        0 |        0
448.93/449.01	c  448s |      18 |   566226 |   358852 |     8907     79 |        0 |        0
450.93/451.02	c  450s |      18 |   567971 |   360252 |     8907     79 |        0 |        0
453.02/453.14	c  452s |      18 |   569566 |   361552 |     8907     80 |        0 |        0
455.12/455.21	c  454s |      18 |   571257 |   362952 |     8907     80 |        0 |        0
457.12/457.23	c  456s |      18 |   572821 |   364252 |     8907     80 |        0 |        0
459.12/459.29	c  459s |      18 |   574437 |   365552 |     8907     80 |        0 |        0
461.12/461.29	c  461s |      18 |   576422 |   366952 |     8907     81 |        0 |        0
463.32/463.43	c  463s |      18 |   578562 |   368352 |     8907     81 |        0 |        0
465.33/465.45	c  465s |      18 |   580183 |   369452 |     8907     81 |        0 |        0
467.32/467.50	c  467s |      18 |   582101 |   370752 |     8907     81 |        0 |        0
469.51/469.64	c  469s |      18 |   583506 |   371852 |     8907     82 |        0 |        0
471.52/471.69	c  471s |      18 |   585158 |   373152 |     8907     82 |        0 |        0
473.62/473.74	c  473s |      18 |   586531 |   374252 |     8907     82 |        0 |        0
475.81/475.91	c  475s |      18 |   588378 |   375452 |     8907     82 |        0 |        0
477.92/478.09	c  477s |      18 |   589772 |   376452 |     8907     82 |        0 |        0
480.12/480.20	c  479s |      18 |   591458 |   377552 |     8907     83 |        0 |        0
482.22/482.33	c  482s |      18 |   593083 |   378752 |     8907     83 |        0 |        0
484.21/484.39	c  484s |      18 |   594459 |   379752 |     8907     83 |        0 |        0
486.31/486.44	c  486s |      18 |   595963 |   380752 |     8907     83 |        0 |        0
488.32/488.46	c  488s |      18 |   597284 |   381752 |     8907     83 |        0 |        0
490.41/490.54	c  490s |      18 |   598718 |   382752 |     8907     84 |        0 |        0
492.61/492.72	c  492s |      18 |   600380 |   383952 |     8907     84 |        0 |        0
494.61/494.76	c  494s |      18 |   602194 |   385152 |     8907     84 |        0 |        0
496.70/496.88	c  496s |      18 |   603891 |   386352 |     8907     84 |        0 |        0
498.81/498.94	c  498s |      18 |   605670 |   387552 |     8907     84 |        0 |        0
500.91/501.04	c  500s |      18 |   607127 |   388552 |     8907     85 |        0 |        0
503.01/503.11	c  502s |      18 |   608602 |   389752 |     8907     85 |        0 |        0
505.10/505.28	c  505s |      18 |   609955 |   390852 |     8907     85 |        0 |        0
507.21/507.36	c  507s |      18 |   611516 |   392152 |     8907     85 |        0 |        0
509.21/509.38	c  509s |      18 |   612831 |   393152 |     8907     86 |        0 |        0
511.41/511.55	c  511s |      18 |   614776 |   394452 |     8907     86 |        0 |        0
513.50/513.69	c  513s |      18 |   616739 |   395852 |     8907     86 |        0 |        0
515.70/515.83	c  515s |      18 |   618615 |   397152 |     8907     86 |        0 |        0
517.81/517.90	c  517s |      18 |   620148 |   398152 |     8907     86 |        0 |        0
519.80/519.95	c  519s |      18 |   621529 |   399052 |     8907     87 |        0 |        0
521.91/522.02	c  521s |      18 |   623633 |   400552 |     8907     87 |        0 |        0
523.91/524.05	c  523s |      18 |   625204 |   401852 |     8907     87 |        0 |        0
526.00/526.15	c  525s |      18 |   626975 |   403252 |     8907     87 |        0 |        0
528.10/528.26	c  528s |      18 |   628299 |   404352 |     8907     88 |        0 |        0
530.21/530.33	c  530s |      18 |   629786 |   405552 |     8907     88 |        0 |        0
532.31/532.41	c  532s |      18 |   631246 |   406752 |     8907     88 |        0 |        0
534.30/534.41	c  534s |      18 |   632598 |   407952 |     8907     88 |        0 |        0
536.31/536.43	c  536s |      18 |   633882 |   409052 |     8907     88 |        0 |        0
538.40/538.55	c  538s |      18 |   635493 |   410252 |     8907     89 |        0 |        0
540.40/540.60	c  540s |      18 |   637331 |   411652 |     8907     89 |        0 |        0
542.50/542.62	c  542s |      18 |   639147 |   413052 |     8907     89 |        0 |        0
544.60/544.78	c  544s |      18 |   640694 |   414352 |     8907     89 |        0 |        0
546.70/546.81	c  546s |      18 |   642195 |   415552 |     8907     90 |        0 |        0
548.81/548.97	c  548s |      18 |   643935 |   416952 |     8907     90 |        0 |        0
550.90/551.01	c  550s |      18 |   645335 |   418052 |     8907     90 |        0 |        0
552.90/553.05	c  552s |      18 |   647177 |   419252 |     8907     90 |        0 |        0
554.90/555.07	c  554s |      18 |   649048 |   420452 |     8907     91 |        0 |        0
556.99/557.17	c  556s |      18 |   651051 |   421952 |     8907     91 |        0 |        0
559.20/559.30	c  559s |      18 |   652543 |   423152 |     8907     91 |        0 |        0
561.30/561.45	c  561s |      18 |   653933 |   424352 |     8907     91 |        0 |        0
563.39/563.52	c  563s |      18 |   655141 |   425352 |     8907     91 |        0 |        0
565.50/565.65	c  565s |      18 |   656981 |   426652 |     8907     92 |        0 |        0
567.60/567.75	c  567s |      18 |   658767 |   428052 |     8907     92 |        0 |        0
569.59/569.78	c  569s |      18 |   660322 |   429352 |     8907     92 |        0 |        0
571.70/571.81	c  571s |      18 |   661871 |   430652 |     8907     92 |        0 |        0
573.80/573.94	c  573s |      18 |   663267 |   431852 |     8907     93 |        0 |        0
575.80/575.96	c  575s |      18 |   664868 |   433152 |     8907     93 |        0 |        0
577.89/578.04	c  577s |      18 |   666215 |   434252 |     8907     93 |        0 |        0
579.90/580.06	c  579s |      18 |   667620 |   435352 |     8907     93 |        0 |        0
581.99/582.12	c  581s |      18 |   669125 |   436652 |     8907     94 |        0 |        0
584.00/584.14	c  583s |      18 |   671318 |   438552 |     8907     94 |        0 |        0
586.00/586.14	c  585s |      18 |   673128 |   440052 |     8907     94 |        0 |        0
588.09/588.24	c  587s |      18 |   674955 |   441552 |     9798     94 |        0 |        0
590.19/590.35	c  590s |      18 |   676901 |   443152 |     9798     95 |        0 |        0
591.99/592.18	c  591s |      19 |   678521 |   444482 |     9798     95 |        0 |        0
594.29/594.42	c  594s |      19 |   681543 |   445382 |     9798     95 |        0 |        0
596.49/596.65	c  596s |      19 |   682528 |   446182 |     9798     95 |        0 |        0
598.59/598.74	c  598s |      19 |   683534 |   446982 |     9798     95 |        0 |        0
600.79/600.98	c  600s |      19 |   684782 |   447982 |     9798     95 |        0 |        0
602.98/603.13	c  602s |      19 |   685729 |   448782 |     9798     96 |        0 |        0
605.19/605.33	c  605s |      19 |   686815 |   449682 |     9798     96 |        0 |        0
607.38/607.59	c  607s |      19 |   687952 |   450582 |     9798     96 |        0 |        0
609.48/609.61	c  609s |      19 |   688645 |   451182 |     9798     96 |        0 |        0
611.58/611.73	c  611s |      19 |   690065 |   452382 |     9798     96 |        0 |        0
613.79/613.91	c  613s |      19 |   691107 |   453282 |     9798     96 |        0 |        0
615.78/615.91	c  615s |      19 |   692041 |   454082 |     9798     96 |        0 |        0
617.87/618.03	c  617s |      19 |   692927 |   454782 |     9798     97 |        0 |        0
620.08/620.23	c  619s |      19 |   693734 |   455482 |     9798     97 |        0 |        0
622.17/622.38	c  622s |      19 |   694507 |   456182 |     9798     97 |        0 |        0
624.68/624.85	c  624s |      19 |   695281 |   456882 |     9798     97 |        0 |        0
626.87/627.05	c  626s |      19 |   696122 |   457582 |     9798     97 |        0 |        0
628.97/629.16	c  628s |      19 |   697367 |   458482 |     9798     97 |        0 |        0
631.07/631.22	c  630s |      19 |   698336 |   459282 |     9798     97 |        0 |        0
633.06/633.24	c  632s |      19 |   699490 |   460182 |     9798     97 |        0 |        0
635.36/635.51	c  635s |      19 |   700569 |   460982 |     9798     98 |        0 |        0
637.46/637.67	c  637s |      19 |   701579 |   461782 |     9798     98 |        0 |        0
639.76/639.94	c  639s |      19 |   702376 |   462482 |     9798     98 |        0 |        0
641.76/641.94	c  641s |      19 |   703090 |   463082 |     9798     98 |        0 |        0
643.86/644.08	c  643s |      19 |   704911 |   464382 |     9798     98 |        0 |        0
645.95/646.18	c  645s |      19 |   706364 |   465482 |     9798     98 |        0 |        0
648.16/648.30	c  648s |      19 |   707589 |   466482 |     9798     99 |        0 |        0
650.26/650.46	c  650s |      19 |   708935 |   467582 |     9798     99 |        0 |        0
652.26/652.49	c  652s |      19 |   710309 |   468682 |     9798     99 |        0 |        0
654.46/654.62	c  654s |      19 |   711558 |   469682 |     9798     99 |        0 |        0
656.46/656.64	c  656s |      19 |   712775 |   470682 |     9798     99 |        0 |        0
658.56/658.71	c  658s |      19 |   713984 |   471682 |     9798     99 |        0 |        0
660.65/660.83	c  660s |      19 |   715130 |   472582 |     9798    100 |        0 |        0
662.74/662.90	c  662s |      19 |   716270 |   473482 |     9798    100 |        0 |        0
664.85/665.01	c  664s |      19 |   717365 |   474382 |     9798    100 |        0 |        0
666.94/667.15	c  666s |      19 |   718564 |   475382 |     9798    100 |        0 |        0
669.05/669.21	c  668s |      19 |   719681 |   476282 |     9798    100 |        0 |        0
671.15/671.32	c  671s |      19 |   721359 |   477482 |     9798    100 |        0 |        0
673.24/673.41	c  673s |      19 |   723096 |   478882 |     9798    101 |        0 |        0
675.24/675.47	c  675s |      19 |   724945 |   480382 |     9798    101 |        0 |        0
677.34/677.55	c  677s |      19 |   726515 |   481682 |     9798    101 |        0 |        0
679.43/679.64	c  679s |      19 |   727972 |   482882 |     9798    101 |        0 |        0
681.64/681.80	c  681s |      19 |   729386 |   484082 |     9798    102 |        0 |        0
683.73/683.91	c  683s |      19 |   730992 |   485382 |     9798    102 |        0 |        0
685.74/685.97	c  685s |      19 |   732204 |   486382 |     9798    102 |        0 |        0
687.93/688.11	c  687s |      19 |   733478 |   487482 |     9798    102 |        0 |        0
689.93/690.19	c  689s |      19 |   734726 |   488482 |     9798    102 |        0 |        0
692.13/692.33	c  692s |      19 |   736046 |   489582 |     9798    102 |        0 |        0
694.22/694.46	c  694s |      19 |   737540 |   490782 |     9798    103 |        0 |        0
696.33/696.58	c  696s |      19 |   738902 |   491882 |     9798    103 |        0 |        0
698.44/698.66	c  698s |      19 |   740371 |   493082 |     9798    103 |        0 |        0
700.63/700.82	c  700s |      19 |   741519 |   494082 |     9798    103 |        0 |        0
702.73/702.95	c  702s |      19 |   742627 |   494982 |     9798    103 |        0 |        0
704.93/705.15	c  704s |      19 |   743569 |   495782 |     9798    104 |        0 |        0
707.13/707.34	c  707s |      19 |   744704 |   496782 |     9798    104 |        0 |        0
709.12/709.36	c  709s |      19 |   745519 |   497482 |     9798    104 |        0 |        0
711.13/711.40	c  711s |      19 |   746397 |   498282 |     9798    104 |        0 |        0
713.42/713.62	c  713s |      19 |   747048 |   498882 |     9798    104 |        0 |        0
715.52/715.73	c  715s |      19 |   747708 |   499482 |     9798    104 |        0 |        0
717.52/717.79	c  717s |      19 |   748633 |   500282 |     9798    104 |        0 |        0
719.52/719.79	c  719s |      19 |   749996 |   501382 |     9798    105 |        0 |        0
721.71/721.91	c  721s |      19 |   751616 |   502782 |     9798    105 |        0 |        0
723.92/724.11	c  723s |      19 |   753054 |   504082 |     9798    105 |        0 |        0
726.12/726.31	c  726s |      19 |   754458 |   505282 |     9798    105 |        0 |        0
728.12/728.33	c  728s |      19 |   755593 |   506282 |     9798    105 |        0 |        0
730.23/730.47	c  730s |      19 |   757078 |   507582 |     9798    106 |        0 |        0
732.31/732.54	c  732s |      19 |   758617 |   508782 |     9798    106 |        0 |        0
734.31/734.56	c  734s |      19 |   759898 |   509782 |     9798    106 |        0 |        0
736.41/736.67	c  736s |      19 |   761507 |   510882 |     9798    106 |        0 |        0
738.51/738.71	c  738s |      19 |   763109 |   512082 |     9798    106 |        0 |        0
740.71/740.92	c  740s |      19 |   764281 |   513082 |     9798    107 |        0 |        0
742.71/742.96	c  742s |      19 |   765357 |   513982 |     9798    107 |        0 |        0
745.00/745.23	c  744s |      19 |   766293 |   514782 |     9798    107 |        0 |        0
747.11/747.36	c  747s |      19 |   767465 |   515782 |     9798    107 |        0 |        0
749.31/749.52	c  749s |      19 |   768719 |   516782 |     9798    107 |        0 |        0
751.31/751.54	c  751s |      19 |   770060 |   517882 |     9798    107 |        0 |        0
753.50/753.77	c  753s |      19 |   771248 |   518882 |     9798    108 |        0 |        0
755.51/755.79	c  755s |      19 |   772161 |   519682 |     9798    108 |        0 |        0
757.72/757.92	c  757s |      19 |   772949 |   520382 |     9798    108 |        0 |        0
759.81/760.10	c  759s |      19 |   773756 |   521082 |     9798    108 |        0 |        0
762.11/762.36	c  762s |      19 |   774669 |   521882 |     9798    108 |        0 |        0
764.20/764.44	c  764s |      19 |   775879 |   522882 |     9798    108 |        0 |        0
766.41/766.63	c  766s |      19 |   777104 |   523882 |     9798    108 |        0 |        0
768.41/768.69	c  768s |      19 |   778205 |   524782 |     9798    109 |        0 |        0
770.60/770.88	c  770s |      19 |   779522 |   525882 |     9798    109 |        0 |        0
772.70/772.90	c  772s |      19 |   780652 |   526782 |     9798    109 |        0 |        0
774.71/774.96	c  774s |      19 |   781801 |   527782 |     9798    109 |        0 |        0
776.90/777.16	c  776s |      19 |   782727 |   528582 |     9798    109 |        0 |        0
779.00/779.24	c  778s |      19 |   783695 |   529382 |     9798    109 |        0 |        0
781.11/781.37	c  781s |      19 |   784874 |   530282 |     9798    109 |        0 |        0
783.20/783.41	c  783s |      19 |   786171 |   531282 |     9798    110 |        0 |        0
785.31/785.50	c  785s |      19 |   787276 |   532182 |     9798    110 |        0 |        0
787.41/787.65	c  787s |      19 |   788318 |   532982 |     9798    110 |        0 |        0
789.50/789.73	c  789s |      19 |   789807 |   534182 |     9798    110 |        0 |        0
791.60/791.85	c  791s |      19 |   791101 |   535282 |     9798    110 |        0 |        0
793.80/794.04	c  793s |      19 |   792364 |   536282 |     9798    110 |        0 |        0
795.80/796.09	c  795s |      19 |   793333 |   537082 |     9798    111 |        0 |        0
798.00/798.23	c  797s |      19 |   794547 |   538082 |     9798    111 |        0 |        0
800.00/800.29	c  800s |      19 |   795797 |   539082 |     9798    111 |        0 |        0
802.10/802.34	c  802s |      19 |   797118 |   540182 |     9798    111 |        0 |        0
804.10/804.38	c  804s |      19 |   798140 |   540982 |     9798    111 |        0 |        0
806.30/806.51	c  806s |      19 |   799082 |   541782 |     9798    111 |        0 |        0
808.40/808.62	c  808s |      19 |   800092 |   542582 |     9798    112 |        0 |        0
810.40/810.66	c  810s |      19 |   801062 |   543382 |     9798    112 |        0 |        0
812.40/812.69	c  812s |      19 |   801940 |   544082 |     9798    112 |        0 |        0
814.50/814.79	c  814s |      19 |   803161 |   545082 |     9798    112 |        0 |        0
816.60/816.84	c  816s |      19 |   804440 |   546182 |     9798    112 |        0 |        0
818.79/819.03	c  818s |      19 |   805473 |   547082 |     9798    112 |        0 |        0
821.00/821.22	c  820s |      19 |   806813 |   548182 |     9798    113 |        0 |        0
823.10/823.33	c  823s |      19 |   807887 |   549082 |     9798    113 |        0 |        0
825.29/825.51	c  825s |      19 |   808956 |   549982 |     9798    113 |        0 |        0
827.30/827.56	c  827s |      19 |   809885 |   550782 |     9798    113 |        0 |        0
829.30/829.58	c  829s |      19 |   810813 |   551582 |     9798    113 |        0 |        0
831.59/831.81	c  831s |      19 |   811853 |   552482 |     9798    113 |        0 |        0
833.60/833.86	c  833s |      19 |   812739 |   553182 |     9798    113 |        0 |        0
835.70/836.00	c  835s |      19 |   813729 |   553982 |     9798    114 |        0 |        0
837.89/838.13	c  837s |      19 |   814579 |   554682 |     9798    114 |        0 |        0
840.09/840.33	c  840s |      19 |   815545 |   555482 |     9798    114 |        0 |        0
842.30/842.60	c  842s |      19 |   816671 |   556382 |     9798    114 |        0 |        0
844.70/844.99	c  844s |      19 |   817624 |   557182 |     9798    114 |        0 |        0
846.99/847.24	c  846s |      19 |   818607 |   557982 |     9798    114 |        0 |        0
849.29/849.56	c  849s |      19 |   819560 |   558782 |     9798    114 |        0 |        0
851.49/851.78	c  851s |      19 |   820380 |   559482 |     9798    114 |        0 |        0
853.70/853.97	c  853s |      19 |   821054 |   560082 |     9798    115 |        0 |        0
855.79/856.00	c  855s |      19 |   821873 |   560782 |     9798    115 |        0 |        0
857.79/858.08	c  857s |      19 |   822719 |   561482 |     9798    115 |        0 |        0
860.20/860.40	c  860s |      19 |   823521 |   562182 |     9798    115 |        0 |        0
862.49/862.71	c  862s |      19 |   824304 |   562882 |     9798    115 |        0 |        0
864.69/864.96	c  864s |      19 |   825251 |   563582 |     9798    115 |        0 |        0
866.89/867.14	c  866s |      19 |   826222 |   564382 |     9798    115 |        0 |        0
869.09/869.36	c  869s |      19 |   827276 |   565182 |     9798    115 |        0 |        0
871.28/871.50	c  871s |      19 |   828370 |   566082 |     9798    116 |        0 |        0
873.39/873.67	c  873s |      19 |   829685 |   567182 |     9798    116 |        0 |        0
875.59/875.83	c  875s |      19 |   831111 |   568382 |     9798    116 |        0 |        0
877.59/877.89	c  877s |      19 |   832306 |   569382 |     9798    116 |        0 |        0
879.80/880.01	c  879s |      19 |   833593 |   570482 |     9798    116 |        0 |        0
881.88/882.18	c  881s |      19 |   834822 |   571482 |     9798    116 |        0 |        0
884.09/884.30	c  884s |      19 |   836021 |   572482 |     9798    117 |        0 |        0
886.19/886.40	c  886s |      19 |   837275 |   573482 |     9798    117 |        0 |        0
888.28/888.58	c  888s |      19 |   838585 |   574582 |     9798    117 |        0 |        0
890.39/890.69	c  890s |      19 |   839927 |   575682 |     9798    117 |        0 |        0
892.69/892.93	c  892s |      19 |   841132 |   576682 |     9798    117 |        0 |        0
894.69/894.99	c  894s |      19 |   842439 |   577782 |     9798    118 |        0 |        0
896.78/897.09	c  896s |      19 |   843861 |   578982 |     9798    118 |        0 |        0
898.98/899.20	c  898s |      19 |   845187 |   580082 |     9798    118 |        0 |        0
900.99/901.24	c  900s |      19 |   846516 |   581182 |     9798    118 |        0 |        0
903.08/903.38	c  903s |      19 |   847855 |   582282 |     9798    118 |        0 |        0
905.19/905.43	c  905s |      19 |   849053 |   583282 |     9798    118 |        0 |        0
907.18/907.47	c  907s |      19 |   850250 |   584282 |     9798    119 |        0 |        0
909.38/909.67	c  909s |      19 |   851475 |   585282 |     9798    119 |        0 |        0
911.48/911.70	c  911s |      19 |   852404 |   586082 |     9798    119 |        0 |        0
913.58/913.85	c  913s |      19 |   853328 |   586882 |     9798    119 |        0 |        0
915.68/915.96	c  915s |      19 |   854564 |   587882 |     9798    119 |        0 |        0
917.88/918.14	c  917s |      19 |   855851 |   588882 |     9798    119 |        0 |        0
919.98/920.25	c  920s |      19 |   857198 |   589982 |     9798    120 |        0 |        0
922.08/922.35	c  922s |      19 |   858635 |   591182 |     9798    120 |        0 |        0
924.28/924.54	c  924s |      19 |   859938 |   592282 |     9798    120 |        0 |        0
926.38/926.63	c  926s |      19 |   860996 |   593182 |     9798    120 |        0 |        0
928.58/928.90	c  928s |      19 |   862151 |   594182 |     9798    120 |        0 |        0
930.68/930.95	c  930s |      19 |   863343 |   595182 |     9798    121 |        0 |        0
932.78/933.05	c  932s |      19 |   864710 |   596282 |     9798    121 |        0 |        0
934.89/935.16	c  934s |      19 |   865811 |   597182 |     9798    121 |        0 |        0
937.18/937.40	c  937s |      19 |   866902 |   598082 |     9798    121 |        0 |        0
939.29/939.51	c  939s |      19 |   867865 |   598882 |     9798    121 |        0 |        0
941.39/941.63	c  941s |      19 |   868843 |   599682 |     9798    121 |        0 |        0
943.38/943.66	c  943s |      19 |   870276 |   600782 |     9798    121 |        0 |        0
945.57/945.81	c  945s |      19 |   871785 |   601882 |     9798    122 |        0 |        0
947.68/947.95	c  947s |      19 |   873161 |   602982 |     9798    122 |        0 |        0
949.68/949.96	c  949s |      19 |   874223 |   603882 |     9798    122 |        0 |        0
951.77/952.04	c  951s |      19 |   875296 |   604782 |     9798    122 |        0 |        0
953.88/954.14	c  953s |      19 |   876493 |   605782 |     9798    122 |        0 |        0
955.98/956.28	c  956s |      19 |   877571 |   606682 |     9798    122 |        0 |        0
957.98/958.30	c  958s |      19 |   878787 |   607582 |     9798    123 |        0 |        0
960.27/960.58	c  960s |      19 |   880120 |   608582 |     9798    123 |        0 |        0
962.38/962.68	c  962s |      19 |   881093 |   609382 |     9798    123 |        0 |        0
964.38/964.69	c  964s |      19 |   882467 |   610282 |     9798    123 |        0 |        0
966.58/966.82	c  966s |      19 |   883916 |   611182 |     9798    123 |        0 |        0
968.57/968.89	c  968s |      19 |   885106 |   611982 |     9798    123 |        0 |        0
970.67/970.93	c  970s |      19 |   886232 |   612682 |     9798    124 |        0 |        0
972.88/973.14	c  972s |      19 |   886885 |   613182 |     9798    124 |        0 |        0
975.17/975.42	c  975s |      19 |   887694 |   613782 |     9798    124 |        0 |        0
975.88/976.17	c  975s |      19 |   888017 |   614008 |     9798    124 |        0 |        0
975.88/976.17	c #cpu_time = 973.335s
975.88/976.17	c #wall_clock_time = 975.918s
975.88/976.17	c #decision = 888017
975.88/976.17	c #random_decision = 1275
975.88/976.17	c #conflict = 614008
975.88/976.17	c #restart = 19
975.88/976.17	c BCD2: found a new core of size 1857: cost of the new core is >=1
975.88/976.17	c lower bound updated to 1
975.88/976.17	c BCD2: 1 <= obj <= 375
975.88/976.17	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1857, #hardened=0
975.88/976.17	c BCD2: #sat=1 #unsat=2 bias=2/3
975.88/976.18	c Solving starts ...
975.88/976.18	c ============================[ Search Statistics ]============================
975.88/976.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
975.88/976.18	c       |         |          |          |    Limit     GC | Var      | Constra 
975.88/976.18	c =============================================================================
975.88/976.18	c  0.0s |       0 |        0 |        0 |     9798      0 |        0 |        0
975.98/976.26	c  0.1s |       0 |     1977 |        2 |     9798      0 |        0 |        0
975.98/976.26	c #cpu_time = 0.077s
975.98/976.26	c #wall_clock_time = 0.078s
975.98/976.26	c #decision = 1977
975.98/976.26	c #random_decision = 6
975.98/976.26	c #conflict = 2
975.98/976.26	c #restart = 0
975.98/976.26	o 35
975.98/976.26	c BCD2: hardening fixes 1221 literals
975.98/976.26	c BCD2: updating upper bound: 375 -> 34
975.98/976.26	c BCD2: 1 <= obj <= 34
975.98/976.26	c BCD2: #cores=1, #unrelaxed=0, #relaxed=636, #hardened=1221
975.98/976.26	c BCD2: #sat=2 #unsat=2 bias=2/4
975.98/976.27	c Solving starts ...
975.98/976.27	c ============================[ Search Statistics ]============================
975.98/976.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
975.98/976.27	c       |         |          |          |    Limit     GC | Var      | Constra 
975.98/976.27	c =============================================================================
975.98/976.27	c  0.0s |       0 |        0 |        0 |     9798      0 |     1221 |        2
976.18/976.41	c  0.1s |       1 |      178 |      100 |     9798      0 |     1221 |        2
976.38/976.61	c  0.3s |       2 |      403 |      250 |     9798      0 |     1221 |        2
976.48/976.79	c  0.5s |       3 |      755 |      475 |     9798      0 |     1221 |        2
976.78/977.06	c  0.8s |       4 |     1313 |      813 |     9798      0 |     1221 |        2
977.18/977.44	c  1.2s |       5 |     2087 |     1320 |     9798      0 |     1221 |        2
977.68/978.00	c  1.7s |       6 |     3242 |     2081 |     9798      0 |     1221 |        2
978.48/978.73	c  2.5s |       7 |     5005 |     3223 |     9798      0 |     1221 |        2
979.68/979.92	c  3.7s |       8 |     7515 |     4936 |     9798      1 |     1221 |        2
980.98/981.22	c  4.9s |       9 |    11418 |     7506 |     9798      1 |     1221 |        2
982.97/983.24	c  7.0s |       9 |    16683 |    11206 |     9798      2 |     1221 |        2
983.07/983.32	c  7.1s |      10 |    16908 |    11361 |     9798      2 |     1221 |        2
985.07/985.36	c  9.1s |      10 |    22562 |    15361 |     9798      2 |     1221 |        2
985.97/986.24	c 10.0s |      10 |    24848 |    17000 |     9798      3 |     1221 |        2
985.97/986.24	c #cpu_time = 9.945s
985.97/986.24	c #wall_clock_time = 9.971s
985.97/986.24	c #decision = 24848
985.97/986.24	c #random_decision = 25
985.97/986.24	c #conflict = 17000
985.97/986.24	c #restart = 10
985.97/986.24	o 17
985.97/986.24	c BCD2: hardening fixes 335 literals
985.97/986.24	c BCD2: updating upper bound: 34 -> 16
985.97/986.24	c BCD2: 1 <= obj <= 16
985.97/986.24	c BCD2: #cores=1, #unrelaxed=0, #relaxed=301, #hardened=1556
985.97/986.24	c BCD2: #sat=3 #unsat=2 bias=2/5
985.97/986.24	c Solving starts ...
985.97/986.24	c ============================[ Search Statistics ]============================
985.97/986.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
985.97/986.24	c       |         |          |          |    Limit     GC | Var      | Constra 
985.97/986.24	c =============================================================================
985.97/986.24	c  0.0s |       0 |        0 |        0 |     9798      0 |     1556 |        4
986.07/986.31	c  0.1s |       1 |      142 |      100 |     9798      0 |     1556 |        4
986.17/986.40	c  0.2s |       2 |      355 |      250 |     9798      0 |     1556 |        4
986.27/986.53	c  0.3s |       3 |      664 |      475 |     9798      0 |     1556 |        4
986.48/986.75	c  0.5s |       4 |     1105 |      813 |     9798      0 |     1556 |        4
986.77/987.00	c  0.8s |       5 |     1787 |     1320 |     9798      0 |     1556 |        4
987.17/987.43	c  1.2s |       6 |     2827 |     2081 |     9798      0 |     1556 |        4
987.87/988.12	c  1.9s |       7 |     4449 |     3223 |     9798      0 |     1556 |        4
988.87/989.16	c  2.9s |       8 |     6868 |     4936 |     9798      1 |     1556 |        4
990.27/990.57	c  4.3s |       9 |    10294 |     7506 |     9798      1 |     1556 |        4
990.98/991.25	c  5.0s |       9 |    12092 |     8735 |     9798      1 |     1556 |        4
990.98/991.25	c #cpu_time = 4.992s
990.98/991.25	c #wall_clock_time = 5.005s
990.98/991.25	c #decision = 12092
990.98/991.25	c #random_decision = 17
990.98/991.25	c #conflict = 8735
990.98/991.25	c #restart = 9
990.98/991.25	o 6
990.98/991.25	c BCD2: hardening fixes 196 literals
990.98/991.25	c BCD2: updating upper bound: 16 -> 5
990.98/991.25	c BCD2: 1 <= obj <= 5
990.98/991.25	c BCD2: #cores=1, #unrelaxed=0, #relaxed=105, #hardened=1752
990.98/991.25	c BCD2: #sat=4 #unsat=2 bias=2/6
990.98/991.25	c Solving starts ...
990.98/991.25	c ============================[ Search Statistics ]============================
990.98/991.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
990.98/991.25	c       |         |          |          |    Limit     GC | Var      | Constra 
990.98/991.25	c =============================================================================
990.98/991.25	c  0.0s |       0 |        0 |        0 |     9798      0 |     1752 |        6
991.17/991.47	c  0.2s |       1 |      159 |      100 |     9798      0 |     1752 |        6
991.37/991.67	c  0.4s |       2 |      436 |      250 |     9798      0 |     1752 |        6
991.47/991.78	c  0.5s |       3 |      837 |      475 |     9798      0 |     1752 |        6
991.67/991.96	c  0.7s |       4 |     1339 |      813 |     9798      0 |     1752 |        6
991.98/992.27	c  1.0s |       5 |     2046 |     1320 |     9798      0 |     1752 |        6
992.47/992.74	c  1.5s |       6 |     3116 |     2081 |     9798      1 |     1752 |        6
992.97/993.28	c  2.0s |       7 |     4750 |     3223 |     9798      1 |     1752 |        6
993.87/994.15	c  2.9s |       8 |     7268 |     4936 |     9798      1 |     1752 |        6
994.87/995.16	c  3.9s |       8 |     9887 |     6706 |     9798      1 |     1752 |        6
994.87/995.16	c #cpu_time = 3.899s
994.87/995.16	c #wall_clock_time = 3.909s
994.87/995.16	c #decision = 9887
994.87/995.16	c #random_decision = 15
994.87/995.16	c #conflict = 6706
994.87/995.16	c #restart = 8
994.87/995.16	o 2
994.87/995.16	c BCD2: hardening fixes 93 literals
994.87/995.16	c BCD2: updating upper bound: 5 -> 1
994.87/995.16	c BCD2: 1 <= obj <= 1
994.87/995.16	c BCD2: #cores=1, #unrelaxed=0, #relaxed=12, #hardened=1845
994.87/995.16	c BCD2: #sat=5 #unsat=2 bias=2/7
994.87/995.16	c Solving starts ...
994.87/995.16	c ============================[ Search Statistics ]============================
994.87/995.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
994.87/995.16	c       |         |          |          |    Limit     GC | Var      | Constra 
994.87/995.16	c =============================================================================
994.87/995.16	c  0.0s |       0 |        0 |        0 |     9798      0 |     1845 |        8
994.97/995.25	c  0.1s |       1 |      151 |      100 |     9798      0 |     1845 |        8
995.07/995.34	c  0.2s |       2 |      428 |      250 |     9798      0 |     1845 |        8
995.17/995.48	c  0.3s |       3 |      785 |      475 |     9798      0 |     1845 |        8
995.47/995.73	c  0.6s |       4 |     1316 |      813 |     9798      1 |     1845 |        8
995.77/996.02	c  0.9s |       5 |     1989 |     1320 |     9798      1 |     1845 |        8
996.17/996.41	c  1.3s |       6 |     3113 |     2081 |     9798      1 |     1845 |        8
996.67/996.99	c  1.8s |       7 |     4783 |     3223 |     9798      1 |     1845 |        8
997.48/997.75	c  2.6s |       8 |     7542 |     4936 |     9798      1 |     1845 |        8
997.67/997.91	c  2.8s |       8 |     7966 |     5207 |     9798      1 |     1845 |        8
997.67/997.91	c #cpu_time = 2.746s
997.67/997.91	c #wall_clock_time = 2.753s
997.67/997.91	c #decision = 7966
997.67/997.91	c #random_decision = 27
997.67/997.91	c #conflict = 5207
997.67/997.91	c #restart = 8
997.67/997.92	o 1
997.67/997.92	s OPTIMUM FOUND
997.67/997.92	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
997.67/997.92	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20
997.67/997.92	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
997.67/997.92	v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40
997.67/997.92	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50
997.67/997.92	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
997.67/997.92	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
997.67/997.92	v -x71 -x72 -x73 -x74 -x75 -x76 x77 x78 -x79 -x80
997.67/997.92	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
997.67/997.92	v -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100
997.67/997.92	v x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
997.67/997.92	v -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120
997.67/997.92	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
997.67/997.92	v x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
997.67/997.92	v -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150
997.67/997.92	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160
997.67/997.92	v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170
997.67/997.92	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180
997.67/997.92	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
997.67/997.92	v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
997.67/997.92	v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
997.67/997.92	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220
997.67/997.92	v -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230
997.67/997.92	v -x231
997.67/997.92	c total CPU time = 995.279s
997.67/997.92	c total wall clock time = 997.919s

Verifier Data 

OK	1

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-4093340-1466086832/watcher-4093340-1466086832 -o /tmp/evaluation-result-4093340-1466086832/solver-4093340-1466086832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093340-1466086832.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.20 2.18 3/180 11827
/proc/meminfo: memFree=29636732/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 2723 0 0 0 0 0 0 0 20 0 4 0 10729693 748089344 3594 33554432000 4194304 16246674 140734151326880 140734151326304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 183151 3605 441 2943 0 180045 0
[pid=11827/tid=11828] ppid=11824 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 765915136 3664 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 771158016 3681 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 774303744 3697 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.17 2.20 2.18 3/180 11827
/proc/meminfo: memFree=29636732/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 24854 0 0 0 5 4 0 0 20 0 4 0 10729693 1247350784 25718 33554432000 4194304 16246674 140734151326880 140734151326304 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 304529 25720 621 2943 0 301423 0
[pid=11827/tid=11828] ppid=11824 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1247350784 25722 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1247350784 25728 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1247350784 25731 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200479 s]
/proc/loadavg: 2.17 2.20 2.18 3/180 11827
/proc/meminfo: memFree=29636732/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 34411 0 0 0 14 5 0 0 20 0 4 0 10729693 1250496512 35229 33554432000 4194304 16246674 140734151326880 140734151326192 4573528 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 305297 35229 865 2943 0 302191 0
[pid=11827/tid=11828] ppid=11824 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1250496512 35229 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1250496512 35229 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1250496512 35229 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.3005 s]
/proc/loadavg: 2.17 2.20 2.18 3/180 11827
/proc/meminfo: memFree=29636732/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 46333 0 0 0 23 6 0 0 20 0 4 0 10729693 1334382592 47152 33554432000 4194304 16246674 140734151326880 140734151326192 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 325777 47172 922 2943 0 322671 0
[pid=11827/tid=11828] ppid=11824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1334382592 47184 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1334382592 47190 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1334382592 47195 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700354 s]
/proc/loadavg: 2.17 2.20 2.18 3/180 11827
/proc/meminfo: memFree=29636732/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1303108 CPUtime=0.69 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 122948 0 0 0 51 18 0 0 20 0 4 0 10729693 1334382592 123766 33554432000 4194304 16246674 140734151326880 140734151326192 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 325777 123776 922 2943 0 322671 0
[pid=11827/tid=11828] ppid=11824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1334382592 123782 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1334382592 123793 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1334382592 123803 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1303108

[startup+1.50042 s]
/proc/loadavg: 2.17 2.20 2.18 3/184 11831
/proc/meminfo: memFree=28976124/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 164651 0 0 0 126 23 0 0 20 0 4 0 10729693 1339625472 165469 33554432000 4194304 16246674 140734151326880 140734151308800 5531312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 327057 165469 928 2943 0 323951 0
[pid=11827/tid=11828] ppid=11824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1339625472 165469 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1339625472 165469 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1339625472 165469 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10044 s]
/proc/loadavg: 2.17 2.20 2.18 3/184 11831
/proc/meminfo: memFree=28975612/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 164654 0 0 0 286 23 0 0 20 0 4 0 10729693 1339625472 165472 33554432000 4194304 16246674 140734151326880 140734151308800 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 327057 165472 931 2943 0 323951 0
[pid=11827/tid=11828] ppid=11824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1339625472 165472 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1339625472 165472 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1339625472 165472 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.15 2.20 2.18 3/184 11831
/proc/meminfo: memFree=28975384/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 165018 0 0 0 606 23 0 0 20 0 4 0 10729693 1341722624 165836 33554432000 4194304 16246674 140734151326880 140734151308800 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 327569 165836 932 2943 0 324463 0
[pid=11827/tid=11828] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165836 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165836 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165836 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7005 s]
/proc/loadavg: 2.14 2.20 2.18 3/184 11831
/proc/meminfo: memFree=28969956/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 165167 0 0 0 1245 24 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140734151308800 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 327569 165985 932 2943 0 324463 0
[pid=11827/tid=11828] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.19 2.20 2.18 4/184 11831
/proc/meminfo: memFree=28969612/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 165167 0 0 0 2524 25 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140734151308800 5673507 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 327569 165985 932 2943 0 324463 0
[pid=11827/tid=11828] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1006 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 11831
/proc/meminfo: memFree=28970096/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 165167 0 0 0 5083 25 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140734151308800 5723721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 327569 165985 932 2943 0 324463 0
[pid=11827/tid=11828] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1341722624 165985 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 11880
/proc/meminfo: memFree=28932564/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 166192 0 0 0 10197 31 0 0 20 0 4 0 10729693 1345916928 175924 33554432000 4194304 16246674 140734151326880 140734151308800 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 328593 175924 932 2943 0 325487 0
[pid=11827/tid=11828] ppid=11824 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1345916928 175924 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1345916928 175924 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1345916928 175924 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167082 0 0 0 88061 148 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140734151308800 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271393 933 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 1317444

[startup+942.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 12583
/proc/meminfo: memFree=28497064/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=942.08 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167082 0 0 0 94051 157 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140734151308800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271393 933 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1317444

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

[startup+947.207 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 12583
/proc/meminfo: memFree=28496928/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=946.98 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167082 0 0 0 94541 157 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140734151308800 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271393 933 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 946.98
Current children cumulated vsize (KiB) 1317444

[startup+972.8 s]
/proc/loadavg: 2.24 2.21 2.18 4/183 12584
/proc/meminfo: memFree=28497000/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=972.58 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167082 0 0 0 97097 161 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140734151325976 4206577 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271393 933 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271393 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 972.58
Current children cumulated vsize (KiB) 1317444

[startup+985.6 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 12584
/proc/meminfo: memFree=28497076/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=985.38 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167091 0 0 0 98376 162 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140734151308800 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271402 942 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 985.38
Current children cumulated vsize (KiB) 1317444

[startup+992 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 12584
/proc/meminfo: memFree=28497324/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=991.77 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167091 0 0 0 99015 162 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140734151308800 5677802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271402 942 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 991.77
Current children cumulated vsize (KiB) 1317444

[startup+995.2 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 12584
/proc/meminfo: memFree=28497060/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=994.97 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167091 0 0 0 99335 162 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140734151308800 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271402 942 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 994.97
Current children cumulated vsize (KiB) 1317444

[startup+996.8 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 12584
/proc/meminfo: memFree=28497184/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=996.57 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167091 0 0 0 99495 162 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140734151308800 5718096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271402 942 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 996.57
Current children cumulated vsize (KiB) 1317444

[startup+997.6 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 12584
/proc/meminfo: memFree=28497184/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=997.37 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167091 0 0 0 99575 162 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140734151308800 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271402 942 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 997.37
Current children cumulated vsize (KiB) 1317444

[startup+997.807 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 12584
/proc/meminfo: memFree=28497184/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=997.58 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167091 0 0 0 99596 162 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140734151308800 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271402 942 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 997.58
Current children cumulated vsize (KiB) 1317444

[startup+997.9 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 12584
/proc/meminfo: memFree=28497184/32872528 swapFree=1199460/1313924
[pid=11827] ppid=11824 vsize=1317444 CPUtime=997.67 cores=0,2,4,6
/proc/11827/stat : 11827 (toysat) R 11824 11827 9104 0 -1 4202496 167091 0 0 0 99605 162 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140734151308800 5822722 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11827/statm: 329361 271402 942 2943 0 326255 0
[pid=11827/tid=11828] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11828/stat : 11828 (toysat) S 11824 11827 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688626789616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11827/tid=11829] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11829/stat : 11829 (toysat) S 11824 11827 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688616299760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11827/tid=11830] ppid=11824 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11827/task/11830/stat : 11830 (toysat) S 11824 11827 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10729693 1349062656 271402 33554432000 4194304 16246674 140734151326880 140688498879664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 997.67
Current children cumulated vsize (KiB) 1317444

Child status: 0
Real time (s): 997.925
CPU time (s): 997.699
CPU user time (s): 996.076
CPU system time (s): 1.62375
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 996.076
system time used= 1.62375
maximum resident set size= 1085616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167093
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= 145
involuntary context switches= 1033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.40718 second user time and 9.14361 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 16:20:32
IDJOB=4093340
IDBENCH=78922
IDSOLVER=2553
FILE ID=node131/4093340-1466086832
RUNJOBID= node131-1466075598-10666
PBS_JOBID= 19904008
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093340-1466086832/watcher-4093340-1466086832 -o /tmp/evaluation-result-4093340-1466086832/solver-4093340-1466086832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093340-1466086832.wbo

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

MD5SUM BENCH= 42cd11e454ef36c6d0d0a1a4a75ff12f
RANDOM SEED=194568969

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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:        29637120 kB
Buffers:           33648 kB
Cached:           104428 kB
SwapCached:         1972 kB
Active:          1153772 kB
Inactive:          64492 kB
Active(anon):    1080712 kB
Inactive(anon):     1452 kB
Active(file):      73060 kB
Inactive(file):    63040 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:             16420 kB
Writeback:             0 kB
AnonPages:       2394856 kB
Mapped:            10576 kB
Shmem:                 0 kB
Slab:             566504 kB
SReclaimable:      10584 kB
SUnreclaim:       555920 kB
KernelStack:        1480 kB
PageTables:         8352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2537976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node131 at 2016-06-16 16:37:10