Trace number 4120794

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 945.859 946.014

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r1.cnf.gz-plain.pb.metafix.opb
MD5SUM11559c818a57ecaac967948ed54bdb1b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark14.0489
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126
Total number of constraints336
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T20:45:17+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-4120794-1467312316.opb"]
0.00/0.01	c use --random-gen="4177697071 1435577914 2089498219 2956727035 2929540381 3398022591 3372795275 2494632456 1156013666 461159643 176252556 828355946 948559738 2735703036 2688948938 4114876277 3939431438 4020032332 4038294198 191995627 2015039189 2522049081 3263537314 2154429042 4045948849 2575857643 2136671582 3004006373 3882249614 194983594 2049265022 556955184 343056080 163126618 2532972981 3466493716 2336024435 2959033550 3560968355 2473136936 2835937794 2384452296 3593014130 1345473842 4279635300 1316371999 1701312516 1052336763 1599884886 1900290730 1421951978 2533826652 2666212155 1495935172 1805703471 3319575173 4166620472 3205998094 132454942 3615118746 1985753163 405039830 1316048094 1816204440 2726718781 3667785829 3510473533 142419005 1193590149 593331773 2340657794 1911595955 3583112637 3412207485 4109267755 202961816 2927513231 3223982957 2546997130 2852920669 2297157608 4167571278 3169199498 101270579 2992170224 1533999257 1755762980 2534829775 3292058937 3975758061 2452887988 705288212 2380124303 2710718000 2954546018 3387956614 724955356 1249553844 3330634761 4255681622 899277613 3320894298 4021367076 510958096 3642555911 3041826193 1729911428 3540609000 893625125 718923313 1232346918 4044658014 2096014384 219238664 319092306 264386210 742309874 1451054847 1394173828 1730686261 1072625225 856162201 2662273521 2393475498 3340722028 1612197360 996580857 379358076 4062463803 1209121743 3889319647 2439327120 1963530519 4228022383 1401102924 1953133650 1529966580 1403177594 2661567041 952590063 2339967992 2088202520 2888379572 4199009717 3982751923 4127013685 3598775967 2862371015 3268346731 918139893 123060256 51945939 2142031026 2512733888 2316514998 2746077226 1330694975 2044243149 103903920 3166648577 4247488136 3778127003 1443509292 829929208 1754845685 2476447598 2248137557 4281286446 3602103147 154730751 1641371310 2954623343 2171260498 453453419 135627447 4250716830 2721358040 2420058525 367211872 2755871621 2490517709 3348610533 2502573248 1676571562 2073686222 505339531 3378901122 4196479262 141911722 1608797734 3564790320 609987915 965816915 1899544675 3426122787 4198130804 52022732 477785963 3278058157 2666159819 2513316812 2646900205 2255944880 3948967692 3725738725 1637210785 2219671002 3262103277 2369300827 3557522254 2632259160 4076232782 2672800382 513675933 2754618821 4272494515 3953637290 1547377882 3298642010 187871885 756888909 4126427418 4026200686 2009622578 2653410426 4056929715 2428839156 2303931272 2809422243 576129351 810008192 656417789 2008155511 1057746319 1331410520 1714477130 2610802410 1220840890 1639368686 1097485288 2608993812 3007845076 4012819581 2585667617 3770563064 2048938374 1095701194 3813789181 4254110116 2009092247 3930006988 422830027 4038537037 2192984732 48553382 4158000297 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 336
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      154      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      140 |      100 |      154      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      366 |      250 |      170      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      650 |      475 |      188      2 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1053 |      813 |      207      5 |        0 |        0
0.09/0.17	c  0.2s |       5 |     1616 |     1320 |      228      8 |        0 |        0
0.19/0.25	c  0.2s |       6 |     2461 |     2081 |      277     13 |        0 |        0
0.29/0.39	c  0.4s |       7 |     3635 |     3223 |      305     20 |        0 |        0
0.49/0.58	c  0.6s |       8 |     5785 |     4936 |      336     29 |        0 |        0
0.89/0.93	c  0.9s |       9 |     8560 |     7506 |      370     43 |        0 |        0
1.20/1.26	c  1.2s |      10 |    13155 |    11361 |      408     61 |        0 |        0
1.69/1.77	c  1.8s |      11 |    20272 |    17144 |      449     88 |        0 |        0
2.39/2.45	c  2.4s |      12 |    32083 |    25819 |      494    125 |        0 |        0
3.29/3.34	c  3.3s |      13 |    50064 |    38832 |      544    175 |        0 |        0
4.59/4.64	c  4.6s |      14 |    76591 |    58352 |      599    245 |        0 |        0
6.59/6.61	c  6.6s |      15 |   115968 |    87632 |      659    340 |        0 |        0
8.59/8.62	c  8.6s |      15 |   156038 |   116432 |      659    426 |        0 |        0
9.59/9.68	c  9.7s |      16 |   178216 |   131552 |      725    470 |        0 |        0
11.58/11.69	c 11.7s |      16 |   215876 |   159552 |      725    546 |        0 |        0
13.58/13.69	c 13.7s |      16 |   252861 |   187552 |      725    622 |        0 |        0
14.29/14.40	c 14.4s |      17 |   266288 |   197432 |      798    648 |        0 |        0
16.38/16.40	c 16.4s |      17 |   303572 |   225232 |      798    717 |        0 |        0
18.38/18.41	c 18.4s |      17 |   342699 |   253532 |      798    787 |        0 |        0
20.38/20.41	c 20.4s |      17 |   381090 |   280932 |      798    854 |        0 |        0
21.48/21.55	c 21.5s |      18 |   401351 |   296252 |      878    892 |        0 |        0
23.48/23.56	c 23.5s |      18 |   438128 |   322652 |      878    951 |        0 |        0
25.48/25.56	c 25.5s |      18 |   472654 |   348652 |      878   1009 |        0 |        0
27.49/27.56	c 27.5s |      18 |   507625 |   374352 |      878   1067 |        0 |        0
29.48/29.56	c 29.5s |      18 |   545990 |   401752 |      878   1129 |        0 |        0
31.48/31.57	c 31.6s |      18 |   585813 |   430352 |      878   1194 |        0 |        0
32.48/32.59	c 32.6s |      19 |   604206 |   444482 |      966   1225 |        0 |        0
34.59/34.60	c 34.6s |      19 |   637781 |   470382 |      966   1277 |        0 |        0
36.58/36.61	c 36.6s |      19 |   670269 |   495782 |      966   1329 |        0 |        0
38.59/38.61	c 38.6s |      19 |   704996 |   521582 |      966   1382 |        0 |        0
40.58/40.61	c 40.6s |      19 |   742460 |   548982 |      966   1438 |        0 |        0
42.58/42.62	c 42.6s |      19 |   779846 |   575982 |      966   1494 |        0 |        0
44.58/44.62	c 44.6s |      19 |   816202 |   603182 |      966   1550 |        0 |        0
46.58/46.62	c 46.6s |      19 |   854946 |   631282 |      966   1607 |        0 |        0
48.58/48.62	c 48.6s |      19 |   893633 |   658882 |      966   1664 |        0 |        0
49.18/49.20	c 49.2s |      20 |   904617 |   666827 |     1063   1679 |        0 |        0
51.19/51.20	c 51.2s |      20 |   939946 |   693027 |     1063   1728 |        0 |        0
53.18/53.21	c 53.2s |      20 |   970936 |   716727 |     1063   1772 |        0 |        0
55.18/55.21	c 55.2s |      20 |  1004480 |   742127 |     1063   1819 |        0 |        0
57.19/57.21	c 57.2s |      20 |  1038317 |   767627 |     1063   1867 |        0 |        0
59.18/59.22	c 59.2s |      20 |  1075513 |   794527 |     1063   1917 |        0 |        0
61.18/61.22	c 61.2s |      20 |  1110537 |   821927 |     1063   1968 |        0 |        0
63.18/63.22	c 63.2s |      20 |  1144551 |   847627 |     1063   2016 |        0 |        0
65.18/65.23	c 65.2s |      20 |  1180364 |   873327 |     1063   2064 |        0 |        0
67.19/67.23	c 67.2s |      20 |  1216087 |   900927 |     1063   2116 |        0 |        0
69.18/69.24	c 69.2s |      20 |  1251338 |   927727 |     1063   2166 |        0 |        0
71.18/71.24	c 71.2s |      20 |  1286448 |   954127 |     1063   2215 |        0 |        0
73.18/73.24	c 73.2s |      20 |  1323523 |   981427 |     1063   2266 |        0 |        0
74.58/74.61	c 74.6s |      21 |  1350648 |  1000345 |     1170   2300 |        0 |        0
76.57/76.62	c 76.6s |      21 |  1385449 |  1025845 |     1170   2344 |        0 |        0
78.57/78.62	c 78.6s |      21 |  1420561 |  1051745 |     1170   2387 |        0 |        0
80.57/80.62	c 80.6s |      21 |  1457150 |  1077245 |     1170   2431 |        0 |        0
82.58/82.64	c 82.6s |      21 |  1491748 |  1102545 |     1170   2474 |        0 |        0
84.58/84.64	c 84.6s |      21 |  1524436 |  1126945 |     1170   2515 |        0 |        0
86.58/86.64	c 86.6s |      21 |  1558503 |  1152945 |     1170   2559 |        0 |        0
88.58/88.65	c 88.6s |      21 |  1591470 |  1177345 |     1170   2601 |        0 |        0
90.58/90.66	c 90.6s |      21 |  1624435 |  1202145 |     1170   2643 |        0 |        0
92.58/92.66	c 92.6s |      21 |  1657370 |  1226345 |     1170   2684 |        0 |        0
94.58/94.67	c 94.7s |      21 |  1688818 |  1249945 |     1170   2724 |        0 |        0
96.58/96.67	c 96.7s |      21 |  1724814 |  1276745 |     1170   2769 |        0 |        0
98.58/98.67	c 98.7s |      21 |  1760707 |  1302945 |     1170   2814 |        0 |        0
100.57/100.67	c  100s |      21 |  1796731 |  1329545 |     1170   2859 |        0 |        0
102.57/102.67	c  102s |      21 |  1833743 |  1356645 |     1170   2905 |        0 |        0
104.58/104.68	c  104s |      21 |  1870618 |  1383545 |     1170   2951 |        0 |        0
106.57/106.68	c  106s |      21 |  1903889 |  1409345 |     1170   2995 |        0 |        0
108.57/108.69	c  108s |      21 |  1940630 |  1436445 |     1170   3041 |        0 |        0
110.57/110.69	c  110s |      21 |  1973769 |  1461745 |     1170   3084 |        0 |        0
112.57/112.69	c  112s |      21 |  2011833 |  1489045 |     1170   3130 |        0 |        0
113.57/113.61	c  113s |      22 |  2026875 |  1500622 |     1287   3148 |        0 |        0
115.58/115.61	c  115s |      22 |  2062350 |  1526222 |     1287   3187 |        0 |        0
117.57/117.62	c  117s |      22 |  2096050 |  1551222 |     1287   3226 |        0 |        0
119.57/119.62	c  119s |      22 |  2129122 |  1576322 |     1287   3265 |        0 |        0
121.57/121.63	c  121s |      22 |  2162475 |  1601522 |     1287   3303 |        0 |        0
123.57/123.63	c  123s |      22 |  2197363 |  1626722 |     1287   3342 |        0 |        0
125.57/125.63	c  125s |      22 |  2229944 |  1651522 |     1287   3381 |        0 |        0
127.57/127.64	c  127s |      22 |  2265871 |  1676722 |     1287   3420 |        0 |        0
129.57/129.65	c  129s |      22 |  2299540 |  1701922 |     1287   3458 |        0 |        0
131.57/131.65	c  131s |      22 |  2332098 |  1726722 |     1287   3497 |        0 |        0
133.56/133.65	c  133s |      22 |  2366857 |  1751622 |     1287   3535 |        0 |        0
135.56/135.66	c  135s |      22 |  2401872 |  1776922 |     1287   3574 |        0 |        0
137.57/137.66	c  137s |      22 |  2436665 |  1802122 |     1287   3613 |        0 |        0
139.56/139.66	c  139s |      22 |  2473475 |  1828022 |     1287   3653 |        0 |        0
141.56/141.67	c  141s |      22 |  2505541 |  1852622 |     1287   3692 |        0 |        0
143.56/143.67	c  143s |      22 |  2539417 |  1877022 |     1287   3729 |        0 |        0
145.57/145.67	c  145s |      22 |  2574644 |  1903522 |     1287   3770 |        0 |        0
147.57/147.68	c  147s |      22 |  2608603 |  1927622 |     1287   3808 |        0 |        0
149.57/149.68	c  149s |      22 |  2642632 |  1951822 |     1287   3845 |        0 |        0
151.56/151.68	c  151s |      22 |  2678223 |  1977122 |     1287   3884 |        0 |        0
153.56/153.69	c  153s |      22 |  2713111 |  2002622 |     1287   3923 |        0 |        0
155.56/155.69	c  155s |      22 |  2746747 |  2028322 |     1287   3963 |        0 |        0
157.56/157.69	c  157s |      22 |  2780770 |  2053422 |     1287   4002 |        0 |        0
159.57/159.70	c  159s |      22 |  2811947 |  2077522 |     1287   4039 |        0 |        0
161.56/161.70	c  161s |      22 |  2846644 |  2102622 |     1287   4078 |        0 |        0
163.66/163.70	c  163s |      22 |  2877141 |  2125622 |     1287   4114 |        0 |        0
165.66/165.71	c  165s |      22 |  2913557 |  2151722 |     1287   4154 |        0 |        0
167.66/167.71	c  167s |      22 |  2949271 |  2177922 |     1287   4195 |        0 |        0
169.66/169.72	c  169s |      22 |  2983101 |  2202922 |     1287   4233 |        0 |        0
171.66/171.72	c  171s |      22 |  3016862 |  2228522 |     1287   4273 |        0 |        0
173.47/173.55	c  173s |      23 |  3047315 |  2251038 |     1416   4305 |        0 |        0
175.47/175.55	c  175s |      23 |  3081839 |  2276338 |     1416   4341 |        0 |        0
177.46/177.55	c  177s |      23 |  3115318 |  2301538 |     1416   4376 |        0 |        0
179.46/179.55	c  179s |      23 |  3151051 |  2326838 |     1416   4411 |        0 |        0
181.47/181.56	c  181s |      23 |  3182740 |  2351038 |     1416   4445 |        0 |        0
183.46/183.56	c  183s |      23 |  3217233 |  2376338 |     1416   4481 |        0 |        0
185.46/185.57	c  185s |      23 |  3249009 |  2400738 |     1416   4515 |        0 |        0
187.46/187.57	c  187s |      23 |  3280086 |  2424238 |     1416   4548 |        0 |        0
189.46/189.58	c  189s |      23 |  3305368 |  2444738 |     1416   4577 |        0 |        0
191.47/191.58	c  191s |      23 |  3338608 |  2469638 |     1416   4612 |        0 |        0
193.46/193.59	c  193s |      23 |  3374748 |  2495338 |     1416   4648 |        0 |        0
195.46/195.59	c  195s |      23 |  3402479 |  2517538 |     1416   4679 |        0 |        0
197.46/197.59	c  197s |      23 |  3430697 |  2540438 |     1416   4712 |        0 |        0
199.56/199.60	c  199s |      23 |  3462101 |  2564338 |     1416   4745 |        0 |        0
201.56/201.60	c  201s |      23 |  3489833 |  2586038 |     1416   4776 |        0 |        0
203.56/203.61	c  203s |      23 |  3520700 |  2609338 |     1416   4808 |        0 |        0
205.56/205.61	c  205s |      23 |  3548999 |  2631338 |     1416   4839 |        0 |        0
207.56/207.62	c  207s |      23 |  3580881 |  2654738 |     1416   4872 |        0 |        0
209.56/209.62	c  209s |      23 |  3614596 |  2680338 |     1416   4908 |        0 |        0
211.55/211.63	c  211s |      23 |  3646941 |  2705238 |     1416   4943 |        0 |        0
213.55/213.63	c  213s |      23 |  3677865 |  2729438 |     1416   4977 |        0 |        0
215.56/215.64	c  215s |      23 |  3710100 |  2753838 |     1416   5011 |        0 |        0
217.55/217.64	c  217s |      23 |  3742014 |  2778638 |     1416   5046 |        0 |        0
219.55/219.64	c  219s |      23 |  3772147 |  2801638 |     1416   5079 |        0 |        0
221.55/221.65	c  221s |      23 |  3801490 |  2823938 |     1416   5110 |        0 |        0
223.55/223.65	c  223s |      23 |  3829569 |  2845738 |     1416   5141 |        0 |        0
225.56/225.65	c  225s |      23 |  3859383 |  2867738 |     1416   5172 |        0 |        0
227.55/227.66	c  227s |      23 |  3885213 |  2889238 |     1416   5202 |        0 |        0
229.56/229.67	c  229s |      23 |  3906288 |  2907938 |     1416   5229 |        0 |        0
231.56/231.67	c  231s |      23 |  3931519 |  2928438 |     1416   5258 |        0 |        0
233.56/233.67	c  233s |      23 |  3960443 |  2951038 |     1416   5290 |        0 |        0
235.56/235.68	c  235s |      23 |  3989884 |  2973738 |     1416   5321 |        0 |        0
237.56/237.68	c  237s |      23 |  4020974 |  2997738 |     1416   5355 |        0 |        0
239.56/239.68	c  239s |      23 |  4050995 |  3021238 |     1416   5388 |        0 |        0
241.56/241.68	c  241s |      23 |  4082217 |  3044838 |     1416   5421 |        0 |        0
243.56/243.69	c  243s |      23 |  4112467 |  3068038 |     1416   5454 |        0 |        0
245.55/245.69	c  245s |      23 |  4142196 |  3091538 |     1416   5487 |        0 |        0
247.65/247.70	c  247s |      23 |  4171244 |  3114138 |     1416   5519 |        0 |        0
249.55/249.70	c  249s |      23 |  4195264 |  3133938 |     1416   5547 |        0 |        0
251.65/251.70	c  251s |      23 |  4218138 |  3153138 |     1416   5574 |        0 |        0
253.65/253.71	c  253s |      23 |  4246516 |  3174938 |     1416   5604 |        0 |        0
255.65/255.71	c  255s |      23 |  4275500 |  3196438 |     1416   5634 |        0 |        0
257.65/257.72	c  257s |      23 |  4306097 |  3219038 |     1416   5666 |        0 |        0
259.66/259.73	c  259s |      23 |  4333976 |  3240938 |     1416   5697 |        0 |        0
261.65/261.73	c  261s |      23 |  4360513 |  3262338 |     1416   5727 |        0 |        0
263.65/263.73	c  263s |      23 |  4393225 |  3286538 |     1416   5761 |        0 |        0
265.65/265.74	c  265s |      23 |  4423994 |  3309738 |     1416   5794 |        0 |        0
267.64/267.74	c  267s |      23 |  4454175 |  3332738 |     1416   5826 |        0 |        0
269.64/269.75	c  269s |      23 |  4485852 |  3356338 |     1558   5859 |        0 |        0
271.34/271.46	c  271s |      24 |  4513110 |  3376662 |     1558   5885 |        0 |        0
273.35/273.46	c  273s |      24 |  4545277 |  3399862 |     1558   5915 |        0 |        0
275.35/275.46	c  275s |      24 |  4576533 |  3423362 |     1558   5945 |        0 |        0
277.35/277.47	c  277s |      24 |  4606814 |  3446162 |     1558   5974 |        0 |        0
279.36/279.47	c  279s |      24 |  4636937 |  3469062 |     1558   6003 |        0 |        0
281.35/281.48	c  281s |      24 |  4668779 |  3493062 |     1558   6034 |        0 |        0
283.35/283.48	c  283s |      24 |  4697200 |  3514962 |     1558   6062 |        0 |        0
285.35/285.48	c  285s |      24 |  4728102 |  3538362 |     1558   6092 |        0 |        0
287.35/287.49	c  287s |      24 |  4759864 |  3562162 |     1558   6122 |        0 |        0
289.35/289.49	c  289s |      24 |  4790512 |  3585262 |     1558   6152 |        0 |        0
291.34/291.49	c  291s |      24 |  4820185 |  3608162 |     1558   6181 |        0 |        0
293.44/293.50	c  293s |      24 |  4850223 |  3631062 |     1558   6210 |        0 |        0
295.44/295.50	c  295s |      24 |  4883411 |  3655362 |     1558   6241 |        0 |        0
297.44/297.51	c  297s |      24 |  4913962 |  3678762 |     1558   6271 |        0 |        0
299.44/299.51	c  299s |      24 |  4942731 |  3701262 |     1558   6300 |        0 |        0
301.45/301.51	c  301s |      24 |  4967134 |  3720962 |     1558   6325 |        0 |        0
303.44/303.52	c  303s |      24 |  4991746 |  3740662 |     1558   6351 |        0 |        0
305.44/305.53	c  305s |      24 |  5020008 |  3762262 |     1558   6378 |        0 |        0
307.44/307.53	c  307s |      24 |  5045546 |  3783062 |     1558   6405 |        0 |        0
309.44/309.53	c  309s |      24 |  5073006 |  3803662 |     1558   6431 |        0 |        0
311.44/311.54	c  311s |      24 |  5104126 |  3826962 |     1558   6461 |        0 |        0
313.44/313.55	c  313s |      24 |  5134330 |  3849962 |     1558   6490 |        0 |        0
315.44/315.55	c  315s |      24 |  5165100 |  3872562 |     1558   6519 |        0 |        0
317.44/317.55	c  317s |      24 |  5196804 |  3896062 |     1558   6549 |        0 |        0
319.44/319.56	c  319s |      24 |  5226342 |  3918762 |     1558   6578 |        0 |        0
321.44/321.56	c  321s |      24 |  5259092 |  3942762 |     1558   6609 |        0 |        0
323.44/323.56	c  323s |      24 |  5292651 |  3967462 |     1558   6640 |        0 |        0
325.44/325.56	c  325s |      24 |  5325767 |  3992162 |     1558   6672 |        0 |        0
327.44/327.57	c  327s |      24 |  5360086 |  4016962 |     1558   6704 |        0 |        0
329.43/329.57	c  329s |      24 |  5392348 |  4040962 |     1558   6735 |        0 |        0
331.43/331.58	c  331s |      24 |  5425908 |  4064562 |     1558   6765 |        0 |        0
333.43/333.58	c  333s |      24 |  5460239 |  4088062 |     1558   6795 |        0 |        0
335.44/335.58	c  335s |      24 |  5493792 |  4111762 |     1558   6825 |        0 |        0
337.44/337.59	c  337s |      24 |  5522114 |  4133962 |     1558   6853 |        0 |        0
339.44/339.59	c  339s |      24 |  5552345 |  4156862 |     1558   6883 |        0 |        0
341.44/341.60	c  341s |      24 |  5584339 |  4180562 |     1558   6913 |        0 |        0
343.54/343.60	c  343s |      24 |  5616675 |  4204362 |     1558   6944 |        0 |        0
345.54/345.61	c  345s |      24 |  5648901 |  4227762 |     1558   6974 |        0 |        0
347.54/347.61	c  347s |      24 |  5682210 |  4251062 |     1558   7004 |        0 |        0
349.54/349.61	c  349s |      24 |  5713514 |  4274262 |     1558   7033 |        0 |        0
351.54/351.62	c  351s |      24 |  5742364 |  4296562 |     1558   7062 |        0 |        0
353.54/353.62	c  353s |      24 |  5768425 |  4316862 |     1558   7088 |        0 |        0
355.54/355.63	c  355s |      24 |  5794915 |  4337262 |     1558   7114 |        0 |        0
357.54/357.63	c  357s |      24 |  5822251 |  4357262 |     1558   7139 |        0 |        0
359.53/359.63	c  359s |      24 |  5850219 |  4377462 |     1558   7165 |        0 |        0
361.53/361.64	c  361s |      24 |  5880666 |  4398162 |     1558   7191 |        0 |        0
363.53/363.65	c  363s |      24 |  5910537 |  4420562 |     1558   7220 |        0 |        0
365.53/365.65	c  365s |      24 |  5939351 |  4442762 |     1558   7248 |        0 |        0
367.53/367.66	c  367s |      24 |  5971378 |  4466062 |     1558   7278 |        0 |        0
369.54/369.66	c  369s |      24 |  6002530 |  4488962 |     1558   7307 |        0 |        0
371.53/371.66	c  371s |      24 |  6030165 |  4511162 |     1558   7336 |        0 |        0
373.53/373.67	c  373s |      24 |  6056125 |  4532762 |     1558   7363 |        0 |        0
375.53/375.67	c  375s |      24 |  6085366 |  4554862 |     1558   7392 |        0 |        0
377.53/377.68	c  377s |      24 |  6115972 |  4577562 |     1558   7421 |        0 |        0
379.53/379.68	c  379s |      24 |  6145044 |  4599962 |     1558   7449 |        0 |        0
381.53/381.69	c  381s |      24 |  6174224 |  4623162 |     1558   7479 |        0 |        0
383.53/383.69	c  383s |      24 |  6205774 |  4646462 |     1558   7509 |        0 |        0
385.63/385.70	c  385s |      24 |  6241198 |  4670162 |     1558   7539 |        0 |        0
387.63/387.71	c  387s |      24 |  6273017 |  4693962 |     1558   7570 |        0 |        0
389.63/389.71	c  389s |      24 |  6301749 |  4715162 |     1558   7597 |        0 |        0
391.64/391.71	c  391s |      24 |  6333096 |  4738662 |     1558   7627 |        0 |        0
393.63/393.71	c  393s |      24 |  6365783 |  4762662 |     1558   7657 |        0 |        0
395.63/395.72	c  395s |      24 |  6398612 |  4786362 |     1558   7688 |        0 |        0
397.63/397.73	c  397s |      24 |  6432567 |  4810362 |     1558   7718 |        0 |        0
399.63/399.73	c  399s |      24 |  6462159 |  4833462 |     1558   7748 |        0 |        0
401.63/401.74	c  401s |      24 |  6490065 |  4854262 |     1558   7775 |        0 |        0
403.63/403.74	c  403s |      24 |  6523116 |  4877862 |     1558   7805 |        0 |        0
405.63/405.74	c  405s |      24 |  6554844 |  4901562 |     1558   7835 |        0 |        0
407.63/407.74	c  407s |      24 |  6584861 |  4924362 |     1558   7864 |        0 |        0
409.63/409.75	c  409s |      24 |  6615782 |  4947362 |     1558   7894 |        0 |        0
411.63/411.75	c  411s |      24 |  6649605 |  4971962 |     1558   7925 |        0 |        0
413.63/413.76	c  413s |      24 |  6680225 |  4995862 |     1558   7956 |        0 |        0
415.63/415.76	c  415s |      24 |  6712250 |  5019662 |     1558   7986 |        0 |        0
417.62/417.77	c  417s |      24 |  6741321 |  5040662 |     1714   8011 |        0 |        0
419.62/419.77	c  419s |      24 |  6771334 |  5062562 |     1714   8037 |        0 |        0
419.82/419.99	c  419s |      25 |  6774547 |  5065098 |     1714   8040 |        0 |        0
421.82/421.99	c  421s |      25 |  6803556 |  5087498 |     1714   8066 |        0 |        0
423.82/423.99	c  423s |      25 |  6833697 |  5110298 |     1714   8092 |        0 |        0
425.92/426.00	c  425s |      25 |  6864790 |  5132898 |     1714   8118 |        0 |        0
427.94/428.00	c  427s |      25 |  6894677 |  5154798 |     1714   8144 |        0 |        0
429.93/430.01	c  429s |      25 |  6922686 |  5176198 |     1714   8169 |        0 |        0
431.93/432.01	c  431s |      25 |  6951186 |  5197598 |     1714   8193 |        0 |        0
433.93/434.01	c  433s |      25 |  6978261 |  5218798 |     1714   8218 |        0 |        0
435.93/436.02	c  436s |      25 |  7007505 |  5241398 |     1714   8244 |        0 |        0
437.93/438.02	c  438s |      25 |  7034739 |  5262798 |     1714   8269 |        0 |        0
439.93/440.03	c  440s |      25 |  7063901 |  5284698 |     1714   8295 |        0 |        0
441.92/442.03	c  442s |      25 |  7091732 |  5306398 |     1714   8320 |        0 |        0
443.92/444.04	c  444s |      25 |  7117955 |  5327698 |     1714   8345 |        0 |        0
445.92/446.05	c  446s |      25 |  7146658 |  5349598 |     1714   8370 |        0 |        0
447.92/448.05	c  448s |      25 |  7173964 |  5370798 |     1714   8395 |        0 |        0
449.93/450.05	c  450s |      25 |  7201913 |  5392398 |     1714   8420 |        0 |        0
451.92/452.06	c  452s |      25 |  7225751 |  5412098 |     1714   8443 |        0 |        0
453.92/454.07	c  454s |      25 |  7251030 |  5432398 |     1714   8466 |        0 |        0
455.92/456.07	c  456s |      25 |  7274055 |  5451998 |     1714   8489 |        0 |        0
457.92/458.08	c  458s |      25 |  7298869 |  5472498 |     1714   8513 |        0 |        0
459.92/460.09	c  460s |      25 |  7324917 |  5492698 |     1714   8536 |        0 |        0
461.93/462.10	c  462s |      25 |  7349560 |  5512698 |     1714   8560 |        0 |        0
464.02/464.10	c  464s |      25 |  7374969 |  5532798 |     1714   8583 |        0 |        0
466.02/466.11	c  466s |      25 |  7400994 |  5552998 |     1714   8606 |        0 |        0
468.02/468.11	c  468s |      25 |  7425333 |  5572598 |     1714   8629 |        0 |        0
470.02/470.11	c  470s |      25 |  7452766 |  5592698 |     1714   8653 |        0 |        0
472.02/472.11	c  472s |      25 |  7478908 |  5613298 |     1714   8677 |        0 |        0
474.03/474.12	c  474s |      25 |  7506454 |  5634998 |     1714   8702 |        0 |        0
476.02/476.12	c  476s |      25 |  7530917 |  5654598 |     1714   8725 |        0 |        0
478.02/478.12	c  478s |      25 |  7557043 |  5675398 |     1714   8749 |        0 |        0
480.02/480.13	c  480s |      25 |  7584429 |  5696598 |     1714   8773 |        0 |        0
482.02/482.13	c  482s |      25 |  7612762 |  5718098 |     1714   8798 |        0 |        0
484.03/484.13	c  484s |      25 |  7640137 |  5739398 |     1714   8823 |        0 |        0
486.02/486.13	c  486s |      25 |  7665147 |  5759298 |     1714   8846 |        0 |        0
488.02/488.14	c  488s |      25 |  7687287 |  5778398 |     1714   8868 |        0 |        0
490.02/490.14	c  490s |      25 |  7711396 |  5797998 |     1714   8891 |        0 |        0
492.02/492.15	c  492s |      25 |  7739010 |  5818198 |     1714   8915 |        0 |        0
494.01/494.16	c  494s |      25 |  7768089 |  5838898 |     1714   8939 |        0 |        0
496.02/496.16	c  496s |      25 |  7797204 |  5860998 |     1714   8964 |        0 |        0
498.01/498.16	c  498s |      25 |  7826742 |  5882898 |     1714   8990 |        0 |        0
500.01/500.16	c  500s |      25 |  7853225 |  5903698 |     1714   9014 |        0 |        0
502.01/502.17	c  502s |      25 |  7882629 |  5925898 |     1714   9040 |        0 |        0
504.01/504.17	c  504s |      25 |  7910481 |  5947398 |     1714   9064 |        0 |        0
506.02/506.17	c  506s |      25 |  7939752 |  5969598 |     1714   9090 |        0 |        0
508.01/508.19	c  508s |      25 |  7966588 |  5990598 |     1714   9115 |        0 |        0
510.01/510.19	c  510s |      25 |  7986940 |  6008098 |     1714   9135 |        0 |        0
512.11/512.20	c  512s |      25 |  8008859 |  6025698 |     1714   9155 |        0 |        0
514.11/514.20	c  514s |      25 |  8031685 |  6044298 |     1714   9177 |        0 |        0
516.11/516.20	c  516s |      25 |  8057618 |  6064498 |     1714   9200 |        0 |        0
518.12/518.21	c  518s |      25 |  8087701 |  6086398 |     1714   9226 |        0 |        0
520.11/520.22	c  520s |      25 |  8117240 |  6108198 |     1714   9251 |        0 |        0
522.11/522.22	c  522s |      25 |  8144277 |  6128598 |     1714   9275 |        0 |        0
524.11/524.23	c  524s |      25 |  8171753 |  6148298 |     1714   9298 |        0 |        0
526.11/526.23	c  526s |      25 |  8200819 |  6169398 |     1714   9322 |        0 |        0
528.11/528.23	c  528s |      25 |  8228117 |  6190398 |     1714   9347 |        0 |        0
530.11/530.24	c  530s |      25 |  8256311 |  6211598 |     1714   9371 |        0 |        0
532.10/532.24	c  532s |      25 |  8285202 |  6233098 |     1714   9396 |        0 |        0
534.10/534.25	c  534s |      25 |  8309806 |  6252998 |     1714   9419 |        0 |        0
536.10/536.25	c  536s |      25 |  8335464 |  6273098 |     1714   9443 |        0 |        0
538.10/538.26	c  538s |      25 |  8363241 |  6294298 |     1714   9467 |        0 |        0
540.12/540.27	c  540s |      25 |  8390197 |  6314998 |     1714   9491 |        0 |        0
542.11/542.28	c  542s |      25 |  8418220 |  6334998 |     1714   9515 |        0 |        0
544.11/544.29	c  544s |      25 |  8448212 |  6356598 |     1714   9540 |        0 |        0
546.11/546.29	c  546s |      25 |  8477333 |  6377698 |     1714   9564 |        0 |        0
548.21/548.30	c  548s |      25 |  8506042 |  6398698 |     1714   9589 |        0 |        0
550.21/550.30	c  550s |      25 |  8534227 |  6419898 |     1714   9613 |        0 |        0
552.22/552.31	c  552s |      25 |  8560545 |  6439698 |     1714   9636 |        0 |        0
554.21/554.31	c  554s |      25 |  8587590 |  6459998 |     1714   9660 |        0 |        0
556.21/556.32	c  556s |      25 |  8611231 |  6478498 |     1714   9681 |        0 |        0
558.21/558.32	c  558s |      25 |  8639775 |  6499498 |     1714   9706 |        0 |        0
560.21/560.32	c  560s |      25 |  8667568 |  6520898 |     1714   9731 |        0 |        0
562.21/562.33	c  562s |      25 |  8696775 |  6542598 |     1714   9756 |        0 |        0
564.21/564.33	c  564s |      25 |  8723845 |  6563698 |     1714   9780 |        0 |        0
566.20/566.33	c  566s |      25 |  8752941 |  6584998 |     1714   9805 |        0 |        0
568.20/568.34	c  568s |      25 |  8779921 |  6604798 |     1714   9828 |        0 |        0
570.20/570.34	c  570s |      25 |  8805967 |  6624398 |     1714   9851 |        0 |        0
572.20/572.35	c  572s |      25 |  8832593 |  6644498 |     1714   9874 |        0 |        0
574.21/574.36	c  574s |      25 |  8858813 |  6663898 |     1714   9897 |        0 |        0
576.20/576.37	c  576s |      25 |  8881924 |  6682498 |     1714   9919 |        0 |        0
578.20/578.37	c  578s |      25 |  8908477 |  6702498 |     1714   9942 |        0 |        0
580.20/580.38	c  580s |      25 |  8933295 |  6721698 |     1714   9964 |        0 |        0
582.20/582.38	c  582s |      25 |  8960498 |  6742198 |     1714   9988 |        0 |        0
584.20/584.39	c  584s |      25 |  8988999 |  6763398 |     1714  10013 |        0 |        0
586.20/586.39	c  586s |      25 |  9017709 |  6785098 |     1714  10038 |        0 |        0
588.20/588.39	c  588s |      25 |  9045403 |  6804898 |     1714  10061 |        0 |        0
590.29/590.40	c  590s |      25 |  9070719 |  6823898 |     1714  10083 |        0 |        0
592.29/592.40	c  592s |      25 |  9094947 |  6842298 |     1714  10104 |        0 |        0
594.29/594.41	c  594s |      25 |  9119394 |  6860398 |     1714  10125 |        0 |        0
596.29/596.41	c  596s |      25 |  9142949 |  6879298 |     1714  10147 |        0 |        0
598.30/598.41	c  598s |      25 |  9168369 |  6898598 |     1714  10170 |        0 |        0
600.30/600.41	c  600s |      25 |  9195379 |  6918298 |     1714  10193 |        0 |        0
602.30/602.42	c  602s |      25 |  9218382 |  6936998 |     1714  10214 |        0 |        0
604.30/604.42	c  604s |      25 |  9243329 |  6956398 |     1714  10237 |        0 |        0
606.30/606.42	c  606s |      25 |  9266021 |  6974798 |     1714  10258 |        0 |        0
608.31/608.43	c  608s |      25 |  9291727 |  6994198 |     1714  10281 |        0 |        0
610.30/610.43	c  610s |      25 |  9316242 |  7014198 |     1714  10304 |        0 |        0
612.30/612.44	c  612s |      25 |  9340547 |  7033798 |     1714  10327 |        0 |        0
614.29/614.45	c  614s |      25 |  9366865 |  7052498 |     1714  10349 |        0 |        0
616.29/616.45	c  616s |      25 |  9395079 |  7073798 |     1714  10373 |        0 |        0
618.29/618.46	c  618s |      25 |  9419972 |  7092898 |     1714  10396 |        0 |        0
620.30/620.47	c  620s |      25 |  9442864 |  7112098 |     1714  10418 |        0 |        0
622.29/622.47	c  622s |      25 |  9468987 |  7132598 |     1714  10442 |        0 |        0
624.29/624.47	c  624s |      25 |  9494675 |  7153098 |     1714  10465 |        0 |        0
626.29/626.48	c  626s |      25 |  9521468 |  7173598 |     1714  10489 |        0 |        0
628.30/628.48	c  628s |      25 |  9543539 |  7192398 |     1714  10511 |        0 |        0
630.30/630.49	c  630s |      25 |  9568129 |  7212198 |     1714  10534 |        0 |        0
632.30/632.49	c  632s |      25 |  9596953 |  7232898 |     1714  10558 |        0 |        0
634.40/634.50	c  634s |      25 |  9622494 |  7252598 |     1714  10581 |        0 |        0
636.40/636.51	c  636s |      25 |  9651288 |  7273398 |     1714  10605 |        0 |        0
638.39/638.51	c  638s |      25 |  9681353 |  7295598 |     1714  10631 |        0 |        0
640.39/640.52	c  640s |      25 |  9710448 |  7317498 |     1714  10657 |        0 |        0
642.40/642.52	c  642s |      25 |  9738397 |  7338998 |     1714  10682 |        0 |        0
644.39/644.52	c  644s |      25 |  9763870 |  7358498 |     1714  10704 |        0 |        0
646.39/646.53	c  646s |      25 |  9792663 |  7380198 |     1714  10729 |        0 |        0
648.39/648.53	c  648s |      25 |  9821970 |  7402398 |     1714  10755 |        0 |        0
650.39/650.54	c  650s |      25 |  9850780 |  7424198 |     1714  10781 |        0 |        0
652.39/652.55	c  652s |      25 |  9879055 |  7445698 |     1714  10806 |        0 |        0
654.39/654.55	c  654s |      25 |  9909074 |  7468198 |     1714  10832 |        0 |        0
656.39/656.55	c  656s |      25 |  9939682 |  7490998 |     1714  10858 |        0 |        0
658.39/658.56	c  658s |      25 |  9964537 |  7510698 |     1714  10881 |        0 |        0
660.39/660.56	c  660s |      25 |  9991308 |  7531298 |     1714  10905 |        0 |        0
662.39/662.57	c  662s |      25 | 10018991 |  7551598 |     1886  10928 |        0 |        0
664.39/664.57	c  664s |      25 | 10045202 |  7571398 |     1886  10949 |        0 |        0
666.38/666.58	c  666s |      25 | 10068726 |  7590798 |     1886  10969 |        0 |        0
667.38/667.50	c  667s |      26 | 10076011 |  7597752 |     1886  10976 |        0 |        0
669.38/669.51	c  669s |      26 | 10100380 |  7616152 |     1886  10996 |        0 |        0
671.39/671.52	c  671s |      26 | 10123409 |  7634152 |     1886  11015 |        0 |        0
673.39/673.52	c  673s |      26 | 10146852 |  7652352 |     1886  11034 |        0 |        0
675.40/675.52	c  675s |      26 | 10169446 |  7670452 |     1886  11053 |        0 |        0
677.39/677.52	c  677s |      26 | 10193792 |  7688552 |     1886  11072 |        0 |        0
679.39/679.53	c  679s |      26 | 10216556 |  7706352 |     1886  11091 |        0 |        0
681.39/681.53	c  681s |      26 | 10240887 |  7724652 |     1886  11110 |        0 |        0
683.39/683.53	c  683s |      26 | 10264352 |  7743052 |     1886  11129 |        0 |        0
685.38/685.53	c  685s |      26 | 10287191 |  7760852 |     1886  11148 |        0 |        0
687.39/687.54	c  687s |      26 | 10308771 |  7778152 |     1886  11167 |        0 |        0
689.38/689.54	c  689s |      26 | 10332409 |  7796552 |     1886  11186 |        0 |        0
691.38/691.54	c  691s |      26 | 10355463 |  7815052 |     1886  11205 |        0 |        0
693.38/693.56	c  693s |      26 | 10379667 |  7834052 |     1886  11226 |        0 |        0
695.38/695.56	c  695s |      26 | 10405543 |  7852952 |     1886  11245 |        0 |        0
697.39/697.57	c  697s |      26 | 10430176 |  7871952 |     1886  11265 |        0 |        0
699.38/699.57	c  699s |      26 | 10455983 |  7891252 |     1886  11286 |        0 |        0
701.38/701.58	c  701s |      26 | 10480561 |  7910852 |     1886  11307 |        0 |        0
703.38/703.58	c  703s |      26 | 10506936 |  7930452 |     1886  11327 |        0 |        0
705.38/705.58	c  705s |      26 | 10532499 |  7949752 |     1886  11348 |        0 |        0
707.38/707.59	c  707s |      26 | 10556198 |  7968052 |     1886  11367 |        0 |        0
709.38/709.59	c  709s |      26 | 10581546 |  7987552 |     1886  11387 |        0 |        0
711.48/711.60	c  711s |      26 | 10607490 |  8007452 |     1886  11408 |        0 |        0
713.48/713.60	c  713s |      26 | 10636286 |  8028552 |     1886  11431 |        0 |        0
715.48/715.60	c  715s |      26 | 10664585 |  8049952 |     1886  11453 |        0 |        0
717.48/717.61	c  717s |      26 | 10689378 |  8069852 |     1886  11474 |        0 |        0
719.48/719.61	c  719s |      26 | 10714260 |  8089552 |     1886  11495 |        0 |        0
721.49/721.62	c  721s |      26 | 10741355 |  8110452 |     1886  11517 |        0 |        0
723.48/723.63	c  723s |      26 | 10769672 |  8130552 |     1886  11539 |        0 |        0
725.48/725.63	c  725s |      26 | 10799875 |  8152252 |     1886  11561 |        0 |        0
727.48/727.64	c  727s |      26 | 10829048 |  8173652 |     1886  11584 |        0 |        0
729.48/729.64	c  729s |      26 | 10858756 |  8194852 |     1886  11606 |        0 |        0
731.48/731.65	c  731s |      26 | 10886384 |  8215552 |     1886  11628 |        0 |        0
733.48/733.65	c  733s |      26 | 10914045 |  8236452 |     1886  11650 |        0 |        0
735.47/735.65	c  735s |      26 | 10940255 |  8256452 |     1886  11672 |        0 |        0
737.47/737.66	c  737s |      26 | 10968226 |  8277252 |     1886  11694 |        0 |        0
739.47/739.66	c  739s |      26 | 10996813 |  8298052 |     1886  11716 |        0 |        0
741.47/741.67	c  741s |      26 | 11024593 |  8318952 |     1886  11738 |        0 |        0
743.49/743.67	c  743s |      26 | 11050921 |  8340152 |     1886  11760 |        0 |        0
745.48/745.69	c  745s |      26 | 11078758 |  8360452 |     1886  11782 |        0 |        0
747.48/747.69	c  747s |      26 | 11106691 |  8382052 |     1886  11804 |        0 |        0
749.58/749.70	c  749s |      26 | 11132548 |  8402452 |     1886  11826 |        0 |        0
751.58/751.71	c  751s |      26 | 11158027 |  8423052 |     1886  11848 |        0 |        0
753.58/753.72	c  753s |      26 | 11184553 |  8443852 |     1886  11870 |        0 |        0
755.58/755.73	c  755s |      26 | 11215554 |  8466252 |     1886  11893 |        0 |        0
757.58/757.74	c  757s |      26 | 11244878 |  8487252 |     1886  11915 |        0 |        0
759.58/759.74	c  759s |      26 | 11275791 |  8509452 |     1886  11939 |        0 |        0
761.58/761.74	c  761s |      26 | 11306212 |  8531252 |     1886  11962 |        0 |        0
763.58/763.75	c  763s |      26 | 11334396 |  8552252 |     1886  11984 |        0 |        0
765.58/765.76	c  765s |      26 | 11359782 |  8571652 |     1886  12005 |        0 |        0
767.57/767.77	c  767s |      26 | 11388198 |  8592852 |     1886  12027 |        0 |        0
769.57/769.78	c  769s |      26 | 11418751 |  8614952 |     1886  12051 |        0 |        0
771.57/771.78	c  771s |      26 | 11451523 |  8637852 |     1886  12075 |        0 |        0
773.57/773.79	c  773s |      26 | 11484457 |  8660552 |     1886  12099 |        0 |        0
775.57/775.79	c  775s |      26 | 11516765 |  8683652 |     1886  12123 |        0 |        0
777.68/777.80	c  777s |      26 | 11548647 |  8706852 |     1886  12148 |        0 |        0
779.67/779.82	c  779s |      26 | 11577386 |  8728552 |     1886  12171 |        0 |        0
781.67/781.82	c  781s |      26 | 11606115 |  8749552 |     1886  12193 |        0 |        0
783.67/783.82	c  783s |      26 | 11639266 |  8772052 |     1886  12216 |        0 |        0
785.67/785.83	c  785s |      26 | 11669403 |  8794052 |     1886  12240 |        0 |        0
787.67/787.83	c  787s |      26 | 11699173 |  8816052 |     1886  12263 |        0 |        0
789.67/789.84	c  789s |      26 | 11728797 |  8838252 |     1886  12286 |        0 |        0
791.67/791.84	c  791s |      26 | 11758009 |  8859452 |     1886  12309 |        0 |        0
793.67/793.85	c  793s |      26 | 11783706 |  8879352 |     1886  12330 |        0 |        0
795.67/795.86	c  795s |      26 | 11809211 |  8899252 |     1886  12351 |        0 |        0
797.66/797.86	c  797s |      26 | 11837786 |  8920652 |     1886  12373 |        0 |        0
799.67/799.86	c  799s |      26 | 11865294 |  8941752 |     1886  12396 |        0 |        0
801.66/801.87	c  801s |      26 | 11894996 |  8964152 |     1886  12419 |        0 |        0
803.66/803.88	c  803s |      26 | 11923768 |  8985852 |     1886  12442 |        0 |        0
805.66/805.89	c  805s |      26 | 11953449 |  9007252 |     1886  12465 |        0 |        0
807.67/807.89	c  807s |      26 | 11983870 |  9029652 |     1886  12489 |        0 |        0
809.67/809.89	c  809s |      26 | 12010721 |  9050452 |     1886  12510 |        0 |        0
811.67/811.90	c  811s |      26 | 12038341 |  9071452 |     1886  12533 |        0 |        0
813.77/813.90	c  813s |      26 | 12068901 |  9093552 |     1886  12556 |        0 |        0
815.77/815.91	c  815s |      26 | 12098914 |  9115952 |     1886  12580 |        0 |        0
817.77/817.91	c  817s |      26 | 12126590 |  9136852 |     1886  12602 |        0 |        0
819.77/819.91	c  819s |      26 | 12156831 |  9159252 |     1886  12626 |        0 |        0
821.77/821.92	c  821s |      26 | 12186349 |  9181052 |     1886  12649 |        0 |        0
823.77/823.93	c  823s |      26 | 12216589 |  9202852 |     1886  12672 |        0 |        0
825.76/825.94	c  825s |      26 | 12244620 |  9222452 |     1886  12692 |        0 |        0
827.76/827.94	c  827s |      26 | 12274111 |  9243452 |     1886  12714 |        0 |        0
829.76/829.94	c  829s |      26 | 12304301 |  9265452 |     1886  12736 |        1 |        4
831.76/831.94	c  831s |      26 | 12333294 |  9286552 |     1886  12759 |        1 |        4
833.77/833.94	c  833s |      26 | 12361649 |  9307852 |     1886  12781 |        1 |        4
835.76/835.95	c  835s |      26 | 12389455 |  9328152 |     1886  12803 |        1 |        4
837.76/837.95	c  837s |      26 | 12417176 |  9348552 |     1886  12824 |        1 |        4
839.76/839.96	c  839s |      26 | 12443174 |  9367852 |     1886  12844 |        1 |        4
841.76/841.96	c  841s |      26 | 12470654 |  9388752 |     1886  12867 |        1 |        4
843.76/843.97	c  843s |      26 | 12502291 |  9410552 |     1886  12890 |        1 |        4
845.77/845.97	c  845s |      26 | 12531424 |  9431752 |     1886  12912 |        1 |        4
847.76/847.98	c  847s |      26 | 12559171 |  9452952 |     1886  12934 |        1 |        4
849.76/849.98	c  849s |      26 | 12586442 |  9473452 |     1886  12956 |        1 |        4
851.76/851.98	c  851s |      26 | 12616276 |  9495752 |     1886  12980 |        1 |        4
853.76/853.98	c  853s |      26 | 12643361 |  9516552 |     1886  13002 |        1 |        4
855.76/855.99	c  855s |      26 | 12672119 |  9538252 |     1886  13025 |        1 |        4
857.76/857.99	c  857s |      26 | 12699896 |  9559652 |     1886  13047 |        1 |        4
859.86/860.00	c  859s |      26 | 12731113 |  9581852 |     1886  13071 |        1 |        4
861.86/862.00	c  861s |      26 | 12760225 |  9603152 |     1886  13093 |        1 |        4
863.85/864.01	c  863s |      26 | 12790051 |  9625052 |     1886  13116 |        1 |        4
865.85/866.01	c  865s |      26 | 12816424 |  9645152 |     1886  13137 |        1 |        4
867.86/868.02	c  868s |      26 | 12844261 |  9665952 |     1886  13159 |        1 |        4
869.85/870.03	c  870s |      26 | 12870036 |  9685952 |     1886  13180 |        1 |        4
871.85/872.03	c  872s |      26 | 12901361 |  9708352 |     1886  13204 |        1 |        4
873.86/874.04	c  874s |      26 | 12932496 |  9731152 |     1886  13228 |        1 |        4
875.86/876.04	c  876s |      26 | 12962877 |  9753452 |     1886  13252 |        1 |        4
877.86/878.04	c  878s |      26 | 12992102 |  9775452 |     1886  13275 |        1 |        4
879.87/880.05	c  880s |      26 | 13017650 |  9796352 |     1886  13297 |        1 |        4
881.86/882.05	c  882s |      26 | 13047490 |  9818652 |     1886  13320 |        1 |        4
883.86/884.05	c  884s |      26 | 13077705 |  9840852 |     1886  13344 |        1 |        4
885.86/886.06	c  886s |      26 | 13107026 |  9862552 |     1886  13367 |        1 |        4
887.86/888.07	c  888s |      26 | 13137215 |  9885052 |     1886  13390 |        1 |        4
889.86/890.07	c  890s |      26 | 13165541 |  9906752 |     1886  13412 |        2 |        8
891.85/892.07	c  892s |      26 | 13189879 |  9926652 |     1886  13433 |        2 |        8
893.85/894.08	c  894s |      26 | 13216372 |  9947152 |     1886  13455 |        2 |        8
895.85/896.08	c  896s |      26 | 13246439 |  9969052 |     1886  13478 |        2 |        8
897.85/898.08	c  898s |      26 | 13275363 |  9990352 |     1886  13501 |        2 |        8
899.85/900.09	c  900s |      26 | 13305068 | 10012152 |     1886  13524 |        2 |        8
901.85/902.10	c  902s |      26 | 13331919 | 10032352 |     1886  13545 |        2 |        8
903.95/904.11	c  904s |      26 | 13359897 | 10053652 |     1886  13567 |        2 |        8
905.95/906.12	c  906s |      26 | 13387414 | 10074652 |     1886  13590 |        2 |        8
907.95/908.12	c  908s |      26 | 13415389 | 10096152 |     1886  13612 |        2 |        8
909.95/910.12	c  910s |      26 | 13443372 | 10117652 |     1886  13635 |        2 |        8
911.95/912.13	c  912s |      26 | 13470027 | 10138052 |     1886  13656 |        2 |        8
913.95/914.13	c  914s |      26 | 13496367 | 10157752 |     1886  13677 |        2 |        8
915.94/916.14	c  916s |      26 | 13525929 | 10179952 |     1886  13701 |        2 |        8
917.95/918.15	c  918s |      26 | 13553313 | 10200452 |     1886  13722 |        2 |        8
919.95/920.16	c  920s |      26 | 13581015 | 10221152 |     1886  13744 |        2 |        8
921.95/922.16	c  922s |      26 | 13611900 | 10243452 |     1886  13766 |        3 |       12
923.96/924.16	c  924s |      26 | 13645560 | 10267052 |     1886  13791 |        3 |       12
925.95/926.17	c  926s |      26 | 13675611 | 10289352 |     1886  13815 |        3 |       12
927.95/928.17	c  928s |      26 | 13703058 | 10310352 |     1886  13837 |        3 |       12
929.95/930.18	c  930s |      26 | 13732557 | 10332652 |     1886  13860 |        3 |       12
931.94/932.18	c  932s |      26 | 13764423 | 10355752 |     1886  13885 |        3 |       12
933.94/934.19	c  934s |      26 | 13797821 | 10379552 |     1886  13908 |        4 |       16
935.95/936.20	c  936s |      26 | 13826669 | 10402052 |     1886  13932 |        4 |       16
938.04/938.20	c  938s |      26 | 13856462 | 10424452 |     1886  13955 |        4 |       16
940.04/940.21	c  940s |      26 | 13887244 | 10446952 |     1886  13979 |        5 |       20
942.04/942.21	c  942s |      26 | 13918782 | 10469952 |     1886  14003 |        5 |       20
944.04/944.22	c  944s |      26 | 13949729 | 10493252 |     1886  14026 |        6 |       24
945.74/945.95	c  945s |      26 | 13979090 | 10514771 |     1886  14044 |       40 |       76
945.74/945.95	c #cpu_time = 943.507s
945.74/945.95	c #wall_clock_time = 945.936s
945.74/945.95	c #decision = 13979090
945.74/945.95	c #random_decision = 67730
945.74/945.95	c #conflict = 10514771
945.74/945.95	c #restart = 26
945.74/945.95	s UNSATISFIABLE
945.74/945.95	c total CPU time = 943.526s
945.74/945.95	c total wall clock time = 945.955s

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

