Trace number 4080033

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.51

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb
MD5SUM9437b3e9d1ce9c682b2f5f71866292ee
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2832
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 486
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 26273
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 26273
Number of bits of the biggest sum of numbers15
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-07T10:35:58+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-4080033-1465288558.opb"]
0.00/0.01	c use --random-gen="87015242 1909399381 4132468450 1278241236 2126351421 122165402 3968181599 500377856 3501695159 2218389470 826709564 2499884134 2228819924 2548207061 1746337439 2454111311 2047629703 1305266822 586737388 2955767006 1427884477 1822089144 1315785349 2151496399 1495992535 2288625829 1945289536 1557539654 275617536 943969356 4193430274 4156548117 2220940241 801974734 1574823967 1766163824 4015052604 1546004566 1198186224 1098508527 3154021109 625414264 872183434 199254517 4291691233 1752721489 534847324 620693551 3712154744 3630267142 1223749801 1219220978 975706712 2407050071 1104180573 3039126643 838674423 2558500586 530853891 2637402213 783531569 59434988 1085649506 2594462650 2662323079 953633986 3505388561 1633958959 4107691292 2401541241 715150346 1871565352 219313028 1911470449 2556497510 2746039761 195489071 3831074074 1514830423 364599556 670605500 578472400 2282141012 4014045779 1092811587 1289544264 1007406441 1791862563 3829622212 3728463253 374537396 458599785 2383424018 3218404630 1860883041 2277153746 684082905 1000914699 2045000807 2438785 1916372869 3238110201 2016875270 1000118127 2087501677 795782510 598322279 1523702939 1743557850 548708050 460693370 3703388198 2100682015 2829979994 2854342443 1632933571 786532310 1698019675 1517436110 516234525 2839947114 2857161029 542226170 1377062701 1138789176 3770458032 3403379739 1845425667 939602500 3231389972 2628550505 502983318 905970214 1604112613 3899531559 2970129237 4044281986 2312534509 957319783 3639525742 1687754637 3654527248 2600027057 2836944891 3731590402 1380124619 2235554786 1449516667 3692079 724785763 3733661641 1060308255 32484849 2844255488 53978636 399453122 604648822 2001574377 205181943 3829742859 1083297638 3571657107 3692636804 2912803484 493767616 1663109765 587902957 2293046707 3295118301 3069301042 2981660361 1076418163 3665962458 3086356617 2340665687 941470838 1787678907 1549535860 1145757082 105002687 948088960 641448655 2116083381 2915121180 2394062749 1583018009 30326771 4198301775 3219920384 1310667309 907951435 1807831829 3928279901 1086920939 2086500337 2160319849 1966056704 2406841062 2542005481 2509037142 3312443885 3927467510 3850238192 1969752813 2645421984 2304282684 646802226 2098094733 2115027732 3977411546 691838606 2640945444 3677956232 3204793373 618696811 2126492365 213522315 2522264990 3925718050 1995894511 2337726537 651799301 2491494046 2055972859 1876727646 3313798442 806279176 2707009963 3095797117 1126907236 4185410529 439211125 3506775507 112543062 3894778771 2058015645 3261177107 2701950072 1098774897 1025637134 629678791 1984133544 4264946487 2099527145 3222502491 1895665039 3081803641 1545865759 1532134568 361806066 3573030834 2499345758 1956303749 1080423534 2139920641 1359915417 255 362436" option to reproduce the execution
0.28/0.44	c #vars 40937
0.28/0.44	c #constraints 41436
1.48/1.51	c BCD2: Hardening is enabled.
1.48/1.51	c BCD2: BiasedSearch is enabled.
1.48/1.51	c Solving starts ...
1.48/1.51	c ============================[ Search Statistics ]============================
1.48/1.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.48/1.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1.48/1.51	c =============================================================================
1.48/1.51	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
4.48/4.50	c  3.0s |       0 |     1123 |      100 |    27456      0 |      148 |      146
4.48/4.50	c  3.0s |       1 |     1123 |      100 |    27456      0 |      148 |      146
6.98/7.07	c  5.6s |       2 |     7903 |      250 |    30202      0 |      148 |      146
9.48/9.57	c  8.1s |       2 |    16198 |      450 |    33223      0 |      148 |      146
9.78/9.87	c  8.4s |       3 |    16997 |      475 |    33223      0 |      148 |      146
12.68/12.78	c 11.3s |       3 |    21393 |      675 |    36546      0 |      148 |      146
14.38/14.43	c 12.9s |       4 |    25399 |      813 |    36546      0 |      148 |      146
17.28/17.34	c 15.8s |       4 |    29596 |     1013 |    40201      0 |      148 |      146
20.68/20.72	c 19.2s |       4 |    35564 |     1213 |    40201      0 |      148 |      146
21.78/21.82	c 20.3s |       5 |    36500 |     1320 |    40201      0 |      148 |      146
24.68/24.76	c 23.2s |       5 |    38752 |     1520 |    44222      0 |      148 |      146
27.79/27.87	c 26.4s |       5 |    46478 |     1720 |    44222      0 |      148 |      146
30.28/30.39	c 28.9s |       5 |    50486 |     1920 |    44222      0 |      148 |      146
32.68/32.74	c 31.2s |       5 |    53559 |     2020 |    44222      0 |      148 |      146
33.48/33.50	c 32.0s |       6 |    57880 |     2081 |    48645      0 |      148 |      146
36.49/36.58	c 35.1s |       6 |    61966 |     2281 |    48645      0 |      148 |      146
39.58/39.65	c 38.1s |       6 |    64710 |     2481 |    48645      0 |      148 |      146
43.08/43.12	c 41.6s |       6 |    68400 |     2681 |    48645      0 |      148 |      146
45.88/45.96	c 44.5s |       6 |    70250 |     2881 |    48645      0 |      148 |      146
48.88/48.99	c 47.5s |       6 |    79969 |     3081 |    48645      0 |      148 |      146
51.48/51.57	c 50.1s |       7 |    85650 |     3223 |    53510      0 |      148 |      146
54.08/54.14	c 52.6s |       7 |    92098 |     3423 |    53510      0 |      148 |      146
57.08/57.13	c 55.6s |       7 |    93741 |     3623 |    53510      0 |      148 |      146
60.78/60.85	c 59.3s |       7 |    97340 |     3823 |    53510      0 |      148 |      146
63.47/63.59	c 62.1s |       7 |   101026 |     4023 |    53510      0 |      148 |      146
66.07/66.12	c 64.6s |       7 |   102399 |     4223 |    53510      0 |      148 |      146
68.38/68.41	c 66.9s |       7 |   103438 |     4423 |    53510      0 |      148 |      146
70.68/70.74	c 69.2s |       7 |   104347 |     4623 |    53510      0 |      148 |      146
72.97/73.03	c 71.5s |       7 |   106854 |     4723 |    53510      0 |      148 |      146
75.87/75.99	c 74.5s |       7 |   108841 |     4923 |    58862      0 |      148 |      146
76.08/76.19	c 74.7s |       8 |   108924 |     4936 |    58862      0 |      148 |      146
79.27/79.40	c 77.9s |       8 |   113100 |     5136 |    58862      0 |      148 |      146
82.27/82.33	c 80.8s |       8 |   118123 |     5336 |    58862      0 |      148 |      146
85.07/85.17	c 83.7s |       8 |   119720 |     5536 |    58862      0 |      148 |      146
88.47/88.52	c 87.0s |       8 |   121793 |     5736 |    58862      0 |      148 |      146
91.17/91.20	c 89.7s |       8 |   124333 |     5936 |    58862      0 |      148 |      146
94.07/94.19	c 92.7s |       8 |   127785 |     6136 |    58862      0 |      148 |      146
97.17/97.25	c 95.7s |       8 |   130037 |     6336 |    58862      0 |      148 |      146
99.67/99.75	c 98.2s |       8 |   136861 |     6536 |    58862      0 |      148 |      146
102.87/102.91	c  101s |       8 |   138838 |     6736 |    58862      0 |      148 |      146
105.17/105.29	c  103s |       8 |   139842 |     6936 |    58862      0 |      148 |      146
108.07/108.19	c  106s |       8 |   144231 |     7236 |    58862      0 |      148 |      146
110.47/110.50	c  108s |       8 |   148490 |     7436 |    58862      0 |      148 |      146
111.37/111.41	c  109s |       9 |   149385 |     7506 |    64749      0 |      148 |      146
113.88/113.96	c  112s |       9 |   152168 |     7706 |    64749      0 |      148 |      146
115.98/116.05	c  114s |       9 |   155481 |     7806 |    64749      0 |      148 |      146
119.87/119.94	c  118s |       9 |   157789 |     8006 |    64749      0 |      148 |      146
123.17/123.22	c  121s |       9 |   160206 |     8206 |    64749      0 |      148 |      146
125.97/126.08	c  124s |       9 |   163343 |     8406 |    64749      0 |      148 |      146
128.98/129.07	c  127s |       9 |   166507 |     8606 |    64749      0 |      148 |      146
132.18/132.29	c  130s |       9 |   169472 |     8806 |    64749      0 |      148 |      146
134.17/134.29	c  132s |       9 |   169676 |     8906 |    64749      0 |      148 |      146
137.47/137.57	c  136s |       9 |   173624 |     9106 |    64749      0 |      148 |      146
139.57/139.65	c  138s |       9 |   176056 |     9306 |    64749      0 |      148 |      146
143.18/143.21	c  141s |       9 |   183766 |     9506 |    64749      0 |      148 |      146
146.97/147.05	c  145s |       9 |   187026 |     9706 |    64749      0 |      148 |      146
149.67/149.73	c  148s |       9 |   188617 |     9906 |    64749      0 |      148 |      146
152.47/152.53	c  151s |       9 |   190293 |    10106 |    64749      0 |      148 |      146
155.47/155.58	c  154s |       9 |   193317 |    10306 |    64749      0 |      148 |      146
157.87/157.99	c  156s |       9 |   194665 |    10506 |    64749      0 |      148 |      146
161.27/161.31	c  159s |       9 |   195629 |    10706 |    64749      0 |      148 |      146
164.18/164.27	c  162s |       9 |   197248 |    10906 |    64749      0 |      148 |      146
166.67/166.70	c  165s |       9 |   200497 |    11006 |    64749      0 |      148 |      146
169.27/169.39	c  167s |       9 |   202386 |    11206 |    64749      0 |      148 |      146
171.77/171.85	c  170s |      10 |   204808 |    11361 |    71224      0 |      148 |      146
175.77/175.83	c  174s |      10 |   208717 |    11561 |    71224      0 |      148 |      146
179.07/179.11	c  177s |      10 |   211295 |    11761 |    71224      0 |      148 |      146
182.77/182.89	c  181s |      10 |   213638 |    11961 |    71224      0 |      148 |      146
185.07/185.14	c  183s |      10 |   214150 |    12061 |    71224      0 |      148 |      146
189.06/189.12	c  187s |      10 |   214953 |    12261 |    71224      0 |      148 |      146
192.06/192.17	c  190s |      10 |   215820 |    12461 |    71224      0 |      148 |      146
195.36/195.44	c  193s |      10 |   216734 |    12661 |    71224      0 |      148 |      146
198.56/198.63	c  197s |      10 |   217549 |    12861 |    71224      0 |      148 |      146
201.66/201.79	c  200s |      10 |   219177 |    13061 |    71224      0 |      148 |      146
205.26/205.37	c  203s |      10 |   220251 |    13261 |    71224      0 |      148 |      146
208.17/208.24	c  206s |      10 |   221046 |    13461 |    71224      0 |      148 |      146
210.56/210.69	c  209s |      10 |   222146 |    13661 |    71224      0 |      148 |      146
213.16/213.22	c  211s |      10 |   222820 |    13861 |    71224      0 |      148 |      146
215.96/216.03	c  214s |      10 |   223846 |    14061 |    71224      0 |      148 |      146
219.07/219.15	c  217s |      10 |   225261 |    14261 |    71224      0 |      148 |      146
221.56/221.68	c  220s |      10 |   226417 |    14461 |    71224      0 |      148 |      146
224.86/224.96	c  223s |      10 |   227823 |    14661 |    71224      0 |      148 |      146
228.16/228.28	c  226s |      10 |   228379 |    14861 |    71224      0 |      148 |      146
231.56/231.65	c  230s |      10 |   229341 |    15061 |    71224      0 |      148 |      146
235.06/235.17	c  233s |      10 |   230525 |    15261 |    71224      0 |      148 |      146
238.56/238.69	c  237s |      10 |   231388 |    15461 |    71224      0 |      148 |      146
242.16/242.28	c  240s |      10 |   232862 |    15661 |    71224      0 |      155 |      152
244.26/244.39	c  242s |      10 |   233221 |    15761 |    71224      0 |      155 |      152
246.46/246.59	c  245s |      10 |   234322 |    15861 |    71224      0 |      155 |      152
250.26/250.38	c  248s |      10 |   235740 |    16061 |    71224      0 |      155 |      152
254.36/254.44	c  252s |      10 |   236716 |    16261 |    71224      0 |      155 |      152
256.95/257.06	c  255s |      10 |   237208 |    16361 |    71224      0 |      155 |      152
261.25/261.37	c  259s |      10 |   238165 |    16561 |    71224      0 |      155 |      152
263.35/263.43	c  261s |      10 |   238761 |    16661 |    71224      0 |      155 |      152
265.36/265.48	c  263s |      10 |   239725 |    16861 |    71224      0 |      155 |      152
268.05/268.15	c  266s |      10 |   240349 |    17061 |    78347      0 |      155 |      152
269.55/269.64	c  268s |      11 |   240647 |    17144 |    78347      0 |      155 |      152
271.75/271.86	c  270s |      11 |   241383 |    17244 |    78347      0 |      155 |      152
275.16/275.30	c  273s |      11 |   242322 |    17444 |    78347      0 |      155 |      152
278.46/278.53	c  277s |      11 |   243463 |    17644 |    78347      0 |      155 |      152
280.55/280.67	c  279s |      11 |   243693 |    17744 |    78347      0 |      155 |      152
284.25/284.30	c  282s |      11 |   244961 |    17944 |    78347      0 |      155 |      152
288.55/288.62	c  287s |      11 |   245580 |    18144 |    78347      0 |      155 |      152
292.05/292.10	c  290s |      11 |   246100 |    18344 |    78347      0 |      155 |      152
294.15/294.20	c  292s |      11 |   246303 |    18444 |    78347      0 |      155 |      152
296.35/296.45	c  294s |      11 |   246423 |    18544 |    78347      0 |      155 |      152
298.85/298.92	c  297s |      11 |   246594 |    18644 |    78347      0 |      155 |      152
301.45/301.58	c  300s |      11 |   247099 |    18744 |    78347      0 |      155 |      152
304.75/304.80	c  303s |      11 |   249302 |    18944 |    78347      0 |      155 |      152
308.15/308.25	c  306s |      11 |   250226 |    19144 |    78347      0 |      155 |      152
312.24/312.30	c  310s |      11 |   251205 |    19344 |    78347      0 |      155 |      152
314.64/314.73	c  313s |      11 |   251425 |    19444 |    78347      0 |      155 |      152
318.74/318.85	c  317s |      11 |   251789 |    19644 |    78347      0 |      155 |      152
321.24/321.39	c  319s |      11 |   252278 |    19744 |    78347      0 |      155 |      152
324.94/325.07	c  323s |      11 |   252723 |    19944 |    78347      0 |      155 |      152
328.94/329.08	c  327s |      11 |   253325 |    20144 |    78347      0 |      155 |      152
331.14/331.24	c  329s |      11 |   253617 |    20244 |    78347      0 |      155 |      152
334.04/334.17	c  332s |      11 |   253888 |    20344 |    78347      0 |      155 |      152
336.34/336.46	c  334s |      11 |   254348 |    20444 |    78347      0 |      155 |      152
338.44/338.56	c  337s |      11 |   254612 |    20544 |    78347      0 |      155 |      152
342.74/342.80	c  341s |      11 |   254980 |    20744 |    78347      0 |      155 |      152
346.24/346.32	c  344s |      11 |   255861 |    20944 |    78347      0 |      155 |      152
348.64/348.76	c  347s |      11 |   256359 |    21144 |    78347      0 |      155 |      152
351.94/352.02	c  350s |      11 |   256845 |    21344 |    78347      0 |      155 |      152
356.64/356.70	c  355s |      11 |   258077 |    21544 |    78347      0 |      155 |      152
360.44/360.51	c  359s |      11 |   258622 |    21744 |    78347      0 |      155 |      152
363.84/363.99	c  362s |      11 |   258893 |    21944 |    78347      0 |      155 |      152
366.24/366.39	c  364s |      11 |   259206 |    22144 |    78347      0 |      155 |      152
369.93/370.03	c  368s |      11 |   260150 |    22344 |    78347      0 |      155 |      152
372.23/372.35	c  370s |      11 |   260473 |    22444 |    78347      0 |      155 |      152
376.93/377.01	c  375s |      11 |   260829 |    22644 |    78347      0 |      155 |      152
380.63/380.77	c  379s |      11 |   261591 |    22844 |    78347      0 |      155 |      152
384.14/384.20	c  382s |      11 |   262143 |    23044 |    78347      0 |      155 |      152
387.23/387.39	c  385s |      11 |   262629 |    23244 |    78347      0 |      155 |      152
389.83/389.90	c  388s |      11 |   262800 |    23344 |    78347      0 |      155 |      152
393.83/393.99	c  392s |      11 |   263187 |    23544 |    78347      0 |      155 |      152
397.43/397.56	c  396s |      11 |   263544 |    23744 |    78347      0 |      155 |      152
400.03/400.10	c  398s |      11 |   264075 |    23944 |    78347      0 |      155 |      152
402.43/402.59	c  401s |      11 |   264837 |    24144 |    78347      0 |      155 |      152
405.73/405.86	c  404s |      11 |   265464 |    24344 |    78347      0 |      155 |      152
409.03/409.18	c  407s |      11 |   265949 |    24544 |    78347      0 |      155 |      152
412.23/412.32	c  410s |      11 |   266334 |    24744 |    78347      0 |      155 |      152
415.43/415.59	c  414s |      11 |   266691 |    24944 |    78347      0 |      155 |      152
419.43/419.54	c  418s |      11 |   266970 |    25144 |    78347      0 |      155 |      152
421.83/421.96	c  420s |      11 |   267293 |    25244 |    78347      0 |      155 |      152
424.63/424.70	c  423s |      11 |   267471 |    25344 |    78347      0 |      155 |      152
426.83/426.93	c  425s |      11 |   267620 |    25444 |    78347      0 |      155 |      152
429.43/429.52	c  428s |      11 |   267831 |    25544 |    78347      0 |      155 |      152
432.33/432.43	c  430s |      11 |   268106 |    25644 |    78347      0 |      155 |      152
435.32/435.44	c  433s |      12 |   268427 |    25819 |    86182      0 |      155 |      152
437.93/438.02	c  436s |      12 |   268758 |    26019 |    86182      0 |      155 |      152
440.32/440.46	c  438s |      12 |   269173 |    26219 |    86182      0 |      155 |      152
443.62/443.76	c  442s |      12 |   269625 |    26419 |    86182      0 |      155 |      152
448.02/448.14	c  446s |      12 |   269774 |    26519 |    86182      0 |      155 |      152
450.72/450.81	c  449s |      12 |   270068 |    26719 |    86182      0 |      155 |      152
452.92/453.03	c  451s |      12 |   270352 |    26919 |    86182      0 |      155 |      152
458.72/458.81	c  457s |      12 |   270621 |    27119 |    86182      0 |      155 |      152
462.52/462.62	c  461s |      12 |   270789 |    27219 |    86182      0 |      155 |      152
468.11/468.28	c  466s |      12 |   270913 |    27319 |    86182      0 |      155 |      152
472.51/472.62	c  471s |      12 |   271056 |    27419 |    86182      0 |      155 |      152
474.51/474.68	c  473s |      12 |   271250 |    27519 |    86182      0 |      155 |      152
477.81/477.91	c  476s |      12 |   271398 |    27619 |    86182      0 |      155 |      152
480.71/480.81	c  479s |      12 |   271519 |    27719 |    86182      0 |      155 |      152
486.81/486.96	c  485s |      12 |   271646 |    27819 |    86182      0 |      155 |      152
493.11/493.20	c  491s |      12 |   271769 |    27919 |    86182      0 |      155 |      152
496.21/496.37	c  494s |      12 |   271889 |    28019 |    86182      0 |      155 |      152
498.70/498.88	c  497s |      12 |   272104 |    28119 |    86182      0 |      155 |      152
502.10/502.25	c  500s |      12 |   272225 |    28219 |    86182      0 |      155 |      152
505.01/505.11	c  503s |      12 |   272407 |    28319 |    86182      0 |      155 |      152
507.70/507.89	c  506s |      12 |   272705 |    28419 |    86182      0 |      155 |      152
512.30/512.40	c  510s |      12 |   273305 |    28619 |    86182      0 |      227 |      223
515.79/515.91	c  514s |      12 |   273576 |    28719 |    86182      0 |      227 |      223
519.79/519.98	c  518s |      12 |   273747 |    28819 |    86182      0 |      227 |      223
524.19/524.31	c  522s |      12 |   273933 |    28919 |    86182      0 |      227 |      223
528.69/528.88	c  527s |      12 |   274074 |    29019 |    86182      0 |      227 |      223
532.78/532.98	c  531s |      12 |   274230 |    29119 |    86182      0 |      227 |      223
537.48/537.66	c  536s |      12 |   274389 |    29219 |    86182      0 |      227 |      223
541.38/541.58	c  540s |      12 |   274540 |    29319 |    86182      0 |      227 |      223
545.78/545.96	c  544s |      12 |   274666 |    29419 |    86182      0 |      227 |      223
549.97/550.13	c  548s |      12 |   274822 |    29519 |    86182      0 |      227 |      223
554.07/554.24	c  552s |      12 |   274981 |    29619 |    86182      0 |      227 |      223
558.37/558.59	c  557s |      12 |   275125 |    29719 |    86182      0 |      227 |      223
562.56/562.72	c  561s |      12 |   275288 |    29819 |    86182      0 |      227 |      223
566.96/567.17	c  565s |      12 |   275445 |    29919 |    86182      0 |      227 |      223
570.97/571.15	c  569s |      12 |   275600 |    30019 |    86182      0 |      227 |      223
575.26/575.48	c  573s |      12 |   275759 |    30119 |    86182      0 |      227 |      223
579.36/579.55	c  578s |      12 |   275911 |    30219 |    86182      0 |      227 |      223
583.95/584.17	c  582s |      12 |   276046 |    30319 |    86182      0 |      227 |      223
588.45/588.67	c  587s |      12 |   276167 |    30419 |    86182      0 |      227 |      223
593.15/593.34	c  591s |      12 |   276271 |    30519 |    86182      0 |      227 |      223
597.15/597.32	c  595s |      12 |   276402 |    30619 |    86182      0 |      227 |      223
601.85/602.01	c  600s |      12 |   276543 |    30719 |    86182      0 |      227 |      223
606.54/606.70	c  605s |      12 |   276644 |    30819 |    86182      0 |      227 |      223
610.84/611.00	c  609s |      12 |   276781 |    30919 |    86182      0 |      227 |      223
614.74/614.92	c  613s |      12 |   276939 |    31019 |    86182      0 |      227 |      223
618.83/619.07	c  617s |      12 |   277073 |    31119 |    86182      0 |      227 |      223
623.13/623.35	c  621s |      12 |   277180 |    31219 |    86182      0 |      227 |      223
627.23/627.44	c  625s |      12 |   277292 |    31319 |    86182      0 |      227 |      223
631.72/631.91	c  630s |      12 |   277447 |    31419 |    86182      0 |      227 |      223
636.72/636.91	c  635s |      12 |   277560 |    31519 |    86182      0 |      227 |      223
641.22/641.48	c  639s |      12 |   277692 |    31619 |    86182      0 |      227 |      223
646.02/646.26	c  644s |      12 |   277834 |    31719 |    86182      0 |      227 |      223
651.01/651.26	c  649s |      12 |   277995 |    31819 |    86182      0 |      227 |      223
655.72/655.98	c  654s |      12 |   278155 |    31919 |    86182      0 |      227 |      223
660.41/660.68	c  659s |      12 |   278283 |    32019 |    86182      0 |      227 |      223
665.41/665.62	c  664s |      12 |   278401 |    32119 |    86182      0 |      227 |      223
670.61/670.87	c  669s |      12 |   278516 |    32219 |    86182      0 |      227 |      223
675.11/675.33	c  673s |      12 |   278635 |    32319 |    86182      0 |      227 |      223
679.31/679.59	c  678s |      12 |   278750 |    32419 |    86182      0 |      227 |      223
683.61/683.87	c  682s |      12 |   278863 |    32519 |    86182      0 |      227 |      223
687.81/688.02	c  686s |      12 |   279004 |    32619 |    86182      0 |      227 |      223
691.71/691.95	c  690s |      12 |   279131 |    32719 |    86182      0 |      227 |      223
695.91/696.13	c  694s |      12 |   279263 |    32819 |    86182      0 |      227 |      223
699.80/700.09	c  698s |      12 |   279388 |    32919 |    86182      0 |      227 |      223
704.11/704.31	c  702s |      12 |   279546 |    33019 |    86182      0 |      227 |      223
708.20/708.43	c  706s |      12 |   279678 |    33119 |    86182      0 |      227 |      223
712.30/712.54	c  711s |      12 |   279796 |    33219 |    86182      0 |      227 |      223
716.30/716.57	c  715s |      12 |   279926 |    33319 |    86182      0 |      227 |      223
720.51/720.80	c  719s |      12 |   280062 |    33419 |    86182      0 |      227 |      223
724.50/724.72	c  723s |      12 |   280253 |    33519 |    86182      0 |      227 |      223
728.21/728.46	c  726s |      12 |   280371 |    33619 |    86182      0 |      227 |      223
732.40/732.64	c  731s |      12 |   280532 |    33719 |    86182      0 |      227 |      223
736.40/736.69	c  735s |      12 |   280670 |    33819 |    86182      0 |      227 |      223
740.49/740.74	c  739s |      12 |   280828 |    33919 |    86182      0 |      227 |      223
744.59/744.82	c  743s |      12 |   281002 |    34019 |    86182      0 |      227 |      223
748.69/748.96	c  747s |      12 |   281126 |    34119 |    86182      0 |      227 |      223
752.50/752.78	c  751s |      12 |   281269 |    34219 |    86182      0 |      227 |      223
756.49/756.71	c  755s |      12 |   281422 |    34319 |    86182      0 |      227 |      223
760.29/760.56	c  759s |      12 |   281582 |    34419 |    86182      0 |      227 |      223
764.50/764.74	c  763s |      12 |   281735 |    34519 |    86182      0 |      227 |      223
769.39/769.60	c  768s |      12 |   281884 |    34619 |    86182      0 |      227 |      223
773.79/774.07	c  772s |      12 |   282023 |    34719 |    86182      0 |      227 |      223
777.79/778.04	c  776s |      12 |   282172 |    34819 |    86182      0 |      227 |      223
782.29/782.55	c  781s |      12 |   282292 |    34919 |    86182      0 |      227 |      223
786.69/786.92	c  785s |      12 |   282413 |    35019 |    86182      0 |      227 |      223
791.08/791.35	c  789s |      12 |   282528 |    35119 |    86182      0 |      227 |      223
795.98/796.27	c  794s |      12 |   282643 |    35219 |    86182      0 |      227 |      223
800.58/800.81	c  799s |      12 |   282762 |    35319 |    86182      0 |      227 |      223
805.08/805.39	c  803s |      12 |   282896 |    35419 |    86182      0 |      227 |      223
809.59/809.90	c  808s |      12 |   283027 |    35519 |    86182      0 |      227 |      223
814.37/814.65	c  813s |      12 |   283152 |    35619 |    86182      0 |      227 |      223
819.17/819.40	c  817s |      12 |   283278 |    35719 |    86182      0 |      227 |      223
823.57/823.84	c  822s |      12 |   283398 |    35819 |    86182      0 |      227 |      223
827.77/828.07	c  826s |      12 |   283542 |    35919 |    86182      0 |      227 |      223
831.86/832.19	c  830s |      12 |   283660 |    36019 |    86182      0 |      227 |      223
835.66/835.91	c  834s |      12 |   283804 |    36119 |    86182      0 |      227 |      223
839.86/840.11	c  838s |      12 |   283926 |    36219 |    86182      0 |      227 |      223
844.06/844.39	c  842s |      12 |   284086 |    36319 |    86182      0 |      227 |      223
847.66/847.94	c  846s |      12 |   284229 |    36419 |    86182      0 |      227 |      223
851.76/852.01	c  850s |      12 |   284354 |    36519 |    86182      0 |      227 |      223
855.66/855.94	c  854s |      12 |   284502 |    36619 |    86182      0 |      227 |      223
859.56/859.80	c  858s |      12 |   284640 |    36719 |    86182      0 |      227 |      223
863.25/863.58	c  862s |      12 |   284784 |    36819 |    86182      0 |      227 |      223
867.05/867.33	c  865s |      12 |   284916 |    36919 |    86182      0 |      227 |      223
871.05/871.35	c  869s |      12 |   285084 |    37019 |    86182      0 |      227 |      223
874.85/875.12	c  873s |      12 |   285225 |    37119 |    86182      0 |      227 |      223
878.55/878.89	c  877s |      12 |   285347 |    37219 |    86182      0 |      227 |      223
882.34/882.68	c  881s |      12 |   285488 |    37319 |    86182      0 |      227 |      223
886.34/886.65	c  885s |      12 |   285629 |    37419 |    86182      0 |      227 |      223
890.14/890.46	c  888s |      12 |   285771 |    37519 |    86182      0 |      227 |      223
893.84/894.14	c  892s |      12 |   285898 |    37619 |    86182      0 |      227 |      223
897.65/897.94	c  896s |      12 |   286032 |    37719 |    86182      0 |      227 |      223
902.43/902.79	c  901s |      12 |   286175 |    37819 |    86182      0 |      227 |      223
906.73/907.02	c  905s |      12 |   286321 |    37919 |    86182      0 |      227 |      223
911.13/911.47	c  909s |      12 |   286465 |    38019 |    86182      0 |      227 |      223
915.53/915.82	c  914s |      12 |   286637 |    38119 |    86182      0 |      227 |      223
919.43/919.75	c  918s |      12 |   286783 |    38219 |    86182      0 |      227 |      223
923.33/923.65	c  922s |      12 |   286942 |    38319 |    86182      0 |      227 |      223
927.23/927.56	c  926s |      12 |   287068 |    38419 |    86182      0 |      227 |      223
931.22/931.51	c  930s |      12 |   287182 |    38519 |    86182      0 |      227 |      223
935.12/935.41	c  933s |      12 |   287318 |    38619 |    94801      0 |      227 |      223
939.12/939.41	c  937s |      12 |   287440 |    38719 |    94801      0 |      227 |      223
943.22/943.53	c  942s |      12 |   287608 |    38819 |    94801      0 |      227 |      223
943.73/944.07	c  942s |      13 |   287631 |    38832 |    94801      0 |      227 |      223
947.62/947.99	c  946s |      13 |   287916 |    39032 |    94801      0 |      227 |      223
951.53/951.89	c  950s |      13 |   288189 |    39232 |    94801      0 |      227 |      223
954.92/955.28	c  953s |      13 |   288435 |    39432 |    94801      0 |      227 |      223
958.72/959.03	c  957s |      13 |   288696 |    39632 |    94801      0 |      227 |      223
960.92/961.24	c  959s |      13 |   288931 |    39832 |    94801      0 |      227 |      223
963.92/964.27	c  962s |      13 |   289182 |    40032 |    94801      0 |      227 |      223
967.82/968.11	c  966s |      13 |   289436 |    40232 |    94801      0 |      227 |      223
970.92/971.20	c  969s |      13 |   289695 |    40432 |    94801      0 |      227 |      223
973.01/973.38	c  971s |      13 |   289950 |    40632 |    94801      0 |      227 |      223
977.31/977.62	c  976s |      13 |   290219 |    40832 |    94801      0 |      227 |      223
981.22/981.51	c  980s |      13 |   290463 |    41032 |    94801      0 |      227 |      223
983.32/983.67	c  982s |      13 |   290603 |    41132 |    94801      0 |      227 |      223
986.21/986.53	c  985s |      13 |   290886 |    41332 |    94801      0 |      227 |      223
988.51/988.86	c  987s |      13 |   291043 |    41432 |    94801      0 |      227 |      223
992.01/992.31	c  990s |      13 |   291312 |    41632 |    94801      0 |      227 |      223
995.21/995.54	c  994s |      13 |   291564 |    41832 |    94801      0 |      227 |      223
998.91/999.26	c  997s |      13 |   291804 |    42032 |    94801      0 |      227 |      223
1001.21/1001.51	c  999s |      13 |   291962 |    42132 |    94801      0 |      227 |      223
1004.61/1004.99	c 1003s |      13 |   292255 |    42332 |    94801      0 |      227 |      223
1008.01/1008.35	c 1006s |      13 |   292516 |    42532 |    94801      0 |      227 |      223
1011.71/1012.09	c 1010s |      13 |   292747 |    42732 |    94801      0 |      227 |      223
1014.91/1015.26	c 1013s |      13 |   293024 |    42932 |    94801      0 |      227 |      223
1018.22/1018.58	c 1017s |      13 |   293307 |    43132 |    94801      0 |      227 |      223
1021.62/1021.91	c 1020s |      13 |   293592 |    43332 |    94801      0 |      227 |      223
1025.02/1025.34	c 1023s |      13 |   293845 |    43532 |    94801      0 |      227 |      223
1028.71/1029.00	c 1027s |      13 |   294126 |    43732 |    94801      0 |      227 |      223
1030.72/1031.02	c 1029s |      13 |   294271 |    43832 |    94801      0 |      227 |      223
1034.31/1034.68	c 1033s |      13 |   294529 |    44032 |    94801      0 |      227 |      223
1038.71/1039.08	c 1037s |      13 |   294788 |    44232 |    94801      0 |      227 |      223
1041.51/1041.82	c 1040s |      13 |   295102 |    44432 |    94801      0 |      227 |      223
1045.31/1045.67	c 1044s |      13 |   295363 |    44632 |    94801      0 |      227 |      223
1047.81/1048.14	c 1046s |      13 |   295649 |    44832 |    94801      0 |      227 |      223
1051.52/1051.90	c 1050s |      13 |   295941 |    45032 |    94801      0 |      227 |      223
1053.82/1054.16	c 1052s |      13 |   296251 |    45232 |    94801      0 |      227 |      223
1056.02/1056.33	c 1054s |      13 |   296396 |    45332 |    94801      0 |      227 |      223
1058.81/1059.13	c 1057s |      13 |   296667 |    45532 |    94801      0 |      227 |      223
1061.01/1061.36	c 1059s |      13 |   296800 |    45632 |    94801      0 |      227 |      223
1064.21/1064.53	c 1063s |      13 |   297074 |    45832 |    94801      0 |      227 |      223
1066.21/1066.56	c 1065s |      13 |   297224 |    45932 |    94801      0 |      227 |      223
1069.01/1069.33	c 1067s |      13 |   297463 |    46132 |    94801      0 |      227 |      223
1072.31/1072.62	c 1071s |      13 |   297719 |    46332 |    94801      0 |      227 |      223
1076.11/1076.47	c 1074s |      13 |   297984 |    46532 |    94801      0 |      227 |      223
1078.21/1078.54	c 1077s |      13 |   298113 |    46632 |    94801      0 |      227 |      223
1081.41/1081.74	c 1080s |      13 |   298388 |    46832 |    94801      0 |      227 |      223
1084.41/1084.73	c 1083s |      13 |   298672 |    47032 |    94801      0 |      227 |      223
1086.51/1086.87	c 1085s |      13 |   298798 |    47132 |    94801      0 |      227 |      223
1089.31/1089.67	c 1088s |      13 |   299050 |    47332 |    94801      0 |      227 |      223
1092.50/1092.82	c 1091s |      13 |   299297 |    47532 |    94801      0 |      227 |      223
1096.50/1096.84	c 1095s |      13 |   299582 |    47732 |    94801      0 |      227 |      223
1099.70/1100.05	c 1098s |      13 |   299848 |    47932 |    94801      0 |      227 |      223
1101.70/1102.09	c 1100s |      13 |   299986 |    48032 |    94801      0 |      227 |      223
1105.60/1105.97	c 1104s |      13 |   300256 |    48232 |    94801      0 |      227 |      223
1107.61/1108.00	c 1106s |      13 |   300373 |    48332 |    94801      0 |      227 |      223
1109.81/1110.11	c 1108s |      13 |   300509 |    48432 |    94801      0 |      227 |      223
1112.70/1113.08	c 1111s |      13 |   300784 |    48632 |    94801      0 |      227 |      223
1115.60/1115.92	c 1114s |      13 |   300902 |    48732 |    94801      0 |      227 |      223
1118.61/1118.93	c 1117s |      13 |   301178 |    48932 |    94801      0 |      227 |      223
1121.20/1121.52	c 1120s |      13 |   301470 |    49132 |    94801      0 |      227 |      223
1125.00/1125.38	c 1123s |      13 |   301771 |    49332 |    94801      0 |      227 |      223
1128.40/1128.72	c 1127s |      13 |   302064 |    49532 |    94801      0 |      227 |      223
1131.70/1132.01	c 1130s |      13 |   302359 |    49732 |    94801      0 |      227 |      223
1134.20/1134.58	c 1133s |      13 |   302669 |    49932 |    94801      0 |      227 |      223
1136.40/1136.78	c 1135s |      13 |   302810 |    50032 |    94801      0 |      227 |      223
1139.10/1139.48	c 1137s |      13 |   302937 |    50132 |    94801      0 |      227 |      223
1142.60/1142.94	c 1141s |      13 |   303217 |    50332 |    94801      0 |      227 |      223
1145.00/1145.36	c 1143s |      13 |   303357 |    50432 |    94801      0 |      227 |      223
1147.20/1147.58	c 1146s |      13 |   303480 |    50532 |    94801      0 |      227 |      223
1149.90/1150.23	c 1148s |      13 |   303627 |    50632 |    94801      0 |      227 |      223
1152.40/1152.75	c 1151s |      13 |   303763 |    50732 |    94801      0 |      227 |      223
1157.10/1157.48	c 1155s |      13 |   304159 |    50932 |    94801      0 |      227 |      223
1159.79/1160.11	c 1158s |      13 |   304270 |    51032 |    94801      0 |      227 |      223
1162.60/1162.98	c 1161s |      13 |   304404 |    51132 |    94801      0 |      227 |      223
1166.69/1167.07	c 1165s |      13 |   304672 |    51332 |    94801      0 |      227 |      223
1170.79/1171.12	c 1169s |      13 |   304958 |    51532 |    94801      0 |      227 |      223
1173.19/1173.55	c 1172s |      13 |   305081 |    51632 |    94801      0 |      227 |      223
1175.39/1175.74	c 1174s |      13 |   305211 |    51732 |    94801      0 |      227 |      223
1177.59/1177.91	c 1176s |      13 |   305341 |    51832 |    94801      0 |      227 |      223
1179.59/1179.93	c 1178s |      13 |   305482 |    51932 |    94801      0 |      227 |      223
1182.69/1183.00	c 1181s |      13 |   305608 |    52032 |    94801      0 |      227 |      223
1185.80/1186.11	c 1184s |      13 |   305895 |    52232 |    94801      0 |      227 |      223
1188.69/1189.04	c 1187s |      13 |   306047 |    52332 |    94801      0 |      227 |      223
1193.40/1193.80	c 1192s |      13 |   306302 |    52532 |    94801      0 |      227 |      223
1195.60/1195.94	c 1194s |      13 |   306414 |    52632 |    94801      0 |      227 |      223
1197.69/1198.03	c 1196s |      13 |   306552 |    52732 |    94801      0 |      227 |      223
1199.99/1200.30	c 1198s |      13 |   306701 |    52832 |    94801      0 |      227 |      223
1202.49/1202.84	c 1201s |      13 |   306875 |    52932 |    94801      0 |      227 |      223
1206.99/1207.39	c 1205s |      13 |   307147 |    53132 |    94801      0 |      227 |      223
1209.59/1209.91	c 1208s |      13 |   307271 |    53232 |    94801      0 |      227 |      223
1213.89/1214.24	c 1212s |      13 |   307510 |    53432 |    94801      0 |      227 |      223
1217.38/1217.70	c 1216s |      13 |   307654 |    53532 |    94801      0 |      227 |      223
1221.08/1221.47	c 1219s |      13 |   307906 |    53732 |    94801      0 |      227 |      223
1224.48/1224.81	c 1223s |      13 |   308165 |    53932 |    94801      0 |      227 |      223
1227.08/1227.40	c 1225s |      13 |   308316 |    54032 |    94801      0 |      227 |      223
1230.89/1231.22	c 1229s |      13 |   308595 |    54232 |    94801      0 |      227 |      223
1232.99/1233.37	c 1231s |      13 |   308729 |    54332 |    94801      0 |      227 |      223
1236.29/1236.70	c 1235s |      13 |   308873 |    54432 |    94801      0 |      227 |      223
1240.79/1241.12	c 1239s |      13 |   309117 |    54632 |    94801      0 |      227 |      223
1243.28/1243.67	c 1242s |      13 |   309233 |    54732 |    94801      0 |      227 |      223
1246.98/1247.32	c 1245s |      13 |   309514 |    54932 |    94801      0 |      227 |      223
1250.98/1251.34	c 1249s |      13 |   309754 |    55132 |    94801      0 |      227 |      223
1253.89/1254.30	c 1252s |      13 |   310085 |    55332 |    94801      0 |      227 |      223
1256.58/1256.90	c 1255s |      13 |   310213 |    55432 |    94801      0 |      227 |      223
1259.98/1260.30	c 1258s |      13 |   310478 |    55632 |    94801      0 |      227 |      223
1261.98/1262.39	c 1260s |      13 |   310623 |    55732 |    94801      0 |      227 |      223
1264.18/1264.56	c 1263s |      13 |   310766 |    55832 |    94801      0 |      227 |      223
1267.78/1268.19	c 1266s |      13 |   311065 |    56032 |    94801      0 |      227 |      223
1271.18/1271.51	c 1269s |      13 |   311329 |    56232 |    94801      0 |      227 |      223
1276.08/1276.49	c 1274s |      13 |   311580 |    56432 |    94801      0 |      227 |      223
1278.28/1278.68	c 1277s |      13 |   311709 |    56532 |    94801      0 |      227 |      223
1283.17/1283.55	c 1282s |      13 |   311972 |    56732 |    94801      0 |      227 |      223
1285.47/1285.83	c 1284s |      13 |   312095 |    56832 |    94801      0 |      227 |      223
1289.27/1289.61	c 1288s |      13 |   312357 |    57032 |    94801      0 |      227 |      223
1293.17/1293.56	c 1292s |      13 |   312625 |    57232 |    94801      0 |      227 |      223
1295.27/1295.63	c 1294s |      13 |   312797 |    57332 |    94801      0 |      227 |      223
1297.67/1298.07	c 1296s |      13 |   312952 |    57432 |    94801      0 |      227 |      223
1300.08/1300.43	c 1298s |      13 |   313073 |    57532 |    94801      0 |      227 |      223
1303.57/1303.90	c 1302s |      13 |   313323 |    57732 |    94801      0 |      227 |      223
1307.47/1307.89	c 1306s |      13 |   313546 |    57932 |    94801      0 |      227 |      223
1309.87/1310.23	c 1308s |      13 |   313682 |    58032 |   104282      0 |      227 |      223
1312.47/1312.89	c 1311s |      13 |   313963 |    58232 |   104282      0 |      227 |      223
1314.07/1314.45	c 1312s |      14 |   314121 |    58352 |   104282      0 |      227 |      223
1316.17/1316.59	c 1315s |      14 |   314280 |    58452 |   104282      0 |      227 |      223
1319.77/1320.17	c 1318s |      14 |   314549 |    58652 |   104282      0 |      227 |      223
1323.57/1323.97	c 1322s |      14 |   314840 |    58852 |   104282      0 |      227 |      223
1327.17/1327.56	c 1326s |      14 |   315093 |    59052 |   104282      0 |      227 |      223
1329.37/1329.76	c 1328s |      14 |   315236 |    59152 |   104282      0 |      227 |      223
1331.47/1331.82	c 1330s |      14 |   315363 |    59252 |   104282      0 |      227 |      223
1334.87/1335.24	c 1333s |      14 |   315620 |    59452 |   104282      0 |      227 |      223
1337.17/1337.55	c 1336s |      14 |   315753 |    59552 |   104282      0 |      227 |      223
1339.17/1339.57	c 1338s |      14 |   315887 |    59652 |   104282      0 |      227 |      223
1341.37/1341.74	c 1340s |      14 |   316001 |    59752 |   104282      0 |      227 |      223
1343.57/1343.94	c 1342s |      14 |   316139 |    59852 |   104282      0 |      227 |      223
1347.07/1347.49	c 1345s |      14 |   316392 |    60052 |   104282      0 |      227 |      223
1349.36/1349.70	c 1348s |      14 |   316523 |    60152 |   104282      0 |      227 |      223
1351.46/1351.85	c 1350s |      14 |   316641 |    60252 |   104282      0 |      227 |      223
1353.66/1354.06	c 1352s |      14 |   316774 |    60352 |   104282      0 |      227 |      223
1357.46/1357.88	c 1356s |      14 |   317012 |    60552 |   104282      0 |      227 |      223
1359.86/1360.26	c 1358s |      14 |   317140 |    60652 |   104282      0 |      227 |      223
1362.26/1362.70	c 1361s |      14 |   317257 |    60752 |   104282      0 |      227 |      223
1364.46/1364.87	c 1363s |      14 |   317398 |    60852 |   104282      0 |      227 |      223
1367.06/1367.43	c 1365s |      14 |   317556 |    60952 |   104282      0 |      227 |      223
1369.37/1369.80	c 1368s |      14 |   317688 |    61052 |   104282      0 |      227 |      223
1371.86/1372.27	c 1370s |      14 |   317814 |    61152 |   104282      0 |      227 |      223
1375.97/1376.39	c 1374s |      14 |   318092 |    61352 |   104282      0 |      227 |      223
1378.66/1379.02	c 1377s |      14 |   318221 |    61452 |   104282      0 |      227 |      223
1380.86/1381.26	c 1379s |      14 |   318346 |    61552 |   104282      0 |      227 |      223
1384.66/1385.09	c 1383s |      14 |   318587 |    61752 |   104282      0 |      227 |      223
1386.86/1387.30	c 1385s |      14 |   318731 |    61852 |   104282      0 |      227 |      223
1389.06/1389.48	c 1387s |      14 |   318846 |    61952 |   104282      0 |      227 |      223
1391.56/1391.98	c 1390s |      14 |   318964 |    62052 |   104282      0 |      227 |      223
1393.67/1394.07	c 1392s |      14 |   319082 |    62152 |   104282      0 |      227 |      223
1395.86/1396.28	c 1394s |      14 |   319223 |    62252 |   104282      0 |      227 |      223
1398.06/1398.42	c 1396s |      14 |   319354 |    62352 |   104282      0 |      227 |      223
1400.46/1400.84	c 1399s |      14 |   319491 |    62452 |   104282      0 |      227 |      223
1402.86/1403.29	c 1401s |      14 |   319624 |    62552 |   104282      0 |      227 |      223
1404.96/1405.34	c 1403s |      14 |   319759 |    62652 |   104282      0 |      227 |      223
1407.36/1407.74	c 1406s |      14 |   319901 |    62752 |   104282      0 |      227 |      223
1409.66/1410.04	c 1408s |      14 |   320019 |    62852 |   104282      0 |      227 |      223
1413.16/1413.56	c 1412s |      14 |   320260 |    63052 |   104282      0 |      227 |      223
1417.15/1417.59	c 1416s |      14 |   320532 |    63252 |   104282      0 |      227 |      223
1421.06/1421.44	c 1419s |      14 |   320777 |    63452 |   104282      0 |      227 |      223
1424.36/1424.71	c 1423s |      14 |   321031 |    63652 |   104282      0 |      227 |      223
1427.45/1427.86	c 1426s |      14 |   321266 |    63852 |   104282      0 |      227 |      223
1431.06/1431.43	c 1429s |      14 |   321511 |    64052 |   104282      0 |      227 |      223
1434.65/1435.01	c 1433s |      14 |   321743 |    64252 |   104282      0 |      227 |      223
1438.15/1438.50	c 1436s |      14 |   321977 |    64452 |   104282      0 |      227 |      223
1441.45/1441.86	c 1440s |      14 |   322211 |    64652 |   104282      0 |      227 |      223
1443.65/1444.02	c 1442s |      14 |   322338 |    64752 |   104282      0 |      227 |      223
1447.75/1448.12	c 1446s |      14 |   322588 |    64952 |   104282      0 |      227 |      223
1449.85/1450.23	c 1448s |      14 |   322704 |    65052 |   104282      0 |      227 |      223
1452.45/1452.86	c 1451s |      14 |   322831 |    65152 |   104282      0 |      227 |      223
1455.26/1455.60	c 1454s |      14 |   322969 |    65252 |   104282      0 |      227 |      223
1457.46/1457.86	c 1456s |      14 |   323096 |    65352 |   104282      0 |      227 |      223
1460.05/1460.48	c 1458s |      14 |   323223 |    65452 |   104282      0 |      227 |      223
1462.35/1462.72	c 1461s |      14 |   323341 |    65552 |   104282      0 |      227 |      223
1464.65/1465.01	c 1463s |      14 |   323475 |    65652 |   104282      0 |      227 |      223
1468.65/1469.06	c 1467s |      14 |   323729 |    65852 |   104282      0 |      227 |      223
1472.35/1472.79	c 1471s |      14 |   323971 |    66052 |   104282      0 |      227 |      223
1474.65/1475.08	c 1473s |      14 |   324092 |    66152 |   104282      0 |      227 |      223
1476.75/1477.16	c 1475s |      14 |   324210 |    66252 |   104282      0 |      227 |      223
1480.94/1481.33	c 1479s |      14 |   324461 |    66452 |   104282      0 |      227 |      223
1484.54/1484.94	c 1483s |      14 |   324686 |    66652 |   104282      0 |      227 |      223
1486.74/1487.19	c 1485s |      14 |   324827 |    66752 |   104282      0 |      227 |      223
1490.64/1491.00	c 1489s |      14 |   325059 |    66952 |   104282      0 |      227 |      223
1494.54/1494.91	c 1493s |      14 |   325327 |    67152 |   104282      0 |      227 |      223
1498.54/1498.99	c 1497s |      14 |   325558 |    67352 |   104282      0 |      227 |      223
1502.04/1502.48	c 1500s |      14 |   325822 |    67552 |   104282      0 |      227 |      223
1504.24/1504.60	c 1503s |      14 |   325938 |    67652 |   104282      0 |      227 |      223
1508.05/1508.41	c 1506s |      14 |   326182 |    67852 |   104282      0 |      227 |      223
1511.94/1512.36	c 1510s |      14 |   326433 |    68052 |   104282      0 |      227 |      223
1514.04/1514.42	c 1512s |      14 |   326567 |    68152 |   104282      0 |      227 |      223
1517.64/1518.05	c 1516s |      14 |   326811 |    68352 |   104282      0 |      227 |      223
1521.84/1522.27	c 1520s |      14 |   327060 |    68552 |   104282      0 |      227 |      223
1525.65/1526.01	c 1524s |      14 |   327297 |    68752 |   104282      0 |      227 |      223
1527.74/1528.18	c 1526s |      14 |   327434 |    68852 |   104282      0 |      227 |      223
1531.74/1532.10	c 1530s |      14 |   327693 |    69052 |   104282      0 |      227 |      223
1534.24/1534.63	c 1533s |      14 |   327793 |    69152 |   104282      0 |      227 |      223
1536.34/1536.74	c 1535s |      14 |   327913 |    69252 |   104282      0 |      227 |      223
1538.34/1538.79	c 1537s |      14 |   328047 |    69352 |   104282      0 |      227 |      223
1542.44/1542.80	c 1541s |      14 |   328318 |    69552 |   104282      0 |      227 |      223
1546.33/1546.74	c 1545s |      14 |   328578 |    69752 |   104282      0 |      227 |      223
1550.23/1550.63	c 1549s |      14 |   328833 |    69952 |   104282      0 |      227 |      223
1552.23/1552.64	c 1551s |      14 |   328952 |    70052 |   104282      0 |      227 |      223
1554.33/1554.79	c 1553s |      14 |   329074 |    70152 |   104282      0 |      227 |      223
1557.73/1558.18	c 1556s |      14 |   329337 |    70352 |   104282      0 |      227 |      223
1561.23/1561.61	c 1560s |      14 |   329587 |    70552 |   104282      0 |      227 |      223
1564.33/1564.71	c 1563s |      14 |   329830 |    70752 |   104282      0 |      227 |      223
1567.83/1568.28	c 1566s |      14 |   330046 |    70952 |   104282      0 |      227 |      223
1571.63/1572.05	c 1570s |      14 |   330314 |    71152 |   104282      0 |      227 |      223
1574.83/1575.22	c 1573s |      14 |   330573 |    71352 |   104282      0 |      227 |      223
1578.13/1578.50	c 1576s |      14 |   330832 |    71552 |   104282      0 |      227 |      223
1581.43/1581.80	c 1580s |      14 |   331077 |    71752 |   104282      0 |      227 |      223
1584.63/1585.09	c 1583s |      14 |   331341 |    71952 |   104282      0 |      227 |      223
1587.73/1588.11	c 1586s |      14 |   331596 |    72152 |   104282      0 |      227 |      223
1590.93/1591.35	c 1589s |      14 |   331861 |    72352 |   104282      0 |      227 |      223
1594.03/1594.47	c 1592s |      14 |   332143 |    72552 |   104282      0 |      227 |      223
1597.33/1597.74	c 1596s |      14 |   332407 |    72752 |   104282      0 |      227 |      223
1600.73/1601.11	c 1599s |      14 |   332664 |    72952 |   104282      0 |      227 |      223
1603.93/1604.38	c 1602s |      14 |   332921 |    73152 |   104282      0 |      227 |      223
1607.32/1607.73	c 1606s |      14 |   333176 |    73352 |   104282      0 |      227 |      223
1610.82/1611.27	c 1609s |      14 |   333446 |    73552 |   104282      0 |      227 |      223
1614.12/1614.56	c 1613s |      14 |   333697 |    73752 |   104282      0 |      227 |      223
1617.72/1618.17	c 1616s |      14 |   333965 |    73952 |   104282      0 |      227 |      223
1621.02/1621.42	c 1619s |      14 |   334253 |    74152 |   104282      0 |      227 |      223
1624.32/1624.76	c 1623s |      14 |   334524 |    74352 |   104282      0 |      227 |      223
1627.52/1627.98	c 1626s |      14 |   334802 |    74552 |   104282      0 |      227 |      223
1630.92/1631.30	c 1629s |      14 |   335092 |    74752 |   104282      0 |      227 |      223
1634.12/1634.51	c 1632s |      14 |   335365 |    74952 |   104282      0 |      227 |      223
1637.12/1637.53	c 1636s |      14 |   335632 |    75152 |   104282      0 |      227 |      223
1640.42/1640.86	c 1639s |      14 |   335879 |    75352 |   104282      0 |      227 |      223
1644.02/1644.45	c 1642s |      14 |   336132 |    75552 |   104282      0 |      227 |      223
1647.52/1647.98	c 1646s |      14 |   336381 |    75752 |   104282      0 |      227 |      223
1651.22/1651.62	c 1650s |      14 |   336624 |    75952 |   104282      0 |      227 |      223
1654.62/1655.04	c 1653s |      14 |   336867 |    76152 |   104282      0 |      227 |      223
1658.02/1658.40	c 1656s |      14 |   337123 |    76352 |   104282      0 |      227 |      223
1661.02/1661.45	c 1659s |      14 |   337373 |    76552 |   104282      0 |      227 |      223
1664.42/1664.83	c 1663s |      14 |   337634 |    76752 |   104282      0 |      227 |      223
1667.52/1667.95	c 1666s |      14 |   337885 |    76952 |   104282      0 |      227 |      223
1671.01/1671.45	c 1669s |      14 |   338158 |    77152 |   104282      0 |      227 |      223
1674.61/1675.02	c 1673s |      14 |   338429 |    77352 |   104282      0 |      227 |      223
1678.11/1678.54	c 1677s |      14 |   338676 |    77552 |   104282      0 |      227 |      223
1680.41/1680.89	c 1679s |      14 |   338790 |    77652 |   104282      0 |      227 |      223
1684.11/1684.58	c 1683s |      14 |   339036 |    77852 |   104282      0 |      227 |      223
1686.12/1686.59	c 1685s |      14 |   339151 |    77952 |   104282      0 |      227 |      223
1690.31/1690.71	c 1689s |      14 |   339406 |    78152 |   104282      0 |      227 |      223
1693.61/1694.09	c 1692s |      14 |   339656 |    78352 |   104282      0 |      227 |      223
1697.41/1697.84	c 1696s |      14 |   339906 |    78552 |   104282      0 |      227 |      223
1700.91/1701.31	c 1699s |      14 |   340181 |    78752 |   104282      0 |      227 |      223
1703.82/1704.26	c 1702s |      14 |   340438 |    78952 |   104282      0 |      227 |      223
1707.21/1707.70	c 1706s |      14 |   340669 |    79152 |   104282      0 |      227 |      223
1710.91/1711.34	c 1709s |      14 |   340921 |    79352 |   104282      0 |      227 |      223
1714.41/1714.85	c 1713s |      14 |   341165 |    79552 |   104282      0 |      227 |      223
1716.51/1716.94	c 1715s |      14 |   341284 |    79652 |   104282      0 |      227 |      223
1720.11/1720.58	c 1719s |      14 |   341544 |    79852 |   104282      0 |      227 |      223
1723.91/1724.37	c 1722s |      14 |   341797 |    80052 |   104282      0 |      227 |      223
1727.31/1727.76	c 1726s |      14 |   342030 |    80252 |   104282      0 |      227 |      223
1731.10/1731.59	c 1730s |      14 |   342287 |    80452 |   104282      0 |      227 |      223
1733.20/1733.64	c 1732s |      14 |   342424 |    80552 |   104282      0 |      227 |      223
1737.10/1737.52	c 1736s |      14 |   342678 |    80752 |   104282      0 |      227 |      223
1740.80/1741.23	c 1739s |      14 |   342942 |    80952 |   104282      0 |      227 |      223
1744.00/1744.43	c 1742s |      14 |   343199 |    81152 |   104282      0 |      227 |      223
1747.40/1747.87	c 1746s |      14 |   343451 |    81352 |   104282      0 |      227 |      223
1750.80/1751.21	c 1749s |      14 |   343698 |    81552 |   104282      0 |      227 |      223
1753.80/1754.22	c 1752s |      14 |   343942 |    81752 |   104282      0 |      227 |      223
1757.40/1757.80	c 1756s |      14 |   344199 |    81952 |   104282      0 |      227 |      223
1760.70/1761.16	c 1759s |      14 |   344462 |    82152 |   104282      0 |      227 |      223
1764.60/1765.07	c 1763s |      14 |   344717 |    82352 |   104282      0 |      227 |      223
1768.50/1768.95	c 1767s |      14 |   344983 |    82552 |   104282      0 |      227 |      223
1772.20/1772.66	c 1771s |      14 |   345247 |    82752 |   104282      0 |      227 |      223
1775.70/1776.13	c 1774s |      14 |   345499 |    82952 |   104282      0 |      227 |      223
1779.00/1779.40	c 1777s |      14 |   345745 |    83152 |   104282      0 |      227 |      223
1782.20/1782.66	c 1781s |      14 |   345994 |    83352 |   104282      0 |      227 |      223
1784.50/1784.97	c 1783s |      14 |   346108 |    83452 |   104282      0 |      227 |      223
1787.00/1787.40	c 1785s |      14 |   346230 |    83552 |   104282      0 |      227 |      223
1789.10/1789.54	c 1788s |      14 |   346359 |    83652 |   104282      0 |      227 |      223
1791.30/1791.74	c 1790s |      14 |   346483 |    83752 |   104282      0 |      227 |      223
1793.60/1794.07	c 1792s |      14 |   346623 |    83852 |   104282      0 |      227 |      223
1795.90/1796.39	c 1794s |      14 |   346756 |    83952 |   104282      0 |      227 |      223
1797.99/1798.44	c 1796s |      14 |   346887 |    84052 |   104282      0 |      227 |      223

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

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

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


