Trace number 4079381

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 1430.73 1430.96

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_8_mh_ic.opb
MD5SUMb8fc0aeb472c4f306b96a25f55baf334
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3154154
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 133432831
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 11291176587
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 133432831
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 11291176587
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T20:17:11+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079381-1465323431.opb"]
0.00/0.01	c use --random-gen="794244458 1686937700 1394688110 1786039374 1507592423 2539290421 1481024533 3354439302 3845612787 29789592 2330436907 3566860820 1371352503 2484471021 4007619266 1401351424 4024485111 3828519826 3976286400 3981413738 2010186215 2188232543 3523365351 530504776 2986751027 2625153651 1341843867 2338081891 2677435043 1706487174 2968070170 3391269368 1358189236 1070283838 414724402 3143774805 614888699 2821911294 4267407668 1174861792 1710533730 1569363625 1202157086 3080644916 559851328 2629139583 267597208 1173524264 1078674464 1290875195 1711700955 48707783 3026462651 3877670805 2597112755 3963820541 702689901 1986315604 3615935682 3706498225 1818147527 628467670 1202017602 1221857766 3155727260 2690940559 2559787279 3386284127 614904871 3661118457 2650258839 1092342962 316216415 3112178430 880307922 1447178391 126971596 671103606 3850770898 2163340603 466214729 2268997274 3485471621 1024294887 3614654737 1232261433 4074315839 302741588 3230652082 2308934750 2125572672 265088843 568146521 3981641231 4094172418 182946607 3346624833 1648348007 4263908710 1292362938 42121513 2771454173 4232602698 3305344330 4165073850 3969510624 2931693984 1957964591 636458169 3063376690 3337016321 1671228857 2554609759 3080958089 775391117 325405077 338742727 211259204 3139225901 519259382 2350873985 2413719481 1275025334 1124752175 3176121263 448786576 2442272889 2918873581 2829712073 2046521651 3690577328 2092477021 2490784176 200573074 3571596818 435677031 3048003083 1273101645 3962112744 4098146902 2099995187 1862880656 4273178278 1342496720 598777521 712949929 2568401716 2638427296 3076476136 4252711617 1537724658 1811492696 1367740981 3914553345 3968964968 734640980 3267353707 3015261989 2590986050 2799611244 256654431 2557656223 3180353018 1223308775 1449816535 1187465487 3623797583 1155707991 2836913065 534877049 588111978 44730359 3362524082 2591671269 498123464 1283621614 2370903483 1524813633 760021828 176693407 3578990706 1552197881 2607701896 4104777231 4111685248 3618752560 2019201994 3505640471 1007184016 3952720737 1160887951 1455437065 2331082799 4242252441 258191654 2876772660 2087930491 1265052904 3802968893 862639838 111924629 3895190048 3918717750 120420300 3866061636 1581518115 101919819 368501839 2579629869 2430760570 597742024 2203623754 4066777346 3022496707 2998455979 2525292183 3355425702 2519102278 3300472598 3193802440 889828473 3348772955 1415417732 2907601076 1836212790 1046298014 1452550609 3368996224 3457087954 2581992778 3325808398 2737919998 2297326944 2189176428 1159386014 3237451531 3503545215 1112597999 3961787265 1898335745 2187419193 571830337 3146973127 3761231878 2055244082 1958935935 3043107469 934009356 4245959462 2246048110 2183232503 4069100594 78338894 3047040957 3770600173 3863369526 255 362436" option to reproduce the execution
0.69/0.76	c #vars 45775
0.69/0.76	c #constraints 102733
2.59/2.61	c BCD2: Hardening is enabled.
2.59/2.61	c BCD2: BiasedSearch is enabled.
2.59/2.61	c Solving starts ...
2.59/2.61	c ============================[ Search Statistics ]============================
2.59/2.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.61	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.61	c =============================================================================
2.59/2.62	c  0.0s |       0 |        0 |        0 |    50102      0 |      100 |        0
3.59/3.61	c  1.0s |       1 |      558 |      100 |    50102      0 |      100 |        0
4.40/4.41	c  1.8s |       2 |     1788 |      250 |    55113      0 |      100 |        0
6.59/6.62	c  4.0s |       2 |     2551 |      350 |    60625      0 |      100 |        0
8.58/8.64	c  6.0s |       3 |     3623 |      475 |    60625      0 |      100 |        0
10.58/10.67	c  8.1s |       3 |     4227 |      575 |    66688      0 |      100 |        0
14.68/14.80	c 12.2s |       3 |     5349 |      775 |    66688      0 |      100 |        0
15.39/15.48	c 12.9s |       4 |     5564 |      813 |    66688      0 |      100 |        0
17.69/17.77	c 15.2s |       4 |     6333 |      913 |    73357      0 |      100 |        0
19.79/19.89	c 17.3s |       4 |     7014 |     1013 |    73357      0 |      100 |        0
21.88/21.93	c 19.3s |       4 |     7315 |     1113 |    73357      0 |      100 |        0
25.08/25.19	c 22.6s |       4 |     7735 |     1213 |    73357      0 |      100 |        0
28.08/28.12	c 25.5s |       4 |     8537 |     1313 |    73357      0 |      100 |        0
28.08/28.18	c 25.6s |       5 |     8541 |     1320 |    73357      0 |      100 |        0
31.38/31.47	c 28.9s |       5 |     9371 |     1420 |    80693      0 |      100 |        0
34.38/34.40	c 31.8s |       5 |    10356 |     1520 |    80693      0 |      100 |        0
36.39/36.42	c 33.8s |       5 |    11014 |     1620 |    80693      0 |      100 |        0
39.98/40.00	c 37.4s |       5 |    12415 |     1820 |    80693      0 |      100 |        0
42.68/42.71	c 40.1s |       5 |    12884 |     1920 |    80693      0 |      100 |        0
44.78/44.84	c 42.2s |       5 |    13644 |     2020 |    80693      0 |      100 |        0
45.98/46.07	c 43.5s |       6 |    13995 |     2081 |    88763      0 |      100 |        0
48.08/48.19	c 45.6s |       6 |    14706 |     2181 |    88763      0 |      100 |        0
50.48/50.50	c 47.9s |       6 |    15209 |     2281 |    88763      0 |      100 |        0
54.88/54.92	c 52.3s |       6 |    17019 |     2481 |    88763      0 |      100 |        0
56.98/57.00	c 54.4s |       6 |    17913 |     2581 |    88763      0 |      100 |        0
58.98/59.02	c 56.4s |       6 |    18532 |     2681 |    88763      0 |      100 |        0
62.88/62.93	c 60.3s |       6 |    20008 |     2881 |    88763      0 |      100 |        0
66.77/66.87	c 64.3s |       6 |    21280 |     3081 |    88763      0 |      100 |        0
68.87/68.96	c 66.3s |       6 |    22099 |     3181 |    88763      0 |      100 |        0
69.97/70.04	c 67.4s |       7 |    22211 |     3223 |    97640      0 |      100 |        0
73.17/73.20	c 70.6s |       7 |    22733 |     3323 |    97640      0 |      100 |        0
75.77/75.88	c 73.3s |       7 |    23513 |     3423 |    97640      0 |      100 |        0
78.08/78.12	c 75.5s |       7 |    24174 |     3523 |    97640      0 |      100 |        0
81.97/82.02	c 79.4s |       7 |    25445 |     3723 |    97640      0 |      100 |        0
84.37/84.40	c 81.8s |       7 |    26179 |     3823 |    97640      0 |      100 |        0
87.17/87.29	c 84.7s |       7 |    26910 |     3923 |    97640      0 |      100 |        0
89.37/89.41	c 86.8s |       7 |    27646 |     4023 |    97640      0 |      100 |        0
91.47/91.51	c 88.9s |       7 |    28432 |     4123 |    97640      0 |      100 |        0
95.07/95.14	c 92.5s |       7 |    29884 |     4323 |    97640      0 |      100 |        0
97.37/97.41	c 94.8s |       7 |    30512 |     4423 |    97640      0 |      100 |        0
99.37/99.44	c 96.8s |       7 |    31178 |     4523 |    97640      0 |      100 |        0
102.87/102.93	c  100s |       7 |    32800 |     4723 |    97640      0 |      100 |        0
105.17/105.27	c  102s |       7 |    33343 |     4823 |    97640      0 |      100 |        0
107.37/107.42	c  104s |       8 |    33998 |     4936 |   107405      0 |      100 |        0
111.57/111.68	c  109s |       8 |    34715 |     5136 |   107405      0 |      100 |        0
113.77/113.82	c  111s |       8 |    35139 |     5236 |   107405      0 |      100 |        0
117.67/117.80	c  115s |       8 |    35961 |     5436 |   107405      0 |      100 |        0
119.87/119.98	c  117s |       8 |    36652 |     5536 |   107405      0 |      100 |        0
122.57/122.65	c  120s |       8 |    37204 |     5636 |   107405      0 |      100 |        0
125.66/125.79	c  123s |       8 |    38135 |     5836 |   107405      0 |      100 |        0
128.46/128.54	c  125s |       8 |    38732 |     5936 |   107405      0 |      100 |        0
130.97/131.03	c  128s |       8 |    39395 |     6036 |   107405      0 |      100 |        0
133.66/133.70	c  131s |       8 |    40057 |     6136 |   107405      0 |      100 |        0
135.66/135.72	c  133s |       8 |    40254 |     6236 |   107405      0 |      100 |        0
139.86/139.91	c  137s |       8 |    41284 |     6436 |   107405      0 |      100 |        0
141.87/141.95	c  139s |       8 |    41813 |     6536 |   107405      0 |      100 |        0
144.17/144.25	c  141s |       8 |    42628 |     6636 |   107405      0 |      100 |        0
148.36/148.47	c  145s |       8 |    43994 |     6836 |   107405      0 |      100 |        0
151.26/151.32	c  148s |       8 |    44922 |     7036 |   107405      0 |      100 |        0
154.46/154.58	c  151s |       8 |    46481 |     7236 |   107405      0 |      100 |        0
157.66/157.78	c  155s |       8 |    47582 |     7436 |   107405      0 |      100 |        0
158.86/158.95	c  156s |       9 |    48116 |     7506 |   118146      0 |      100 |        0
161.06/161.14	c  158s |       9 |    48937 |     7606 |   118146      0 |      100 |        0
163.97/164.03	c  161s |       9 |    49602 |     7806 |   118146      0 |      100 |        0
167.86/167.96	c  165s |       9 |    50434 |     8006 |   118146      0 |      100 |        0
171.16/171.22	c  168s |       9 |    51162 |     8206 |   118146      0 |      100 |        0
175.46/175.55	c  172s |       9 |    52002 |     8406 |   118146      0 |      100 |        0
180.15/180.27	c  177s |       9 |    53492 |     8606 |   118146      0 |      100 |        0
182.56/182.69	c  180s |       9 |    54321 |     8806 |   118146      0 |      100 |        0
184.95/185.01	c  182s |       9 |    54660 |     8906 |   118146      0 |      100 |        0
188.75/188.88	c  186s |       9 |    55992 |     9106 |   118146      0 |      100 |        0
190.75/190.89	c  188s |       9 |    56487 |     9206 |   118146      0 |      100 |        0
194.25/194.32	c  191s |       9 |    57429 |     9406 |   118146      0 |      100 |        0
196.35/196.49	c  193s |       9 |    58216 |     9506 |   118146      0 |      100 |        0
199.55/199.60	c  196s |       9 |    58859 |     9706 |   118146      0 |      100 |        0
202.95/203.06	c  200s |       9 |    59745 |     9906 |   118146      0 |      100 |        0
206.95/207.04	c  204s |       9 |    60994 |    10106 |   118146      0 |      100 |        0
210.36/210.47	c  207s |       9 |    61966 |    10306 |   118146      0 |      100 |        0
213.06/213.19	c  210s |       9 |    62612 |    10506 |   118146      0 |      100 |        0
216.96/217.08	c  214s |       9 |    63632 |    10706 |   118146      0 |      100 |        0
219.16/219.28	c  216s |       9 |    64168 |    10806 |   118146      0 |      100 |        0
221.86/221.99	c  219s |       9 |    64997 |    10906 |   118146      0 |      100 |        0
224.66/224.73	c  222s |       9 |    65647 |    11106 |   118146      0 |      100 |        0
228.26/228.38	c  225s |       9 |    66399 |    11306 |   129961      0 |      100 |        0
229.06/229.17	c  226s |      10 |    66579 |    11361 |   129961      0 |      100 |        0
231.36/231.48	c  228s |      10 |    66904 |    11461 |   129961      0 |      100 |        0
234.86/234.94	c  232s |      10 |    67984 |    11661 |   129961      0 |      100 |        0
238.05/238.15	c  235s |      10 |    68737 |    11861 |   129961      0 |      100 |        0
241.85/241.97	c  239s |      10 |    69478 |    12061 |   129961      0 |      100 |        0
244.95/245.04	c  242s |      10 |    70171 |    12261 |   129961      0 |      100 |        0
248.05/248.17	c  245s |      10 |    70941 |    12461 |   129961      0 |      100 |        0
251.55/251.69	c  249s |      10 |    71392 |    12661 |   129961      0 |      100 |        0
255.45/255.56	c  252s |      10 |    72141 |    12861 |   129961      0 |      100 |        0
257.85/257.90	c  255s |      10 |    72682 |    12961 |   129961      0 |      100 |        0
262.65/262.77	c  260s |      10 |    73796 |    13161 |   129961      0 |      100 |        0
266.26/266.37	c  263s |      10 |    74247 |    13261 |   129961      0 |      100 |        0
268.95/269.01	c  266s |      10 |    74553 |    13361 |   129961      0 |      100 |        0
271.65/271.72	c  269s |      10 |    74846 |    13461 |   129961      0 |      100 |        0
273.75/273.90	c  271s |      10 |    75073 |    13561 |   129961      0 |      100 |        0
275.85/275.96	c  273s |      10 |    75574 |    13661 |   129961      0 |      100 |        0
278.55/278.62	c  276s |      10 |    76749 |    13861 |   129961      0 |      100 |        0
280.75/280.84	c  278s |      10 |    77113 |    13961 |   129961      0 |      100 |        0
283.75/283.88	c  281s |      10 |    77974 |    14161 |   129961      0 |      100 |        0
286.55/286.69	c  284s |      10 |    78803 |    14361 |   129961      0 |      100 |        0
289.15/289.25	c  286s |      10 |    79659 |    14561 |   129961      0 |      100 |        0
291.45/291.56	c  288s |      10 |    80460 |    14761 |   129961      0 |      100 |        0
294.24/294.34	c  291s |      10 |    81819 |    14961 |   129961      0 |      100 |        0
297.24/297.39	c  294s |      10 |    82499 |    15161 |   129961      0 |      100 |        0
301.84/301.96	c  299s |      10 |    83412 |    15361 |   129961      0 |      100 |        0
304.75/304.89	c  302s |      10 |    84131 |    15561 |   129961      0 |      100 |        0
307.74/307.82	c  305s |      10 |    84639 |    15761 |   129961      0 |      100 |        0
311.44/311.54	c  308s |      10 |    85225 |    15961 |   129961      0 |      100 |        0
315.04/315.16	c  312s |      10 |    85977 |    16161 |   129961      0 |      100 |        0
317.85/318.00	c  315s |      10 |    86931 |    16361 |   129961      0 |      100 |        0
321.84/321.98	c  319s |      10 |    87953 |    16561 |   129961      0 |      100 |        0
324.94/325.05	c  322s |      10 |    88479 |    16761 |   129961      0 |      100 |        0
327.74/327.89	c  325s |      10 |    89333 |    16961 |   129961      0 |      100 |        0
331.24/331.32	c  328s |      11 |    90256 |    17144 |   142958      0 |      100 |        0
334.74/334.80	c  332s |      11 |    90937 |    17344 |   142958      0 |      100 |        0
338.13/338.21	c  335s |      11 |    91981 |    17544 |   142958      0 |      100 |        0
340.23/340.33	c  337s |      11 |    92249 |    17644 |   142958      0 |      100 |        0
344.03/344.16	c  341s |      11 |    93563 |    17744 |   142958      0 |      100 |        0
346.93/347.01	c  344s |      11 |    93798 |    17844 |   142958      0 |      100 |        0
349.33/349.44	c  346s |      11 |    95720 |    18044 |   142958      0 |      100 |        0
351.63/351.73	c  349s |      11 |    98797 |    18644 |   142958      0 |      100 |        0
353.63/353.78	c  351s |      11 |   100539 |    19244 |   142958      0 |      100 |        0
355.73/355.83	c  353s |      11 |   102087 |    19744 |   142958      0 |      100 |        0
357.93/358.03	c  355s |      11 |   104143 |    20344 |   142958      0 |      100 |        0
359.93/360.06	c  357s |      11 |   105995 |    21044 |   142958      0 |      100 |        0
362.13/362.26	c  359s |      11 |   107825 |    21644 |   142958      0 |      100 |        0
364.23/364.36	c  361s |      11 |   110282 |    22244 |   142958      0 |      100 |        0
366.33/366.41	c  363s |      11 |   111737 |    22744 |   142958      0 |      100 |        0
368.43/368.57	c  365s |      11 |   114083 |    23244 |   142958      0 |      100 |        0
370.73/370.88	c  368s |      11 |   116289 |    23844 |   142958      0 |      100 |        0
373.13/373.28	c  370s |      11 |   117256 |    24344 |   142958      0 |      100 |        0
375.23/375.32	c  372s |      11 |   118077 |    24744 |   142958      0 |      100 |        0
377.42/377.57	c  374s |      11 |   119928 |    25344 |   142958      0 |      100 |        0
379.22/379.32	c  376s |      12 |   121051 |    25819 |   157254      0 |      100 |        0
381.52/381.69	c  379s |      12 |   123212 |    26319 |   157254      0 |      100 |        0
383.72/383.85	c  381s |      12 |   125460 |    26919 |   157254      0 |      100 |        0
386.03/386.11	c  383s |      12 |   127446 |    27519 |   157254      0 |      100 |        0
388.23/388.36	c  385s |      12 |   130032 |    28119 |   157254      0 |      100 |        0
390.54/390.65	c  388s |      12 |   131643 |    28619 |   157254      0 |      100 |        0
392.93/393.05	c  390s |      12 |   133092 |    29119 |   157254      0 |      100 |        0
395.13/395.24	c  392s |      12 |   134253 |    29619 |   157254      0 |      100 |        0
397.23/397.39	c  394s |      12 |   134971 |    30019 |   157254      0 |      100 |        0
399.63/399.76	c  397s |      12 |   137278 |    30619 |   157254      0 |      100 |        0
401.63/401.79	c  399s |      12 |   138673 |    31119 |   157254      0 |      100 |        0
403.83/403.96	c  401s |      12 |   140157 |    31619 |   157254      0 |      100 |        0
406.13/406.28	c  403s |      12 |   141247 |    32119 |   157254      0 |      100 |        0
408.53/408.67	c  406s |      12 |   143574 |    32619 |   157254      0 |      100 |        0
410.63/410.71	c  408s |      12 |   145501 |    33119 |   157254      0 |      100 |        0
412.83/412.90	c  410s |      12 |   148378 |    33819 |   157254      0 |      100 |        0
415.02/415.13	c  412s |      12 |   149953 |    34419 |   157254      0 |      100 |        0
417.12/417.26	c  414s |      12 |   151279 |    34919 |   157254      0 |      100 |        0
419.13/419.26	c  416s |      12 |   152223 |    35319 |   157254      0 |      100 |        0
421.52/421.66	c  419s |      12 |   153219 |    35819 |   157254      0 |      100 |        0
423.72/423.86	c  421s |      12 |   154806 |    36519 |   157254      0 |      100 |        0
425.82/425.98	c  423s |      12 |   155588 |    36919 |   157254      0 |      100 |        0
428.32/428.44	c  425s |      12 |   156671 |    37419 |   157254      0 |      100 |        0
430.92/431.00	c  428s |      12 |   157538 |    37919 |   157254      0 |      100 |        0
433.22/433.33	c  430s |      12 |   158220 |    38419 |   157254      0 |      100 |        0
435.22/435.38	c  432s |      12 |   159861 |    38819 |   172980      0 |      100 |        0
435.32/435.46	c  432s |      13 |   159882 |    38832 |   172980      0 |      100 |        0
437.72/437.85	c  435s |      13 |   162216 |    38932 |   172980      0 |      100 |        0
441.42/441.52	c  438s |      13 |   162489 |    39032 |   172980      0 |      100 |        0
444.22/444.33	c  441s |      13 |   163176 |    39132 |   172980      0 |      100 |        0
449.12/449.20	c  446s |      13 |   164168 |    39332 |   172980      0 |      100 |        0
451.42/451.60	c  448s |      13 |   164329 |    39432 |   172980      0 |      100 |        0
454.91/455.09	c  452s |      13 |   164574 |    39532 |   172980      0 |      100 |        0
457.71/457.84	c  455s |      13 |   164956 |    39632 |   172980      0 |      100 |        0
461.41/461.51	c  458s |      13 |   165173 |    39732 |   172980      0 |      100 |        0
464.41/464.52	c  461s |      13 |   165869 |    39832 |   172980      0 |      100 |        0
466.81/466.96	c  464s |      13 |   166153 |    39932 |   172980      0 |      100 |        0
469.62/469.77	c  467s |      13 |   166689 |    40032 |   172980      0 |      100 |        0
472.31/472.44	c  469s |      13 |   167207 |    40132 |   172980      0 |      100 |        0
475.12/475.28	c  472s |      13 |   167866 |    40232 |   172980      0 |      100 |        0
477.81/477.97	c  475s |      13 |   168091 |    40332 |   172980      0 |      100 |        0
480.21/480.39	c  477s |      13 |   168939 |    40432 |   172980      0 |      100 |        0
483.01/483.17	c  480s |      13 |   169359 |    40532 |   172980      0 |      100 |        0
485.81/485.92	c  483s |      13 |   170139 |    40632 |   172980      0 |      100 |        0
490.11/490.25	c  487s |      13 |   170975 |    40832 |   172980      0 |      100 |        0
492.82/492.93	c  490s |      13 |   171792 |    40932 |   172980      0 |      100 |        0
495.31/495.43	c  492s |      13 |   172272 |    41032 |   172980      0 |      100 |        0
498.01/498.17	c  495s |      13 |   172846 |    41132 |   172980      0 |      100 |        0
500.61/500.77	c  498s |      13 |   173307 |    41232 |   172980      0 |      100 |        0
502.71/502.81	c  500s |      13 |   173587 |    41332 |   172980      0 |      100 |        0
505.31/505.47	c  502s |      13 |   174582 |    41432 |   172980      0 |      100 |        0
507.91/508.05	c  505s |      13 |   174827 |    41532 |   172980      0 |      100 |        0
510.11/510.28	c  507s |      13 |   175619 |    41632 |   172980      0 |      100 |        0
513.41/513.50	c  510s |      13 |   176096 |    41732 |   172980      0 |      100 |        0
517.50/517.61	c  514s |      13 |   177047 |    41932 |   172980      0 |      100 |        0
522.60/522.71	c  520s |      13 |   177912 |    42132 |   172980      0 |      100 |        0
525.30/525.42	c  522s |      13 |   178301 |    42232 |   172980      0 |      100 |        0
528.30/528.48	c  525s |      13 |   178503 |    42332 |   172980      0 |      100 |        0
531.70/531.81	c  529s |      13 |   178677 |    42432 |   172980      0 |      100 |        0
535.40/535.50	c  532s |      13 |   179472 |    42532 |   172980      0 |      100 |        0
538.00/538.17	c  535s |      13 |   179729 |    42632 |   172980      0 |      100 |        0
541.00/541.18	c  538s |      13 |   179975 |    42732 |   172980      0 |      100 |        0
544.70/544.89	c  542s |      13 |   180280 |    42832 |   172980      0 |      100 |        0
547.30/547.40	c  544s |      13 |   180934 |    42932 |   172980      0 |      100 |        0
549.70/549.87	c  547s |      13 |   181509 |    43032 |   172980      0 |      100 |        0
551.90/552.02	c  549s |      13 |   182510 |    43132 |   172980      0 |      100 |        0
554.00/554.11	c  551s |      13 |   184467 |    43632 |   172980      0 |      100 |        0
556.10/556.20	c  553s |      13 |   185887 |    44232 |   172980      0 |      100 |        0
558.10/558.28	c  555s |      13 |   187545 |    44832 |   172980      0 |      100 |        0
560.20/560.37	c  557s |      13 |   188694 |    45432 |   172980      0 |      100 |        0
562.50/562.65	c  560s |      13 |   189954 |    46232 |   172980      0 |      100 |        0
564.50/564.68	c  562s |      13 |   191075 |    46932 |   172980      0 |      100 |        0
566.70/566.83	c  564s |      13 |   192397 |    47632 |   172980      0 |      100 |        0
569.00/569.15	c  566s |      13 |   194277 |    48232 |   172980      0 |      100 |        0
571.10/571.27	c  568s |      13 |   195406 |    48632 |   172980      0 |      100 |        0
573.40/573.53	c  570s |      13 |   197637 |    49232 |   172980      0 |      100 |        0
575.50/575.62	c  573s |      13 |   199279 |    49632 |   172980      0 |      100 |        0
577.60/577.71	c  575s |      13 |   200952 |    50132 |   172980      0 |      100 |        0
579.70/579.87	c  577s |      13 |   202359 |    50632 |   172980      0 |      100 |        0
581.99/582.16	c  579s |      13 |   203708 |    51132 |   172980      0 |      100 |        0
584.10/584.29	c  581s |      13 |   205395 |    51532 |   172980      0 |      100 |        0
586.59/586.74	c  584s |      13 |   206519 |    52032 |   172980      0 |      100 |        0
589.19/589.31	c  586s |      13 |   207262 |    52432 |   172980      0 |      100 |        0
591.39/591.55	c  588s |      13 |   208021 |    52832 |   172980      0 |      100 |        0
593.59/593.71	c  591s |      13 |   210148 |    53332 |   172980      0 |      100 |        0
595.69/595.88	c  593s |      13 |   211488 |    53832 |   172980      0 |      100 |        0
597.89/598.04	c  595s |      13 |   212763 |    54332 |   172980      0 |      100 |        0
600.09/600.28	c  597s |      13 |   214694 |    54932 |   172980      0 |      100 |        0
602.29/602.40	c  599s |      13 |   216343 |    55432 |   172980      0 |      100 |        0
604.69/604.84	c  602s |      13 |   217483 |    55932 |   172980      0 |      100 |        0
606.79/606.91	c  604s |      13 |   218614 |    56332 |   172980      0 |      100 |        0
608.99/609.18	c  606s |      13 |   219370 |    56732 |   172980      0 |      100 |        0
611.19/611.37	c  608s |      13 |   220777 |    57132 |   172980      0 |      100 |        0
613.70/613.86	c  611s |      13 |   222710 |    57632 |   172980      0 |      100 |        0
616.09/616.24	c  613s |      13 |   224466 |    58132 |   190279      0 |      100 |        0
617.00/617.19	c  614s |      14 |   225287 |    58352 |   190279      0 |      100 |        0
619.09/619.20	c  616s |      14 |   226274 |    58752 |   190279      0 |      100 |        0
621.49/621.62	c  619s |      14 |   228291 |    59252 |   190279      0 |      100 |        0
623.69/623.84	c  621s |      14 |   230065 |    59752 |   190279      0 |      100 |        0
625.99/626.20	c  623s |      14 |   231212 |    60152 |   190279      0 |      100 |        0
628.29/628.43	c  625s |      14 |   232271 |    60552 |   190279      0 |      100 |        0
630.69/630.81	c  628s |      14 |   233057 |    60952 |   190279      0 |      100 |        0
633.09/633.27	c  630s |      14 |   233754 |    61352 |   190279      0 |      100 |        0
635.09/635.27	c  632s |      14 |   235204 |    61752 |   190279      0 |      100 |        0
637.59/637.78	c  635s |      14 |   236925 |    62252 |   190279      0 |      100 |        0
639.69/639.83	c  637s |      14 |   237990 |    62652 |   190279      0 |      100 |        0
642.30/642.41	c  639s |      14 |   239733 |    63252 |   190279      0 |      100 |        0
644.79/644.91	c  642s |      14 |   240952 |    63752 |   190279      0 |      100 |        0
647.29/647.49	c  644s |      14 |   241865 |    64152 |   190279      0 |      100 |        0
649.69/649.86	c  647s |      14 |   243075 |    64552 |   190279      0 |      100 |        0
652.09/652.22	c  649s |      14 |   245240 |    65152 |   190279      0 |      100 |        0
654.50/654.66	c  652s |      14 |   246882 |    65852 |   190279      0 |      100 |        0
656.79/656.91	c  654s |      14 |   248130 |    66252 |   190279      0 |      100 |        0
658.99/659.16	c  656s |      14 |   249231 |    66652 |   190279      0 |      100 |        0
661.29/661.48	c  658s |      14 |   250608 |    67152 |   190279      0 |      100 |        0
663.69/663.82	c  661s |      14 |   251267 |    67552 |   190279      0 |      100 |        0
665.79/665.97	c  663s |      14 |   252197 |    67952 |   190279      0 |      100 |        0
668.09/668.21	c  665s |      14 |   252969 |    68352 |   190279      0 |      100 |        0
670.19/670.32	c  667s |      14 |   253649 |    68752 |   190279      0 |      100 |        0
672.29/672.48	c  669s |      14 |   254514 |    69152 |   190279      0 |      100 |        0
674.39/674.52	c  671s |      14 |   255252 |    69652 |   190279      0 |      100 |        0
676.59/676.72	c  674s |      14 |   255765 |    70052 |   190279      0 |      100 |        0
679.19/679.36	c  676s |      14 |   256642 |    70652 |   190279      0 |      100 |        0
681.79/682.00	c  679s |      14 |   257188 |    71052 |   190279      0 |      100 |        0
684.49/684.62	c  682s |      14 |   257839 |    71552 |   190279      0 |      100 |        0
686.79/686.92	c  684s |      14 |   258801 |    71952 |   190279      0 |      100 |        0
689.19/689.33	c  686s |      14 |   259424 |    72352 |   190279      0 |      100 |        0
691.69/691.81	c  689s |      14 |   260061 |    72752 |   190279      0 |      100 |        0
693.68/693.82	c  691s |      14 |   260764 |    73152 |   190279      0 |      100 |        0
695.78/695.93	c  693s |      14 |   262269 |    73552 |   190279      0 |      100 |        0
697.98/698.17	c  695s |      14 |   263408 |    73952 |   190279      0 |      100 |        0
700.59/700.73	c  698s |      14 |   264775 |    74352 |   190279      0 |      100 |        0
703.28/703.41	c  700s |      14 |   266380 |    74752 |   190279      0 |      100 |        0
705.58/705.79	c  703s |      14 |   267644 |    75152 |   190279      0 |      100 |        0
707.68/707.85	c  705s |      14 |   269469 |    75552 |   190279      0 |      100 |        0
709.98/710.14	c  707s |      14 |   270702 |    75952 |   190279      0 |      100 |        0
712.08/712.25	c  709s |      14 |   271767 |    76352 |   190279      0 |      100 |        0
714.28/714.46	c  711s |      14 |   273129 |    76752 |   190279      0 |      100 |        0
716.68/716.89	c  714s |      14 |   274651 |    77252 |   190279      0 |      100 |        0
719.08/719.28	c  716s |      14 |   276292 |    77752 |   190279      0 |      100 |        0
721.38/721.53	c  718s |      14 |   277405 |    78152 |   190279      0 |      100 |        0
723.48/723.66	c  721s |      14 |   278416 |    78552 |   190279      0 |      100 |        0
725.78/725.90	c  723s |      14 |   279245 |    78952 |   190279      0 |      100 |        0
727.98/728.12	c  725s |      14 |   280339 |    79352 |   190279      0 |      100 |        0
730.18/730.39	c  727s |      14 |   282103 |    79852 |   190279      0 |      100 |        0
732.78/732.96	c  730s |      14 |   283491 |    80352 |   190279      0 |      100 |        0
735.28/735.49	c  732s |      14 |   284647 |    80752 |   190279      0 |      100 |        0
737.78/737.95	c  735s |      14 |   285901 |    81152 |   190279      0 |      100 |        0
739.78/739.97	c  737s |      14 |   286711 |    81552 |   190279      0 |      100 |        0
741.88/742.00	c  739s |      14 |   287569 |    81952 |   190279      0 |      100 |        0
744.38/744.51	c  741s |      14 |   288305 |    82352 |   190279      0 |      100 |        0
746.48/746.61	c  744s |      14 |   288939 |    82652 |   190279      0 |      100 |        0
748.48/748.68	c  746s |      14 |   289977 |    83052 |   190279      0 |      100 |        0
750.68/750.84	c  748s |      14 |   291028 |    83452 |   190279      0 |      100 |        0
752.88/753.09	c  750s |      14 |   292288 |    83852 |   190279      0 |      100 |        0
755.08/755.21	c  752s |      14 |   293189 |    84252 |   190279      0 |      100 |        0
757.37/757.54	c  754s |      14 |   294308 |    84752 |   190279      0 |      100 |        0
759.57/759.77	c  757s |      14 |   295605 |    85252 |   190279      0 |      100 |        0
762.07/762.26	c  759s |      14 |   296532 |    85752 |   190279      0 |      100 |        0
764.38/764.56	c  761s |      14 |   297137 |    86152 |   190279      0 |      100 |        0
766.58/766.72	c  764s |      14 |   298162 |    86552 |   190279      0 |      100 |        0
768.97/769.15	c  766s |      14 |   299391 |    87152 |   209307      0 |      100 |        0
771.47/771.63	c  769s |      14 |   299894 |    87552 |   209307      0 |      100 |        0
772.08/772.29	c  769s |      15 |   299993 |    87632 |   209307      0 |      100 |        0
774.47/774.66	c  772s |      15 |   300825 |    87932 |   209307      0 |      100 |        0
776.87/777.06	c  774s |      15 |   302361 |    88432 |   209307      0 |      100 |        0
779.07/779.29	c  776s |      15 |   303077 |    88732 |   209307      0 |      100 |        0
781.67/781.86	c  779s |      15 |   304149 |    89132 |   209307      0 |      100 |        0
783.77/783.99	c  781s |      15 |   305493 |    89532 |   209307      0 |      100 |        0
786.38/786.52	c  783s |      15 |   306468 |    89932 |   209307      0 |      100 |        0
788.68/788.85	c  786s |      15 |   307423 |    90232 |   209307      0 |      100 |        0
791.17/791.39	c  788s |      15 |   308686 |    90532 |   209307      0 |      100 |        0
793.27/793.43	c  790s |      15 |   309387 |    90832 |   209307      0 |      100 |        0
795.37/795.54	c  792s |      15 |   310178 |    91132 |   209307      0 |      100 |        0
797.67/797.83	c  795s |      15 |   310793 |    91432 |   209307      0 |      100 |        0
799.87/800.05	c  797s |      15 |   311537 |    91732 |   209307      0 |      100 |        0
802.07/802.28	c  799s |      15 |   312009 |    92032 |   209307      0 |      100 |        0
804.97/805.18	c  802s |      15 |   313820 |    92432 |   209307      0 |      100 |        0
807.17/807.30	c  804s |      15 |   315075 |    92832 |   209307      0 |      100 |        0
809.27/809.49	c  806s |      15 |   315983 |    93232 |   209307      0 |      100 |        0
811.96/812.19	c  809s |      15 |   317527 |    93632 |   209307      0 |      100 |        0
814.36/814.50	c  811s |      15 |   318883 |    94032 |   209307      0 |      100 |        0
817.06/817.28	c  814s |      15 |   320214 |    94432 |   209307      0 |      100 |        0
819.16/819.40	c  816s |      15 |   321258 |    94632 |   209307      0 |      100 |        0
821.46/821.63	c  819s |      15 |   322528 |    95032 |   209307      0 |      100 |        0
823.56/823.78	c  821s |      15 |   323357 |    95332 |   209307      0 |      100 |        0
825.86/826.07	c  823s |      15 |   324033 |    95632 |   209307      0 |      100 |        0
828.56/828.70	c  826s |      15 |   325022 |    96032 |   209307      0 |      100 |        0
830.96/831.17	c  828s |      15 |   325968 |    96432 |   209307      0 |      100 |        0
833.16/833.33	c  830s |      15 |   326491 |    96732 |   209307      0 |      100 |        0
835.76/835.93	c  833s |      15 |   327386 |    97132 |   209307      0 |      100 |        0
838.56/838.70	c  836s |      15 |   328273 |    97532 |   209307      0 |      100 |        0
840.96/841.15	c  838s |      15 |   328788 |    97832 |   209307      0 |      100 |        0
842.95/843.19	c  840s |      15 |   330132 |    98232 |   209307      0 |      100 |        0
845.45/845.69	c  843s |      15 |   331048 |    98632 |   209307      0 |      100 |        0
847.96/848.17	c  845s |      15 |   332274 |    99132 |   209307      0 |      100 |        0
850.05/850.28	c  847s |      15 |   333206 |    99532 |   209307      0 |      100 |        0
852.55/852.78	c  850s |      15 |   334298 |    99932 |   209307      0 |      100 |        0
854.85/855.09	c  852s |      15 |   335368 |   100332 |   209307      0 |      100 |        0
857.15/857.30	c  854s |      15 |   336135 |   100732 |   209307      0 |      100 |        0
859.15/859.37	c  856s |      15 |   336840 |   101132 |   209307      0 |      100 |        0
861.16/861.37	c  858s |      15 |   337638 |   101432 |   209307      0 |      100 |        0
863.85/864.03	c  861s |      15 |   338562 |   101832 |   209307      0 |      100 |        0
866.15/866.30	c  863s |      15 |   339593 |   102232 |   209307      0 |      100 |        0
868.25/868.42	c  865s |      15 |   340250 |   102532 |   209307      0 |      100 |        0
870.75/870.96	c  868s |      15 |   340961 |   102932 |   209307      0 |      100 |        0
872.85/873.01	c  870s |      15 |   341633 |   103232 |   209307      0 |      100 |        0
874.95/875.19	c  872s |      15 |   342289 |   103532 |   209307      0 |      100 |        0
877.05/877.27	c  874s |      15 |   342905 |   103832 |   209307      0 |      100 |        0
879.25/879.42	c  876s |      15 |   343426 |   104132 |   209307      0 |      100 |        0
881.65/881.81	c  879s |      15 |   343898 |   104432 |   209307      0 |      100 |        0
883.75/883.98	c  881s |      15 |   344432 |   104732 |   209307      0 |      100 |        0
886.15/886.39	c  883s |      15 |   344879 |   105032 |   209307      0 |      100 |        0
888.25/888.46	c  885s |      15 |   345547 |   105332 |   209307      0 |      100 |        0
890.35/890.53	c  887s |      15 |   346039 |   105632 |   209307      0 |      100 |        0
892.85/893.04	c  890s |      15 |   346855 |   106032 |   209307      0 |      100 |        0
895.25/895.46	c  892s |      15 |   347868 |   106532 |   209307      0 |      100 |        0
897.35/897.56	c  894s |      15 |   348537 |   106932 |   209307      0 |      100 |        0
899.85/900.00	c  897s |      15 |   349339 |   107332 |   209307      0 |      100 |        0
902.45/902.66	c  900s |      15 |   350047 |   107732 |   209307      0 |      100 |        0
904.45/904.68	c  902s |      15 |   350537 |   108032 |   209307      0 |      100 |        0
906.65/906.85	c  904s |      15 |   351148 |   108332 |   209307      0 |      100 |        0
908.85/909.08	c  906s |      15 |   351623 |   108632 |   209307      0 |      100 |        0
911.45/911.66	c  909s |      15 |   352306 |   109032 |   209307      0 |      100 |        0
914.06/914.26	c  911s |      15 |   352929 |   109432 |   209307      0 |      100 |        0
916.26/916.47	c  913s |      15 |   353402 |   109732 |   209307      0 |      100 |        0
918.55/918.74	c  916s |      15 |   353841 |   110032 |   209307      0 |      100 |        0
921.05/921.23	c  918s |      15 |   354322 |   110332 |   209307      0 |      100 |        0
923.35/923.59	c  920s |      15 |   354832 |   110632 |   209307      0 |      100 |        0
925.75/925.92	c  923s |      15 |   355336 |   110932 |   209307      0 |      100 |        0
927.95/928.12	c  925s |      15 |   355807 |   111232 |   209307      0 |      100 |        0
930.46/930.70	c  928s |      15 |   356190 |   111532 |   209307      0 |      100 |        0
932.95/933.16	c  930s |      15 |   356810 |   111932 |   209307      0 |      100 |        0
935.55/935.73	c  933s |      15 |   357416 |   112332 |   209307      0 |      100 |        0
937.95/938.12	c  935s |      15 |   357958 |   112632 |   209307      0 |      100 |        0
940.35/940.53	c  937s |      15 |   358368 |   112932 |   209307      0 |      100 |        0
942.85/943.06	c  940s |      15 |   358863 |   113232 |   209307      0 |      100 |        0
945.35/945.54	c  942s |      15 |   359349 |   113532 |   209307      0 |      100 |        0
947.65/947.88	c  945s |      15 |   359770 |   113832 |   209307      0 |      100 |        0
949.75/949.91	c  947s |      15 |   360324 |   114132 |   209307      0 |      100 |        0
952.05/952.29	c  949s |      15 |   360773 |   114432 |   209307      0 |      100 |        0
954.44/954.63	c  952s |      15 |   361332 |   114732 |   209307      0 |      100 |        0
956.85/957.03	c  954s |      15 |   361834 |   115032 |   209307      0 |      100 |        0
959.05/959.27	c  956s |      15 |   362336 |   115332 |   209307      0 |      100 |        0
961.64/961.87	c  959s |      15 |   363074 |   115732 |   209307      0 |      100 |        0
963.74/963.91	c  961s |      15 |   363603 |   116032 |   209307      0 |      100 |        0
965.84/966.02	c  963s |      15 |   364123 |   116332 |   209307      0 |      100 |        0
968.04/968.27	c  965s |      15 |   364715 |   116632 |   209307      0 |      100 |        0
970.44/970.66	c  968s |      15 |   365206 |   116932 |   209307      0 |      100 |        0
973.14/973.38	c  970s |      15 |   365861 |   117332 |   209307      0 |      100 |        0
975.44/975.65	c  973s |      15 |   366324 |   117632 |   209307      0 |      100 |        0
977.75/977.94	c  975s |      15 |   366799 |   117932 |   209307      0 |      100 |        0
979.95/980.12	c  977s |      15 |   367262 |   118232 |   209307      0 |      100 |        0
982.44/982.60	c  979s |      15 |   367806 |   118632 |   209307      0 |      100 |        0
984.54/984.76	c  982s |      15 |   368890 |   119032 |   209307      0 |      100 |        0
987.14/987.38	c  984s |      15 |   369638 |   119432 |   209307      0 |      100 |        0
989.24/989.48	c  986s |      15 |   370571 |   119832 |   209307      0 |      100 |        0
991.94/992.17	c  989s |      15 |   371384 |   120232 |   209307      0 |      100 |        0
994.24/994.40	c  991s |      15 |   372098 |   120632 |   209307      0 |      100 |        0
996.84/997.00	c  994s |      15 |   372966 |   121032 |   209307      0 |      100 |        0
999.04/999.27	c  996s |      15 |   373785 |   121432 |   209307      0 |      100 |        0
1001.54/1001.76	c  999s |      15 |   374537 |   121832 |   209307      0 |      100 |        0
1003.94/1004.18	c 1001s |      15 |   375327 |   122232 |   209307      0 |      100 |        0
1006.63/1006.87	c 1004s |      15 |   376367 |   122632 |   209307      0 |      100 |        0
1009.03/1009.24	c 1006s |      15 |   377330 |   123032 |   209307      0 |      100 |        0
1011.03/1011.28	c 1008s |      15 |   377840 |   123332 |   209307      0 |      100 |        0
1013.23/1013.49	c 1010s |      15 |   378471 |   123632 |   209307      0 |      100 |        0
1015.83/1016.07	c 1013s |      15 |   379310 |   124032 |   209307      0 |      100 |        0
1018.03/1018.20	c 1015s |      15 |   379815 |   124332 |   209307      0 |      100 |        0
1020.13/1020.39	c 1017s |      15 |   380405 |   124632 |   209307      0 |      100 |        0
1022.63/1022.84	c 1020s |      15 |   380875 |   124932 |   209307      0 |      100 |        0
1025.23/1025.48	c 1022s |      15 |   381601 |   125332 |   209307      0 |      100 |        0
1027.73/1027.90	c 1025s |      15 |   382119 |   125632 |   209307      0 |      100 |        0
1030.43/1030.66	c 1028s |      15 |   382729 |   125932 |   209307      0 |      100 |        0
1032.53/1032.71	c 1030s |      15 |   383302 |   126232 |   209307      0 |      100 |        0
1035.04/1035.23	c 1032s |      15 |   383985 |   126632 |   209307      0 |      100 |        0
1037.14/1037.32	c 1034s |      15 |   384453 |   126932 |   209307      0 |      100 |        0
1039.53/1039.73	c 1037s |      15 |   385379 |   127332 |   209307      0 |      100 |        0
1041.83/1042.03	c 1039s |      15 |   386144 |   127732 |   209307      0 |      100 |        0
1044.23/1044.48	c 1041s |      15 |   387339 |   128232 |   209307      0 |      100 |        0
1046.53/1046.73	c 1044s |      15 |   388122 |   128632 |   209307      0 |      100 |        0
1048.73/1048.90	c 1046s |      15 |   388877 |   129032 |   209307      0 |      100 |        0
1051.13/1051.31	c 1048s |      15 |   389790 |   129432 |   209307      0 |      100 |        0
1053.43/1053.66	c 1051s |      15 |   390225 |   129732 |   209307      0 |      100 |        0
1056.03/1056.27	c 1053s |      15 |   391006 |   130132 |   209307      0 |      100 |        0
1058.33/1058.51	c 1055s |      15 |   391814 |   130532 |   209307      0 |      100 |        0
1060.83/1061.08	c 1058s |      15 |   392506 |   130932 |   230238      0 |      100 |        0
1063.43/1063.61	c 1061s |      15 |   393072 |   131232 |   230238      0 |      100 |        0
1065.83/1066.02	c 1063s |      15 |   393793 |   131532 |   230238      0 |      100 |        0
1065.93/1066.18	c 1063s |      16 |   393830 |   131552 |   230238      0 |      100 |        0
1068.32/1068.50	c 1065s |      16 |   394361 |   131852 |   230238      0 |      100 |        0
1070.52/1070.73	c 1068s |      16 |   394932 |   132252 |   230238      0 |      100 |        0
1073.02/1073.25	c 1070s |      16 |   395630 |   132652 |   230238      0 |      100 |        0
1075.32/1075.52	c 1072s |      16 |   396079 |   132952 |   230238      0 |      100 |        0
1077.32/1077.53	c 1074s |      16 |   396663 |   133252 |   230238      0 |      100 |        0
1080.13/1080.33	c 1077s |      16 |   397456 |   133652 |   230238      0 |      100 |        0
1082.52/1082.77	c 1080s |      16 |   397979 |   133952 |   230238      0 |      100 |        0
1084.72/1084.99	c 1082s |      16 |   398456 |   134252 |   230238      0 |      100 |        0
1087.02/1087.27	c 1084s |      16 |   398898 |   134552 |   230238      0 |      100 |        0
1089.22/1089.45	c 1086s |      16 |   399399 |   134852 |   230238      0 |      100 |        0
1091.92/1092.15	c 1089s |      16 |   399978 |   135252 |   230238      0 |      100 |        0
1094.12/1094.31	c 1091s |      16 |   400538 |   135552 |   230238      0 |      100 |        0
1096.22/1096.44	c 1093s |      16 |   400937 |   135852 |   230238      0 |      100 |        0
1098.52/1098.79	c 1096s |      16 |   401375 |   136152 |   230238      0 |      100 |        0
1100.62/1100.81	c 1098s |      16 |   401914 |   136452 |   230238      0 |      100 |        0
1103.02/1103.21	c 1100s |      16 |   402353 |   136752 |   230238      0 |      100 |        0
1105.43/1105.68	c 1103s |      16 |   402785 |   137052 |   230238      0 |      100 |        0
1107.92/1108.11	c 1105s |      16 |   403208 |   137352 |   230238      0 |      100 |        0
1110.22/1110.43	c 1107s |      16 |   403812 |   137752 |   230238      0 |      100 |        0
1112.62/1112.85	c 1110s |      16 |   404417 |   138052 |   230238      0 |      100 |        0
1115.42/1115.68	c 1113s |      16 |   404930 |   138352 |   230238      0 |      100 |        0
1117.92/1118.15	c 1115s |      16 |   405401 |   138652 |   230238      0 |      100 |        0
1120.52/1120.79	c 1118s |      16 |   406006 |   138952 |   230238      0 |      100 |        0
1122.82/1123.04	c 1120s |      16 |   406462 |   139252 |   230238      0 |      100 |        0
1125.22/1125.45	c 1122s |      16 |   406927 |   139552 |   230238      0 |      100 |        0
1127.51/1127.74	c 1125s |      16 |   407375 |   139852 |   230238      0 |      100 |        0
1129.62/1129.86	c 1127s |      16 |   407767 |   140152 |   230238      0 |      100 |        0
1132.21/1132.43	c 1129s |      16 |   408227 |   140452 |   230238      0 |      100 |        0
1134.81/1135.09	c 1132s |      16 |   408692 |   140752 |   230238      0 |      100 |        0
1136.91/1137.19	c 1134s |      16 |   409195 |   141052 |   230238      0 |      100 |        0
1139.21/1139.47	c 1136s |      16 |   409697 |   141352 |   230238      0 |      100 |        0
1141.51/1141.73	c 1139s |      16 |   410177 |   141652 |   230238      0 |      100 |        0
1143.82/1144.05	c 1141s |      16 |   410630 |   141952 |   230238      0 |      100 |        0
1146.21/1146.43	c 1143s |      16 |   411218 |   142252 |   230238      0 |      100 |        0
1148.61/1148.85	c 1146s |      16 |   411759 |   142552 |   230238      0 |      100 |        0
1151.11/1151.35	c 1148s |      16 |   412221 |   142852 |   230238      0 |      100 |        0
1153.51/1153.77	c 1151s |      16 |   412592 |   143152 |   230238      0 |      100 |        0
1156.21/1156.40	c 1153s |      16 |   413727 |   143452 |   230238      0 |      100 |        0
1158.51/1158.72	c 1156s |      16 |   414235 |   143752 |   230238      0 |      100 |        0
1161.01/1161.25	c 1158s |      16 |   414732 |   144052 |   230238      0 |      100 |        0
1163.31/1163.57	c 1160s |      16 |   415189 |   144352 |   230238      0 |      100 |        0
1165.81/1166.05	c 1163s |      16 |   415713 |   144652 |   230238      0 |      100 |        0
1168.31/1168.57	c 1165s |      16 |   416254 |   144952 |   230238      0 |      100 |        0
1170.61/1170.85	c 1168s |      16 |   416841 |   145252 |   230238      0 |      100 |        0
1172.61/1172.86	c 1170s |      16 |   417290 |   145552 |   230238      0 |      100 |        0
1175.11/1175.39	c 1172s |      16 |   417820 |   145852 |   230238      0 |      100 |        0
1177.21/1177.42	c 1174s |      16 |   418289 |   146152 |   230238      0 |      100 |        0
1179.60/1179.89	c 1177s |      16 |   418720 |   146452 |   230238      0 |      100 |        0
1182.50/1182.71	c 1180s |      16 |   419267 |   146752 |   230238      0 |      100 |        0
1184.80/1185.01	c 1182s |      16 |   420090 |   147052 |   230238      0 |      100 |        0
1187.60/1187.82	c 1185s |      16 |   420960 |   147352 |   230238      0 |      100 |        0
1189.60/1189.84	c 1187s |      16 |   421471 |   147552 |   230238      0 |      100 |        0
1191.90/1192.19	c 1189s |      16 |   421870 |   147752 |   230238      0 |      100 |        0
1194.10/1194.30	c 1191s |      16 |   422318 |   147952 |   230238      0 |      100 |        0
1196.71/1196.95	c 1194s |      16 |   422768 |   148252 |   230238      0 |      100 |        0
1198.70/1198.96	c 1196s |      16 |   423185 |   148452 |   230238      0 |      100 |        0
1200.80/1201.00	c 1198s |      16 |   423666 |   148652 |   230238      0 |      100 |        0
1202.90/1203.14	c 1200s |      16 |   424046 |   148852 |   230238      0 |      100 |        0
1205.00/1205.27	c 1202s |      16 |   424443 |   149052 |   230238      0 |      100 |        0
1207.30/1207.54	c 1204s |      16 |   425234 |   149252 |   230238      0 |      100 |        0
1209.31/1209.55	c 1206s |      16 |   425802 |   149452 |   230238      0 |      100 |        0
1212.31/1212.55	c 1209s |      16 |   426321 |   149752 |   230238      0 |      100 |        0
1214.51/1214.73	c 1212s |      16 |   426746 |   149952 |   230238      0 |      100 |        0
1217.01/1217.21	c 1214s |      16 |   427207 |   150252 |   230238      0 |      100 |        0
1219.61/1219.83	c 1217s |      16 |   427730 |   150552 |   230238      0 |      100 |        0
1221.61/1221.84	c 1219s |      16 |   428152 |   150752 |   230238      0 |      100 |        0
1223.61/1223.89	c 1221s |      16 |   428533 |   150952 |   230238      0 |      100 |        0
1225.90/1226.16	c 1223s |      16 |   428904 |   151152 |   230238      0 |      100 |        0
1228.80/1229.04	c 1226s |      16 |   429450 |   151452 |   230238      0 |      100 |        0
1231.70/1231.93	c 1229s |      16 |   430036 |   151752 |   230238      0 |      100 |        0
1234.11/1234.32	c 1231s |      16 |   430608 |   152052 |   230238      0 |      100 |        0
1236.80/1237.09	c 1234s |      16 |   431056 |   152352 |   230238      0 |      100 |        0
1238.90/1239.14	c 1236s |      16 |   431427 |   152552 |   230238      0 |      100 |        0
1241.50/1241.79	c 1239s |      16 |   431832 |   152852 |   230238      0 |      100 |        0
1243.91/1244.15	c 1241s |      16 |   432243 |   153152 |   230238      0 |      100 |        0
1246.80/1247.03	c 1244s |      16 |   432795 |   153452 |   230238      0 |      100 |        0
1249.30/1249.51	c 1246s |      16 |   433257 |   153752 |   230238      0 |      100 |        0
1252.30/1252.57	c 1249s |      16 |   434165 |   154052 |   230238      0 |      100 |        0
1254.60/1254.82	c 1252s |      16 |   434959 |   154452 |   230238      0 |      100 |        0
1256.80/1257.06	c 1254s |      16 |   436082 |   154952 |   230238      0 |      100 |        0
1259.31/1259.53	c 1256s |      16 |   437277 |   155552 |   230238      0 |      100 |        0
1261.70/1261.95	c 1259s |      16 |   438399 |   156152 |   230238      0 |      100 |        0
1263.90/1264.20	c 1261s |      16 |   439424 |   156652 |   230238      0 |      100 |        0
1266.20/1266.41	c 1263s |      16 |   440410 |   157152 |   230238      0 |      100 |        0
1268.20/1268.43	c 1265s |      16 |   441354 |   157652 |   230238      0 |      100 |        0
1270.50/1270.73	c 1268s |      16 |   442677 |   158352 |   230238      0 |      100 |        0
1272.60/1272.89	c 1270s |      16 |   443748 |   158752 |   230238      0 |      100 |        0
1274.70/1274.92	c 1272s |      16 |   444249 |   159052 |   230238      0 |      100 |        0
1276.70/1276.94	c 1274s |      16 |   445093 |   159452 |   230238      0 |      100 |        0
1278.80/1279.01	c 1276s |      16 |   445819 |   159852 |   230238      0 |      100 |        0
1281.20/1281.46	c 1278s |      16 |   446538 |   160252 |   230238      0 |      100 |        0
1283.60/1283.85	c 1281s |      16 |   447244 |   160652 |   230238      0 |      100 |        0
1284.60/1284.87	c 1282s |      16 |   447771 |   160768 |   230238      0 |      100 |        0
1284.60/1284.87	c #cpu_time = 1282.181s
1284.60/1284.87	c #wall_clock_time = 1282.211s
1284.60/1284.87	c #decision = 447771
1284.60/1284.87	c #random_decision = 401
1284.60/1284.87	c #conflict = 160768
1284.60/1284.87	c #restart = 16
1284.60/1284.87	o 441926959
1284.70/1284.95	c BCD2: updating upper bound: 11291176587 -> 441926983
1284.79/1285.03	c BCD2: 0 <= obj <= 441926983
1284.79/1285.03	c BCD2: #cores=0, #unrelaxed=17425, #relaxed=0, #hardened=0
1284.79/1285.03	c BCD2: #sat=1 #unsat=1 bias=1/2
1284.79/1285.05	c Solving starts ...
1284.79/1285.05	c ============================[ Search Statistics ]============================
1284.79/1285.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1284.79/1285.05	c       |         |          |          |    Limit     GC | Var      | Constra 
1284.79/1285.05	c =============================================================================
1284.79/1285.05	c  0.0s |       0 |        0 |        0 |   230238      0 |      100 |        0
1285.59/1285.90	c  0.8s |       0 |      274 |        0 |   230238      0 |      100 |        0
1285.59/1285.90	c #cpu_time = 0.830s
1285.59/1285.90	c #wall_clock_time = 0.830s
1285.59/1285.90	c #decision = 274
1285.59/1285.90	c #random_decision = 0
1285.59/1285.90	c #conflict = 0
1285.59/1285.90	c #restart = 0
1285.59/1285.90	c BCD2: found a new core of size 275: cost of the new core is >=1000
1285.59/1285.90	c lower bound updated to 975
1285.70/1285.94	c BCD2: 1000 <= obj <= 441926983
1285.70/1285.94	c BCD2: #cores=1, #unrelaxed=17150, #relaxed=275, #hardened=0
1285.70/1285.94	c BCD2: #sat=1 #unsat=2 bias=2/3
1286.49/1286.77	c Solving starts ...
1286.49/1286.77	c ============================[ Search Statistics ]============================
1286.49/1286.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1286.49/1286.77	c       |         |          |          |    Limit     GC | Var      | Constra 
1286.49/1286.77	c =============================================================================
1286.49/1286.77	c  0.0s |       0 |        0 |        0 |   230238      0 |      100 |        0
1287.29/1287.59	c  0.8s |       0 |      276 |        1 |   230238      0 |      100 |        0
1287.29/1287.59	c #cpu_time = 0.802s
1287.29/1287.59	c #wall_clock_time = 0.802s
1287.29/1287.59	c #decision = 276
1287.29/1287.59	c #random_decision = 0
1287.29/1287.59	c #conflict = 1
1287.29/1287.59	c #restart = 0
1287.29/1287.59	c BCD2: found a new core of size 275: cost of the new core is >=1000
1287.29/1287.59	c lower bound updated to 1975
1287.39/1287.64	c BCD2: 2000 <= obj <= 441926983
1287.39/1287.64	c BCD2: #cores=2, #unrelaxed=16875, #relaxed=550, #hardened=0
1287.39/1287.64	c BCD2: #sat=1 #unsat=3 bias=3/4
1288.09/1288.32	c Solving starts ...
1288.09/1288.32	c ============================[ Search Statistics ]============================
1288.09/1288.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1288.09/1288.32	c       |         |          |          |    Limit     GC | Var      | Constra 
1288.09/1288.32	c =============================================================================
1288.09/1288.32	c  0.0s |       0 |        0 |        0 |   230238      0 |      100 |        0
1289.00/1289.22	c  0.9s |       0 |      350 |        0 |   230238      0 |      100 |        0
1289.00/1289.22	c #cpu_time = 0.868s
1289.00/1289.22	c #wall_clock_time = 0.868s
1289.00/1289.22	c #decision = 350
1289.00/1289.22	c #random_decision = 0
1289.00/1289.22	c #conflict = 0
1289.00/1289.22	c #restart = 0
1289.00/1289.22	c BCD2: found a new core of size 322: cost of the new core is >=100
1289.00/1289.22	c lower bound updated to 2075
1289.00/1289.28	c BCD2: 2100 <= obj <= 441926983
1289.00/1289.28	c BCD2: #cores=3, #unrelaxed=16553, #relaxed=872, #hardened=0
1289.00/1289.28	c BCD2: #sat=1 #unsat=4 bias=4/5

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079381-1465323431/watcher-4079381-1465323431 -o /tmp/evaluation-result-4079381-1465323431/solver-4079381-1465323431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079381-1465323431.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 14052
/proc/meminfo: memFree=29062720/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 2615 0 0 0 0 0 0 0 20 0 4 0 114277825 718729216 2975 33554432000 4194304 16246674 140735710685552 140735710684976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 175983 2983 441 2943 0 172877 0
[pid=14052/tid=14053] ppid=14049 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 738652160 3051 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 743895040 3067 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114277825 748089344 3085 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100155 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 14052
/proc/meminfo: memFree=29062720/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 31097 0 0 0 5 4 0 0 20 0 4 0 114277825 1334382592 31395 33554432000 4194304 16246674 140735710685552 140735710684864 7369730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 325777 31413 802 2943 0 322671 0
[pid=14052/tid=14053] ppid=14049 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1334382592 31423 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1334382592 31435 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1334382592 31446 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200557 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 14052
/proc/meminfo: memFree=29062720/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 44175 0 0 0 13 6 0 0 20 0 4 0 114277825 1344868352 44984 33554432000 4194304 16246674 140735710685552 140735710684864 8058688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 328337 44984 803 2943 0 325231 0
[pid=14052/tid=14053] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 44984 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 44984 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 44984 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300524 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 14052
/proc/meminfo: memFree=29062720/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 58805 0 0 0 21 8 0 0 20 0 4 0 114277825 1344868352 59614 33554432000 4194304 16246674 140735710685552 140735710684864 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 328337 59614 803 2943 0 325231 0
[pid=14052/tid=14053] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 59614 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 59614 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 59614 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70044 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 14052
/proc/meminfo: memFree=29062720/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 63712 0 0 0 60 9 0 0 20 0 4 0 114277825 1344868352 64521 33554432000 4194304 16246674 140735710685552 140735710668544 7364320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 328337 64521 804 2943 0 325231 0
[pid=14052/tid=14053] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 64521 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 64521 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1344868352 64521 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14056
/proc/meminfo: memFree=28664420/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 173089 0 0 0 121 28 0 0 20 0 4 0 114277825 1350111232 173899 33554432000 4194304 16246674 140735710685552 140735710667456 6756338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 329617 173913 842 2943 0 326511 0
[pid=14052/tid=14053] ppid=14049 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1350111232 173921 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1350111232 173929 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1350111232 173938 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10043 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14056
/proc/meminfo: memFree=27979180/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=3.09 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272598 0 0 0 266 43 0 0 20 0 4 0 114277825 1359548416 273407 33554432000 4194304 16246674 140735710685552 140735710667456 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273407 891 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273407 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273407 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273407 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1327684