pid=18621
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: 1.14 1.17 1.36 4/178 18624
/proc/meminfo: memFree=28339564/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 2930 0 0 0 0 0 0 0 20 0 4 0 12190166 801566720 3290 33554432000 4194304 16246674 140734323671984 140734323671408 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 196207 3300 441 2943 0 193101 0
[pid=18624/tid=18625] ppid=18621 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 819392512 3361 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 823586816 3377 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 828829696 3398 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.14 1.17 1.36 4/178 18624
/proc/meminfo: memFree=28339564/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 26282 0 0 0 6 3 0 0 20 0 4 0 12190166 1247350784 26632 33554432000 4194304 16246674 140734323671984 140734323653888 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 304529 26642 708 2943 0 301423 0
[pid=18624/tid=18625] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 26648 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 26655 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 26665 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200459 s]
/proc/loadavg: 1.14 1.17 1.36 4/178 18624
/proc/meminfo: memFree=28339564/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 49989 0 0 0 13 6 0 0 20 0 4 0 12190166 1247350784 50339 33554432000 4194304 16246674 140734323671984 140734323653888 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 304529 50347 708 2943 0 301423 0
[pid=18624/tid=18625] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 50354 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 50361 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 50369 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300404 s]
/proc/loadavg: 1.14 1.17 1.36 4/178 18624
/proc/meminfo: memFree=28339564/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 73954 0 0 0 19 10 0 0 20 0 4 0 12190166 1247350784 74303 33554432000 4194304 16246674 140734323671984 140734323653888 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 304529 74312 708 2943 0 301423 0
[pid=18624/tid=18625] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 74319 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 74328 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 74334 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700381 s]
/proc/loadavg: 1.14 1.17 1.36 4/178 18624
/proc/meminfo: memFree=28339564/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 170700 0 0 0 45 24 0 0 20 0 4 0 12190166 1247350784 171049 33554432000 4194304 16246674 140734323671984 140734323653888 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 304529 171059 708 2943 0 301423 0
[pid=18624/tid=18625] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 171069 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 171079 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1247350784 171084 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 1.14 1.17 1.36 4/183 18629
/proc/meminfo: memFree=26384352/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 245604 0 0 0 116 33 0 0 20 0 4 0 12190166 1248399360 245933 33554432000 4194304 16246674 140734323671984 140734323653888 7249949 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 304785 245933 786 2943 0 301679 0
[pid=18624/tid=18625] ppid=18621 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1248399360 245933 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1248399360 245933 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1248399360 245933 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10034 s]
/proc/loadavg: 1.14 1.17 1.36 4/183 18629
/proc/meminfo: memFree=26208884/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 267358 0 0 0 273 36 0 0 20 0 4 0 12190166 1337528320 267687 33554432000 4194304 16246674 140734323671984 140734323653888 5721768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 326545 267687 786 2943 0 323439 0
[pid=18624/tid=18625] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267687 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267687 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267687 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 1.21 1.18 1.37 3/183 18678
/proc/meminfo: memFree=26209880/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 267443 0 0 0 593 36 0 0 20 0 4 0 12190166 1337528320 267772 33554432000 4194304 16246674 140734323671984 140734323654984 12483512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 326545 267772 786 2943 0 323439 0
[pid=18624/tid=18625] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267772 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267772 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267772 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.28 1.19 1.37 3/183 18678
/proc/meminfo: memFree=26210152/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 267476 0 0 0 1232 36 0 0 20 0 4 0 12190166 1337528320 267805 33554432000 4194304 16246674 140734323671984 140734323653888 5676784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 326545 267805 789 2943 0 323439 0
[pid=18624/tid=18625] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267805 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267805 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267805 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.44 1.23 1.38 3/183 18678
/proc/meminfo: memFree=26210348/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 267483 0 0 0 2512 36 0 0 20 0 4 0 12190166 1337528320 267812 33554432000 4194304 16246674 140734323671984 140734323654984 5717184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 326545 267812 789 2943 0 323439 0
[pid=18624/tid=18625] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267812 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267812 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1337528320 267812 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.70 1.31 1.40 3/183 18678
/proc/meminfo: memFree=26209736/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1307204 CPUtime=51.09 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 267659 0 0 0 5071 38 0 0 20 0 4 0 12190166 1338576896 267988 33554432000 4194304 16246674 140734323671984 140734323654984 5522917 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 326801 267988 790 2943 0 323695 0
[pid=18624/tid=18625] ppid=18621 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1338576896 267988 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1338576896 267988 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1338576896 267988 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 1.97 1.44 1.44 3/183 18679
/proc/meminfo: memFree=26209072/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 267799 0 0 0 10189 39 0 0 20 0 4 0 12190166 1338576896 268128 33554432000 4194304 16246674 140734323671984 140734323653888 5832857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 326801 268128 790 2943 0 323695 0
[pid=18624/tid=18625] ppid=18621 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1338576896 268128 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1338576896 268128 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1338576896 268128 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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


