Trace number 4110418

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 793.179 793.353

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T16:04:22+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4110418-1466345062.wbo"]
0.00/0.01	c use --random-gen="322677841 3204027418 194399533 240943547 3069048670 1428584909 1572308071 698552480 1639712307 3215936311 2287063620 1974170205 3484241408 2153033355 3782217295 1359372981 383551101 1364808988 2817830228 4138062221 1649939151 1085321985 4069474057 243668918 2570244295 2779145592 1754525626 1444777945 3835888993 3852603479 606884751 1260073593 5959562 1669942804 2762551117 3065593108 1302419002 2235451310 589875026 3325472004 3668174956 3909016908 2437474112 1546824526 553805940 3280754224 2112980178 3467796615 1641005440 3148855960 2749370642 2875428263 2250530639 2251790520 1942730715 2874609524 2586013016 65169787 881966848 1903840973 623216415 193019116 2924616784 4290383268 1328883291 4277677205 3474932162 4078957139 3344662135 523440396 1047124423 3585206096 557152299 2670307699 186761807 2038089877 667478946 1721064634 880423495 1636126776 1609393079 2808734855 1553107179 2864611881 2990635308 3808591649 3768927515 438062721 1843595060 1276767639 612611554 263033213 3822148284 1449956386 3101320068 590081853 3742953839 325546070 3997085142 817042654 3755213600 3711933396 2099769293 3810130039 3980685327 2909303246 1473383821 1522263790 1782130957 1430223154 3187256945 3746760681 334158904 2006589603 1152239284 2447659727 2005754840 1657896585 514413325 1014950280 1501402407 4256402019 4207880513 3855823426 683206567 1760578550 3676332008 3124263063 1380956641 2751231765 626145582 1381280131 703087277 2681411469 752760760 2585582909 724413962 1008813805 1174308940 3717606291 2211493863 477404313 3263887718 2223921044 2726016354 2908780980 2188263182 3291341128 2555009628 211320182 4002057788 964805961 609107468 4055733007 1649968812 2273669052 335830124 3521963246 660313530 3971139816 2319249025 2163084859 3343036959 3302634704 3168128953 975910729 3300522242 2063391574 2262995 4126960412 3291724338 100286450 218565131 1994837947 393285899 2777989701 3543242809 4247111514 1400884227 497493410 3376657696 4263581610 1525768240 1550111540 1434708094 3279568878 976955941 4145583844 631754017 1174327300 3655719198 305081595 4251716386 16521276 2882370953 252996312 3805967955 1738586109 416208628 1785693960 2210531744 444310529 187038440 1385319008 1814097188 3198173875 1947556365 3797807273 2055381943 629039482 3407290174 2007537665 654746104 2621862396 4022760093 392461605 3903221120 1844226781 825199975 2613474823 438118956 274401247 1231081946 602098316 391651233 2889832259 855375015 484114163 193058439 1557610057 88646835 3422436153 980837081 2046612139 1750667495 479480303 1779926686 1648926230 1640193395 2952499703 853043279 1326143315 4268166100 2782969018 3067658598 1677739028 1046092477 3949197953 2453557271 2800801597 943357957 18144282 2355768842 3057601236 2953762423 2462354304 255 362436" option to reproduce the execution
0.09/0.18	c #vars 231
0.09/0.18	c #constraints 2707
0.19/0.23	c BCD2: Hardening is enabled.
0.19/0.23	c BCD2: BiasedSearch is enabled.
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.25	c  0.0s |       0 |     2716 |        0 |     1881      0 |        0 |        0
0.19/0.25	c #cpu_time = 0.017s
0.19/0.25	c #wall_clock_time = 0.017s
0.19/0.25	c #decision = 2716
0.19/0.25	c #random_decision = 11
0.19/0.25	c #conflict = 0
0.19/0.25	c #restart = 0
0.19/0.25	o 534
0.19/0.25	c BCD2: updating upper bound: 136842 -> 533
0.19/0.27	c BCD2: 0 <= obj <= 533
0.19/0.27	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.19/0.27	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.29	c  0.0s |       1 |     2889 |      100 |     1881      0 |        0 |        0
0.29/0.34	c  0.1s |       2 |     5898 |      250 |     2070      0 |        0 |        0
0.29/0.40	c  0.1s |       3 |     8923 |      475 |     2277      0 |        0 |        0
0.39/0.49	c  0.2s |       4 |    12162 |      813 |     2505      0 |        0 |        0
0.59/0.66	c  0.4s |       5 |    15615 |     1320 |     2756      0 |        0 |        0
0.99/1.03	c  0.8s |       6 |    19277 |     2081 |     3336      0 |        0 |        0
1.39/1.43	c  1.2s |       7 |    23448 |     3223 |     3670      0 |        0 |        0
2.39/2.40	c  2.1s |       8 |    28429 |     4936 |     4038      0 |        0 |        0
4.29/4.34	c  4.1s |       9 |    34463 |     7506 |     4442      1 |        0 |        0
6.29/6.38	c  6.1s |       9 |    39491 |     9406 |     4442      2 |        0 |        0
7.19/7.28	c  7.0s |      10 |    42286 |    11361 |     4887      2 |        0 |        0
9.28/9.30	c  9.0s |      10 |    48863 |    14261 |     4887      3 |        0 |        0
11.29/11.32	c 11.1s |      10 |    52418 |    16961 |     4887      4 |        0 |        0
11.39/11.42	c 11.2s |      11 |    52632 |    17144 |     5376      4 |        0 |        0
13.39/13.45	c 13.2s |      11 |    58567 |    19544 |     5376      4 |        0 |        0
15.50/15.50	c 15.2s |      11 |    62074 |    22244 |     5376      5 |        0 |        0
17.59/17.62	c 17.4s |      11 |    64831 |    24344 |     5376      6 |        0 |        0
19.18/19.21	c 18.9s |      12 |    66775 |    25819 |     5914      6 |        0 |        0
21.18/21.27	c 21.0s |      12 |    72066 |    27719 |     5914      6 |        0 |        0
23.29/23.30	c 23.0s |      12 |    75382 |    30119 |     5914      7 |        0 |        0
25.29/25.32	c 25.1s |      12 |    79986 |    33619 |     5914      8 |        0 |        0
27.28/27.37	c 27.1s |      12 |    84660 |    36919 |     5914      8 |        0 |        0
28.59/28.61	c 28.3s |      13 |    87119 |    38832 |     6506      9 |        0 |        0
30.58/30.62	c 30.4s |      13 |    93262 |    41332 |     6506      9 |        0 |        0
32.68/32.71	c 32.4s |      13 |    95550 |    43032 |     6506     10 |        0 |        0
34.68/34.76	c 34.5s |      13 |    98844 |    45332 |     6506     10 |        0 |        0
36.79/36.86	c 36.6s |      13 |   101440 |    47232 |     6506     11 |        0 |        0
38.78/38.89	c 38.6s |      13 |   103955 |    49132 |     6506     11 |        0 |        0
40.88/40.99	c 40.7s |      13 |   105886 |    50532 |     6506     11 |        0 |        0
42.89/42.99	c 42.7s |      13 |   107518 |    51832 |     6506     12 |        0 |        0
45.09/45.11	c 44.8s |      13 |   109280 |    53232 |     6506     12 |        0 |        0
47.18/47.21	c 46.9s |      13 |   110663 |    54332 |     6506     12 |        0 |        0
49.28/49.34	c 49.1s |      13 |   112896 |    55832 |     6506     12 |        0 |        0
51.38/51.44	c 51.2s |      13 |   114975 |    57232 |     6506     13 |        0 |        0
53.08/53.18	c 52.9s |      14 |   116500 |    58352 |     7157     13 |        0 |        0
55.18/55.29	c 55.0s |      14 |   121155 |    59652 |     7157     13 |        0 |        0
57.19/57.30	c 57.0s |      14 |   122726 |    60752 |     7157     13 |        0 |        0
59.39/59.42	c 59.1s |      14 |   124264 |    61852 |     7157     14 |        0 |        0
61.38/61.44	c 61.2s |      14 |   126264 |    63252 |     7157     14 |        0 |        0
63.58/63.60	c 63.3s |      14 |   127871 |    64452 |     7157     14 |        0 |        0
65.68/65.76	c 65.5s |      14 |   129312 |    65552 |     7157     14 |        0 |        0
67.88/67.91	c 67.6s |      14 |   130800 |    66652 |     7157     14 |        0 |        0
69.88/69.93	c 69.7s |      14 |   133585 |    68752 |     7157     15 |        0 |        0
71.88/71.98	c 71.7s |      14 |   136538 |    70752 |     7157     15 |        0 |        0
73.98/74.07	c 73.8s |      14 |   138503 |    72252 |     7157     16 |        0 |        0
76.08/76.15	c 75.9s |      14 |   141576 |    74252 |     7157     16 |        0 |        0
78.18/78.25	c 78.0s |      14 |   143791 |    75852 |     7157     16 |        0 |        0
80.28/80.35	c 80.1s |      14 |   145288 |    76952 |     7157     17 |        0 |        0
82.38/82.42	c 82.2s |      14 |   147283 |    78352 |     7157     17 |        0 |        0
84.58/84.64	c 84.4s |      14 |   148766 |    79452 |     7157     17 |        0 |        0
86.57/86.70	c 86.4s |      14 |   150210 |    80452 |     7157     17 |        0 |        0
88.67/88.74	c 88.5s |      14 |   153211 |    82352 |     7157     18 |        0 |        0
90.68/90.79	c 90.5s |      14 |   156611 |    84852 |     7157     18 |        0 |        0
92.88/92.90	c 92.6s |      14 |   159364 |    86652 |     7157     19 |        0 |        0
93.88/93.97	c 93.7s |      15 |   160807 |    87632 |     7873     19 |        0 |        0
95.88/95.97	c 95.7s |      15 |   165734 |    89232 |     7873     19 |        0 |        0
97.98/98.09	c 97.8s |      15 |   167364 |    90432 |     7873     19 |        0 |        0
100.08/100.17	c 99.9s |      15 |   169241 |    91732 |     7873     19 |        0 |        0
102.17/102.27	c  101s |      15 |   170818 |    92832 |     7873     20 |        0 |        0
104.37/104.40	c  104s |      15 |   172541 |    94132 |     7873     20 |        0 |        0
106.37/106.47	c  106s |      15 |   173793 |    95132 |     7873     20 |        0 |        0
108.57/108.60	c  108s |      15 |   174971 |    96032 |     7873     20 |        0 |        0
110.58/110.61	c  110s |      15 |   176150 |    96832 |     7873     20 |        0 |        0
112.68/112.71	c  112s |      15 |   177576 |    97732 |     7873     21 |        0 |        0
114.77/114.82	c  114s |      15 |   180381 |    99432 |     7873     21 |        0 |        0
116.87/116.96	c  116s |      15 |   182766 |   100932 |     7873     21 |        0 |        0
118.97/119.01	c  118s |      15 |   185317 |   102732 |     7873     21 |        0 |        0
121.08/121.13	c  120s |      15 |   187355 |   104132 |     7873     22 |        0 |        0
123.18/123.24	c  122s |      15 |   189608 |   105532 |     7873     22 |        0 |        0
125.17/125.26	c  124s |      15 |   192055 |   106932 |     7873     22 |        0 |        0
127.37/127.40	c  127s |      15 |   193990 |   108132 |     7873     22 |        0 |        0
129.47/129.52	c  129s |      15 |   196437 |   109832 |     7873     23 |        0 |        0
131.57/131.60	c  131s |      15 |   198744 |   111232 |     7873     23 |        0 |        0
133.67/133.78	c  133s |      15 |   200719 |   112432 |     7873     23 |        0 |        0
135.97/136.00	c  135s |      15 |   202565 |   113532 |     7873     24 |        0 |        0
137.97/138.00	c  137s |      15 |   204588 |   114732 |     7873     24 |        0 |        0
140.06/140.16	c  139s |      15 |   206413 |   115832 |     7873     24 |        0 |        0
142.27/142.32	c  142s |      15 |   208109 |   116832 |     7873     24 |        0 |        0
144.37/144.47	c  144s |      15 |   209817 |   118032 |     7873     24 |        0 |        0
146.37/146.49	c  146s |      15 |   211520 |   119132 |     7873     25 |        0 |        0
148.47/148.56	c  148s |      15 |   213752 |   120532 |     7873     25 |        0 |        0
150.57/150.61	c  150s |      15 |   215781 |   121732 |     7873     25 |        0 |        0
152.57/152.62	c  152s |      15 |   217727 |   123032 |     7873     25 |        0 |        0
154.56/154.67	c  154s |      15 |   220032 |   124332 |     7873     26 |        0 |        0
156.66/156.76	c  156s |      15 |   222548 |   125832 |     7873     26 |        0 |        0
158.77/158.83	c  158s |      15 |   224919 |   127232 |     7873     26 |        0 |        0
160.87/160.92	c  160s |      15 |   227007 |   128532 |     7873     26 |        0 |        0
162.97/163.00	c  162s |      15 |   228891 |   129732 |     7873     27 |        0 |        0
164.97/165.02	c  164s |      15 |   230494 |   130732 |     8661     27 |        0 |        0
166.56/166.61	c  166s |      16 |   231907 |   131552 |     8661     27 |        0 |        0
168.66/168.71	c  168s |      16 |   236481 |   132652 |     8661     27 |        0 |        0
170.76/170.85	c  170s |      16 |   239126 |   134252 |     8661     27 |        0 |        0
172.86/172.91	c  172s |      16 |   241357 |   135552 |     8661     28 |        0 |        0
174.87/174.92	c  174s |      16 |   244010 |   137152 |     8661     28 |        0 |        0
176.96/177.10	c  176s |      16 |   246614 |   138652 |     8661     28 |        0 |        0
179.16/179.20	c  178s |      16 |   249368 |   140352 |     8661     28 |        0 |        0
181.16/181.29	c  181s |      16 |   251329 |   141452 |     8661     29 |        0 |        0
183.36/183.45	c  183s |      16 |   253135 |   142552 |     8661     29 |        0 |        0
185.46/185.57	c  185s |      16 |   254754 |   143652 |     8661     29 |        0 |        0
187.56/187.61	c  187s |      16 |   256018 |   144552 |     8661     29 |        0 |        0
189.66/189.70	c  189s |      16 |   258403 |   146052 |     8661     29 |        0 |        0
191.66/191.76	c  191s |      16 |   260790 |   147552 |     8661     30 |        0 |        0
193.66/193.79	c  193s |      16 |   263281 |   148952 |     8661     30 |        0 |        0
195.77/195.85	c  195s |      16 |   265260 |   150152 |     8661     30 |        0 |        0
197.96/198.09	c  197s |      16 |   267265 |   151352 |     8661     30 |        0 |        0
200.27/200.32	c  200s |      16 |   268774 |   152252 |     8661     30 |        0 |        0
202.26/202.37	c  202s |      16 |   271718 |   154052 |     8661     31 |        0 |        0
204.36/204.47	c  204s |      16 |   274894 |   156052 |     8661     31 |        0 |        0
206.36/206.48	c  206s |      16 |   277918 |   157952 |     8661     31 |        0 |        0
208.46/208.50	c  208s |      16 |   280456 |   159452 |     8661     32 |        0 |        0
210.55/210.62	c  210s |      16 |   283045 |   160952 |     8661     32 |        0 |        0
212.56/212.68	c  212s |      16 |   285729 |   162352 |     8661     32 |        0 |        0
214.65/214.77	c  214s |      16 |   288008 |   163652 |     8661     32 |        0 |        0
216.77/216.89	c  216s |      16 |   290125 |   164852 |     8661     33 |        0 |        0
218.96/219.03	c  218s |      16 |   292315 |   166152 |     8661     33 |        0 |        0
221.06/221.11	c  220s |      16 |   294134 |   167252 |     8661     33 |        0 |        0
223.06/223.14	c  222s |      16 |   296211 |   168452 |     8661     33 |        0 |        0
225.46/225.51	c  225s |      16 |   298542 |   169752 |     8661     34 |        0 |        0
227.46/227.58	c  227s |      16 |   300744 |   171052 |     8661     34 |        0 |        0
229.55/229.62	c  229s |      16 |   302714 |   172152 |     8661     34 |        0 |        0
231.55/231.67	c  231s |      16 |   304672 |   173252 |     8661     34 |        0 |        0
233.65/233.78	c  233s |      16 |   306487 |   174352 |     8661     34 |        0 |        0
235.85/235.97	c  235s |      16 |   308086 |   175352 |     8661     34 |        0 |        0
238.05/238.14	c  237s |      16 |   309807 |   176352 |     8661     35 |        0 |        0
240.15/240.24	c  239s |      16 |   311634 |   177352 |     8661     35 |        0 |        0
242.25/242.33	c  242s |      16 |   313125 |   178252 |     8661     35 |        0 |        0
244.45/244.54	c  244s |      16 |   314793 |   179152 |     8661     35 |        0 |        0
246.76/246.84	c  246s |      16 |   316247 |   179952 |     8661     35 |        0 |        0
248.75/248.87	c  248s |      16 |   318029 |   181052 |     8661     35 |        0 |        0
250.95/251.01	c  250s |      16 |   320106 |   182352 |     8661     36 |        0 |        0
253.06/253.17	c  252s |      16 |   322206 |   183652 |     8661     36 |        0 |        0
255.26/255.38	c  255s |      16 |   324134 |   184852 |     8661     36 |        0 |        0
257.45/257.52	c  257s |      16 |   325908 |   185952 |     8661     36 |        0 |        0
259.56/259.67	c  259s |      16 |   327791 |   187052 |     8661     37 |        0 |        0
261.76/261.87	c  261s |      16 |   329652 |   188152 |     8661     37 |        0 |        0
263.85/263.90	c  263s |      16 |   331264 |   189152 |     8661     37 |        0 |        0
265.85/265.91	c  265s |      16 |   333349 |   190552 |     8661     37 |        0 |        0
267.94/268.00	c  267s |      16 |   335194 |   191852 |     8661     37 |        0 |        0
269.95/270.05	c  269s |      16 |   336832 |   193052 |     8661     38 |        0 |        0
272.05/272.11	c  271s |      16 |   338436 |   194252 |     8661     38 |        0 |        0
274.15/274.21	c  273s |      16 |   340039 |   195352 |     8661     38 |        0 |        0
276.15/276.27	c  276s |      16 |   341816 |   196652 |     9528     38 |        0 |        0
277.45/277.53	c  277s |      17 |   342928 |   197432 |     9528     38 |        0 |        0
279.45/279.58	c  279s |      17 |   349644 |   199832 |     9528     39 |        0 |        0
281.55/281.67	c  281s |      17 |   353525 |   202332 |     9528     39 |        0 |        0
283.75/283.81	c  283s |      17 |   356382 |   204132 |     9528     39 |        0 |        0
285.84/285.95	c  285s |      17 |   359703 |   206232 |     9528     40 |        0 |        0
287.95/288.01	c  287s |      17 |   363070 |   208432 |     9528     40 |        0 |        0
290.05/290.13	c  289s |      17 |   365404 |   209932 |     9528     40 |        0 |        0
292.04/292.13	c  291s |      17 |   367520 |   211332 |     9528     41 |        0 |        0
294.04/294.14	c  293s |      17 |   370113 |   213032 |     9528     41 |        0 |        0
296.14/296.21	c  295s |      17 |   373160 |   214832 |     9528     41 |        0 |        0
298.24/298.33	c  298s |      17 |   375195 |   216132 |     9528     41 |        0 |        0
300.36/300.41	c  300s |      17 |   376762 |   217232 |     9528     42 |        0 |        0
302.45/302.51	c  302s |      17 |   379691 |   218832 |     9528     42 |        0 |        0
304.45/304.58	c  304s |      17 |   382616 |   220432 |     9528     42 |        0 |        0
306.54/306.69	c  306s |      17 |   384832 |   221732 |     9528     42 |        0 |        0
308.65/308.78	c  308s |      17 |   386796 |   223032 |     9528     43 |        0 |        0
310.74/310.81	c  310s |      17 |   388227 |   224032 |     9528     43 |        0 |        0
313.04/313.11	c  312s |      17 |   389398 |   224832 |     9528     43 |        0 |        0
315.05/315.13	c  314s |      17 |   390481 |   225532 |     9528     43 |        0 |        0
317.14/317.20	c  316s |      17 |   394322 |   228132 |     9528     43 |        0 |        0
319.14/319.27	c  319s |      17 |   397198 |   230032 |     9528     44 |        0 |        0
321.25/321.33	c  321s |      17 |   399545 |   231632 |     9528     44 |        0 |        0
323.24/323.38	c  323s |      17 |   402333 |   233432 |     9528     44 |        0 |        0
325.34/325.44	c  325s |      17 |   404122 |   234632 |     9528     44 |        0 |        0
327.34/327.48	c  327s |      17 |   406238 |   236032 |     9528     45 |        0 |        0
329.44/329.53	c  329s |      17 |   409714 |   238032 |     9528     45 |        0 |        0
331.54/331.61	c  331s |      17 |   412547 |   239632 |     9528     45 |        0 |        0
333.54/333.64	c  333s |      17 |   414897 |   241032 |     9528     45 |        0 |        0
335.74/335.83	c  335s |      17 |   416568 |   242132 |     9528     46 |        0 |        0
337.83/337.97	c  337s |      17 |   417895 |   243032 |     9528     46 |        0 |        0
339.95/340.04	c  339s |      17 |   420877 |   245132 |     9528     46 |        0 |        0
342.05/342.17	c  341s |      17 |   423877 |   246932 |     9528     46 |        0 |        0
344.14/344.25	c  343s |      17 |   426225 |   248632 |     9528     47 |        0 |        0
346.14/346.27	c  346s |      17 |   428566 |   250132 |     9528     47 |        0 |        0
348.23/348.36	c  348s |      17 |   430928 |   251532 |     9528     47 |        0 |        0
350.34/350.48	c  350s |      17 |   432785 |   252732 |     9528     47 |        0 |        0
352.44/352.52	c  352s |      17 |   434391 |   253632 |     9528     48 |        0 |        0
354.63/354.71	c  354s |      17 |   435939 |   254632 |     9528     48 |        0 |        0
356.74/356.80	c  356s |      17 |   438501 |   256332 |     9528     48 |        0 |        0
358.73/358.82	c  358s |      17 |   441107 |   257932 |     9528     48 |        0 |        0
360.85/360.91	c  360s |      17 |   442947 |   259132 |     9528     48 |        0 |        0
362.94/363.05	c  362s |      17 |   444448 |   260132 |     9528     49 |        0 |        0
364.93/365.06	c  364s |      17 |   446588 |   261532 |     9528     49 |        0 |        0
367.14/367.20	c  366s |      17 |   448768 |   262932 |     9528     49 |        0 |        0
369.13/369.23	c  368s |      17 |   450404 |   263932 |     9528     49 |        0 |        0
371.13/371.26	c  370s |      17 |   452228 |   265132 |     9528     49 |        0 |        0
373.13/373.26	c  372s |      17 |   453762 |   266132 |     9528     50 |        0 |        0
375.24/375.36	c  375s |      17 |   455565 |   267232 |     9528     50 |        0 |        0
377.34/377.40	c  377s |      17 |   457809 |   268632 |     9528     50 |        0 |        0
379.43/379.55	c  379s |      17 |   460060 |   270132 |     9528     50 |        0 |        0
381.43/381.57	c  381s |      17 |   462099 |   271332 |     9528     50 |        0 |        0
383.84/383.93	c  383s |      17 |   463163 |   272032 |     9528     51 |        0 |        0
385.93/386.00	c  385s |      17 |   465081 |   273332 |     9528     51 |        0 |        0
387.93/388.08	c  387s |      17 |   467034 |   274532 |     9528     51 |        0 |        0
390.13/390.24	c  389s |      17 |   468697 |   275632 |     9528     51 |        0 |        0
392.23/392.37	c  392s |      17 |   470682 |   276832 |     9528     51 |        0 |        0
394.43/394.57	c  394s |      17 |   472286 |   277932 |     9528     51 |        0 |        0
396.53/396.63	c  396s |      17 |   473540 |   278732 |     9528     52 |        0 |        0
398.53/398.64	c  398s |      17 |   475051 |   279732 |     9528     52 |        0 |        0
400.53/400.69	c  400s |      17 |   476371 |   280632 |     9528     52 |        0 |        0
402.73/402.80	c  402s |      17 |   478306 |   281832 |     9528     52 |        0 |        0
404.84/404.92	c  404s |      17 |   480910 |   283432 |     9528     52 |        0 |        0
406.83/406.95	c  406s |      17 |   483364 |   285032 |     9528     53 |        0 |        0
408.93/409.01	c  408s |      17 |   485608 |   286332 |     9528     53 |        0 |        0
410.93/411.08	c  410s |      17 |   488271 |   288132 |     9528     53 |        0 |        0
413.03/413.14	c  412s |      17 |   490758 |   289732 |     9528     53 |        0 |        0
415.03/415.17	c  414s |      17 |   493041 |   291232 |     9528     54 |        0 |        0
417.23/417.30	c  417s |      17 |   496124 |   292932 |     9528     54 |        0 |        0
419.23/419.40	c  419s |      17 |   498109 |   294132 |     9528     54 |        0 |        0
421.43/421.51	c  421s |      17 |   500150 |   295532 |    10481     54 |        0 |        0
422.53/422.66	c  422s |      18 |   501335 |   296252 |    10481     54 |        0 |        0
424.63/424.72	c  424s |      18 |   506400 |   297952 |    10481     55 |        0 |        0
426.73/426.82	c  426s |      18 |   509576 |   299852 |    10481     55 |        0 |        0
428.82/428.91	c  428s |      18 |   513075 |   301952 |    10481     55 |        0 |        0
431.14/431.26	c  430s |      18 |   515713 |   303552 |    10481     56 |        0 |        0
433.23/433.33	c  433s |      18 |   518056 |   305052 |    10481     56 |        0 |        0
435.22/435.33	c  435s |      18 |   520577 |   306752 |    10481     56 |        0 |        0
437.22/437.39	c  437s |      18 |   523168 |   308252 |    10481     56 |        0 |        0
439.32/439.40	c  439s |      18 |   525864 |   309952 |    10481     56 |        0 |        0
441.33/441.43	c  441s |      18 |   528284 |   311352 |    10481     57 |        0 |        0
443.33/443.46	c  443s |      18 |   530748 |   312952 |    10481     57 |        0 |        0
445.43/445.53	c  445s |      18 |   533305 |   314552 |    10481     57 |        0 |        0
447.52/447.67	c  447s |      18 |   535812 |   316152 |    10481     57 |        0 |        0
449.73/449.85	c  449s |      18 |   537955 |   317452 |    10481     58 |        0 |        0
451.72/451.86	c  451s |      18 |   540041 |   318852 |    10481     58 |        0 |        0
453.72/453.88	c  453s |      18 |   543300 |   320852 |    10481     58 |        0 |        0
455.82/455.99	c  455s |      18 |   546299 |   322852 |    10481     58 |        0 |        0
457.92/458.00	c  457s |      18 |   548817 |   324352 |    10481     59 |        0 |        0
459.92/460.06	c  459s |      18 |   552569 |   326752 |    10481     59 |        0 |        0
462.03/462.12	c  461s |      18 |   556027 |   329052 |    10481     59 |        0 |        0
464.02/464.14	c  463s |      18 |   559093 |   331152 |    10481     60 |        0 |        0
466.02/466.16	c  465s |      18 |   562713 |   333452 |    10481     60 |        0 |        0
468.12/468.22	c  467s |      18 |   565789 |   335452 |    10481     60 |        0 |        0
470.12/470.26	c  469s |      18 |   567936 |   336952 |    10481     61 |        0 |        0
472.22/472.34	c  472s |      18 |   571253 |   339052 |    10481     61 |        0 |        0
474.32/474.41	c  474s |      18 |   573988 |   340952 |    10481     61 |        0 |        0
476.41/476.50	c  476s |      18 |   576863 |   342952 |    10481     61 |        0 |        0
478.43/478.52	c  478s |      18 |   578928 |   344452 |    10481     62 |        0 |        0
480.42/480.54	c  480s |      18 |   581233 |   346052 |    10481     62 |        0 |        0
482.51/482.64	c  482s |      18 |   584224 |   348252 |    10481     62 |        0 |        0
484.62/484.76	c  484s |      18 |   585959 |   349652 |    10481     62 |        0 |        0
486.71/486.85	c  486s |      18 |   588161 |   351152 |    10481     63 |        0 |        0
488.82/488.96	c  488s |      18 |   590093 |   352552 |    10481     63 |        0 |        0
490.92/491.01	c  490s |      18 |   591574 |   353652 |    10481     63 |        0 |        0
492.91/493.06	c  492s |      18 |   593449 |   354952 |    10481     63 |        0 |        0
495.02/495.15	c  494s |      18 |   595305 |   356152 |    10481     63 |        0 |        0
497.12/497.23	c  496s |      18 |   597183 |   357452 |    10481     64 |        0 |        0
499.11/499.25	c  498s |      18 |   599579 |   359252 |    10481     64 |        0 |        0
501.22/501.33	c  501s |      18 |   601479 |   360752 |    10481     64 |        0 |        0
503.22/503.40	c  503s |      18 |   603161 |   361952 |    10481     64 |        0 |        0
505.61/505.73	c  505s |      18 |   604635 |   363052 |    10481     65 |        0 |        0
507.71/507.88	c  507s |      18 |   606766 |   364452 |    10481     65 |        0 |        0
509.81/509.93	c  509s |      18 |   608422 |   365552 |    10481     65 |        0 |        0
511.92/512.00	c  511s |      18 |   610029 |   366652 |    10481     65 |        0 |        0
514.01/514.11	c  513s |      18 |   611154 |   367452 |    10481     65 |        0 |        0
516.11/516.28	c  516s |      18 |   612864 |   368652 |    10481     65 |        0 |        0
518.41/518.57	c  518s |      18 |   614385 |   369652 |    10481     66 |        0 |        0
520.61/520.73	c  520s |      18 |   616146 |   370752 |    10481     66 |        0 |        0
522.71/522.86	c  522s |      18 |   618558 |   372252 |    10481     66 |        0 |        0
524.81/524.94	c  524s |      18 |   621428 |   373952 |    10481     66 |        0 |        0
526.82/526.97	c  526s |      18 |   623497 |   375352 |    10481     66 |        0 |        0
528.91/529.03	c  528s |      18 |   626007 |   377152 |    10481     67 |        0 |        0
530.91/531.04	c  530s |      18 |   628667 |   379052 |    10481     67 |        0 |        0
533.01/533.14	c  532s |      18 |   630982 |   380752 |    10481     67 |        0 |        0
535.11/535.21	c  534s |      18 |   633318 |   382452 |    10481     67 |        0 |        0
537.11/537.23	c  536s |      18 |   635266 |   383852 |    10481     68 |        0 |        0
539.10/539.27	c  538s |      18 |   637903 |   385552 |    10481     68 |        0 |        0
541.30/541.43	c  541s |      18 |   640077 |   387052 |    10481     68 |        0 |        0
543.42/543.55	c  543s |      18 |   642051 |   388452 |    10481     68 |        0 |        0
545.41/545.57	c  545s |      18 |   643921 |   389752 |    10481     69 |        0 |        0
547.50/547.63	c  547s |      18 |   646129 |   391352 |    10481     69 |        0 |        0
549.61/549.72	c  549s |      18 |   648801 |   393052 |    10481     69 |        0 |        0
551.60/551.79	c  551s |      18 |   651195 |   394552 |    10481     69 |        0 |        0
553.71/553.88	c  553s |      18 |   653349 |   395952 |    10481     69 |        0 |        0
555.80/555.94	c  555s |      18 |   655432 |   397252 |    10481     70 |        0 |        0
557.80/557.96	c  557s |      18 |   657237 |   398452 |    10481     70 |        0 |        0
560.01/560.18	c  559s |      18 |   659102 |   399652 |    10481     70 |        0 |        0
562.20/562.34	c  562s |      18 |   660738 |   400752 |    10481     70 |        0 |        0
564.31/564.46	c  564s |      18 |   662735 |   402052 |    10481     70 |        0 |        0
566.52/566.61	c  566s |      18 |   664975 |   403552 |    10481     71 |        0 |        0
568.51/568.68	c  568s |      18 |   666838 |   404852 |    10481     71 |        0 |        0
570.70/570.83	c  570s |      18 |   668319 |   405952 |    10481     71 |        0 |        0
572.70/572.86	c  572s |      18 |   669705 |   406952 |    10481     71 |        0 |        0
574.80/574.96	c  574s |      18 |   671209 |   407952 |    10481     71 |        0 |        0
576.90/577.02	c  576s |      18 |   672611 |   408952 |    10481     71 |        0 |        0
578.90/579.09	c  578s |      18 |   673991 |   409852 |    10481     72 |        0 |        0
581.00/581.16	c  580s |      18 |   676366 |   411452 |    10481     72 |        0 |        0
583.10/583.24	c  582s |      18 |   678872 |   413152 |    10481     72 |        0 |        0
585.10/585.25	c  584s |      18 |   681154 |   414552 |    10481     72 |        0 |        0
587.10/587.26	c  586s |      18 |   683007 |   415752 |    10481     72 |        0 |        0
589.20/589.31	c  589s |      18 |   684559 |   416852 |    10481     73 |        0 |        0
591.20/591.39	c  591s |      18 |   686192 |   418052 |    10481     73 |        0 |        0
593.40/593.54	c  593s |      18 |   688422 |   419452 |    10481     73 |        0 |        0
595.40/595.58	c  595s |      18 |   690137 |   420552 |    10481     73 |        0 |        0
597.40/597.59	c  597s |      18 |   691829 |   421752 |    10481     73 |        0 |        0
599.60/599.74	c  599s |      18 |   693365 |   422752 |    10481     74 |        0 |        0
601.61/601.78	c  601s |      18 |   695285 |   424052 |    10481     74 |        0 |        0
603.70/603.89	c  603s |      18 |   697621 |   425552 |    10481     74 |        0 |        0
605.80/605.97	c  605s |      18 |   699992 |   427052 |    10481     74 |        0 |        0
607.89/608.06	c  607s |      18 |   702099 |   428452 |    10481     74 |        0 |        0
610.00/610.19	c  609s |      18 |   703931 |   429652 |    10481     75 |        0 |        0
612.19/612.34	c  612s |      18 |   706029 |   430952 |    10481     75 |        0 |        0
614.40/614.56	c  614s |      18 |   707870 |   432052 |    10481     75 |        0 |        0
616.50/616.69	c  616s |      18 |   709876 |   433352 |    10481     75 |        0 |        0
618.69/618.84	c  618s |      18 |   712018 |   434752 |    10481     75 |        0 |        0
620.89/621.04	c  620s |      18 |   713827 |   435852 |    10481     76 |        0 |        0
622.90/623.07	c  622s |      18 |   715669 |   437052 |    10481     76 |        0 |        0
624.99/625.18	c  624s |      18 |   718086 |   438552 |    10481     76 |        0 |        0
627.09/627.28	c  627s |      18 |   720138 |   439852 |    10481     76 |        0 |        0
629.30/629.44	c  629s |      18 |   721918 |   440952 |    10481     76 |        0 |        0
631.30/631.49	c  631s |      18 |   723859 |   442152 |    11530     76 |        0 |        0
633.50/633.61	c  633s |      18 |   725831 |   443352 |    11530     76 |        0 |        0
635.59/635.76	c  635s |      18 |   727567 |   444452 |    11530     77 |        0 |        0
635.70/635.82	c  635s |      19 |   727603 |   444482 |    11530     77 |        0 |        0
637.79/637.95	c  637s |      19 |   731741 |   445282 |    11530     77 |        0 |        0
639.89/640.08	c  639s |      19 |   733181 |   446182 |    11530     77 |        0 |        0
642.09/642.23	c  641s |      19 |   735324 |   447382 |    11530     77 |        0 |        0
644.19/644.38	c  644s |      19 |   736883 |   448382 |    11530     77 |        0 |        0
646.19/646.40	c  646s |      19 |   738617 |   449482 |    11530     77 |        0 |        0
648.29/648.42	c  648s |      19 |   740376 |   450582 |    11530     77 |        0 |        0
650.39/650.54	c  650s |      19 |   741864 |   451482 |    11530     78 |        0 |        0
652.39/652.55	c  652s |      19 |   743216 |   452282 |    11530     78 |        0 |        0
654.49/654.67	c  654s |      19 |   744460 |   452982 |    11530     78 |        0 |        0
656.49/656.69	c  656s |      19 |   745671 |   453782 |    11530     78 |        0 |        0
658.69/658.85	c  658s |      19 |   747380 |   454882 |    11530     78 |        0 |        0
660.88/661.07	c  660s |      19 |   748552 |   455682 |    11530     78 |        0 |        0
662.98/663.10	c  662s |      19 |   749919 |   456582 |    11530     78 |        0 |        0
665.18/665.35	c  665s |      19 |   751345 |   457482 |    11530     78 |        0 |        0
667.28/667.45	c  667s |      19 |   752446 |   458182 |    11530     79 |        0 |        0
669.39/669.59	c  669s |      19 |   753707 |   458982 |    11530     79 |        0 |        0
671.48/671.69	c  671s |      19 |   755088 |   459882 |    11530     79 |        0 |        0
673.69/673.86	c  673s |      19 |   756489 |   460782 |    11530     79 |        0 |        0
675.78/675.95	c  675s |      19 |   758102 |   461782 |    11530     79 |        0 |        0
677.99/678.11	c  677s |      19 |   759149 |   462482 |    11530     79 |        0 |        0
680.08/680.24	c  679s |      19 |   761605 |   463982 |    11530     79 |        0 |        0
682.17/682.31	c  682s |      19 |   763213 |   464982 |    11530     80 |        0 |        0
684.18/684.33	c  684s |      19 |   765177 |   466182 |    11530     80 |        0 |        0
686.18/686.40	c  686s |      19 |   766591 |   466982 |    11530     80 |        0 |        0
688.38/688.51	c  688s |      19 |   768528 |   468282 |    11530     80 |        0 |        0
690.37/690.58	c  690s |      19 |   770288 |   469482 |    11530     80 |        0 |        0
692.57/692.71	c  692s |      19 |   771541 |   470282 |    11530     80 |        0 |        0
694.57/694.73	c  694s |      19 |   772608 |   470982 |    11530     80 |        0 |        0
696.57/696.78	c  696s |      19 |   773771 |   471682 |    11530     80 |        0 |        0
698.67/698.86	c  698s |      19 |   774327 |   472082 |    11530     81 |        0 |        0
700.76/700.96	c  700s |      19 |   775783 |   472982 |    11530     81 |        0 |        0
702.77/703.00	c  702s |      19 |   777548 |   474082 |    11530     81 |        0 |        0
705.07/705.20	c  704s |      19 |   779185 |   475082 |    11530     81 |        0 |        0
707.27/707.41	c  707s |      19 |   780815 |   476082 |    11530     81 |        0 |        0
709.37/709.51	c  709s |      19 |   782616 |   477182 |    11530     81 |        0 |        0
711.45/711.61	c  711s |      19 |   783934 |   478082 |    11530     81 |        0 |        0
713.45/713.65	c  713s |      19 |   785328 |   478882 |    11530     81 |        0 |        0
715.66/715.83	c  715s |      19 |   786700 |   479682 |    11530     82 |        0 |        0
717.85/718.00	c  717s |      19 |   788353 |   480682 |    11530     82 |        0 |        0
720.06/720.26	c  719s |      19 |   790086 |   481682 |    11530     82 |        0 |        0
722.15/722.32	c  722s |      19 |   791458 |   482582 |    11530     82 |        0 |        0
724.25/724.46	c  724s |      19 |   793171 |   483582 |    11530     82 |        0 |        0
726.35/726.51	c  726s |      19 |   794864 |   484582 |    11530     82 |        0 |        0
728.35/728.55	c  728s |      19 |   796138 |   485382 |    11530     82 |        0 |        0
730.44/730.61	c  730s |      19 |   797231 |   486082 |    11530     82 |        0 |        0
732.45/732.63	c  732s |      19 |   798305 |   486782 |    11530     83 |        0 |        0
734.45/734.66	c  734s |      19 |   799676 |   487682 |    11530     83 |        0 |        0
736.44/736.69	c  736s |      19 |   801123 |   488582 |    11530     83 |        0 |        0
738.64/738.84	c  738s |      19 |   802738 |   489482 |    11530     83 |        0 |        0
740.83/741.09	c  740s |      19 |   804098 |   490382 |    11530     83 |        0 |        0
742.94/743.11	c  742s |      19 |   805270 |   491182 |    11530     83 |        0 |        0
745.14/745.34	c  745s |      19 |   806390 |   491982 |    11530     83 |        0 |        0
747.33/747.55	c  747s |      19 |   807741 |   492782 |    11530     83 |        0 |        0
749.33/749.58	c  749s |      19 |   808781 |   493482 |    11530     83 |        0 |        0
751.43/751.66	c  751s |      19 |   809877 |   494182 |    11530     84 |        0 |        0
753.54/753.77	c  753s |      19 |   811274 |   495082 |    11530     84 |        0 |        0
755.64/755.81	c  755s |      19 |   813052 |   496182 |    11530     84 |        0 |        0
757.75/757.91	c  757s |      19 |   814559 |   497282 |    11530     84 |        0 |        0
759.73/759.99	c  759s |      19 |   815719 |   498182 |    11530     84 |        0 |        0
761.83/762.07	c  761s |      19 |   817017 |   499082 |    11530     84 |        0 |        0
763.83/764.08	c  763s |      19 |   818159 |   499882 |    11530     84 |        0 |        0
766.03/766.28	c  766s |      19 |   819407 |   500682 |    11530     85 |        0 |        0
768.23/768.43	c  768s |      19 |   820816 |   501582 |    11530     85 |        0 |        0
770.43/770.62	c  770s |      19 |   821986 |   502382 |    11530     85 |        0 |        0
772.62/772.82	c  772s |      19 |   823197 |   503182 |    11530     85 |        0 |        0
774.63/774.89	c  774s |      19 |   824379 |   503982 |    11530     85 |        0 |        0
776.73/776.99	c  776s |      19 |   825493 |   504782 |    11530     85 |        0 |        0
778.13/778.34	c  778s |      19 |   826089 |   505212 |    11530     85 |        0 |        0
778.13/778.34	c #cpu_time = 775.979s
778.13/778.34	c #wall_clock_time = 778.069s
778.13/778.34	c #decision = 826089
778.13/778.34	c #random_decision = 1122
778.13/778.34	c #conflict = 505212
778.13/778.34	c #restart = 19
778.13/778.34	c BCD2: found a new core of size 2699: cost of the new core is >=1
778.13/778.34	c lower bound updated to 1
778.13/778.35	c BCD2: 1 <= obj <= 533
778.13/778.35	c BCD2: #cores=1, #unrelaxed=8, #relaxed=2699, #hardened=0
778.13/778.35	c BCD2: #sat=1 #unsat=2 bias=2/3
778.13/778.36	c Solving starts ...
778.13/778.36	c ============================[ Search Statistics ]============================
778.13/778.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
778.13/778.36	c       |         |          |          |    Limit     GC | Var      | Constra 
778.13/778.36	c =============================================================================
778.13/778.36	c  0.0s |       0 |        0 |        0 |    11530      0 |        0 |        0
778.43/778.64	c  0.3s |       0 |     2757 |        0 |    11530      1 |        0 |        0
778.43/778.64	c #cpu_time = 0.275s
778.43/778.64	c #wall_clock_time = 0.275s
778.43/778.64	c #decision = 2757
778.43/778.64	c #random_decision = 13
778.43/778.64	c #conflict = 0
778.43/778.64	c #restart = 0
778.43/778.64	o 95
778.43/778.64	c BCD2: hardening fixes 178 literals
778.43/778.64	c BCD2: updating upper bound: 533 -> 94
778.43/778.65	c BCD2: 1 <= obj <= 94
778.43/778.65	c BCD2: #cores=1, #unrelaxed=7, #relaxed=2522, #hardened=178
778.43/778.65	c BCD2: #sat=2 #unsat=2 bias=2/4
778.43/778.66	c Solving starts ...
778.43/778.66	c ============================[ Search Statistics ]============================
778.43/778.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
778.43/778.66	c       |         |          |          |    Limit     GC | Var      | Constra 
778.43/778.66	c =============================================================================
778.43/778.66	c  0.0s |       0 |        0 |        0 |    11530      0 |      178 |        1
778.74/778.98	c  0.3s |       1 |      300 |      100 |    11530      0 |      178 |        1
778.83/779.09	c  0.4s |       1 |      429 |      124 |    11530      0 |      178 |        1
778.83/779.09	c #cpu_time = 0.423s
778.83/779.09	c #wall_clock_time = 0.424s
778.83/779.09	c #decision = 429
778.83/779.09	c #random_decision = 1
778.83/779.09	c #conflict = 124
778.83/779.09	c #restart = 1
778.83/779.09	o 42
778.83/779.09	c BCD2: hardening fixes 1424 literals
778.83/779.09	c BCD2: updating upper bound: 94 -> 41
778.93/779.10	c BCD2: 1 <= obj <= 41
778.93/779.10	c BCD2: #cores=1, #unrelaxed=1, #relaxed=1104, #hardened=1602
778.93/779.10	c BCD2: #sat=3 #unsat=2 bias=2/5
778.93/779.10	c Solving starts ...
778.93/779.10	c ============================[ Search Statistics ]============================
778.93/779.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
778.93/779.10	c       |         |          |          |    Limit     GC | Var      | Constra 
778.93/779.10	c =============================================================================
778.93/779.10	c  0.0s |       0 |        0 |        0 |    11530      0 |     1602 |        2
779.33/779.52	c  0.4s |       1 |      175 |      100 |    11530      0 |     1602 |        2
779.53/779.73	c  0.6s |       2 |      401 |      250 |    11530      0 |     1602 |        2
779.74/779.93	c  0.8s |       3 |      744 |      475 |    11530      0 |     1602 |        2
779.93/780.17	c  1.1s |       4 |     1288 |      813 |    11530      0 |     1602 |        2
780.13/780.30	c  1.2s |       4 |     1410 |      879 |    11530      0 |     1602 |        2
780.13/780.30	c #cpu_time = 1.186s
780.13/780.30	c #wall_clock_time = 1.193s
780.13/780.30	c #decision = 1410
780.13/780.30	c #random_decision = 3
780.13/780.30	c #conflict = 879
780.13/780.30	c #restart = 4
780.13/780.30	o 15
780.13/780.30	c BCD2: hardening fixes 729 literals
780.13/780.30	c BCD2: updating upper bound: 41 -> 14
780.13/780.30	c BCD2: 1 <= obj <= 14
780.13/780.30	c BCD2: #cores=1, #unrelaxed=0, #relaxed=376, #hardened=2331
780.13/780.30	c BCD2: #sat=4 #unsat=2 bias=2/6
780.13/780.31	c Solving starts ...
780.13/780.31	c ============================[ Search Statistics ]============================
780.13/780.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
780.13/780.31	c       |         |          |          |    Limit     GC | Var      | Constra 
780.13/780.31	c =============================================================================
780.13/780.31	c  0.0s |       0 |        0 |        0 |    11530      0 |     2331 |        6
780.23/780.41	c  0.1s |       1 |      164 |      100 |    11530      0 |     2331 |        6
780.33/780.56	c  0.3s |       2 |      386 |      250 |    11530      0 |     2331 |        6
780.53/780.71	c  0.4s |       3 |      782 |      475 |    11530      0 |     2331 |        6
780.73/780.90	c  0.6s |       3 |     1205 |      739 |    11530      0 |     2331 |        6
780.73/780.90	c #cpu_time = 0.596s
780.73/780.90	c #wall_clock_time = 0.597s
780.73/780.90	c #decision = 1205
780.73/780.90	c #random_decision = 5
780.73/780.90	c #conflict = 739
780.73/780.90	c #restart = 3
780.73/780.90	o 5
780.73/780.90	c BCD2: hardening fixes 260 literals
780.73/780.91	c BCD2: updating upper bound: 14 -> 4
780.73/780.91	c BCD2: 1 <= obj <= 4
780.73/780.91	c BCD2: #cores=1, #unrelaxed=0, #relaxed=116, #hardened=2591
780.73/780.91	c BCD2: #sat=5 #unsat=2 bias=2/7
780.73/780.91	c Solving starts ...
780.73/780.91	c ============================[ Search Statistics ]============================
780.73/780.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
780.73/780.91	c       |         |          |          |    Limit     GC | Var      | Constra 
780.73/780.91	c =============================================================================
780.73/780.91	c  0.0s |       0 |        0 |        0 |    11530      0 |     2591 |        8
780.83/781.04	c  0.1s |       1 |      171 |      100 |    11530      0 |     2591 |        8
780.93/781.17	c  0.3s |       2 |      483 |      250 |    11530      0 |     2591 |        8
781.13/781.31	c  0.4s |       3 |      866 |      475 |    11530      0 |     2591 |        8
781.33/781.53	c  0.6s |       4 |     1403 |      813 |    11530      0 |     2591 |        8
781.53/781.78	c  0.9s |       5 |     2168 |     1320 |    11530      0 |     2591 |        8
781.93/782.15	c  1.2s |       6 |     3460 |     2081 |    11530      0 |     2591 |        8
782.43/782.67	c  1.8s |       7 |     5215 |     3223 |    11530      0 |     2591 |        8
783.43/783.61	c  2.7s |       8 |     7571 |     4936 |    11530      0 |     2591 |        8
784.92/785.19	c  4.3s |       9 |    11207 |     7506 |    11530      1 |     2591 |        8
786.72/786.91	c  6.0s |       9 |    15739 |    10772 |    11530      1 |     2591 |        8
786.72/786.91	c #cpu_time = 5.985s
786.72/786.91	c #wall_clock_time = 6.000s
786.72/786.91	c #decision = 15739
786.72/786.91	c #random_decision = 34
786.72/786.91	c #conflict = 10772
786.72/786.91	c #restart = 9
786.72/786.91	o 2
786.72/786.91	c BCD2: hardening fixes 85 literals
786.72/786.91	c BCD2: updating upper bound: 4 -> 1
786.72/786.91	c BCD2: 1 <= obj <= 1
786.72/786.91	c BCD2: #cores=1, #unrelaxed=0, #relaxed=31, #hardened=2676
786.72/786.91	c BCD2: #sat=6 #unsat=2 bias=2/8
786.72/786.91	c Solving starts ...
786.72/786.91	c ============================[ Search Statistics ]============================
786.72/786.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
786.72/786.91	c       |         |          |          |    Limit     GC | Var      | Constra 
786.72/786.91	c =============================================================================
786.72/786.91	c  0.0s |       0 |        0 |        0 |    11530      0 |     2676 |       10
786.82/787.00	c  0.1s |       1 |      131 |      100 |    11530      0 |     2676 |       10
786.82/787.09	c  0.2s |       2 |      367 |      250 |    11530      0 |     2676 |       10
787.02/787.22	c  0.3s |       3 |      651 |      475 |    11530      0 |     2676 |       10
787.22/787.42	c  0.5s |       4 |     1204 |      813 |    11530      0 |     2676 |       10
787.53/787.71	c  0.8s |       5 |     1908 |     1320 |    11530      0 |     2676 |       10
787.82/788.08	c  1.2s |       6 |     2940 |     2081 |    11530      0 |     2676 |       10
788.53/788.74	c  1.8s |       7 |     4525 |     3223 |    11530      1 |     2676 |       10
789.42/789.64	c  2.7s |       8 |     7303 |     4936 |    11530      1 |     2676 |       10
790.62/790.80	c  3.9s |       9 |    10848 |     7506 |    11530      1 |     2676 |       10
792.52/792.73	c  5.8s |      10 |    16246 |    11361 |    11530      2 |     2676 |       10
793.12/793.34	c  6.4s |      10 |    17862 |    12473 |    11530      2 |     2676 |       10
793.12/793.34	c #cpu_time = 6.406s
793.12/793.34	c #wall_clock_time = 6.427s
793.12/793.34	c #decision = 17862
793.12/793.34	c #random_decision = 41
793.12/793.34	c #conflict = 12473
793.12/793.34	c #restart = 10
793.12/793.34	o 1
793.12/793.34	s OPTIMUM FOUND
793.12/793.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
793.12/793.34	v x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20
793.12/793.34	v -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
793.12/793.34	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
793.12/793.34	v -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50
793.12/793.34	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
793.12/793.34	v -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
793.12/793.34	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
793.12/793.34	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
793.12/793.34	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
793.12/793.34	v x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
793.12/793.34	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120
793.12/793.34	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130
793.12/793.34	v -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140
793.12/793.34	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150
793.12/793.34	v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
793.12/793.34	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
793.12/793.34	v x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180
793.12/793.34	v -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190
793.12/793.34	v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
793.12/793.34	v -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210
793.12/793.34	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
793.12/793.34	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
793.12/793.34	v -x231
793.12/793.34	c total CPU time = 791.205s
793.12/793.34	c total wall clock time = 793.343s

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4110418-1466345062/watcher-4110418-1466345062 -o /tmp/evaluation-result-4110418-1466345062/solver-4110418-1466345062 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6063 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110418-1466345062.wbo 

