Trace number 4121522

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 1046.03 1046.29

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n76-d3-i2-r1.cnf.gz-plain.pb.metafix.opb
MD5SUM27072c993985960f98e07683b0640f92
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 benchmark21.1878
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables114
Total number of constraints304
Number of constraints which are clauses304
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-30T21:27:30+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-4121522-1467314850.opb"]
0.00/0.01	c use --random-gen="1999631332 3461582034 2640129138 2366078831 1750475562 831747606 3058170308 2710501093 1627937485 2615248744 606262094 2320171308 519504423 3348379065 734566225 901132411 1399230549 2200650352 905224277 1942971061 1189905401 1142729754 2882182941 2503350174 3798639153 3953044904 143288045 1068031417 247144347 555192369 3943770072 1912798501 688958533 1792241431 4173790183 2006101955 3214226613 229137815 1727402848 3132648898 939557858 548331271 2011457003 3582242065 2446904347 3713991407 3803342513 2434946127 1896400336 3224773576 77389581 3570882826 2682196084 2862936549 3944021505 4198500174 3625836966 2588178879 1251417566 2110718333 263430333 1365461543 2307359437 2163296729 1608456735 2267942055 3601879682 2453236702 753401544 3916417966 2929550201 641199393 1958801276 2179047451 3657934849 2484228454 3466268282 3467096877 4040869574 4229106666 3590639862 2650654216 4035282500 547939998 162193468 75762660 1311703704 1221718377 2688149037 11838999 1768205001 4111735334 3738468173 18805993 2418126780 280425623 3273143417 3202827169 3925658409 347691545 2310246453 3770625010 3519506043 2517620384 1044396102 575008746 4251484918 3457704414 784311068 2113696271 1184370575 3120966837 1192595459 2461873857 4109705033 619976317 2158159791 329292462 1745728035 4152078812 2014216067 1353795638 1523827222 297207567 501719920 1180433215 3040901895 1579776892 1167563170 1027947416 3373530964 3837328857 2811342250 1743591484 1450208113 4122282878 3089441506 2161126370 3902366187 1935747565 3455058278 3627165965 4170779697 373470700 1702470316 3002928012 1815029257 4157908816 405135703 1020855028 4235043262 4265957187 3810617291 305376259 3957143499 235329844 2292205629 3149097051 1721342949 12584413 722490710 1114145190 1994288549 2520475155 58893571 3955770910 2027412778 1901440660 4063326411 530383810 135254614 1879886737 759160664 2979391779 2033056864 1186427230 3876063057 1656775447 2104871028 1010699800 2804577639 3944335929 102925066 1348928695 3441293360 522573822 1526884166 2222055302 3159105831 2642370137 4225777459 2292108326 4092798870 1898723031 3803032023 1020366511 2000390280 402098469 3864862478 225264505 3745265386 1820973265 1355891723 3112495794 2614796721 485682819 1573327697 1313872090 2013142290 231890080 2566304566 661400108 2208408369 850928709 2674749528 4247790581 414904036 94946165 1816684485 1380932071 3349562695 4078029759 693192627 4184455584 514547412 1821304283 2324530641 2587965335 1768949888 2672711246 1155118543 1514116674 1130168738 419633672 531822570 1540001837 2693674126 136311738 3106871218 1954696973 2385454500 1677831080 1743548704 2286018085 4266802080 3757260154 748369934 3309490321 1927368 2289086178 2390801293 971153220 2052343113 3585766431 738076134 1258350271 255 362436" option to reproduce the execution
0.00/0.02	c #vars 114
0.00/0.02	c #constraints 304
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 |      139      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      152 |      100 |      139      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      390 |      250 |      153      1 |        0 |        0
0.00/0.07	c  0.0s |       3 |      724 |      475 |      169      3 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1258 |      813 |      186      6 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1984 |     1320 |      205     10 |        0 |        0
0.19/0.22	c  0.2s |       6 |     3173 |     2081 |      249     17 |        0 |        0
0.28/0.32	c  0.3s |       7 |     4840 |     3223 |      274     25 |        0 |        0
0.38/0.48	c  0.5s |       8 |     7612 |     4936 |      302     36 |        0 |        0
0.68/0.70	c  0.7s |       9 |    11370 |     7506 |      333     52 |        0 |        0
0.98/1.04	c  1.0s |      10 |    17046 |    11361 |      367     74 |        0 |        0
1.38/1.41	c  1.4s |      11 |    24424 |    17144 |      404    104 |        0 |        0
1.98/2.01	c  2.0s |      12 |    35577 |    25819 |      445    145 |        0 |        0
2.88/2.95	c  2.9s |      13 |    52367 |    38832 |      490    200 |        0 |        0
4.29/4.38	c  4.4s |      14 |    76792 |    58352 |      539    277 |        0 |        0
6.19/6.28	c  6.3s |      15 |   116254 |    87632 |      593    383 |        0 |        0
8.18/8.28	c  8.3s |      15 |   155535 |   116932 |      593    480 |        0 |        0
9.18/9.24	c  9.2s |      16 |   175140 |   131552 |      653    527 |        0 |        0
11.18/11.25	c 11.2s |      16 |   215995 |   161252 |      653    616 |        0 |        0
13.19/13.25	c 13.2s |      16 |   257868 |   190852 |      653    706 |        0 |        0
13.68/13.73	c 13.7s |      17 |   266673 |   197432 |      719    725 |        0 |        0
15.68/15.74	c 15.7s |      17 |   303780 |   225432 |      719    801 |        0 |        0
17.69/17.75	c 17.7s |      17 |   338097 |   252232 |      719    875 |        0 |        0
19.68/19.75	c 19.7s |      17 |   370760 |   277732 |      719    945 |        0 |        0
20.99/21.07	c 21.0s |      18 |   397159 |   296252 |      791    995 |        0 |        0
22.98/23.07	c 23.0s |      18 |   437438 |   325752 |      791   1068 |        0 |        0
24.98/25.08	c 25.1s |      18 |   480328 |   355452 |      791   1142 |        0 |        0
26.98/27.08	c 27.1s |      18 |   522091 |   385452 |      791   1217 |        0 |        0
28.98/29.08	c 29.1s |      18 |   562555 |   415152 |      791   1292 |        0 |        0
30.98/31.09	c 31.1s |      18 |   601936 |   443252 |      871   1361 |        0 |        0
31.08/31.18	c 31.2s |      19 |   603485 |   444482 |      871   1364 |        0 |        0
33.08/33.18	c 33.2s |      19 |   641589 |   472182 |      871   1427 |        0 |        0
35.07/35.19	c 35.2s |      19 |   682433 |   501682 |      871   1494 |        0 |        0
37.07/37.19	c 37.2s |      19 |   723132 |   530582 |      871   1559 |        0 |        0
39.07/39.19	c 39.2s |      19 |   762639 |   559582 |      871   1625 |        0 |        0
41.17/41.20	c 41.2s |      19 |   802159 |   588782 |      871   1692 |        0 |        0
43.17/43.20	c 43.2s |      19 |   839638 |   616482 |      871   1754 |        0 |        0
45.18/45.20	c 45.2s |      19 |   879439 |   645282 |      871   1820 |        0 |        0
46.68/46.72	c 46.7s |      20 |   908721 |   666827 |      959   1868 |        0 |        0
48.68/48.72	c 48.7s |      20 |   950179 |   695427 |      959   1927 |        0 |        0
50.68/50.72	c 50.7s |      20 |   990810 |   723927 |      959   1986 |        0 |        0
52.68/52.72	c 52.7s |      20 |  1029076 |   752027 |      959   2044 |        0 |        0
54.67/54.73	c 54.7s |      20 |  1066252 |   778827 |      959   2099 |        0 |        0
56.67/56.73	c 56.7s |      20 |  1097519 |   803727 |      959   2151 |        0 |        0
58.67/58.73	c 58.7s |      20 |  1133516 |   830227 |      959   2205 |        0 |        0
60.67/60.74	c 60.7s |      20 |  1167852 |   855927 |      959   2259 |        0 |        0
62.68/62.75	c 62.7s |      20 |  1202445 |   881927 |      959   2312 |        0 |        0
64.67/64.75	c 64.7s |      20 |  1237979 |   908127 |      959   2367 |        0 |        0
66.67/66.75	c 66.7s |      20 |  1275350 |   935227 |      959   2423 |        0 |        0
68.67/68.76	c 68.7s |      20 |  1309612 |   960927 |      959   2476 |        0 |        0
70.67/70.76	c 70.7s |      20 |  1345021 |   987627 |      959   2531 |        0 |        0
71.67/71.72	c 71.7s |      21 |  1363458 |  1000345 |     1055   2556 |        0 |        0
73.67/73.72	c 73.7s |      21 |  1399335 |  1026645 |     1055   2605 |        0 |        0
75.67/75.72	c 75.7s |      21 |  1436472 |  1053845 |     1055   2656 |        0 |        0
77.67/77.72	c 77.7s |      21 |  1469964 |  1080045 |     1055   2705 |        0 |        0
79.67/79.73	c 79.7s |      21 |  1501791 |  1105245 |     1055   2753 |        0 |        0
81.67/81.73	c 81.7s |      21 |  1538835 |  1132245 |     1055   2804 |        0 |        0
83.68/83.73	c 83.7s |      21 |  1571848 |  1157345 |     1055   2851 |        0 |        0
85.67/85.74	c 85.7s |      21 |  1607682 |  1183745 |     1055   2900 |        0 |        0
87.67/87.74	c 87.7s |      21 |  1640763 |  1208645 |     1055   2947 |        0 |        0
89.67/89.74	c 89.7s |      21 |  1677951 |  1235245 |     1055   2997 |        0 |        0
91.67/91.75	c 91.7s |      21 |  1711030 |  1260845 |     1055   3046 |        0 |        0
93.67/93.75	c 93.7s |      21 |  1746299 |  1286245 |     1055   3093 |        0 |        0
95.68/95.75	c 95.7s |      21 |  1782145 |  1311845 |     1055   3141 |        0 |        0
97.67/97.76	c 97.7s |      21 |  1818648 |  1337445 |     1055   3190 |        0 |        0
99.67/99.76	c 99.7s |      21 |  1853886 |  1363445 |     1055   3239 |        0 |        0
101.67/101.76	c  101s |      21 |  1889953 |  1390345 |     1055   3289 |        0 |        0
103.67/103.76	c  103s |      21 |  1929376 |  1418345 |     1055   3342 |        0 |        0
105.67/105.77	c  105s |      21 |  1967870 |  1445945 |     1055   3394 |        0 |        0
107.67/107.78	c  107s |      21 |  2004135 |  1472945 |     1055   3445 |        0 |        0
109.66/109.78	c  109s |      21 |  2041957 |  1500545 |     1161   3495 |        0 |        0
109.66/109.79	c  109s |      22 |  2042059 |  1500622 |     1161   3495 |        0 |        0
111.66/111.79	c  111s |      22 |  2074525 |  1525922 |     1161   3539 |        0 |        0
113.76/113.80	c  113s |      22 |  2105465 |  1551022 |     1161   3582 |        0 |        0
115.76/115.80	c  115s |      22 |  2136702 |  1575522 |     1161   3624 |        0 |        0
117.78/117.80	c  117s |      22 |  2168146 |  1599822 |     1161   3665 |        0 |        0
119.77/119.81	c  119s |      22 |  2196187 |  1622622 |     1161   3704 |        0 |        0
121.77/121.81	c  121s |      22 |  2229532 |  1647422 |     1161   3747 |        0 |        0
123.77/123.82	c  123s |      22 |  2263286 |  1673122 |     1161   3791 |        0 |        0
125.77/125.82	c  125s |      22 |  2296489 |  1698422 |     1161   3834 |        0 |        0
127.77/127.82	c  127s |      22 |  2332046 |  1724122 |     1161   3878 |        0 |        0
129.77/129.82	c  129s |      22 |  2368075 |  1750422 |     1161   3923 |        0 |        0
131.77/131.83	c  131s |      22 |  2401867 |  1775822 |     1161   3967 |        0 |        0
133.76/133.83	c  133s |      22 |  2435913 |  1800322 |     1161   4009 |        0 |        0
135.76/135.84	c  135s |      22 |  2469787 |  1825022 |     1161   4051 |        0 |        0
137.76/137.84	c  137s |      22 |  2499195 |  1848522 |     1161   4091 |        0 |        0
139.77/139.84	c  139s |      22 |  2530178 |  1872322 |     1161   4132 |        0 |        0
141.76/141.85	c  141s |      22 |  2560306 |  1896122 |     1161   4173 |        0 |        0
143.76/143.85	c  143s |      22 |  2588692 |  1919022 |     1161   4213 |        0 |        0
145.76/145.85	c  145s |      22 |  2620352 |  1943322 |     1161   4254 |        0 |        0
147.76/147.86	c  147s |      22 |  2650989 |  1967022 |     1161   4295 |        0 |        0
149.76/149.86	c  149s |      22 |  2683890 |  1990422 |     1161   4335 |        0 |        0
151.77/151.86	c  151s |      22 |  2714124 |  2014422 |     1161   4376 |        0 |        0
153.76/153.87	c  153s |      22 |  2744956 |  2038422 |     1161   4417 |        0 |        0
155.76/155.87	c  155s |      22 |  2779566 |  2062922 |     1161   4459 |        0 |        0
157.76/157.87	c  157s |      22 |  2812959 |  2087922 |     1161   4502 |        0 |        0
159.76/159.88	c  159s |      22 |  2846145 |  2112322 |     1161   4544 |        0 |        0
161.76/161.88	c  161s |      22 |  2877396 |  2135822 |     1161   4584 |        0 |        0
163.76/163.89	c  163s |      22 |  2905993 |  2158122 |     1161   4622 |        0 |        0
165.76/165.89	c  165s |      22 |  2934514 |  2180222 |     1161   4660 |        0 |        0
167.86/167.90	c  167s |      22 |  2964865 |  2202822 |     1161   4699 |        0 |        0
169.86/169.90	c  169s |      22 |  2994189 |  2224922 |     1161   4737 |        0 |        0
171.85/171.90	c  171s |      22 |  3024187 |  2246722 |     1278   4772 |        0 |        0
172.25/172.31	c  172s |      23 |  3030014 |  2251038 |     1278   4779 |        0 |        0
174.26/174.31	c  174s |      23 |  3059766 |  2274538 |     1278   4815 |        0 |        0
176.25/176.32	c  176s |      23 |  3087108 |  2296338 |     1278   4849 |        0 |        0
178.26/178.33	c  178s |      23 |  3112951 |  2317638 |     1278   4882 |        0 |        0
180.25/180.34	c  180s |      23 |  3140482 |  2339338 |     1278   4916 |        0 |        0
182.25/182.34	c  182s |      23 |  3166154 |  2360338 |     1278   4948 |        0 |        0
184.25/184.35	c  184s |      23 |  3199122 |  2384438 |     1278   4986 |        0 |        0
186.25/186.35	c  186s |      23 |  3231543 |  2408338 |     1278   5023 |        0 |        0
188.25/188.36	c  188s |      23 |  3264575 |  2432738 |     1278   5061 |        0 |        0
190.26/190.36	c  190s |      23 |  3293295 |  2455438 |     1278   5096 |        0 |        0
192.25/192.36	c  192s |      23 |  3324919 |  2479138 |     1278   5132 |        0 |        0
194.26/194.36	c  194s |      23 |  3356701 |  2503338 |     1278   5170 |        0 |        0
196.26/196.37	c  196s |      23 |  3387479 |  2526838 |     1278   5207 |        0 |        0
198.26/198.37	c  198s |      23 |  3417257 |  2549938 |     1278   5242 |        0 |        0
200.26/200.37	c  200s |      23 |  3448056 |  2573838 |     1278   5280 |        0 |        0
202.26/202.37	c  202s |      23 |  3478568 |  2597338 |     1278   5316 |        0 |        0
204.25/204.37	c  204s |      23 |  3509115 |  2620538 |     1278   5352 |        0 |        0
206.25/206.38	c  206s |      23 |  3537488 |  2642838 |     1278   5387 |        0 |        0
208.25/208.39	c  208s |      23 |  3567923 |  2666138 |     1278   5423 |        0 |        0
210.25/210.39	c  210s |      23 |  3597171 |  2688538 |     1278   5458 |        0 |        0
212.26/212.40	c  212s |      23 |  3625715 |  2710838 |     1278   5493 |        0 |        0
214.35/214.40	c  214s |      23 |  3653043 |  2731438 |     1278   5525 |        0 |        0
216.35/216.40	c  216s |      23 |  3683077 |  2754838 |     1278   5561 |        0 |        0
218.35/218.41	c  218s |      23 |  3711050 |  2777838 |     1278   5597 |        0 |        0
220.35/220.42	c  220s |      23 |  3737888 |  2799038 |     1278   5630 |        0 |        0
222.35/222.42	c  222s |      23 |  3766741 |  2820938 |     1278   5664 |        0 |        0
224.35/224.42	c  224s |      23 |  3795726 |  2842838 |     1278   5698 |        0 |        0
226.34/226.42	c  226s |      23 |  3824784 |  2865438 |     1278   5733 |        0 |        0
228.34/228.42	c  228s |      23 |  3853283 |  2887338 |     1278   5767 |        0 |        0
230.35/230.42	c  230s |      23 |  3879234 |  2907938 |     1278   5799 |        0 |        0
232.35/232.42	c  232s |      23 |  3908358 |  2930438 |     1278   5834 |        0 |        0
234.36/234.43	c  234s |      23 |  3933453 |  2951438 |     1278   5867 |        0 |        0
236.35/236.44	c  236s |      23 |  3963190 |  2973438 |     1278   5901 |        0 |        0
238.35/238.44	c  238s |      23 |  3992688 |  2995438 |     1278   5935 |        0 |        0
240.35/240.44	c  240s |      23 |  4022117 |  3017038 |     1278   5969 |        0 |        0
242.35/242.45	c  242s |      23 |  4052831 |  3039138 |     1278   6003 |        0 |        0
244.35/244.45	c  244s |      23 |  4083157 |  3060838 |     1278   6037 |        0 |        0
246.35/246.45	c  246s |      23 |  4107202 |  3081238 |     1278   6069 |        0 |        0
248.35/248.46	c  248s |      23 |  4130402 |  3100938 |     1278   6100 |        0 |        0
250.35/250.46	c  250s |      23 |  4160747 |  3124238 |     1278   6136 |        0 |        0
252.35/252.47	c  252s |      23 |  4190121 |  3147138 |     1278   6172 |        0 |        0
254.34/254.47	c  254s |      23 |  4220190 |  3170638 |     1278   6208 |        0 |        0
256.35/256.47	c  256s |      23 |  4251118 |  3193638 |     1278   6244 |        0 |        0
258.34/258.47	c  258s |      23 |  4282557 |  3217138 |     1278   6281 |        0 |        0
260.34/260.48	c  260s |      23 |  4309281 |  3238338 |     1278   6314 |        0 |        0
262.34/262.48	c  262s |      23 |  4334945 |  3259838 |     1278   6347 |        0 |        0
264.35/264.48	c  264s |      23 |  4363420 |  3282938 |     1278   6383 |        0 |        0
266.35/266.49	c  266s |      23 |  4396257 |  3308238 |     1278   6422 |        0 |        0
268.35/268.49	c  268s |      23 |  4429227 |  3332938 |     1278   6461 |        0 |        0
270.34/270.49	c  270s |      23 |  4457240 |  3354538 |     1406   6494 |        0 |        0
272.34/272.45	c  272s |      24 |  4485690 |  3376662 |     1406   6525 |        0 |        0
274.34/274.46	c  274s |      24 |  4518579 |  3398662 |     1406   6556 |        0 |        0
276.34/276.46	c  276s |      24 |  4549607 |  3421062 |     1406   6588 |        0 |        0
278.35/278.47	c  278s |      24 |  4577303 |  3442762 |     1406   6619 |        0 |        0
280.34/280.47	c  280s |      24 |  4603744 |  3463462 |     1406   6648 |        0 |        0
282.34/282.47	c  282s |      24 |  4631869 |  3484962 |     1406   6678 |        0 |        0
284.34/284.48	c  284s |      24 |  4660373 |  3507162 |     1406   6710 |        0 |        0
286.34/286.48	c  286s |      24 |  4688498 |  3528962 |     1406   6740 |        0 |        0
288.34/288.48	c  288s |      24 |  4721694 |  3552062 |     1406   6773 |        0 |        0
290.35/290.48	c  290s |      24 |  4752780 |  3575062 |     1406   6806 |        0 |        0
292.34/292.49	c  292s |      24 |  4782553 |  3598162 |     1406   6838 |        0 |        0
294.34/294.49	c  294s |      24 |  4813346 |  3621062 |     1406   6871 |        0 |        0
296.44/296.50	c  296s |      24 |  4844672 |  3644362 |     1406   6904 |        0 |        0
298.44/298.50	c  298s |      24 |  4876595 |  3667762 |     1406   6937 |        0 |        0
300.44/300.51	c  300s |      24 |  4908430 |  3690062 |     1406   6968 |        0 |        0
302.44/302.51	c  302s |      24 |  4936855 |  3711362 |     1406   6998 |        0 |        0
304.43/304.51	c  304s |      24 |  4964205 |  3733062 |     1406   7029 |        0 |        0
306.43/306.52	c  306s |      24 |  4993822 |  3755462 |     1406   7061 |        0 |        0
308.43/308.53	c  308s |      24 |  5024663 |  3778562 |     1406   7094 |        0 |        0
310.43/310.53	c  310s |      24 |  5057711 |  3802862 |     1406   7128 |        0 |        0
312.44/312.53	c  312s |      24 |  5087873 |  3825762 |     1406   7160 |        0 |        0
314.43/314.54	c  314s |      24 |  5120010 |  3849162 |     1406   7193 |        0 |        0
316.43/316.55	c  316s |      24 |  5152528 |  3872962 |     1406   7227 |        0 |        0
318.43/318.55	c  318s |      24 |  5185499 |  3897162 |     1406   7261 |        0 |        0
320.43/320.56	c  320s |      24 |  5216370 |  3920662 |     1406   7295 |        0 |        0
322.43/322.56	c  322s |      24 |  5249336 |  3945062 |     1406   7329 |        0 |        0
324.44/324.57	c  324s |      24 |  5280048 |  3968262 |     1406   7362 |        0 |        0
326.43/326.58	c  326s |      24 |  5311202 |  3991462 |     1406   7395 |        0 |        0
328.44/328.58	c  328s |      24 |  5341128 |  4014962 |     1406   7428 |        0 |        0
330.44/330.58	c  330s |      24 |  5375728 |  4039662 |     1406   7463 |        0 |        0
332.44/332.58	c  332s |      24 |  5410504 |  4064562 |     1406   7498 |        0 |        0
334.44/334.59	c  334s |      24 |  5442793 |  4088862 |     1406   7533 |        0 |        0
336.43/336.59	c  336s |      24 |  5475661 |  4112462 |     1406   7566 |        0 |        0
338.43/338.59	c  338s |      24 |  5508084 |  4136062 |     1406   7600 |        0 |        0
340.53/340.60	c  340s |      24 |  5541302 |  4160462 |     1406   7634 |        0 |        0
342.53/342.60	c  342s |      24 |  5573500 |  4184362 |     1406   7668 |        0 |        0
344.53/344.60	c  344s |      24 |  5602748 |  4207262 |     1406   7700 |        0 |        0
346.54/346.61	c  346s |      24 |  5634231 |  4231462 |     1406   7735 |        0 |        0
348.53/348.61	c  348s |      24 |  5667126 |  4255562 |     1406   7769 |        0 |        0
350.53/350.62	c  350s |      24 |  5699250 |  4279162 |     1406   7802 |        0 |        0
352.53/352.62	c  352s |      24 |  5730213 |  4302362 |     1406   7835 |        0 |        0
354.53/354.63	c  354s |      24 |  5759817 |  4324962 |     1406   7867 |        0 |        0
356.52/356.63	c  356s |      24 |  5790504 |  4347462 |     1406   7899 |        0 |        0
358.53/358.63	c  358s |      24 |  5820701 |  4370762 |     1406   7932 |        0 |        0
360.52/360.63	c  360s |      24 |  5849661 |  4393162 |     1406   7964 |        0 |        0
362.53/362.64	c  362s |      24 |  5879987 |  4415762 |     1406   7996 |        0 |        0
364.53/364.65	c  364s |      24 |  5908296 |  4438162 |     1406   8028 |        0 |        0
366.53/366.65	c  366s |      24 |  5940214 |  4461662 |     1406   8061 |        0 |        0
368.54/368.65	c  368s |      24 |  5970035 |  4484862 |     1406   8094 |        0 |        0
370.53/370.66	c  370s |      24 |  5998348 |  4507562 |     1406   8126 |        0 |        0
372.53/372.67	c  372s |      24 |  6026156 |  4529062 |     1406   8156 |        0 |        0
374.53/374.67	c  374s |      24 |  6054463 |  4550962 |     1406   8187 |        0 |        0
376.53/376.67	c  376s |      24 |  6077660 |  4569462 |     1406   8214 |        0 |        0
378.53/378.68	c  378s |      24 |  6102526 |  4588362 |     1406   8241 |        0 |        0
380.53/380.68	c  380s |      24 |  6130595 |  4609862 |     1406   8271 |        0 |        0
382.53/382.68	c  382s |      24 |  6155516 |  4629862 |     1406   8299 |        0 |        0
384.53/384.68	c  384s |      24 |  6184797 |  4652662 |     1406   8332 |        0 |        0
386.52/386.69	c  386s |      24 |  6212026 |  4674562 |     1406   8363 |        0 |        0
388.52/388.69	c  388s |      24 |  6241289 |  4696762 |     1406   8394 |        0 |        0
390.53/390.70	c  390s |      24 |  6270756 |  4720062 |     1406   8427 |        0 |        0
392.52/392.70	c  392s |      24 |  6299534 |  4742662 |     1406   8459 |        0 |        0
394.62/394.70	c  394s |      24 |  6326334 |  4764062 |     1406   8490 |        0 |        0
396.62/396.70	c  396s |      24 |  6349745 |  4784062 |     1406   8518 |        0 |        0
398.62/398.71	c  398s |      24 |  6378702 |  4806862 |     1406   8550 |        0 |        0
400.62/400.71	c  400s |      24 |  6408774 |  4829662 |     1406   8583 |        0 |        0
402.62/402.72	c  402s |      24 |  6438595 |  4852662 |     1406   8615 |        0 |        0
404.62/404.73	c  404s |      24 |  6471232 |  4877062 |     1406   8650 |        0 |        0
406.62/406.73	c  406s |      24 |  6497046 |  4898362 |     1406   8680 |        0 |        0
408.62/408.74	c  408s |      24 |  6521750 |  4918662 |     1406   8709 |        0 |        0
410.62/410.74	c  410s |      24 |  6550058 |  4940462 |     1406   8739 |        0 |        0
412.62/412.74	c  412s |      24 |  6580640 |  4963362 |     1406   8772 |        0 |        0
414.63/414.74	c  414s |      24 |  6611184 |  4986262 |     1406   8804 |        0 |        0
416.62/416.75	c  416s |      24 |  6640918 |  5009062 |     1406   8836 |        0 |        0
418.62/418.76	c  418s |      24 |  6670269 |  5031062 |     1547   8867 |        0 |        0
420.62/420.76	c  420s |      24 |  6695751 |  5051062 |     1547   8893 |        0 |        0
422.02/422.14	c  422s |      25 |  6713476 |  5065098 |     1547   8911 |        0 |        0
424.02/424.15	c  424s |      25 |  6741318 |  5086098 |     1547   8938 |        0 |        0
426.02/426.15	c  426s |      25 |  6770481 |  5108098 |     1547   8966 |        0 |        0
428.02/428.16	c  428s |      25 |  6797555 |  5128598 |     1547   8992 |        0 |        0
430.03/430.16	c  430s |      25 |  6829570 |  5151598 |     1547   9022 |        0 |        0
432.02/432.16	c  432s |      25 |  6857446 |  5172698 |     1547   9049 |        0 |        0
434.02/434.16	c  434s |      25 |  6886709 |  5194498 |     1547   9077 |        0 |        0
436.01/436.16	c  436s |      25 |  6914767 |  5215698 |     1547   9104 |        0 |        0
438.01/438.17	c  438s |      25 |  6942939 |  5237198 |     1547   9132 |        0 |        0
440.02/440.17	c  440s |      25 |  6971148 |  5258398 |     1547   9159 |        0 |        0
442.01/442.18	c  442s |      25 |  7000603 |  5280398 |     1547   9188 |        0 |        0
444.01/444.18	c  444s |      25 |  7027909 |  5301998 |     1547   9215 |        0 |        0
446.01/446.18	c  446s |      25 |  7049898 |  5320598 |     1547   9239 |        0 |        0
448.01/448.18	c  448s |      25 |  7070048 |  5338098 |     1547   9262 |        0 |        0
450.01/450.18	c  450s |      25 |  7098795 |  5359398 |     1547   9289 |        0 |        0
452.02/452.19	c  452s |      25 |  7126763 |  5380698 |     1547   9317 |        0 |        0
454.11/454.20	c  454s |      25 |  7155609 |  5402198 |     1547   9344 |        0 |        0
456.11/456.21	c  456s |      25 |  7183629 |  5423398 |     1547   9371 |        0 |        0
458.11/458.21	c  458s |      25 |  7211460 |  5444398 |     1547   9398 |        0 |        0
460.11/460.21	c  460s |      25 |  7238013 |  5464798 |     1547   9425 |        0 |        0
462.11/462.21	c  462s |      25 |  7265955 |  5485498 |     1547   9451 |        0 |        0
464.12/464.22	c  464s |      25 |  7295194 |  5507498 |     1547   9480 |        0 |        0
466.11/466.22	c  466s |      25 |  7321332 |  5528298 |     1547   9506 |        0 |        0
468.11/468.22	c  468s |      25 |  7342873 |  5546898 |     1547   9530 |        0 |        0
470.11/470.23	c  470s |      25 |  7368356 |  5566498 |     1547   9556 |        0 |        0
472.11/472.24	c  472s |      25 |  7390950 |  5585198 |     1547   9580 |        0 |        0
474.11/474.25	c  474s |      25 |  7416312 |  5604698 |     1547   9605 |        0 |        0
476.11/476.26	c  476s |      25 |  7440875 |  5624198 |     1547   9630 |        0 |        0
478.11/478.26	c  478s |      25 |  7468674 |  5645098 |     1547   9657 |        0 |        0
480.11/480.27	c  480s |      25 |  7493977 |  5665498 |     1547   9683 |        0 |        0
482.10/482.27	c  482s |      25 |  7521591 |  5685898 |     1547   9709 |        0 |        0
484.10/484.28	c  484s |      25 |  7550595 |  5707498 |     1547   9737 |        0 |        0
486.11/486.29	c  486s |      25 |  7579476 |  5729598 |     1547   9766 |        0 |        0
488.10/488.29	c  488s |      25 |  7605781 |  5750498 |     1547   9792 |        0 |        0
490.10/490.29	c  490s |      25 |  7635552 |  5772798 |     1547   9821 |        0 |        0
492.20/492.30	c  492s |      25 |  7663443 |  5794098 |     1547   9849 |        0 |        0
494.20/494.30	c  494s |      25 |  7693884 |  5816598 |     1547   9878 |        0 |        0
496.20/496.30	c  496s |      25 |  7724024 |  5839198 |     1547   9907 |        0 |        0
498.21/498.31	c  498s |      25 |  7753373 |  5861298 |     1547   9935 |        0 |        0
500.21/500.31	c  500s |      25 |  7777762 |  5880898 |     1547   9960 |        0 |        0
502.21/502.32	c  502s |      25 |  7804871 |  5901798 |     1547   9987 |        0 |        0
504.21/504.33	c  504s |      25 |  7833331 |  5923798 |     1547  10015 |        0 |        0
506.21/506.33	c  506s |      25 |  7860265 |  5943998 |     1547  10041 |        0 |        0
508.21/508.33	c  508s |      25 |  7887569 |  5965298 |     1547  10069 |        0 |        0
510.21/510.34	c  510s |      25 |  7914287 |  5985598 |     1547  10095 |        0 |        0
512.21/512.35	c  512s |      25 |  7940392 |  6006398 |     1547  10122 |        0 |        0
514.20/514.36	c  514s |      25 |  7970138 |  6028698 |     1547  10150 |        0 |        0
516.20/516.36	c  516s |      25 |  7998244 |  6050398 |     1547  10178 |        0 |        0
518.21/518.36	c  518s |      25 |  8025527 |  6071298 |     1547  10205 |        0 |        0
520.21/520.37	c  520s |      25 |  8048835 |  6090098 |     1547  10229 |        0 |        0
522.20/522.37	c  522s |      25 |  8072479 |  6109698 |     1547  10255 |        0 |        0
524.20/524.37	c  524s |      25 |  8095540 |  6129098 |     1547  10280 |        0 |        0
526.20/526.37	c  526s |      25 |  8121114 |  6149398 |     1547  10306 |        0 |        0
528.20/528.38	c  528s |      25 |  8148895 |  6170898 |     1547  10333 |        0 |        0
530.21/530.38	c  530s |      25 |  8177842 |  6193098 |     1547  10362 |        0 |        0
532.20/532.38	c  532s |      25 |  8208521 |  6216098 |     1547  10392 |        0 |        0
534.20/534.39	c  534s |      25 |  8237112 |  6237598 |     1547  10419 |        0 |        0
536.20/536.39	c  536s |      25 |  8266961 |  6259998 |     1547  10448 |        0 |        0
538.20/538.39	c  538s |      25 |  8296748 |  6282498 |     1547  10477 |        0 |        0
540.30/540.40	c  540s |      25 |  8327583 |  6305798 |     1547  10507 |        0 |        0
542.21/542.40	c  542s |      25 |  8353405 |  6326498 |     1547  10534 |        0 |        0
544.30/544.40	c  544s |      25 |  8381792 |  6347798 |     1547  10561 |        0 |        0
546.30/546.41	c  546s |      25 |  8410586 |  6369798 |     1547  10589 |        0 |        0
548.30/548.41	c  548s |      25 |  8439035 |  6391398 |     1547  10617 |        0 |        0
550.30/550.42	c  550s |      25 |  8464954 |  6412198 |     1547  10644 |        0 |        0
552.30/552.42	c  552s |      25 |  8495727 |  6434598 |     1547  10673 |        0 |        0
554.31/554.43	c  554s |      25 |  8524837 |  6456998 |     1547  10702 |        0 |        0
556.30/556.43	c  556s |      25 |  8551852 |  6478298 |     1547  10729 |        0 |        0
558.30/558.44	c  558s |      25 |  8581308 |  6500598 |     1547  10758 |        0 |        0
560.30/560.45	c  560s |      25 |  8608891 |  6521798 |     1547  10785 |        0 |        0
562.30/562.45	c  562s |      25 |  8638283 |  6543598 |     1547  10813 |        0 |        0
564.31/564.46	c  564s |      25 |  8668023 |  6565298 |     1547  10841 |        0 |        0
566.30/566.46	c  566s |      25 |  8699788 |  6586398 |     1547  10868 |        0 |        0
568.30/568.47	c  568s |      25 |  8730434 |  6607998 |     1547  10896 |        0 |        0
570.30/570.47	c  570s |      25 |  8760610 |  6630898 |     1547  10926 |        0 |        0
572.30/572.47	c  572s |      25 |  8790525 |  6653698 |     1547  10955 |        0 |        0
574.30/574.48	c  574s |      25 |  8824142 |  6677098 |     1547  10985 |        0 |        0
576.30/576.48	c  576s |      25 |  8855415 |  6700098 |     1547  11015 |        0 |        0
578.30/578.49	c  578s |      25 |  8885883 |  6723198 |     1547  11045 |        0 |        0
580.29/580.49	c  580s |      25 |  8915244 |  6745698 |     1547  11073 |        0 |        0
582.30/582.49	c  582s |      25 |  8946130 |  6768998 |     1547  11103 |        0 |        0
584.29/584.50	c  584s |      25 |  8977479 |  6792398 |     1547  11134 |        0 |        0
586.39/586.50	c  586s |      25 |  9007295 |  6815398 |     1547  11163 |        0 |        0
588.29/588.50	c  588s |      25 |  9033863 |  6836098 |     1547  11190 |        0 |        0
590.39/590.50	c  590s |      25 |  9064933 |  6859298 |     1547  11220 |        0 |        0
592.39/592.51	c  592s |      25 |  9093641 |  6881498 |     1547  11248 |        0 |        0
594.39/594.51	c  594s |      25 |  9124889 |  6904798 |     1547  11278 |        0 |        0
596.39/596.52	c  596s |      25 |  9151841 |  6926398 |     1547  11306 |        0 |        0
598.40/598.52	c  598s |      25 |  9180206 |  6948498 |     1547  11335 |        0 |        0
600.39/600.53	c  600s |      25 |  9211796 |  6972298 |     1547  11365 |        0 |        0
602.39/602.53	c  602s |      25 |  9241283 |  6995098 |     1547  11395 |        0 |        0
604.39/604.54	c  604s |      25 |  9270607 |  7016898 |     1547  11423 |        0 |        0
606.39/606.54	c  606s |      25 |  9299916 |  7038598 |     1547  11451 |        0 |        0
608.39/608.55	c  608s |      25 |  9333114 |  7062098 |     1547  11481 |        0 |        0
610.40/610.55	c  610s |      25 |  9365150 |  7085198 |     1547  11511 |        0 |        0
612.39/612.56	c  612s |      25 |  9395738 |  7107498 |     1547  11540 |        0 |        0
614.39/614.56	c  614s |      25 |  9425268 |  7130398 |     1547  11569 |        0 |        0
616.39/616.57	c  616s |      25 |  9454342 |  7152498 |     1547  11598 |        0 |        0
618.39/618.58	c  618s |      25 |  9485667 |  7174998 |     1547  11627 |        0 |        0
620.40/620.58	c  620s |      25 |  9514609 |  7197098 |     1547  11655 |        0 |        0
622.39/622.59	c  622s |      25 |  9542858 |  7219198 |     1547  11684 |        0 |        0
624.39/624.59	c  624s |      25 |  9575786 |  7243398 |     1547  11715 |        0 |        0
626.49/626.60	c  626s |      25 |  9608654 |  7267998 |     1547  11747 |        0 |        0
628.49/628.60	c  628s |      25 |  9639684 |  7291298 |     1547  11776 |        0 |        0
630.49/630.60	c  630s |      25 |  9669049 |  7312798 |     1547  11804 |        0 |        0
632.49/632.61	c  632s |      25 |  9699058 |  7335898 |     1547  11834 |        0 |        0
634.49/634.61	c  634s |      25 |  9729416 |  7358998 |     1547  11863 |        0 |        0
636.49/636.62	c  636s |      25 |  9759276 |  7381798 |     1547  11893 |        0 |        0
638.49/638.63	c  638s |      25 |  9787617 |  7403698 |     1547  11921 |        0 |        0
640.49/640.63	c  640s |      25 |  9814058 |  7424898 |     1547  11948 |        0 |        0
642.49/642.63	c  642s |      25 |  9843300 |  7447398 |     1547  11977 |        0 |        0
644.49/644.64	c  644s |      25 |  9873175 |  7469798 |     1547  12006 |        0 |        0
646.48/646.64	c  646s |      25 |  9904607 |  7492698 |     1547  12035 |        0 |        0
648.48/648.64	c  648s |      25 |  9937313 |  7515998 |     1547  12065 |        0 |        0
650.48/650.65	c  650s |      25 |  9968423 |  7538498 |     1547  12094 |        0 |        0
652.48/652.65	c  652s |      25 |  9998297 |  7560998 |     1702  12121 |        0 |        0
654.49/654.66	c  654s |      25 | 10027055 |  7582998 |     1702  12147 |        0 |        0
655.98/656.18	c  656s |      26 | 10045407 |  7597752 |     1702  12164 |        0 |        0
657.98/658.18	c  658s |      26 | 10067337 |  7615552 |     1702  12185 |        0 |        0
659.99/660.18	c  660s |      26 | 10091281 |  7634952 |     1702  12208 |        0 |        0
661.98/662.20	c  662s |      26 | 10118103 |  7655552 |     1702  12232 |        0 |        0
664.08/664.20	c  664s |      26 | 10144499 |  7676052 |     1702  12256 |        0 |        0
666.08/666.20	c  666s |      26 | 10170826 |  7696152 |     1702  12279 |        0 |        0
668.08/668.21	c  668s |      26 | 10195334 |  7715852 |     1702  12302 |        0 |        0
670.08/670.21	c  670s |      26 | 10216715 |  7733552 |     1702  12323 |        0 |        0
672.08/672.22	c  672s |      26 | 10244614 |  7754752 |     1702  12348 |        0 |        0
674.08/674.22	c  674s |      26 | 10272597 |  7776052 |     1702  12372 |        0 |        0
676.08/676.23	c  676s |      26 | 10298672 |  7796352 |     1702  12396 |        0 |        0
678.08/678.23	c  678s |      26 | 10326215 |  7818052 |     1702  12422 |        0 |        0
680.08/680.23	c  680s |      26 | 10355187 |  7839852 |     1702  12447 |        0 |        0
682.07/682.23	c  682s |      26 | 10384129 |  7861952 |     1702  12473 |        0 |        0
684.09/684.24	c  684s |      26 | 10409615 |  7882452 |     1702  12497 |        0 |        0
686.08/686.25	c  686s |      26 | 10435090 |  7902652 |     1702  12521 |        0 |        0
688.08/688.26	c  688s |      26 | 10461613 |  7923452 |     1702  12545 |        0 |        0
690.08/690.27	c  690s |      26 | 10488464 |  7943552 |     1702  12568 |        0 |        0
692.08/692.28	c  692s |      26 | 10514776 |  7963652 |     1702  12592 |        0 |        0
694.09/694.28	c  694s |      26 | 10541062 |  7984252 |     1702  12616 |        0 |        0
696.08/696.29	c  696s |      26 | 10567233 |  8004852 |     1702  12640 |        0 |        0
698.18/698.30	c  698s |      26 | 10592393 |  8025452 |     1702  12664 |        0 |        0
700.18/700.30	c  700s |      26 | 10617124 |  8044552 |     1702  12687 |        0 |        0
702.18/702.31	c  702s |      26 | 10642335 |  8064352 |     1702  12710 |        0 |        0
704.18/704.31	c  704s |      26 | 10665979 |  8083452 |     1702  12732 |        0 |        0
706.18/706.32	c  706s |      26 | 10693627 |  8104552 |     1702  12757 |        0 |        0
708.17/708.32	c  708s |      26 | 10720784 |  8125152 |     1702  12781 |        0 |        0
710.17/710.32	c  710s |      26 | 10748601 |  8146752 |     1702  12806 |        0 |        0
712.17/712.33	c  712s |      26 | 10774185 |  8166252 |     1702  12829 |        0 |        0
714.17/714.33	c  714s |      26 | 10799985 |  8186052 |     1702  12852 |        0 |        0
716.17/716.33	c  716s |      26 | 10826717 |  8206752 |     1702  12877 |        0 |        0
718.18/718.34	c  718s |      26 | 10853019 |  8227252 |     1702  12901 |        0 |        0
720.18/720.34	c  720s |      26 | 10880774 |  8248352 |     1702  12925 |        0 |        0
722.18/722.35	c  722s |      26 | 10909882 |  8270152 |     1702  12951 |        0 |        0
724.18/724.35	c  724s |      26 | 10940189 |  8292452 |     1702  12977 |        0 |        0
726.18/726.36	c  726s |      26 | 10967947 |  8313552 |     1702  13002 |        0 |        0
728.18/728.36	c  728s |      26 | 10994968 |  8334352 |     1702  13026 |        0 |        0
730.18/730.36	c  730s |      26 | 11021764 |  8354752 |     1702  13050 |        0 |        0
732.17/732.37	c  732s |      26 | 11045419 |  8373952 |     1702  13073 |        0 |        0
734.17/734.37	c  734s |      26 | 11071214 |  8393552 |     1702  13095 |        0 |        0
736.17/736.38	c  736s |      26 | 11097818 |  8414452 |     1702  13120 |        0 |        0
738.17/738.39	c  738s |      26 | 11128447 |  8435552 |     1702  13145 |        0 |        0
740.18/740.40	c  740s |      26 | 11153762 |  8455152 |     1702  13168 |        0 |        0
742.27/742.40	c  742s |      26 | 11183286 |  8477252 |     1702  13193 |        0 |        0
744.27/744.40	c  744s |      26 | 11213877 |  8500152 |     1702  13220 |        0 |        0
746.27/746.41	c  746s |      26 | 11242001 |  8521552 |     1702  13245 |        0 |        0
748.27/748.42	c  748s |      26 | 11270465 |  8543152 |     1702  13271 |        0 |        0
750.27/750.42	c  750s |      26 | 11298728 |  8564752 |     1702  13296 |        0 |        0
752.27/752.42	c  752s |      26 | 11327100 |  8586052 |     1702  13321 |        0 |        0
754.27/754.43	c  754s |      26 | 11355495 |  8607652 |     1702  13346 |        0 |        0
756.27/756.44	c  756s |      26 | 11381573 |  8627852 |     1702  13370 |        0 |        0
758.26/758.45	c  758s |      26 | 11405348 |  8646852 |     1702  13392 |        0 |        0
760.26/760.45	c  760s |      26 | 11432029 |  8667452 |     1702  13416 |        0 |        0
762.27/762.45	c  762s |      26 | 11455318 |  8687052 |     1702  13439 |        0 |        0
764.27/764.45	c  764s |      26 | 11478970 |  8706452 |     1702  13462 |        0 |        0
766.27/766.46	c  766s |      26 | 11503323 |  8725752 |     1702  13485 |        0 |        0
768.27/768.46	c  768s |      26 | 11528168 |  8745852 |     1702  13508 |        0 |        0
770.27/770.46	c  770s |      26 | 11548506 |  8762852 |     1702  13528 |        0 |        0
772.27/772.47	c  772s |      26 | 11573742 |  8781752 |     1702  13550 |        0 |        0
774.27/774.48	c  774s |      26 | 11596140 |  8800652 |     1702  13572 |        0 |        0
776.27/776.48	c  776s |      26 | 11619787 |  8819052 |     1702  13594 |        0 |        0
778.26/778.48	c  778s |      26 | 11644027 |  8837952 |     1702  13616 |        0 |        0
780.26/780.48	c  780s |      26 | 11668514 |  8856952 |     1702  13638 |        0 |        0
782.26/782.49	c  782s |      26 | 11692240 |  8876252 |     1702  13661 |        0 |        0
784.26/784.49	c  784s |      26 | 11716352 |  8896052 |     1702  13684 |        0 |        0
786.26/786.50	c  786s |      26 | 11740687 |  8915452 |     1702  13707 |        0 |        0
788.36/788.50	c  788s |      26 | 11764914 |  8934552 |     1702  13729 |        0 |        0
790.35/790.51	c  790s |      26 | 11790651 |  8953852 |     1702  13752 |        0 |        0
792.35/792.52	c  792s |      26 | 11813412 |  8971952 |     1702  13773 |        0 |        0
794.35/794.52	c  794s |      26 | 11840038 |  8990352 |     1702  13794 |        0 |        0
796.37/796.53	c  796s |      26 | 11862435 |  9008752 |     1702  13816 |        0 |        0
798.36/798.53	c  798s |      26 | 11884433 |  9027452 |     1702  13838 |        0 |        0
800.36/800.54	c  800s |      26 | 11908825 |  9044352 |     1702  13858 |        0 |        0
802.36/802.54	c  802s |      26 | 11932643 |  9061952 |     1702  13878 |        0 |        0
804.36/804.55	c  804s |      26 | 11956793 |  9079052 |     1702  13898 |        0 |        0
806.36/806.56	c  806s |      26 | 11982373 |  9098052 |     1702  13921 |        0 |        0
808.36/808.56	c  808s |      26 | 12005622 |  9116752 |     1702  13942 |        0 |        0
810.35/810.56	c  810s |      26 | 12030118 |  9136452 |     1702  13965 |        0 |        0
812.35/812.57	c  812s |      26 | 12054552 |  9155952 |     1702  13988 |        0 |        0
814.35/814.57	c  814s |      26 | 12082901 |  9176552 |     1702  14012 |        0 |        0
816.35/816.57	c  816s |      26 | 12111860 |  9197852 |     1702  14037 |        0 |        0
818.36/818.58	c  818s |      26 | 12135832 |  9218052 |     1702  14061 |        0 |        0
820.35/820.58	c  820s |      26 | 12163555 |  9238652 |     1702  14085 |        0 |        0
822.35/822.58	c  822s |      26 | 12189665 |  9258252 |     1702  14108 |        0 |        0
824.35/824.60	c  824s |      26 | 12214882 |  9277352 |     1702  14131 |        0 |        0
826.45/826.61	c  826s |      26 | 12239688 |  9296952 |     1702  14154 |        0 |        0
828.44/828.61	c  828s |      26 | 12264628 |  9316652 |     1702  14177 |        0 |        0
830.45/830.62	c  830s |      26 | 12292206 |  9338652 |     1702  14202 |        0 |        0
832.44/832.63	c  832s |      26 | 12317903 |  9359352 |     1702  14227 |        0 |        0
834.44/834.63	c  834s |      26 | 12346671 |  9381352 |     1702  14252 |        0 |        0
836.44/836.63	c  836s |      26 | 12375437 |  9403352 |     1702  14278 |        0 |        0
838.43/838.64	c  838s |      26 | 12404318 |  9425652 |     1702  14304 |        0 |        0
840.43/840.64	c  840s |      26 | 12433490 |  9447552 |     1702  14330 |        0 |        0
842.44/842.65	c  842s |      26 | 12462531 |  9470152 |     1702  14357 |        0 |        0
844.43/844.65	c  844s |      26 | 12491022 |  9490752 |     1702  14381 |        0 |        0
846.43/846.66	c  846s |      26 | 12516829 |  9511152 |     1702  14405 |        0 |        0
848.43/848.67	c  848s |      26 | 12545011 |  9532652 |     1702  14430 |        0 |        0
850.43/850.67	c  850s |      26 | 12574676 |  9554252 |     1702  14455 |        0 |        0
852.43/852.67	c  852s |      26 | 12600253 |  9574952 |     1702  14479 |        0 |        0
854.42/854.68	c  854s |      26 | 12631394 |  9597652 |     1702  14506 |        0 |        0
856.43/856.68	c  856s |      26 | 12661014 |  9620852 |     1702  14533 |        0 |        0
858.43/858.69	c  858s |      26 | 12691701 |  9643752 |     1702  14560 |        0 |        0
860.43/860.70	c  860s |      26 | 12722081 |  9666352 |     1702  14587 |        0 |        0
862.53/862.70	c  862s |      26 | 12754020 |  9688652 |     1702  14613 |        0 |        0
864.53/864.71	c  864s |      26 | 12785429 |  9710652 |     1702  14638 |        0 |        0
866.52/866.71	c  866s |      26 | 12817261 |  9733152 |     1702  14665 |        0 |        0
868.52/868.71	c  868s |      26 | 12846586 |  9755252 |     1702  14691 |        0 |        0
870.52/870.72	c  870s |      26 | 12876637 |  9777752 |     1702  14717 |        0 |        0
872.52/872.72	c  872s |      26 | 12906462 |  9799852 |     1702  14743 |        0 |        0
874.52/874.73	c  874s |      26 | 12936863 |  9821852 |     1702  14769 |        0 |        0
876.52/876.73	c  876s |      26 | 12968315 |  9845152 |     1702  14796 |        0 |        0
878.51/878.74	c  878s |      26 | 12999224 |  9868052 |     1702  14823 |        0 |        0
880.51/880.74	c  880s |      26 | 13031527 |  9891552 |     1702  14850 |        0 |        0
882.51/882.75	c  882s |      26 | 13064878 |  9915352 |     1702  14878 |        0 |        0
884.51/884.75	c  884s |      26 | 13097257 |  9938952 |     1702  14906 |        0 |        0
886.52/886.75	c  886s |      26 | 13130326 |  9961452 |     1702  14932 |        0 |        0
888.51/888.76	c  888s |      26 | 13163841 |  9984852 |     1702  14959 |        0 |        0
890.51/890.77	c  890s |      26 | 13195273 | 10007952 |     1702  14987 |        0 |        0
892.51/892.78	c  892s |      26 | 13224573 | 10030152 |     1702  15012 |        0 |        0
894.51/894.78	c  894s |      26 | 13256594 | 10053352 |     1702  15040 |        0 |        0
896.51/896.79	c  896s |      26 | 13288668 | 10076652 |     1702  15067 |        0 |        0
898.51/898.79	c  898s |      26 | 13321479 | 10099852 |     1702  15094 |        0 |        0
900.50/900.79	c  900s |      26 | 13352898 | 10122852 |     1702  15121 |        0 |        0
902.60/902.80	c  902s |      26 | 13386338 | 10147252 |     1702  15149 |        0 |        0
904.60/904.81	c  904s |      26 | 13419183 | 10171152 |     1702  15177 |        0 |        0
906.59/906.81	c  906s |      26 | 13446805 | 10192852 |     1702  15203 |        0 |        0
908.59/908.81	c  908s |      26 | 13474563 | 10215052 |     1702  15229 |        0 |        0
910.60/910.81	c  910s |      26 | 13505446 | 10238952 |     1702  15257 |        0 |        0
912.59/912.82	c  912s |      26 | 13539705 | 10263452 |     1702  15285 |        0 |        0
914.59/914.83	c  914s |      26 | 13573629 | 10287752 |     1702  15314 |        0 |        0
916.59/916.83	c  916s |      26 | 13608012 | 10312552 |     1702  15343 |        0 |        0
918.59/918.84	c  918s |      26 | 13643153 | 10337952 |     1702  15371 |        1 |        4
920.59/920.84	c  920s |      26 | 13677043 | 10362452 |     1702  15400 |        1 |        4
922.59/922.84	c  922s |      26 | 13708642 | 10386352 |     1702  15428 |        1 |        4
924.59/924.85	c  924s |      26 | 13742334 | 10410652 |     1702  15456 |        1 |        4
926.58/926.85	c  926s |      26 | 13775724 | 10434452 |     1702  15484 |        1 |        4
928.58/928.86	c  928s |      26 | 13805934 | 10457052 |     1702  15510 |        1 |        4
930.58/930.86	c  930s |      26 | 13836448 | 10479252 |     1702  15536 |        1 |        4
932.60/932.87	c  932s |      26 | 13868275 | 10502552 |     1702  15564 |        1 |        4
934.59/934.88	c  934s |      26 | 13897680 | 10525752 |     1702  15591 |        1 |        4
936.59/936.89	c  936s |      26 | 13926584 | 10547452 |     1702  15616 |        1 |        4
938.59/938.89	c  938s |      26 | 13955483 | 10569552 |     1702  15642 |        1 |        4
940.59/940.89	c  940s |      26 | 13983860 | 10591852 |     1702  15668 |        1 |        4
942.69/942.90	c  942s |      26 | 14015897 | 10615452 |     1702  15696 |        1 |        4
944.69/944.91	c  944s |      26 | 14047538 | 10639452 |     1702  15724 |        1 |        4
946.68/946.92	c  946s |      26 | 14076890 | 10662052 |     1702  15750 |        1 |        4
948.68/948.92	c  948s |      26 | 14111096 | 10685752 |     1702  15778 |        1 |        4
950.68/950.92	c  950s |      26 | 14143205 | 10709352 |     1702  15806 |        1 |        4
952.68/952.93	c  952s |      26 | 14175349 | 10733152 |     1702  15834 |        1 |        4
954.69/954.94	c  954s |      26 | 14206557 | 10756752 |     1702  15861 |        1 |        4
956.68/956.94	c  956s |      26 | 14236141 | 10779952 |     1702  15888 |        1 |        4
958.67/958.95	c  958s |      26 | 14263285 | 10800952 |     1702  15913 |        1 |        4
960.67/960.95	c  960s |      26 | 14294635 | 10823952 |     1702  15940 |        1 |        4
962.67/962.95	c  962s |      26 | 14327450 | 10848752 |     1702  15969 |        1 |        4
964.67/964.95	c  964s |      26 | 14357805 | 10872752 |     1702  15995 |        2 |        8
966.68/966.96	c  966s |      26 | 14390248 | 10896352 |     1702  16023 |        2 |        8
968.67/968.96	c  968s |      26 | 14422747 | 10920352 |     1702  16051 |        2 |        8
970.67/970.97	c  970s |      26 | 14455953 | 10944252 |     1702  16079 |        2 |        8
972.67/972.97	c  972s |      26 | 14487279 | 10967952 |     1702  16107 |        2 |        8
974.66/974.98	c  974s |      26 | 14521836 | 10992552 |     1702  16136 |        2 |        8
976.67/976.98	c  976s |      26 | 14555230 | 11016952 |     1702  16164 |        2 |        8
978.66/978.99	c  978s |      26 | 14584374 | 11039852 |     1702  16191 |        2 |        8
980.66/981.00	c  980s |      26 | 14615400 | 11063252 |     1702  16218 |        2 |        8
982.76/983.00	c  982s |      26 | 14645753 | 11086352 |     1702  16245 |        2 |        8
984.76/985.00	c  984s |      26 | 14673267 | 11108452 |     1702  16271 |        2 |        8
986.76/987.01	c  986s |      26 | 14702551 | 11131752 |     1702  16298 |        2 |        8
988.76/989.02	c  988s |      26 | 14734091 | 11155452 |     1702  16326 |        2 |        8
990.75/991.02	c  991s |      26 | 14765311 | 11179152 |     1702  16354 |        2 |        8
992.76/993.03	c  993s |      26 | 14795616 | 11202852 |     1702  16381 |        2 |        8
994.76/995.04	c  995s |      26 | 14827407 | 11227552 |     1702  16409 |        3 |       12
996.76/997.05	c  997s |      26 | 14854356 | 11248852 |     1702  16434 |        3 |       12
998.76/999.05	c  999s |      26 | 14884279 | 11271352 |     1702  16460 |        3 |       12
1000.76/1001.06	c 1001s |      26 | 14914798 | 11293252 |     1702  16485 |        3 |       12
1002.75/1003.06	c 1003s |      26 | 14945408 | 11316252 |     1873  16512 |        3 |       12
1004.75/1005.07	c 1005s |      26 | 14974263 | 11338152 |     1873  16535 |        3 |       12
1006.75/1007.07	c 1007s |      26 | 15005640 | 11361052 |     1873  16560 |        3 |       12
1008.75/1009.08	c 1009s |      26 | 15035488 | 11383252 |     1873  16583 |        3 |       12
1009.95/1010.27	c 1010s |      27 | 15053311 | 11396733 |     1873  16598 |        3 |       12
1011.95/1012.27	c 1012s |      27 | 15083061 | 11419333 |     1873  16622 |        3 |       12
1013.95/1014.28	c 1014s |      27 | 15113789 | 11442233 |     1873  16646 |        3 |       12
1015.94/1016.28	c 1016s |      27 | 15143915 | 11464833 |     1873  16670 |        3 |       12
1017.94/1018.29	c 1018s |      27 | 15171622 | 11486233 |     1873  16693 |        3 |       12
1019.94/1020.29	c 1020s |      27 | 15201572 | 11508733 |     1873  16717 |        3 |       12
1021.94/1022.29	c 1022s |      27 | 15231478 | 11531533 |     1873  16741 |        3 |       12
1023.95/1024.29	c 1024s |      27 | 15260034 | 11552633 |     1873  16762 |        4 |       16
1025.94/1026.30	c 1026s |      27 | 15287214 | 11574033 |     1873  16785 |        4 |       16
1028.03/1028.31	c 1028s |      27 | 15316044 | 11596433 |     1873  16809 |        4 |       16
1030.03/1030.31	c 1030s |      27 | 15345474 | 11618633 |     1873  16832 |        4 |       16
1032.03/1032.31	c 1032s |      27 | 15375466 | 11641533 |     1873  16857 |        4 |       16
1034.03/1034.32	c 1034s |      27 | 15405723 | 11664233 |     1873  16881 |        4 |       16
1036.04/1036.32	c 1036s |      27 | 15435604 | 11687033 |     1873  16904 |        5 |       20
1038.03/1038.32	c 1038s |      27 | 15463636 | 11709133 |     1873  16928 |        5 |       20
1040.03/1040.32	c 1040s |      27 | 15493746 | 11730933 |     1873  16951 |        5 |       20
1042.03/1042.33	c 1042s |      27 | 15523417 | 11753333 |     1873  16975 |        5 |       20
1044.03/1044.33	c 1044s |      27 | 15553888 | 11776533 |     1873  16998 |        6 |       24
1045.93/1046.24	c 1046s |      27 | 15584752 | 11800556 |     1873  17019 |       27 |       84
1045.93/1046.24	c #cpu_time = 1043.375s
1045.93/1046.24	c #wall_clock_time = 1046.220s
1045.93/1046.24	c #decision = 15584752
1045.93/1046.24	c #random_decision = 75550
1045.93/1046.24	c #conflict = 11800556
1045.93/1046.24	c #restart = 27
1045.93/1046.24	s UNSATISFIABLE
1045.93/1046.24	c total CPU time = 1043.397s
1045.93/1046.24	c total wall clock time = 1046.242s

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.24 2.21 3/179 19206
/proc/meminfo: memFree=28503068/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 708 0 0 0 0 0 0 0 20 0 4 0 12441819 246870016 1068 33554432000 4194304 16246674 140733964217104 140733964216528 13195352 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19206/statm: 60271 1076 425 2943 0 57165 0
[pid=19206/tid=19207] ppid=19203 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 246870016 1099 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 246870016 1109 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12441819 246870016 1115 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.26 2.24 2.21 3/179 19206
/proc/meminfo: memFree=28503068/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 23156 0 0 0 5 4 0 0 20 0 4 0 12441819 1247350784 23505 33554432000 4194304 16246674 140733964217104 140733964216528 12478189 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19206/statm: 304529 23518 707 2943 0 301423 0
[pid=19206/tid=19207] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 23523 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 23529 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 23538 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200469 s]
/proc/loadavg: 2.26 2.24 2.21 3/179 19206
/proc/meminfo: memFree=28503068/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 45186 0 0 0 12 7 0 0 20 0 4 0 12441819 1247350784 45535 33554432000 4194304 16246674 140733964217104 140733964216528 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19206/statm: 304529 45546 707 2943 0 301423 0
[pid=19206/tid=19207] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 45556 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 45562 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 45570 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300433 s]
/proc/loadavg: 2.26 2.24 2.21 3/179 19206
/proc/meminfo: memFree=28503068/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 67122 0 0 0 19 9 0 0 20 0 4 0 12441819 1247350784 67471 33554432000 4194304 16246674 140733964217104 140733964216528 5677541 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19206/statm: 304529 67472 708 2943 0 301423 0
[pid=19206/tid=19207] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 67478 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 67488 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 67495 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700394 s]
/proc/loadavg: 2.26 2.24 2.21 3/179 19206
/proc/meminfo: memFree=28503068/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 155941 0 0 0 47 21 0 0 20 0 4 0 12441819 1247350784 156291 33554432000 4194304 16246674 140733964217104 140733964198976 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 304529 156303 708 2943 0 301423 0
[pid=19206/tid=19207] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 156308 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 156314 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12441819 1247350784 156322 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 19210
/proc/meminfo: memFree=27520884/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 245570 0 0 0 114 34 0 0 20 0 4 0 12441819 1248399360 245899 33554432000 4194304 16246674 140733964217104 140733964199872 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 304785 245899 785 2943 0 301679 0
[pid=19206/tid=19207] ppid=19203 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1248399360 245899 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1248399360 245899 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1248399360 245899 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.32 2.26 2.22 3/183 19210
/proc/meminfo: memFree=27433820/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 267412 0 0 0 273 36 0 0 20 0 4 0 12441819 1337528320 267741 33554432000 4194304 16246674 140733964217104 140733964200104 5823230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 326545 267741 785 2943 0 323439 0
[pid=19206/tid=19207] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267741 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267741 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267741 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.32 2.26 2.22 4/183 19210
/proc/meminfo: memFree=27432488/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 267483 0 0 0 593 36 0 0 20 0 4 0 12441819 1337528320 267812 33554432000 4194304 16246674 140733964217104 140733964200104 5994097 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 326545 267812 788 2943 0 323439 0
[pid=19206/tid=19207] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267812 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267812 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267812 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.27 2.25 2.21 3/182 19210
/proc/meminfo: memFree=27432192/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 267484 0 0 0 1232 36 0 0 20 0 4 0 12441819 1337528320 267813 33554432000 4194304 16246674 140733964217104 140733964198976 12466584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 326545 267813 788 2943 0 323439 0
[pid=19206/tid=19207] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267813 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267813 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267813 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.23 2.24 2.21 4/183 19211
/proc/meminfo: memFree=27432604/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 267484 0 0 0 2512 36 0 0 20 0 4 0 12441819 1337528320 267813 33554432000 4194304 16246674 140733964217104 140733964198976 5673527 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 326545 267813 788 2943 0 323439 0
[pid=19206/tid=19207] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267813 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267813 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1337528320 267813 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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: 2.21 2.23 2.21 3/183 19211
/proc/meminfo: memFree=27431996/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 267628 0 0 0 5071 37 0 0 20 0 4 0 12441819 1338576896 267957 33554432000 4194304 16246674 140733964217104 140733964200104 5827728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 326801 267957 788 2943 0 323695 0
[pid=19206/tid=19207] ppid=19203 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1338576896 267957 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1338576896 267957 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1338576896 267957 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.41 2.28 2.23 3/183 19212
/proc/meminfo: memFree=27431140/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 267692 0 0 0 10189 38 0 0 20 0 4 0 12441819 1338576896 268021 33554432000 4194304 16246674 140733964217104 140733964200104 5824045 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 326801 268021 788 2943 0 323695 0
[pid=19206/tid=19207] ppid=19203 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1338576896 268021 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1338576896 268021 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1338576896 268021 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 267977 0 0 0 82163 52 0 0 20 0 4 0 12441819 1339625472 268277 33554432000 4194304 16246674 140733964217104 140733964200104 5675793 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327057 268277 789 2943 0 323951 0
[pid=19206/tid=19207] ppid=19203 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1339625472 268277 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1339625472 268277 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1339625472 268277 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 1308228