[startup+0 s]
/proc/loadavg: 2.39 2.30 2.25 4/179 10690
/proc/meminfo: memFree=29155720/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 2571 0 0 0 0 0 0 0 20 0 4 0 110788878 708243456 2932 33554432000 4194304 16246674 140735235030240 140735235029664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 173423 2943 441 2943 0 170317 0
[pid=10690/tid=10691] ppid=10687 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 726069248 3003 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 730263552 3016 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110788879 734457856 3034 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.39 2.30 2.25 4/179 10690
/proc/meminfo: memFree=29155720/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 27630 0 0 0 5 4 0 0 20 0 4 0 110788878 1333334016 27930 33554432000 4194304 16246674 140735235030240 140735235029552 8055408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 325521 27945 799 2943 0 322415 0
[pid=10690/tid=10691] ppid=10687 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1333334016 27956 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1333334016 27968 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1333334016 27979 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200469 s]
/proc/loadavg: 2.39 2.30 2.25 4/179 10690
/proc/meminfo: memFree=29155720/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 45613 0 0 0 12 7 0 0 20 0 4 0 110788878 1344868352 46423 33554432000 4194304 16246674 140735235030240 140735235029552 7440520 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328337 46423 799 2943 0 325231 0
[pid=10690/tid=10691] ppid=10687 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1344868352 46423 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1344868352 46423 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1344868352 46423 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300457 s]
/proc/loadavg: 2.39 2.30 2.25 4/179 10690
/proc/meminfo: memFree=29155720/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 56045 0 0 0 20 8 0 0 20 0 4 0 110788878 1344868352 56855 33554432000 4194304 16246674 140735235030240 140735235029552 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328337 56855 799 2943 0 325231 0
[pid=10690/tid=10691] ppid=10687 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1344868352 56855 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1344868352 56855 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1344868352 56855 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700352 s]
/proc/loadavg: 2.39 2.30 2.25 4/179 10690
/proc/meminfo: memFree=29155720/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 85650 0 0 0 56 13 0 0 20 0 4 0 110788878 1346965504 86461 33554432000 4194304 16246674 140735235030240 140735235029552 12457395 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 86469 833 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 86474 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 86480 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 86486 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50044 s]
/proc/loadavg: 2.39 2.30 2.25 4/183 10694
/proc/meminfo: memFree=28288172/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1.48 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 216185 0 0 0 117 31 0 0 20 0 4 0 110788878 1346965504 216995 33554432000 4194304 16246674 140735235030240 140735235029552 4207739 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 216995 833 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 216995 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 216995 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 216995 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1315396