[startup+582.3 s]
/proc/loadavg: 2.21 2.06 1.74 3/183 18741
/proc/meminfo: memFree=26204348/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1308228 CPUtime=582.2 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268085 0 0 0 58171 49 0 0 20 0 4 0 12190166 1339625472 268414 33554432000 4194304 16246674 140734323671984 140734323654984 5673600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327057 268414 790 2943 0 323951 0
[pid=18624/tid=18625] ppid=18621 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1339625472 268414 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1339625472 268414 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1339625472 268414 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1308228

[startup+642.3 s]
/proc/loadavg: 2.26 2.09 1.77 3/183 18742
/proc/meminfo: memFree=26201860/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=642.19 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268597 0 0 0 64168 51 0 0 20 0 4 0 12190166 1341722624 268926 33554432000 4194304 16246674 140734323671984 140734323653888 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 268926 790 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268926 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268926 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268926 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 1310276

[startup+702.3 s]
/proc/loadavg: 2.28 2.12 1.80 3/183 18840
/proc/meminfo: memFree=26201992/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=702.18 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268598 0 0 0 70166 52 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140734323653888 13194491 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 268927 791 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 1310276

[startup+762.3 s]
/proc/loadavg: 2.22 2.13 1.82 3/183 18841
/proc/meminfo: memFree=26201592/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=762.18 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268598 0 0 0 76164 54 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140734323654984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 268927 791 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 1310276