[startup+882.307 s]
/proc/loadavg: 2.25 2.26 2.22 4/183 19525
/proc/meminfo: memFree=27431564/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1308228 CPUtime=882.12 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268014 0 0 0 88159 53 0 0 20 0 4 0 12441819 1339625472 268277 33554432000 4194304 16246674 140733964217104 140733964198976 5677537 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327057 268277 789 2943 0 323951 0
[pid=19206/tid=19207] ppid=19203 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1339625472 268277 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1339625472 268277 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1339625472 268277 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 1308228

[startup+942.3 s]
/proc/loadavg: 2.24 2.25 2.21 3/183 19527
/proc/meminfo: memFree=27429876/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=942.08 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268285 0 0 0 94154 54 0 0 20 0 4 0 12441819 1340674048 268506 33554432000 4194304 16246674 140733964217104 140733964200104 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268506 789 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268506 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268506 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268506 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1309252

[startup+1002.3 s]
/proc/loadavg: 2.29 2.26 2.21 3/183 19528
/proc/meminfo: memFree=27430408/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=1002.05 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268343 0 0 0 100150 55 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140733964200104 5672201 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268525 790 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1309252

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

[startup+1024 s]
/proc/loadavg: 2.36 2.27 2.22 3/183 19528
/proc/meminfo: memFree=27430132/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=1023.74 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268353 0 0 0 102319 55 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140733964198976 5546868 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268525 790 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1023.74
Current children cumulated vsize (KiB) 1309252