[startup+3.1004 s]
/proc/loadavg: 2.39 2.30 2.25 3/183 10694
/proc/meminfo: memFree=28287800/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=3.08 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 216240 0 0 0 277 31 0 0 20 0 4 0 110788878 1346965504 217050 33554432000 4194304 16246674 140735235030240 140735235012160 13780624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 217050 888 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 217050 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 217050 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 217050 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1315396

[startup+6.30038 s]
/proc/loadavg: 2.35 2.29 2.25 3/183 10694
/proc/meminfo: memFree=28263004/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 257780 0 0 0 593 36 0 0 20 0 4 0 110788878 1346965504 258590 33554432000 4194304 16246674 140735235030240 140735235012160 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 258591 888 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 258591 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 258591 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 258591 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.41 2.30 2.25 4/183 10694
/proc/meminfo: memFree=28074784/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=12.68 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269522 0 0 0 1231 37 0 0 20 0 4 0 110788878 1346965504 270332 33554432000 4194304 16246674 140735235030240 140735235012160 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270332 888 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270332 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270332 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270332 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5004 s]
/proc/loadavg: 2.31 2.29 2.25 3/183 10694
/proc/meminfo: memFree=28075544/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=25.49 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269524 0 0 0 2512 37 0 0 20 0 4 0 110788878 1346965504 270334 33554432000 4194304 16246674 140735235030240 140735235012160 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270334 890 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1004 s]
/proc/loadavg: 2.28 2.28 2.25 3/183 10694
/proc/meminfo: memFree=28075004/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269524 0 0 0 5071 37 0 0 20 0 4 0 110788878 1346965504 270334 33554432000 4194304 16246674 140735235030240 140735235012160 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270334 890 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.30 2.28 2.25 3/182 10696
/proc/meminfo: memFree=28075072/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=102.27 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269524 0 0 0 10190 37 0 0 20 0 4 0 110788878 1346965504 270334 33554432000 4194304 16246674 140735235030240 140735235012160 5829844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270334 890 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270334 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.22 2.29 2.26 4/183 10776
/proc/meminfo: memFree=28068812/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1361.96 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 136157 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 5722180 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.17 2.26 2.25 3/183 10777
/proc/meminfo: memFree=28068936/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1421.95 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 142156 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 12483337 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.10 2.22 2.24 3/184 10781
/proc/meminfo: memFree=28068900/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1481.94 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 148155 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 5722604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1315396