pid=8287
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.35 2.34 2.21 3/179 8290
/proc/meminfo: memFree=28801784/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 2945 0 0 0 0 0 0 0 20 0 4 0 36552853 804712448 3306 33554432000 4194304 16246674 140735429698464 140735429697888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 197231 3314 441 2943 0 194125 0
[pid=8290/tid=8291] ppid=8287 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 823586816 3375 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 827781120 3392 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=812476 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 831975424 3408 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.35 2.34 2.21 3/179 8290
/proc/meminfo: memFree=28801784/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 25120 0 0 0 6 3 0 0 20 0 4 0 36552853 1247350784 25474 33554432000 4194304 16246674 140735429698464 140735429697888 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 304529 25475 611 2943 0 301423 0
[pid=8290/tid=8291] ppid=8287 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1247350784 25482 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1247350784 25482 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1247350784 25485 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.2005 s]
/proc/loadavg: 2.35 2.34 2.21 3/179 8290
/proc/meminfo: memFree=28801784/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 36972 0 0 0 14 5 0 0 20 0 4 0 36552853 1252593664 37280 33554432000 4194304 16246674 140735429698464 140735429697776 13958795 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 305809 37280 860 2943 0 302703 0
[pid=8290/tid=8291] ppid=8287 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1252593664 37280 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1252593664 37280 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1252593664 37280 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300476 s]
/proc/loadavg: 2.35 2.34 2.21 3/179 8290
/proc/meminfo: memFree=28801784/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 46501 0 0 0 23 6 0 0 20 0 4 0 36552853 1338576896 46809 33554432000 4194304 16246674 140735429698464 140735429697776 5991539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 326801 46819 918 2943 0 323695 0
[pid=8290/tid=8291] ppid=8287 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1338576896 46827 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1338576896 46836 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1338576896 46843 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700408 s]
/proc/loadavg: 2.35 2.34 2.21 3/179 8290
/proc/meminfo: memFree=28801784/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1308228 CPUtime=0.69 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 73647 0 0 0 60 9 0 0 20 0 4 0 36552853 1339625472 73955 33554432000 4194304 16246674 140735429698464 140735429697776 6020494 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 327057 73955 920 2943 0 323951 0
[pid=8290/tid=8291] ppid=8287 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1339625472 73955 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1339625472 73955 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1339625472 73955 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50042 s]
/proc/loadavg: 2.35 2.34 2.21 3/183 8294
/proc/meminfo: memFree=28507436/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 92539 0 0 0 137 12 0 0 20 0 4 0 36552853 1339625472 92847 33554432000 4194304 16246674 140735429698464 140735429680384 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 327057 92853 920 2943 0 323951 0
[pid=8290/tid=8291] ppid=8287 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1339625472 92856 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1339625472 92858 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1339625472 92865 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10041 s]
/proc/loadavg: 2.35 2.34 2.21 4/183 8294
/proc/meminfo: memFree=28397688/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1310276 CPUtime=3.09 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 101278 0 0 0 296 13 0 0 20 0 4 0 36552853 1341722624 101586 33554432000 4194304 16246674 140735429698464 140735429680384 12874813 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 327569 101586 931 2943 0 324463 0
[pid=8290/tid=8291] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101586 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101586 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101586 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30046 s]
/proc/loadavg: 2.32 2.33 2.20 3/183 8294
/proc/meminfo: memFree=28395616/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 101472 0 0 0 616 13 0 0 20 0 4 0 36552853 1341722624 101780 33554432000 4194304 16246674 140735429698464 140735429680384 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 327569 101780 931 2943 0 324463 0
[pid=8290/tid=8291] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101780 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101780 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101780 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.38 2.35 2.21 4/183 8294
/proc/meminfo: memFree=28395484/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 101472 0 0 0 1255 14 0 0 20 0 4 0 36552853 1341722624 101780 33554432000 4194304 16246674 140735429698464 140735429680384 5675873 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 327569 101780 931 2943 0 324463 0
[pid=8290/tid=8291] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101780 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101780 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1341722624 101780 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.29 2.33 2.20 3/183 8294
/proc/meminfo: memFree=28388284/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 103344 0 0 0 2534 15 0 0 20 0 4 0 36552853 1345916928 103652 33554432000 4194304 16246674 140735429698464 140735429697640 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 328593 103652 931 2943 0 325487 0
[pid=8290/tid=8291] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103652 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103652 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103652 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.25 2.32 2.20 4/183 8294
/proc/meminfo: memFree=28388012/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 103486 0 0 0 5090 18 0 0 20 0 4 0 36552853 1345916928 103794 33554432000 4194304 16246674 140735429698464 140735429697640 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 328593 103794 931 2943 0 325487 0
[pid=8290/tid=8291] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103794 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103794 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103794 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.17 2.28 2.19 4/183 8295
/proc/meminfo: memFree=28387688/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1314372 CPUtime=102.29 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 103486 0 0 0 10205 24 0 0 20 0 4 0 36552853 1345916928 103794 33554432000 4194304 16246674 140735429698464 140735429697640 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 328593 103794 931 2943 0 325487 0
[pid=8290/tid=8291] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103794 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103794 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1345916928 103794 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1314372


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