[startup+1036.8 s]
/proc/loadavg: 2.39 2.28 2.22 3/183 19528
/proc/meminfo: memFree=27430116/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=1036.53 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268361 0 0 0 103598 55 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140733964200104 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268525 790 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1036.53
Current children cumulated vsize (KiB) 1309252

[startup+1043.2 s]
/proc/loadavg: 2.33 2.27 2.22 3/183 19529
/proc/meminfo: memFree=27430092/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=1042.93 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268369 0 0 0 104238 55 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140733964216200 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268525 790 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1042.93
Current children cumulated vsize (KiB) 1309252

[startup+1044.8 s]
/proc/loadavg: 2.33 2.27 2.22 3/183 19529
/proc/meminfo: memFree=27429968/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=1044.53 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268369 0 0 0 104398 55 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140733964198976 6836192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268525 790 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.53
Current children cumulated vsize (KiB) 1309252

[startup+1045.6 s]
/proc/loadavg: 2.33 2.27 2.22 3/183 19529
/proc/meminfo: memFree=27429968/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=1045.33 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268369 0 0 0 104478 55 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140733964198976 5822722 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268525 790 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1045.33
Current children cumulated vsize (KiB) 1309252

[startup+1046 s]
/proc/loadavg: 2.33 2.27 2.22 3/183 19529
/proc/meminfo: memFree=27429968/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=1045.73 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268369 0 0 0 104518 55 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140733964198976 12483276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268525 790 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1045.73
Current children cumulated vsize (KiB) 1309252