[startup+822.3 s]
/proc/loadavg: 2.22 2.13 1.83 3/183 18842
/proc/meminfo: memFree=26201480/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=822.17 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268598 0 0 0 82162 55 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140734323653888 5823849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 268927 791 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 822.17
Current children cumulated vsize (KiB) 1310276

[startup+882.307 s]
/proc/loadavg: 2.25 2.15 1.86 3/183 18844
/proc/meminfo: memFree=26201604/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=882.17 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268598 0 0 0 88161 56 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140734323653888 12478079 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 268927 791 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 268927 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882.17
Current children cumulated vsize (KiB) 1310276

[startup+942.3 s]
/proc/loadavg: 2.33 2.18 1.88 4/184 18897
/proc/meminfo: memFree=26199932/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=942.14 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268611 0 0 0 94157 57 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140734323653888 5823933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 269183 791 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1310276

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

[startup+944 s]
/proc/loadavg: 2.30 2.18 1.88 3/184 18897
/proc/meminfo: memFree=26200180/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=943.84 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268611 0 0 0 94327 57 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140734323654984 5823849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 269183 791 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 943.84
Current children cumulated vsize (KiB) 1310276

[startup+944.8 s]
/proc/loadavg: 2.30 2.18 1.88 3/184 18897
/proc/meminfo: memFree=26200180/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=944.64 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268611 0 0 0 94407 57 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140734323654984 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 269183 791 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 944.64
Current children cumulated vsize (KiB) 1310276