[startup+6.30042 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14056
/proc/meminfo: memFree=27970012/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=6.29 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 585 44 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 6836961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1327684

[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14056
/proc/meminfo: memFree=27970312/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=12.68 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 1224 44 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 5829789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1327684

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14056
/proc/meminfo: memFree=27970460/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=25.48 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 2504 44 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 6836965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1327684

[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 14056
/proc/meminfo: memFree=27970688/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 5064 44 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1327684

[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14058
/proc/meminfo: memFree=27970080/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=102.28 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 10184 44 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 5600072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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


[startup+1062.3 s]
/proc/loadavg: 2.20 2.10 2.02 3/183 14083
/proc/meminfo: memFree=27969048/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=1062.13 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 106165 48 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1327684

[startup+1122.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/183 14084
/proc/meminfo: memFree=27959380/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=1122.12 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 112164 48 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 13820935 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1327684

[startup+1182.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/183 14085
/proc/meminfo: memFree=27959428/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=1182.1 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 118162 48 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1327684

[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 14086
/proc/meminfo: memFree=27959060/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=1327684 CPUtime=1242.1 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 272603 0 0 0 124161 49 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 140735710667456 12875584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 331921 273412 895 2943 0 328815 0
[pid=14052/tid=14053] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795411999984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 1359548416 273412 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 14088
/proc/meminfo: memFree=26625356/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=2925124 CPUtime=1302.09 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 671798 0 0 0 130105 104 0 0 20 0 4 0 114277825 2995326976 672607 33554432000 4194304 16246674 140735710685552 140735710683392 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 731281 672612 920 2943 0 728175 0
[pid=14052/tid=14053] ppid=14049 vsize=2925124 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 2995326976 672616 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=2925124 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 2995326976 672619 33554432000 4194304 16246674 140735710685552 139795411999760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=2925124 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 2995326976 672622 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2925124

[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 14089
/proc/meminfo: memFree=18586464/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=10681924 CPUtime=1362.08 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 2611192 0 0 0 135835 373 0 0 20 0 4 0 114277825 10938290176 2612001 33554432000 4194304 16246674 140735710685552 140735710683392 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 2670481 2612001 920 2943 0 2667375 0
[pid=14052/tid=14053] ppid=14049 vsize=10681924 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 10938290176 2612001 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=10681924 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 10938290176 2612001 33554432000 4194304 16246674 140735710685552 139795411999760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=10681924 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 10938290176 2612001 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 10681924

[startup+1422.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/184 14142
/proc/meminfo: memFree=16784388/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=13292100 CPUtime=1422.08 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 3263740 0 0 0 141702 506 0 0 20 0 4 0 114277825 13611110400 3264549 33554432000 4194304 16246674 140735710685552 140735710683456 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 3323025 3264549 924 2943 0 3319919 0
[pid=14052/tid=14053] ppid=14049 vsize=13292100 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 13611110400 3264549 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=13292100 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 13611110400 3264549 33554432000 4194304 16246674 140735710685552 139795411999760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=13292100 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 13611110400 3264549 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 13292100



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1430.11 s]
/proc/loadavg: 2.05 2.05 2.00 3/184 14142
/proc/meminfo: memFree=14240452/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=15882820 CPUtime=1429.87 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) R 14049 14052 11961 0 -1 4202496 3911279 0 0 0 142395 592 0 0 20 0 4 0 114277825 16264007680 3912088 33554432000 4194304 16246674 140735710685552 140735710684216 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 3970705 3912097 924 2943 0 3967599 0
[pid=14052/tid=14053] ppid=14049 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14053/stat : 14053 (toysat) S 14049 14052 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114277825 16264007680 3912101 33554432000 4194304 16246674 140735710685552 139795422489840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) S 14049 14052 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114277825 16264007680 3912105 33554432000 4194304 16246674 140735710685552 139795411999760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14052/tid=14055] ppid=14049 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/14052/task/14055/stat : 14055 (toysat) S 14049 14052 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114277825 16264007680 3912108 33554432000 4194304 16246674 140735710685552 139795401526448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1429.87
Current children cumulated vsize (KiB) 15882820

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

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

[startup+1430.4 s]
/proc/loadavg: 2.05 2.05 2.00 3/184 14142
/proc/meminfo: memFree=14240452/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=0 CPUtime=1430.17 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) Z 14049 14052 11961 0 -1 4203532 3911946 0 0 0 142396 621 0 0 20 0 2 0 114277825 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 0 0 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=0 CPUtime=0.27 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) R 14049 14052 11961 0 -1 4203588 8 0 0 0 0 27 0 0 20 0 2 0 114277825 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1430.17
Current children cumulated vsize (KiB) 0

[startup+1430.8 s]
/proc/loadavg: 2.05 2.05 2.00 3/184 14142
/proc/meminfo: memFree=14240452/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=0 CPUtime=1430.57 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) Z 14049 14052 11961 0 -1 4203532 3911946 0 0 0 142396 661 0 0 20 0 2 0 114277825 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 0 0 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) R 14049 14052 11961 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 114277825 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1430.57
Current children cumulated vsize (KiB) 0

[startup+1430.9 s]
/proc/loadavg: 2.05 2.05 2.00 3/184 14142
/proc/meminfo: memFree=14240452/32872528 swapFree=12744/274376
[pid=14052] ppid=14049 vsize=0 CPUtime=1430.67 cores=1,3,5,7
/proc/14052/stat : 14052 (toysat) Z 14049 14052 11961 0 -1 4203532 3911946 0 0 0 142396 671 0 0 20 0 2 0 114277825 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14052/statm: 0 0 0 0 0 0 0
[pid=14052/tid=14054] ppid=14049 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/14052/task/14054/stat : 14054 (toysat) R 14049 14052 11961 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 114277825 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1430.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1430.96
CPU time (s): 1430.73
CPU user time (s): 1423.96
CPU system time (s): 6.76597
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 15882820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1423.96
system time used= 6.76597
maximum resident set size= 15651020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911946
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= 64
involuntary context switches= 1521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.45347 second user time and 5.69613 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 20:17:11
IDJOB=4079381
IDBENCH=92669
IDSOLVER=2542
FILE ID=node107/4079381-1465323431
RUNJOBID= node107-1465310409-12875
PBS_JOBID= 19848089
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_8_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079381-1465323431/watcher-4079381-1465323431 -o /tmp/evaluation-result-4079381-1465323431/solver-4079381-1465323431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079381-1465323431.opb

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

MD5SUM BENCH= b8fc0aeb472c4f306b96a25f55baf334
RANDOM SEED=1839709711

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        29063140 kB
Buffers:          101156 kB
Cached:           346060 kB
SwapCached:         1648 kB
Active:          2496824 kB
Inactive:         295892 kB
Active(anon):    2345024 kB
Inactive(anon):     2796 kB
Active(file):     151800 kB
Inactive(file):   293096 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             20576 kB
Writeback:             0 kB
AnonPages:       2619392 kB
Mapped:            10704 kB
Shmem:                 0 kB
Slab:             604184 kB
SReclaimable:      47660 kB
SUnreclaim:       556524 kB
KernelStack:        1480 kB
PageTables:         9396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2763684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    348160 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= 71676 MiB
End job on node107 at 2016-06-07 20:41:02