[startup+1046.21 s]
/proc/loadavg: 2.33 2.27 2.22 3/183 19529
/proc/meminfo: memFree=27430092/32872528 swapFree=1498612/1645780
[pid=19206] ppid=19203 vsize=1309252 CPUtime=1045.93 cores=0,2,4,6
/proc/19206/stat : 19206 (toysat) R 19203 19206 13393 0 -1 4202496 268369 0 0 0 104538 55 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140733964198976 5823496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19206/statm: 327313 268525 790 2943 0 324207 0
[pid=19206/tid=19207] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19207/stat : 19207 (toysat) S 19203 19206 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323460197616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19206/tid=19208] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19208/stat : 19208 (toysat) S 19203 19206 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323449707760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19206/tid=19209] ppid=19203 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19206/task/19209/stat : 19209 (toysat) S 19203 19206 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12441819 1340674048 268525 33554432000 4194304 16246674 140733964217104 140323439234224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1045.93
Current children cumulated vsize (KiB) 1309252

Child status: 0
Real time (s): 1046.29
CPU time (s): 1046.03
CPU user time (s): 1045.43
CPU system time (s): 0.596909
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1045.43
system time used= 0.596909
maximum resident set size= 1074112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268374
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= 194
involuntary context switches= 1086

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01193 second user time and 8.00978 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-30 21:27:30
IDJOB=4121522
IDBENCH=110536
IDSOLVER=2542
FILE ID=node124/4121522-1467314850
RUNJOBID= node124-1467310918-18129
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-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-4121522-1467314850/watcher-4121522-1467314850 -o /tmp/evaluation-result-4121522-1467314850/solver-4121522-1467314850 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18129 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121522-1467314850.opb

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

MD5SUM BENCH= 27072c993985960f98e07683b0640f92
RANDOM SEED=927825167

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.062
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:        28503332 kB
Buffers:          150900 kB
Cached:           737396 kB
SwapCached:            0 kB
Active:          1344736 kB
Inactive:         632508 kB
Active(anon):    1080044 kB
Inactive(anon):    11336 kB
Active(file):     264692 kB
Inactive(file):   621172 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       2820152 kB
Mapped:            17112 kB
Shmem:               204 kB
Slab:             610584 kB
SReclaimable:      54624 kB
SUnreclaim:       555960 kB
KernelStack:        1496 kB
PageTables:         9032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2867556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1306624 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= 71692 MiB
End job on node124 at 2016-06-30 21:44:56