[startup+945.6 s]
/proc/loadavg: 2.30 2.18 1.88 3/184 18920
/proc/meminfo: memFree=26198696/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=1310276 CPUtime=945.44 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202496 268611 0 0 0 94487 57 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140734323653888 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 327569 269183 791 2943 0 324463 0
[pid=18624/tid=18625] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18625/stat : 18625 (toysat) S 18621 18624 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420930579696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18624/tid=18626] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18626/stat : 18626 (toysat) S 18621 18624 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420920089840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18624/tid=18627] ppid=18621 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18624/task/18627/stat : 18627 (toysat) S 18621 18624 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12190166 1341722624 269183 33554432000 4194304 16246674 140734323671984 140420801621168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 945.44
Current children cumulated vsize (KiB) 1310276

[startup+946 s]
/proc/loadavg: 2.30 2.18 1.88 3/181 18920
/proc/meminfo: memFree=27038076/32872528 swapFree=1590004/1720820
[pid=18624] ppid=18621 vsize=0 CPUtime=945.84 cores=0,2,4,6
/proc/18624/stat : 18624 (toysat) R 18621 18624 13693 0 -1 4202500 268616 0 0 0 94522 62 0 0 20 0 1 0 12190166 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18624/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 945.84
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 946.014
CPU time (s): 945.859
CPU user time (s): 945.227
CPU system time (s): 0.631903
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 945.227
system time used= 0.631903
maximum resident set size= 1076744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268616
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= 33
involuntary context switches= 985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.85656 second user time and 3.71043 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-30 20:45:16
IDJOB=4120794
IDBENCH=110110
IDSOLVER=2542
FILE ID=node120/4120794-1467312316
RUNJOBID= node120-1467312316-18592
PBS_JOBID= 20005266
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120794-1467312316/watcher-4120794-1467312316 -o /tmp/evaluation-result-4120794-1467312316/solver-4120794-1467312316 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18592 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120794-1467312316.opb

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

MD5SUM BENCH= 11559c818a57ecaac967948ed54bdb1b
RANDOM SEED=1197375293

node120.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.669
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.33
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.669
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.669
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.56
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.669
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.669
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.669
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.54
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.669
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.669
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:        28350356 kB
Buffers:          165676 kB
Cached:          1879252 kB
SwapCached:            0 kB
Active:           294860 kB
Inactive:        1762000 kB
Active(anon):      14332 kB
Inactive(anon):        0 kB
Active(file):     280528 kB
Inactive(file):  1762000 kB
Unevictable:     1720820 kB
Mlocked:         1590004 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32600 kB
Writeback:             0 kB
AnonPages:       1832660 kB
Mapped:            13844 kB
Shmem:               204 kB
Slab:             611836 kB
SReclaimable:      56196 kB
SUnreclaim:       555640 kB
KernelStack:        1416 kB
PageTables:         7772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1820240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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= 71640 MiB
End job on node120 at 2016-06-30 21:01:03