/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129394 0 0 0 64107 112 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 140735429697640 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273185 931 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 1325636

[startup+702.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 8360
/proc/meminfo: memFree=21045076/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=702.17 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129425 0 0 0 70094 123 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 140735429697640 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273185 931 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 1325636

[startup+762.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 8361
/proc/meminfo: memFree=21045972/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=762.13 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129465 0 0 0 76079 134 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 140735429697560 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273185 931 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.13
Current children cumulated vsize (KiB) 1325636

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

[startup+768 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 8361
/proc/meminfo: memFree=21046096/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=767.83 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129465 0 0 0 76648 135 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 140735429697560 5546111 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273185 931 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273185 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 767.83
Current children cumulated vsize (KiB) 1325636

[startup+780.8 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 8361
/proc/meminfo: memFree=21046292/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=780.63 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129483 0 0 0 77925 138 0 0 20 0 4 0 36552853 1357451264 273193 33554432000 4194304 16246674 140735429698464 140735429680384 6835989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273193 939 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273193 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273193 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273193 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 780.63
Current children cumulated vsize (KiB) 1325636

[startup+787.2 s]
/proc/loadavg: 2.12 2.19 2.17 3/183 8361
/proc/meminfo: memFree=21046276/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=787.02 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129484 0 0 0 78564 138 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 140735429680384 5723034 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273194 940 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 787.02
Current children cumulated vsize (KiB) 1325636

[startup+790.4 s]
/proc/loadavg: 2.11 2.19 2.17 3/183 8361
/proc/meminfo: memFree=21046276/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=790.22 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129490 0 0 0 78884 138 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 140735429680384 6009908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273194 940 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 790.22
Current children cumulated vsize (KiB) 1325636

[startup+792 s]
/proc/loadavg: 2.11 2.19 2.17 3/182 8361
/proc/meminfo: memFree=21046024/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=791.83 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129490 0 0 0 79045 138 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 140735429680384 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273194 940 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 791.83
Current children cumulated vsize (KiB) 1325636

[startup+792.8 s]
/proc/loadavg: 2.11 2.19 2.17 3/182 8361
/proc/meminfo: memFree=21046024/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=792.62 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129490 0 0 0 79124 138 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 140735429680384 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273194 940 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 792.62
Current children cumulated vsize (KiB) 1325636

[startup+793.207 s]
/proc/loadavg: 2.11 2.19 2.17 3/182 8361
/proc/meminfo: memFree=21046024/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=793.03 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129490 0 0 0 79165 138 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 140735429680384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273194 940 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 793.03
Current children cumulated vsize (KiB) 1325636

[startup+793.3 s]
/proc/loadavg: 2.11 2.19 2.17 3/182 8361
/proc/meminfo: memFree=21046024/32872528 swapFree=1542984/1696284
[pid=8290] ppid=8287 vsize=1325636 CPUtime=793.12 cores=0,2,4,6
/proc/8290/stat : 8290 (toysat) R 8287 8290 6047 0 -1 4202496 129490 0 0 0 79174 138 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 140735429680384 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8290/statm: 331409 273194 940 2943 0 328303 0
[pid=8290/tid=8291] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8291/stat : 8291 (toysat) S 8287 8290 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823762353392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8290/tid=8292] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8292/stat : 8292 (toysat) S 8287 8290 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823751863536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8293/stat : 8293 (toysat) S 8287 8290 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36552853 1357451264 273194 33554432000 4194304 16246674 140735429698464 139823666949296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 793.12
Current children cumulated vsize (KiB) 1325636

Child status: 0
Real time (s): 793.353
CPU time (s): 793.179
CPU user time (s): 791.789
CPU system time (s): 1.39079
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 791.789
system time used= 1.39079
maximum resident set size= 1092780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129492
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= 108
involuntary context switches= 820

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17321 second user time and 5.65214 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 16:04:22
IDJOB=4110418
IDBENCH=79302
IDSOLVER=2553
FILE ID=node125/4110418-1466345062
RUNJOBID= node125-1466341817-6063
PBS_JOBID= 19922028
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= b818ef86615e3f5ee29c4c2fadd6f1fe
RANDOM SEED=1722026896

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        28800888 kB
Buffers:          182476 kB
Cached:           352696 kB
SwapCached:          764 kB
Active:          1251496 kB
Inactive:         372504 kB
Active(anon):    1089604 kB
Inactive(anon):     1188 kB
Active(file):     161892 kB
Inactive(file):   371316 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       2777384 kB
Mapped:            10620 kB
Shmem:                 0 kB
Slab:             611484 kB
SReclaimable:      55204 kB
SUnreclaim:       556280 kB
KernelStack:        1520 kB
PageTables:         9528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2932360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    999424 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= 71712 MiB
End job on node125 at 2016-06-19 16:17:36