[startup+1542.3 s]
/proc/loadavg: 2.29 2.26 2.25 3/184 10805
/proc/meminfo: memFree=28068804/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1541.94 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 154155 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 5722101 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.31 2.27 2.25 3/183 10807
/proc/meminfo: memFree=28068444/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1601.93 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 160154 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 12478480 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.28 2.26 2.25 3/183 10808
/proc/meminfo: memFree=28068264/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1661.92 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 166153 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.41 2.29 2.26 4/183 10809
/proc/meminfo: memFree=28068324/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1721.91 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 172152 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 5823674 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1315396

[startup+1782.31 s]
/proc/loadavg: 2.41 2.31 2.27 3/183 10810
/proc/meminfo: memFree=28067832/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1781.9 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 178151 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.31 2.27 4/183 10811
/proc/meminfo: memFree=28067824/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1800.09 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 179970 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1315396

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

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.31 2.27 4/183 10811
/proc/meminfo: memFree=28067824/32872528 swapFree=16384/1696552
[pid=10690] ppid=10687 vsize=1315396 CPUtime=1800.09 cores=0,2,4,6
/proc/10690/stat : 10690 (toysat) R 10687 10690 5723 0 -1 4202496 269752 0 0 0 179970 39 0 0 20 0 4 0 110788878 1346965504 270343 33554432000 4194304 16246674 140735235030240 140735235012160 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10690/statm: 328849 270343 895 2943 0 325743 0
[pid=10690/tid=10691] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10691/stat : 10691 (toysat) S 10687 10690 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487038053616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10690/tid=10692] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10692/stat : 10692 (toysat) S 10687 10690 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487027563760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10690/tid=10693] ppid=10687 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10690/task/10693/stat : 10693 (toysat) S 10687 10690 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110788879 1346965504 270343 33554432000 4194304 16246674 140735235030240 140487017090224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.71
CPU system time (s): 0.39394
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.39394
maximum resident set size= 1081372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269752
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= 239
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35319 second user time and 7.28089 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 10:35:58
IDJOB=4080033
IDBENCH=90325
IDSOLVER=2542
FILE ID=node125/4080033-1465288558
RUNJOBID= node125-1465259688-5739
PBS_JOBID= 19843289
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 9437b3e9d1ce9c682b2f5f71866292ee
RANDOM SEED=318004832

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29156248 kB
Buffers:           37048 kB
Cached:           155116 kB
SwapCached:         1700 kB
Active:          1138988 kB
Inactive:         132272 kB
Active(anon):    1077400 kB
Inactive(anon):     4772 kB
Active(file):      61588 kB
Inactive(file):   127500 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             18824 kB
Writeback:             0 kB
AnonPages:       2767464 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             609376 kB
SReclaimable:      53148 kB
SUnreclaim:       556228 kB
KernelStack:        1440 kB
PageTables:         9556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2923028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2351104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-07 11:05:59